| Sanjay Patel | 2ee7b93 | 2018-03-08 20:42:49 +0000 | [diff] [blame] | 1 | ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| Owen Anderson | 630077e | 2015-11-20 08:16:13 +0000 | [diff] [blame] | 2 | ; RUN: opt -S -reassociate < %s | FileCheck %s |
| 3 | |
| 4 | define void @test1() { |
| Sanjay Patel | b5d2e11 | 2017-11-09 22:41:39 +0000 | [diff] [blame] | 5 | ; CHECK-LABEL: @test1( |
| 6 | ; CHECK-NEXT: [[T1:%.*]] = tail call <4 x float> @blam() |
| 7 | ; CHECK-NEXT: [[T1_NEG:%.*]] = fsub fast <4 x float> <float -0.000000e+00, float -0.000000e+00, float -0.000000e+00, float -0.000000e+00>, [[T1]] |
| Sanjay Patel | 2ee7b93 | 2018-03-08 20:42:49 +0000 | [diff] [blame] | 8 | ; CHECK-NEXT: [[T24:%.*]] = fadd fast <4 x float> [[T1_NEG]], undef |
| Sanjay Patel | b5d2e11 | 2017-11-09 22:41:39 +0000 | [diff] [blame] | 9 | ; CHECK-NEXT: tail call void @wombat(<4 x float> [[T24]]) |
| 10 | ; CHECK-NEXT: ret void |
| 11 | ; |
| 12 | %t1 = tail call <4 x float> @blam() |
| 13 | %t23 = fsub fast <4 x float> undef, %t1 |
| 14 | %t24 = fadd fast <4 x float> %t23, undef |
| 15 | tail call void @wombat(<4 x float> %t24) |
| Owen Anderson | 630077e | 2015-11-20 08:16:13 +0000 | [diff] [blame] | 16 | ret void |
| 17 | } |
| 18 | |
| Owen Anderson | 8e85130 | 2015-11-20 22:34:48 +0000 | [diff] [blame] | 19 | define half @test2() { |
| Sanjay Patel | b5d2e11 | 2017-11-09 22:41:39 +0000 | [diff] [blame] | 20 | ; CHECK-LABEL: @test2( |
| 21 | ; CHECK-NEXT: [[T15:%.*]] = fsub fast half undef, undef |
| 22 | ; CHECK-NEXT: [[T15_NEG:%.*]] = fsub fast half 0xH8000, [[T15]] |
| Sanjay Patel | 2ee7b93 | 2018-03-08 20:42:49 +0000 | [diff] [blame] | 23 | ; CHECK-NEXT: [[T18:%.*]] = fadd fast half [[T15_NEG]], undef |
| Sanjay Patel | b5d2e11 | 2017-11-09 22:41:39 +0000 | [diff] [blame] | 24 | ; CHECK-NEXT: ret half [[T18]] |
| 25 | ; |
| 26 | %t15 = fsub fast half undef, undef |
| 27 | %t17 = fsub fast half undef, %t15 |
| 28 | %t18 = fadd fast half undef, %t17 |
| 29 | ret half %t18 |
| Owen Anderson | 8e85130 | 2015-11-20 22:34:48 +0000 | [diff] [blame] | 30 | } |
| 31 | |
| 32 | |
| 33 | |
| Owen Anderson | 630077e | 2015-11-20 08:16:13 +0000 | [diff] [blame] | 34 | ; Function Attrs: optsize |
| 35 | declare <4 x float> @blam() |
| 36 | |
| 37 | ; Function Attrs: optsize |
| 38 | declare void @wombat(<4 x float>) |
| 39 | |