1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -reassociate -S | FileCheck %s
3
4define  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]]
11;
12bb:
13  %tmp7 = fsub float -0.000000e+00, %tmp6
14  %tmp9 = fmul fast float %tmp7, 0x7FF0000000000000
15  ret float %tmp9
16}
17
18attributes #0 = { "use-soft-float"="false" }
19