[Bug middle-end/58387] wrong code at -Os and above on x86_64-linux-gnu (both 32-bit and 64-bit modes)

[su at cs dot ucdavis.edu]

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

--- Comment #4 from Zhendong Su <su at cs dot ucdavis.edu> ---
(In reply to Jakub Jelinek from comment #3)
> Not even with r202421.
> Content of main with that revision for x86_64 -Os is:
>       .cfi_startproc
>       pushq   %rcx
>       .cfi_def_cfa_offset 16
>       movl    a(%rip), %esi
>       testl   %esi, %esi
>       je      .L4
>       negl    %esi
>       testl   %esi, %esi
>       jg      .L3
>       jmp     .L2
> .L4:
>       xorl    %esi, %esi
> .L2:
>       movl    $.LC0, %edi
>       xorl    %eax, %eax
>       call    printf
> .L3:
>       xorl    %eax, %eax
>       popq    %rdx
>       .cfi_def_cfa_offset 8
>       ret


Here is what I have for x86_64 -Os: 

    .cfi_startproc
    pushq    %rax
    .cfi_def_cfa_offset 16
    xorl    %esi, %esi
    movl    $.LC0, %edi
    xorl    %eax, %eax
    call    printf
    xorl    %eax, %eax
    popq    %rdx
    .cfi_def_cfa_offset 8
    ret
    .cfi_endproc


Below is what I have for x86_64 -O1: 

    .cfi_startproc
    subq    $8, %rsp
    .cfi_def_cfa_offset 16
    movl    a(%rip), %eax
    testl    %eax, %eax
    je    .L2
    negl    %eax
    testl    %eax, %eax
    jg    .L3
.L2:
    movl    $0, %esi
    movl    $.LC0, %edi
    movl    $0, %eax
    call    printf
.L3:
    movl    $0, %eax
    addq    $8, %rsp
    .cfi_def_cfa_offset 8
    ret
    .cfi_endproc