[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / Reassociate / pr42349.ll
blobce008c3d1cb349c9a2276445f06194d20adde15d
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt < %s -reassociate -S | FileCheck %s
4 define  float @wibble(float %tmp6) #0 {
5 ; CHECK-LABEL: @wibble(
6 ; CHECK-NEXT:  bb:
7 ; CHECK-NEXT:    [[TMP7:%.*]] = fmul float [[TMP6:%.*]], -1.000000e+00
8 ; CHECK-NEXT:    [[TMP0:%.*]] = fsub float -0.000000e+00, 0.000000e+00
9 ; CHECK-NEXT:    [[TMP9:%.*]] = fmul fast float [[TMP6]], 0xFFF0000000000000
10 ; CHECK-NEXT:    ret float [[TMP9]]
12 bb:
13   %tmp7 = fsub float -0.000000e+00, %tmp6
14   %tmp9 = fmul fast float %tmp7, 0x7FF0000000000000
15   ret float %tmp9
18 attributes #0 = { "use-soft-float"="false" }