Re: this code in fold-const.c:fold_single_bit_test looks wrong to me

2013-08-30 Thread Richard Biener
On Mon, Jul 1, 2013 at 1:54 PM, Joern Rennecke wrote: > Quoting Kenneth Zadeck : > >>if (TREE_CODE (inner) == RSHIFT_EXPR >> && TREE_CODE (TREE_OPERAND (inner, 1)) == INTEGER_CST >> && TREE_INT_CST_HIGH (TREE_OPERAND (inner, 1)) == 0 >> && bitnum < TYPE_PRECISION (type) >>

Re: this code in fold-const.c:fold_single_bit_test looks wrong to me

2013-07-01 Thread Joern Rennecke
Quoting Kenneth Zadeck : if (TREE_CODE (inner) == RSHIFT_EXPR && TREE_CODE (TREE_OPERAND (inner, 1)) == INTEGER_CST && TREE_INT_CST_HIGH (TREE_OPERAND (inner, 1)) == 0 && bitnum < TYPE_PRECISION (type) && 0 > compare_tree_int (TREE_OPERAND (inner, 1),

this code in fold-const.c:fold_single_bit_test looks wrong to me

2013-06-25 Thread Kenneth Zadeck
if (TREE_CODE (inner) == RSHIFT_EXPR && TREE_CODE (TREE_OPERAND (inner, 1)) == INTEGER_CST && TREE_INT_CST_HIGH (TREE_OPERAND (inner, 1)) == 0 && bitnum < TYPE_PRECISION (type) && 0 > compare_tree_int (TREE_OPERAND (inner, 1), bitnum - TYPE_PRECISION (