| Aditya Nandakumar | 12d0604 | 2016-01-04 19:48:14 +0000 | [diff] [blame^] | 1 | ; RUN: opt -S -reassociate < %s | FileCheck %s |
| 2 | |
| 3 | ; CHECK-LABEL: main |
| 4 | ; CHECK: %2 = fsub |
| 5 | ; CHECK: %3 = fsub |
| 6 | ; CHECK: fadd fast float %3, %2 |
| 7 | define void @main(float, float) { |
| 8 | wrapper_entry: |
| 9 | %2 = fsub float undef, %0 |
| 10 | %3 = fsub float undef, %1 |
| 11 | %4 = call float @llvm.rsqrt.f32(float undef) |
| 12 | %5 = fmul fast float undef, %4 |
| 13 | %6 = fmul fast float %2, %4 |
| 14 | %7 = fmul fast float %3, %4 |
| 15 | %8 = fmul fast float %5, undef |
| 16 | %9 = fmul fast float %6, undef |
| 17 | %10 = fmul fast float %7, undef |
| 18 | %11 = fadd fast float %8, %9 |
| 19 | %12 = fadd fast float %11, %10 |
| 20 | %13 = call float @foo2(float %12, float 0.000000e+00) |
| 21 | %mul36 = fmul fast float %13, 1.500000e+00 |
| 22 | call void @foo1(i32 4, float %mul36) |
| 23 | ret void |
| 24 | } |
| 25 | |
| 26 | declare void @foo1(i32, float) |
| 27 | |
| 28 | declare float @foo2(float, float) #1 |
| 29 | |
| 30 | declare float @llvm.rsqrt.f32(float) #1 |
| 31 | |
| 32 | attributes #0 = { argmemonly nounwind } |
| 33 | attributes #1 = { nounwind readnone } |
| 34 | |