tree-vrp.c (extract_range_from_binary_expr): Don't handle TRUTH_ANDIF_EXPR or TRUTH_ORIF_EXPR.
2008-04-10 Rafael Espindola <espindola@google.com> * gcc/tree-vrp.c (extract_range_from_binary_expr): Don't handle TRUTH_ANDIF_EXPR or TRUTH_ORIF_EXPR. (extract_range_from_expr): The same. From-SVN: r134176
This commit is contained in:
parent
00bf373b67
commit
2893f75305
|
@ -1,3 +1,9 @@
|
||||||
|
2008-04-10 Rafael Espindola <espindola@google.com>
|
||||||
|
|
||||||
|
* gcc/tree-vrp.c (extract_range_from_binary_expr): Don't handle
|
||||||
|
TRUTH_ANDIF_EXPR or TRUTH_ORIF_EXPR.
|
||||||
|
(extract_range_from_expr): The same.
|
||||||
|
|
||||||
2008-04-10 Adam Nemet <anemet@caviumnetworks.com>
|
2008-04-10 Adam Nemet <anemet@caviumnetworks.com>
|
||||||
|
|
||||||
* config/mips/mips.md (GPR2): New mode iterator.
|
* config/mips/mips.md (GPR2): New mode iterator.
|
||||||
|
|
|
@ -3854,6 +3854,8 @@ verify_gimple_expr (tree expr)
|
||||||
|
|
||||||
case TRUTH_ANDIF_EXPR:
|
case TRUTH_ANDIF_EXPR:
|
||||||
case TRUTH_ORIF_EXPR:
|
case TRUTH_ORIF_EXPR:
|
||||||
|
gcc_unreachable ();
|
||||||
|
|
||||||
case TRUTH_AND_EXPR:
|
case TRUTH_AND_EXPR:
|
||||||
case TRUTH_OR_EXPR:
|
case TRUTH_OR_EXPR:
|
||||||
case TRUTH_XOR_EXPR:
|
case TRUTH_XOR_EXPR:
|
||||||
|
|
|
@ -1887,8 +1887,6 @@ extract_range_from_binary_expr (value_range_t *vr,
|
||||||
&& code != MIN_EXPR
|
&& code != MIN_EXPR
|
||||||
&& code != MAX_EXPR
|
&& code != MAX_EXPR
|
||||||
&& code != BIT_AND_EXPR
|
&& code != BIT_AND_EXPR
|
||||||
&& code != TRUTH_ANDIF_EXPR
|
|
||||||
&& code != TRUTH_ORIF_EXPR
|
|
||||||
&& code != TRUTH_AND_EXPR
|
&& code != TRUTH_AND_EXPR
|
||||||
&& code != TRUTH_OR_EXPR)
|
&& code != TRUTH_OR_EXPR)
|
||||||
{
|
{
|
||||||
|
@ -1975,9 +1973,7 @@ extract_range_from_binary_expr (value_range_t *vr,
|
||||||
|
|
||||||
/* For integer ranges, apply the operation to each end of the
|
/* For integer ranges, apply the operation to each end of the
|
||||||
range and see what we end up with. */
|
range and see what we end up with. */
|
||||||
if (code == TRUTH_ANDIF_EXPR
|
if (code == TRUTH_AND_EXPR
|
||||||
|| code == TRUTH_ORIF_EXPR
|
|
||||||
|| code == TRUTH_AND_EXPR
|
|
||||||
|| code == TRUTH_OR_EXPR)
|
|| code == TRUTH_OR_EXPR)
|
||||||
{
|
{
|
||||||
/* If one of the operands is zero, we know that the whole
|
/* If one of the operands is zero, we know that the whole
|
||||||
|
@ -2751,8 +2747,6 @@ extract_range_from_expr (value_range_t *vr, tree expr)
|
||||||
else if (code == SSA_NAME)
|
else if (code == SSA_NAME)
|
||||||
extract_range_from_ssa_name (vr, expr);
|
extract_range_from_ssa_name (vr, expr);
|
||||||
else if (TREE_CODE_CLASS (code) == tcc_binary
|
else if (TREE_CODE_CLASS (code) == tcc_binary
|
||||||
|| code == TRUTH_ANDIF_EXPR
|
|
||||||
|| code == TRUTH_ORIF_EXPR
|
|
||||||
|| code == TRUTH_AND_EXPR
|
|| code == TRUTH_AND_EXPR
|
||||||
|| code == TRUTH_OR_EXPR
|
|| code == TRUTH_OR_EXPR
|
||||||
|| code == TRUTH_XOR_EXPR)
|
|| code == TRUTH_XOR_EXPR)
|
||||||
|
|
Loading…
Reference in New Issue