From f58e663b1ea246625e72635e8c0cffcdfae571da Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Mon, 22 Oct 2012 08:50:00 +0000 Subject: utils.c (rest_of_record_type_compilation): Simplify and robustify pattern machine code for masking operations. * gcc-interface/utils.c (rest_of_record_type_compilation): Simplify and robustify pattern machine code for masking operations. From-SVN: r192672 --- gcc/ada/gcc-interface/utils.c | 24 ++++++++++++++---------- 1 file changed, 14 insertions(+), 10 deletions(-) (limited to 'gcc/ada/gcc-interface/utils.c') diff --git a/gcc/ada/gcc-interface/utils.c b/gcc/ada/gcc-interface/utils.c index d9121c1..624e724 100644 --- a/gcc/ada/gcc-interface/utils.c +++ b/gcc/ada/gcc-interface/utils.c @@ -1731,19 +1731,23 @@ rest_of_record_type_compilation (tree record_type) tree offset = TREE_OPERAND (curpos, 0); align = tree_low_cst (TREE_OPERAND (curpos, 1), 1); - /* An offset which is a bitwise AND with a negative power of 2 - means an alignment corresponding to this power of 2. Note - that, as sizetype is sign-extended but nonetheless unsigned, - we don't directly use tree_int_cst_sgn. */ + /* An offset which is a bitwise AND with a mask increases the + alignment according to the number of trailing zeros. */ offset = remove_conversions (offset, true); if (TREE_CODE (offset) == BIT_AND_EXPR - && host_integerp (TREE_OPERAND (offset, 1), 0) - && TREE_INT_CST_HIGH (TREE_OPERAND (offset, 1)) < 0) + && TREE_CODE (TREE_OPERAND (offset, 1)) == INTEGER_CST) { - unsigned int pow - = - tree_low_cst (TREE_OPERAND (offset, 1), 0); - if (exact_log2 (pow) > 0) - align *= pow; + unsigned HOST_WIDE_INT mask + = TREE_INT_CST_LOW (TREE_OPERAND (offset, 1)); + unsigned int i; + + for (i = 0; i < HOST_BITS_PER_WIDE_INT; i++) + { + if (mask & 1) + break; + mask >>= 1; + align *= 2; + } } pos = compute_related_constant (curpos, -- cgit v1.1