Matt Arsenault | fcb345f | 2016-02-11 06:15:39 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=SI-SAFE -check-prefix=FUNC %s |
| 2 | ; RUN: llc -enable-no-nans-fp-math -enable-unsafe-fp-math -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=SI-NONAN -check-prefix=SI -check-prefix=FUNC %s |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 3 | ; RUN: llc -march=r600 -mcpu=redwood < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s |
| 4 | |
Matt Arsenault | a982e4f | 2015-01-13 00:43:00 +0000 | [diff] [blame] | 5 | ; FIXME: Should replace unsafe-fp-math with no signed zeros. |
| 6 | |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 7 | declare i32 @llvm.r600.read.tidig.x() #1 |
| 8 | |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 9 | ; FUNC-LABEL: @test_fmax_legacy_uge_f32 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 10 | ; SI: buffer_load_dword [[A:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
Matt Arsenault | fb13b22 | 2014-12-03 03:12:13 +0000 | [diff] [blame] | 11 | ; SI: buffer_load_dword [[B:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4 |
Matt Arsenault | a982e4f | 2015-01-13 00:43:00 +0000 | [diff] [blame] | 12 | ; SI-SAFE: v_max_legacy_f32_e32 {{v[0-9]+}}, [[B]], [[A]] |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 13 | ; SI-NONAN: v_max_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | a982e4f | 2015-01-13 00:43:00 +0000 | [diff] [blame] | 14 | |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 15 | ; EG: MAX |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 16 | define amdgpu_kernel void @test_fmax_legacy_uge_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 { |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 17 | %tid = call i32 @llvm.r600.read.tidig.x() #1 |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 18 | %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid |
| 19 | %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 20 | |
Matt Arsenault | 44e5483 | 2016-04-12 13:38:18 +0000 | [diff] [blame] | 21 | %a = load volatile float, float addrspace(1)* %gep.0, align 4 |
| 22 | %b = load volatile float, float addrspace(1)* %gep.1, align 4 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 23 | |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 24 | %cmp = fcmp uge float %a, %b |
| 25 | %val = select i1 %cmp, float %a, float %b |
| 26 | store float %val, float addrspace(1)* %out, align 4 |
| 27 | ret void |
| 28 | } |
| 29 | |
| 30 | ; FUNC-LABEL: @test_fmax_legacy_oge_f32 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 31 | ; SI: buffer_load_dword [[A:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
Matt Arsenault | fb13b22 | 2014-12-03 03:12:13 +0000 | [diff] [blame] | 32 | ; SI: buffer_load_dword [[B:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4 |
Matt Arsenault | a982e4f | 2015-01-13 00:43:00 +0000 | [diff] [blame] | 33 | ; SI-SAFE: v_max_legacy_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 34 | ; SI-NONAN: v_max_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 35 | ; EG: MAX |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 36 | define amdgpu_kernel void @test_fmax_legacy_oge_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 { |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 37 | %tid = call i32 @llvm.r600.read.tidig.x() #1 |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 38 | %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid |
| 39 | %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 40 | |
Matt Arsenault | 44e5483 | 2016-04-12 13:38:18 +0000 | [diff] [blame] | 41 | %a = load volatile float, float addrspace(1)* %gep.0, align 4 |
| 42 | %b = load volatile float, float addrspace(1)* %gep.1, align 4 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 43 | |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 44 | %cmp = fcmp oge float %a, %b |
| 45 | %val = select i1 %cmp, float %a, float %b |
| 46 | store float %val, float addrspace(1)* %out, align 4 |
| 47 | ret void |
| 48 | } |
| 49 | |
| 50 | ; FUNC-LABEL: @test_fmax_legacy_ugt_f32 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 51 | ; SI: buffer_load_dword [[A:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
Matt Arsenault | fb13b22 | 2014-12-03 03:12:13 +0000 | [diff] [blame] | 52 | ; SI: buffer_load_dword [[B:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4 |
Matt Arsenault | a982e4f | 2015-01-13 00:43:00 +0000 | [diff] [blame] | 53 | ; SI-SAFE: v_max_legacy_f32_e32 {{v[0-9]+}}, [[B]], [[A]] |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 54 | ; SI-NONAN: v_max_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 55 | ; EG: MAX |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 56 | define amdgpu_kernel void @test_fmax_legacy_ugt_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 { |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 57 | %tid = call i32 @llvm.r600.read.tidig.x() #1 |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 58 | %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid |
| 59 | %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 60 | |
Matt Arsenault | 44e5483 | 2016-04-12 13:38:18 +0000 | [diff] [blame] | 61 | %a = load volatile float, float addrspace(1)* %gep.0, align 4 |
| 62 | %b = load volatile float, float addrspace(1)* %gep.1, align 4 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 63 | |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 64 | %cmp = fcmp ugt float %a, %b |
| 65 | %val = select i1 %cmp, float %a, float %b |
| 66 | store float %val, float addrspace(1)* %out, align 4 |
| 67 | ret void |
| 68 | } |
| 69 | |
| 70 | ; FUNC-LABEL: @test_fmax_legacy_ogt_f32 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 71 | ; SI: buffer_load_dword [[A:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
Matt Arsenault | fb13b22 | 2014-12-03 03:12:13 +0000 | [diff] [blame] | 72 | ; SI: buffer_load_dword [[B:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4 |
Matt Arsenault | a982e4f | 2015-01-13 00:43:00 +0000 | [diff] [blame] | 73 | ; SI-SAFE: v_max_legacy_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 74 | ; SI-NONAN: v_max_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 75 | ; EG: MAX |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 76 | define amdgpu_kernel void @test_fmax_legacy_ogt_f32(float addrspace(1)* %out, float addrspace(1)* %in) #0 { |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 77 | %tid = call i32 @llvm.r600.read.tidig.x() #1 |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 78 | %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid |
| 79 | %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 80 | |
Matt Arsenault | 44e5483 | 2016-04-12 13:38:18 +0000 | [diff] [blame] | 81 | %a = load volatile float, float addrspace(1)* %gep.0, align 4 |
| 82 | %b = load volatile float, float addrspace(1)* %gep.1, align 4 |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 83 | |
Matt Arsenault | da59f3d | 2014-11-13 23:03:09 +0000 | [diff] [blame] | 84 | %cmp = fcmp ogt float %a, %b |
| 85 | %val = select i1 %cmp, float %a, float %b |
| 86 | store float %val, float addrspace(1)* %out, align 4 |
| 87 | ret void |
| 88 | } |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 89 | |
Matt Arsenault | fabab4b | 2015-12-11 23:16:47 +0000 | [diff] [blame] | 90 | ; FUNC-LABEL: {{^}}test_fmax_legacy_ogt_v1f32: |
| 91 | ; SI: buffer_load_dword [[A:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 92 | ; SI: buffer_load_dword [[B:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4 |
| 93 | ; SI-SAFE: v_max_legacy_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 94 | ; SI-NONAN: v_max_f32_e32 {{v[0-9]+}}, [[A]], [[B]] |
Matt Arsenault | fabab4b | 2015-12-11 23:16:47 +0000 | [diff] [blame] | 95 | ; EG: MAX |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 96 | define amdgpu_kernel void @test_fmax_legacy_ogt_v1f32(<1 x float> addrspace(1)* %out, <1 x float> addrspace(1)* %in) #0 { |
Matt Arsenault | fabab4b | 2015-12-11 23:16:47 +0000 | [diff] [blame] | 97 | %tid = call i32 @llvm.r600.read.tidig.x() #1 |
| 98 | %gep.0 = getelementptr <1 x float>, <1 x float> addrspace(1)* %in, i32 %tid |
| 99 | %gep.1 = getelementptr <1 x float>, <1 x float> addrspace(1)* %gep.0, i32 1 |
| 100 | |
| 101 | %a = load <1 x float>, <1 x float> addrspace(1)* %gep.0 |
| 102 | %b = load <1 x float>, <1 x float> addrspace(1)* %gep.1 |
| 103 | |
| 104 | %cmp = fcmp ogt <1 x float> %a, %b |
| 105 | %val = select <1 x i1> %cmp, <1 x float> %a, <1 x float> %b |
| 106 | store <1 x float> %val, <1 x float> addrspace(1)* %out |
| 107 | ret void |
| 108 | } |
| 109 | |
| 110 | ; FUNC-LABEL: {{^}}test_fmax_legacy_ogt_v3f32: |
| 111 | ; SI-SAFE: v_max_legacy_f32_e32 |
| 112 | ; SI-SAFE: v_max_legacy_f32_e32 |
| 113 | ; SI-SAFE: v_max_legacy_f32_e32 |
| 114 | ; SI-NONAN: v_max_f32_e32 |
| 115 | ; SI-NONAN: v_max_f32_e32 |
| 116 | ; SI-NONAN: v_max_f32_e32 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 117 | define amdgpu_kernel void @test_fmax_legacy_ogt_v3f32(<3 x float> addrspace(1)* %out, <3 x float> addrspace(1)* %in) #0 { |
Matt Arsenault | fabab4b | 2015-12-11 23:16:47 +0000 | [diff] [blame] | 118 | %tid = call i32 @llvm.r600.read.tidig.x() #1 |
| 119 | %gep.0 = getelementptr <3 x float>, <3 x float> addrspace(1)* %in, i32 %tid |
| 120 | %gep.1 = getelementptr <3 x float>, <3 x float> addrspace(1)* %gep.0, i32 1 |
| 121 | |
| 122 | %a = load <3 x float>, <3 x float> addrspace(1)* %gep.0 |
| 123 | %b = load <3 x float>, <3 x float> addrspace(1)* %gep.1 |
| 124 | |
| 125 | %cmp = fcmp ogt <3 x float> %a, %b |
| 126 | %val = select <3 x i1> %cmp, <3 x float> %a, <3 x float> %b |
| 127 | store <3 x float> %val, <3 x float> addrspace(1)* %out |
| 128 | ret void |
| 129 | } |
Matt Arsenault | dc10307 | 2014-12-19 23:15:30 +0000 | [diff] [blame] | 130 | |
| 131 | ; FUNC-LABEL: @test_fmax_legacy_ogt_f32_multi_use |
| 132 | ; SI: buffer_load_dword [[A:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 133 | ; SI: buffer_load_dword [[B:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4 |
| 134 | ; SI-NOT: v_max_ |
| 135 | ; SI: v_cmp_gt_f32 |
| 136 | ; SI-NEXT: v_cndmask_b32 |
| 137 | ; SI-NOT: v_max_ |
| 138 | |
| 139 | ; EG: MAX |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 140 | define amdgpu_kernel void @test_fmax_legacy_ogt_f32_multi_use(float addrspace(1)* %out0, i1 addrspace(1)* %out1, float addrspace(1)* %in) #0 { |
Matt Arsenault | dc10307 | 2014-12-19 23:15:30 +0000 | [diff] [blame] | 141 | %tid = call i32 @llvm.r600.read.tidig.x() #1 |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 142 | %gep.0 = getelementptr float, float addrspace(1)* %in, i32 %tid |
| 143 | %gep.1 = getelementptr float, float addrspace(1)* %gep.0, i32 1 |
Matt Arsenault | dc10307 | 2014-12-19 23:15:30 +0000 | [diff] [blame] | 144 | |
Matt Arsenault | 44e5483 | 2016-04-12 13:38:18 +0000 | [diff] [blame] | 145 | %a = load volatile float, float addrspace(1)* %gep.0, align 4 |
| 146 | %b = load volatile float, float addrspace(1)* %gep.1, align 4 |
Matt Arsenault | dc10307 | 2014-12-19 23:15:30 +0000 | [diff] [blame] | 147 | |
| 148 | %cmp = fcmp ogt float %a, %b |
| 149 | %val = select i1 %cmp, float %a, float %b |
| 150 | store float %val, float addrspace(1)* %out0, align 4 |
| 151 | store i1 %cmp, i1addrspace(1)* %out1 |
| 152 | ret void |
| 153 | } |
| 154 | |
Matt Arsenault | 36094d7 | 2014-11-15 05:02:57 +0000 | [diff] [blame] | 155 | attributes #0 = { nounwind } |
| 156 | attributes #1 = { nounwind readnone } |