| Chad Rosier | 11ab941 | 2014-08-14 15:23:01 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -reassociate -instcombine -S | FileCheck %s |
| 2 | |||||
| 3 | define float @test1(float %A, float %B) { | ||||
| 4 | ; CHECK-LABEL: test1 | ||||
| 5 | ; CHECK: %Z = fadd fast float %A, %B | ||||
| 6 | ; CHECK: ret float %Z | ||||
| 7 | %W = fadd fast float %B, -5.0 | ||||
| 8 | %Y = fadd fast float %A, 5.0 | ||||
| 9 | %Z = fadd fast float %W, %Y | ||||
| 10 | ret float %Z | ||||
| 11 | } | ||||