[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