| Chad Rosier | 11ab941 | 2014-08-14 15:23:01 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -reassociate -S | FileCheck %s |
| 2 | |
| Chad Rosier | f8b55f1 | 2014-11-14 17:05:59 +0000 | [diff] [blame^] | 3 | ; Canonicalize operands, but don't optimize floating point vector operations. |
| Chad Rosier | 11ab941 | 2014-08-14 15:23:01 +0000 | [diff] [blame] | 4 | define <4 x float> @test1() { |
| 5 | ; CHECK-LABEL: test1 |
| 6 | ; CHECK-NEXT: %tmp1 = fsub fast <4 x float> zeroinitializer, zeroinitializer |
| Chad Rosier | f8b55f1 | 2014-11-14 17:05:59 +0000 | [diff] [blame^] | 7 | ; CHECK-NEXT: %tmp2 = fmul fast <4 x float> %tmp1, zeroinitializer |
| Chad Rosier | 11ab941 | 2014-08-14 15:23:01 +0000 | [diff] [blame] | 8 | |
| 9 | %tmp1 = fsub fast <4 x float> zeroinitializer, zeroinitializer |
| 10 | %tmp2 = fmul fast <4 x float> zeroinitializer, %tmp1 |
| 11 | ret <4 x float> %tmp2 |
| 12 | } |
| 13 | |
| 14 | ; We don't currently commute integer vector operations. |
| 15 | define <2 x i32> @test2(<2 x i32> %x, <2 x i32> %y) { |
| 16 | ; CHECK-LABEL: test2 |
| 17 | ; CHECK-NEXT: %tmp1 = add <2 x i32> %x, %y |
| 18 | ; CHECK-NEXT: %tmp2 = add <2 x i32> %y, %x |
| 19 | ; CHECK-NEXT: %tmp3 = add <2 x i32> %tmp1, %tmp2 |
| 20 | |
| 21 | %tmp1 = add <2 x i32> %x, %y |
| 22 | %tmp2 = add <2 x i32> %y, %x |
| 23 | %tmp3 = add <2 x i32> %tmp1, %tmp2 |
| 24 | ret <2 x i32> %tmp3 |
| 25 | } |