[Bug rtl-optimization/114902] [14/15 Regression] wrong code at -O3 with "-fno-tree-vrp -fno-expensive-optimizations -fno-tree-dominator-opts" on x86_64-linux-gnu

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #4)
> here is a reduced testcase:

> Note ` -O1 -fno-tree-fre -fno-tree-forwprop -fno-tree-ccp 
> -fno-tree-dominator-opts`


This testcase is broken in GCC 13 for mips64-linux-gnu with the added option
-march=octeon.
And it has been broken since at least 4.9.4.
        andi    $4,$4,0x1
        xori    $4,$4,0x1
        teq     $4,0
        j       $31
        move    $2,$0

That is:
$4 = $4 & 0x1
$4 = $4 ^ 1
trapif $4 == 0

That is the earliest compiler version I could test where I Know that
sign_extract shows up in RTL.