Owen Anderson | 423f19f | 2012-05-07 20:47:23 +0000 | [diff] [blame] | 1 | ; RUN: opt -reassociate -S < %s | FileCheck %s |
| 2 | |
| 3 | target triple = "armv7-apple-ios" |
| 4 | |
Duncan Sands | b933586 | 2012-06-06 14:53:10 +0000 | [diff] [blame] | 5 | declare void @use(float) |
| 6 | |
Owen Anderson | 423f19f | 2012-05-07 20:47:23 +0000 | [diff] [blame] | 7 | ; CHECK: test |
Duncan Sands | b933586 | 2012-06-06 14:53:10 +0000 | [diff] [blame] | 8 | define void @test(float %x, float %y) { |
Owen Anderson | 423f19f | 2012-05-07 20:47:23 +0000 | [diff] [blame] | 9 | entry: |
| 10 | ; CHECK: fmul float %x, %y |
| 11 | ; CHECK: fmul float %x, %y |
| 12 | %0 = fmul float %x, %y |
| 13 | %1 = fmul float %y, %x |
| 14 | %2 = fsub float %0, %1 |
Duncan Sands | b933586 | 2012-06-06 14:53:10 +0000 | [diff] [blame] | 15 | call void @use(float %0) |
| 16 | call void @use(float %2) |
| 17 | ret void |
Owen Anderson | 423f19f | 2012-05-07 20:47:23 +0000 | [diff] [blame] | 18 | } |