Sign function not recognized to intrinsic when the if statements are swapped

[AZero13]

https://alive2.llvm.org/ce/z/-bPPAg
https://godbolt.org/z/Wxcc51jcj
https://godbolt.org/z/vPs948q1b

[topperc]

Do you have a link that shows the compiler issue? The link is just the alive2 proof.

[AZero13]

https://godbolt.org/z/Wxcc51jcj