[Bug optimization/14824] New: removing constant assignments from loops not done even for simple conditional expressions

["niemayer at isg dot de" <gcc-bugzilla@gcc.gnu.org>]

If you compile this tiny sample:

---------------------------------------------
extern int y;

const int test(void) {
	
	int i;
	int z;
	const int x = y;
	
	asm volatile ("testlabel1: ");
	for (i = 0; i < x; i++) {
		if (x) z = 4;
		else z = 5;
	}
	asm volatile ("testlabel2: ");

	return z;	
}
------------------------------------------

with "gcc -S -O3 test.c" and have a look at the assembler output, you'll notice
that the assignment of "z = ..." is done x times, though there's absolutely no
chance for the value to change from one iteration to another:

        testlabel1: 
#NO_APP
        testl   %ecx, %ecx
        jle     .L10
        movl    %ecx, %edx
        .p2align 4,,15
.L8:
        xorl    %eax, %eax
        testl   %ecx, %ecx
        sete    %al
        addl    $4, %eax
        decl    %edx
        jne     .L8
.L10:
#APP
        testlabel2: 

It seems that this is due to the usage of the "if" there, other expressions,
even more complex ones, do not prevent the assignment from being dragged in
front of the loop. The case does not change when using "z = (x)? 4 : 5".

I tried to work around this problem by using a function declared with
__attribute__((const)) instead of the "(x)? 4 : 5" expression, but to no avail -
even such a function will be evaluated x times.

Is there any chance to let the compiler remove such an assignment from the
loop-body?

-- 
           Summary: removing constant assignments from loops not done even
                    for simple conditional expressions
           Product: gcc
           Version: 3.3.3
            Status: UNCONFIRMED
          Severity: minor
          Priority: P2
         Component: optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: niemayer at isg dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14824