[Bug tree-optimization/39870] VRP can't see through cast to unsigned
aph at gcc dot gnu dot org
gcc-bugzilla@gcc.gnu.org
Thu Apr 23 15:49:00 GMT 2009
------- Comment #3 from aph at gcc dot gnu dot org 2009-04-23 15:49 -------
-DBORKED on the left
foo: foo:
.LFB0: .LFB0:
.cfi_startproc .cfi_startproc
subq $8, %rsp <
.cfi_def_cfa_offset 1 <
movq m(%rip), %rcx movq m(%rip), %rcx
xorl %eax, %eax xorl %eax, %eax
movl (%rcx), %esi | movl (%rcx), %edx
testl %esi, %esi | testl %edx, %edx
jle .L3 jle .L3
> subl $1, %edx
> leaq 4(,%rdx,4), %rsi
xorl %edx, %edx xorl %edx, %edx
jmp .L4 <
.p2align 4,,10 .p2align 4,,10
.p2align 3 .p2align 3
.L5: <
addq $4, %rcx <
cmpl %esi, %edx <
jae .L9 <
.L4: .L4:
addl $1, %edx | addl 4(%rcx,%rdx), %eax
addl 4(%rcx), %eax | addq $4, %rdx
cmpl %esi, %edx | cmpq %rsi, %rdx
jl .L5 | jne .L4
.L3: .L3:
addq $8, %rsp | rep
ret ret
.L9: <
call abort <
.cfi_endproc .cfi_endproc
.LFE0: .LFE0:
.size foo, .-foo .size foo, .-foo
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39870
More information about the Gcc-bugs
mailing list