[Bug target/118739] [15 Regression] wrong code at -O{s,3} with "-fno-tree-forwprop -fno-tree-vrp" on x86_64-linux-gnu

[ubizjak at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118739

--- Comment #4 from Uroš Bizjak <ubizjak at gmail dot com> ---
This is the difference I get:

--- pass/pr118739.s     2025-02-04 11:08:20.003694978 +0100
+++ fail/pr118739.s     2025-02-04 11:08:32.943651165 +0100
@@ -21,16 +21,11 @@
        .cfi_offset 3, -32
        movl    $1, %ebx
 .L2:
-       xorl    %r12d, %r12d
        cmpl    $1, %ebx
        movl    $.LC0, %edi
        movl    $1, b(%rip)
        sete    %r12b
-       testl   %r12d, %r12d
-       movl    %r12d, %eax
        setle   %bpl
-       xorl    $1, %eax
-       orl     %eax, %ebp
        call    puts
        testb   %r12b, %r12b
        jne     .L10
@@ -110,7 +105,6 @@
        .cfi_startproc
        subq    $8, %rsp
        .cfi_def_cfa_offset 16
-       xorl    %eax, %eax
        call    h
        cmpl    $1, d(%rip)
        jne     .L30
@@ -181,5 +175,5 @@
        .size   a, 4
 a:
        .zero   4
-       .ident  "GCC: (GNU) 14.2.1 20241126 [releases/gcc-14
r14-10981-g93a1cf32964]"
+       .ident  "GCC: (GNU) 15.0.1 20250204 (experimental) [master
r15-7342-gd3627c78be1]"
        .section        .note.GNU-stack,"",@progbits