Re: Tighten tree-ssa-ccp.c:get_value_for_expr condition

2017-09-20 Thread Richard Biener
On Wed, Sep 20, 2017 at 2:12 PM, Richard Sandiford wrote: > bit_value_unop and bit_value_binop require constant values > to be INTEGER_CSTs: > > gcc_assert ((rval.lattice_val == CONSTANT >&& TREE_CODE (rval.value) == INTEGER_CST) > || wi::sext (rval.mask, TYPE_PRECI

Tighten tree-ssa-ccp.c:get_value_for_expr condition

2017-09-20 Thread Richard Sandiford
bit_value_unop and bit_value_binop require constant values to be INTEGER_CSTs: gcc_assert ((rval.lattice_val == CONSTANT && TREE_CODE (rval.value) == INTEGER_CST) || wi::sext (rval.mask, TYPE_PRECISION (TREE_TYPE (rhs))) == -1); However, when deciding whether to rec