This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/39870] VRP can't see through cast to unsigned
- From: "aph at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 23 Apr 2009 15:49:25 -0000
- Subject: [Bug tree-optimization/39870] VRP can't see through cast to unsigned
- References: <bug-39870-511@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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