| /* { dg-do compile } */ | |
| /* { dg-options "-O -mfpmath=sse -msse2" } */ | |
| /* The fact that t1 and t2 are uninitialized is critical. With them | |
| uninitialized, the register allocator is free to put them in the same | |
| hard register, which results in | |
| xmm0 = xmm0 >= xmm0 ? xmm0 : xmm0 | |
| Which is of course a nop, but one for which we would ICE splitting the | |
| pattern. */ | |
| double out; | |
| static void foo(void) | |
| { | |
| double t1, t2, t3, t4; | |
| t4 = t1 >= t2 ? t1 : t2; | |
| t4 = t4 >= t3 ? t4 : t3; | |
| out = t4; | |
| } |