| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | |
| ; RUN: opt < %s -passes=reassociate -S | FileCheck %s | |
| define float @wibble(float %tmp6) #0 { | |
| ; CHECK-LABEL: @wibble( | |
| ; CHECK-NEXT: bb: | |
| ; CHECK-NEXT: [[TMP7:%.*]] = fmul float [[TMP6:%.*]], -1.000000e+00 | |
| ; CHECK-NEXT: [[TMP9:%.*]] = fmul fast float [[TMP6]], -inf | |
| ; CHECK-NEXT: ret float [[TMP9]] | |
| ; | |
| bb: | |
| %tmp7 = fsub float -0.000000e+00, %tmp6 | |
| %tmp9 = fmul fast float %tmp7, +inf | |
| ret float %tmp9 | |
| } | |
| attributes #0 = { "use-soft-float"="false" } |