Matt Arsenault | 8ebce8f | 2015-06-28 18:16:14 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -mcpu=SI -verify-machineinstrs < %s | FileCheck -strict-whitespace -check-prefix=GCN -check-prefix=SI %s |
| 2 | ; XUN: llc -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck -strict-whitespace -check-prefix=GCN -check-prefix=VI %s |
Matt Arsenault | a0050b0 | 2014-06-19 01:19:19 +0000 | [diff] [blame] | 3 | |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 4 | ; FIXME: Enable for VI. |
| 5 | |
| 6 | declare i32 @llvm.r600.read.tidig.x() nounwind readnone |
| 7 | declare void @llvm.AMDGPU.barrier.global() nounwind noduplicate |
Matt Arsenault | 75c658e | 2014-10-21 22:20:55 +0000 | [diff] [blame] | 8 | declare float @llvm.AMDGPU.div.fmas.f32(float, float, float, i1) nounwind readnone |
| 9 | declare double @llvm.AMDGPU.div.fmas.f64(double, double, double, i1) nounwind readnone |
Matt Arsenault | a0050b0 | 2014-06-19 01:19:19 +0000 | [diff] [blame] | 10 | |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 11 | ; GCN-LABEL: {{^}}test_div_fmas_f32: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 12 | ; SI-DAG: s_load_dword [[SA:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xb |
| 13 | ; SI-DAG: s_load_dword [[SC:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xd |
| 14 | ; SI-DAG: s_load_dword [[SB:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xc |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 15 | ; VI-DAG: s_load_dword [[SA:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0x2c |
| 16 | ; VI-DAG: s_load_dword [[SC:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0x34 |
| 17 | ; VI-DAG: s_load_dword [[SB:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0x30 |
| 18 | ; GCN-DAG: v_mov_b32_e32 [[VC:v[0-9]+]], [[SC]] |
| 19 | ; GCN-DAG: v_mov_b32_e32 [[VB:v[0-9]+]], [[SB]] |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 20 | ; GCN-DAG: v_mov_b32_e32 [[VA:v[0-9]+]], [[SA]] |
Tom Stellard | 7b3aa88 | 2015-02-17 20:11:54 +0000 | [diff] [blame] | 21 | ; GCN: v_div_fmas_f32 [[RESULT:v[0-9]+]], [[VB]], [[VA]], [[VC]] |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 22 | ; GCN: buffer_store_dword [[RESULT]], |
| 23 | ; GCN: s_endpgm |
Matt Arsenault | 75c658e | 2014-10-21 22:20:55 +0000 | [diff] [blame] | 24 | define void @test_div_fmas_f32(float addrspace(1)* %out, float %a, float %b, float %c, i1 %d) nounwind { |
| 25 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float %b, float %c, i1 %d) nounwind readnone |
Matt Arsenault | a0050b0 | 2014-06-19 01:19:19 +0000 | [diff] [blame] | 26 | store float %result, float addrspace(1)* %out, align 4 |
| 27 | ret void |
| 28 | } |
| 29 | |
Matt Arsenault | 7eaee80 | 2015-02-14 04:22:02 +0000 | [diff] [blame] | 30 | ; GCN-LABEL: {{^}}test_div_fmas_f32_inline_imm_0: |
| 31 | ; SI-DAG: s_load_dword [[SC:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xd |
| 32 | ; SI-DAG: s_load_dword [[SB:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xc |
| 33 | ; SI-DAG: v_mov_b32_e32 [[VC:v[0-9]+]], [[SC]] |
| 34 | ; SI-DAG: v_mov_b32_e32 [[VB:v[0-9]+]], [[SB]] |
| 35 | ; SI: v_div_fmas_f32 [[RESULT:v[0-9]+]], 1.0, [[VB]], [[VC]] |
| 36 | ; SI: buffer_store_dword [[RESULT]], |
| 37 | ; SI: s_endpgm |
| 38 | define void @test_div_fmas_f32_inline_imm_0(float addrspace(1)* %out, float %a, float %b, float %c, i1 %d) nounwind { |
| 39 | %result = call float @llvm.AMDGPU.div.fmas.f32(float 1.0, float %b, float %c, i1 %d) nounwind readnone |
| 40 | store float %result, float addrspace(1)* %out, align 4 |
| 41 | ret void |
| 42 | } |
| 43 | |
| 44 | ; GCN-LABEL: {{^}}test_div_fmas_f32_inline_imm_1: |
| 45 | ; SI-DAG: s_load_dword [[SA:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xb |
| 46 | ; SI-DAG: s_load_dword [[SC:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xd |
| 47 | ; SI-DAG: v_mov_b32_e32 [[VC:v[0-9]+]], [[SC]] |
| 48 | ; SI-DAG: v_mov_b32_e32 [[VA:v[0-9]+]], [[SA]] |
| 49 | ; SI: v_div_fmas_f32 [[RESULT:v[0-9]+]], 1.0, [[VA]], [[VC]] |
| 50 | ; SI: buffer_store_dword [[RESULT]], |
| 51 | ; SI: s_endpgm |
| 52 | define void @test_div_fmas_f32_inline_imm_1(float addrspace(1)* %out, float %a, float %b, float %c, i1 %d) nounwind { |
| 53 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float 1.0, float %c, i1 %d) nounwind readnone |
| 54 | store float %result, float addrspace(1)* %out, align 4 |
| 55 | ret void |
| 56 | } |
| 57 | |
| 58 | ; GCN-LABEL: {{^}}test_div_fmas_f32_inline_imm_2: |
| 59 | ; SI-DAG: s_load_dword [[SA:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xb |
| 60 | ; SI-DAG: s_load_dword [[SB:s[0-9]+]], s{{\[[0-9]+:[0-9]+\]}}, 0xc |
| 61 | ; SI-DAG: v_mov_b32_e32 [[VA:v[0-9]+]], [[SA]] |
| 62 | ; SI-DAG: v_mov_b32_e32 [[VB:v[0-9]+]], [[SB]] |
Tom Stellard | 7b3aa88 | 2015-02-17 20:11:54 +0000 | [diff] [blame] | 63 | ; SI: v_div_fmas_f32 [[RESULT:v[0-9]+]], [[VA]], [[VB]], 1.0 |
Matt Arsenault | 7eaee80 | 2015-02-14 04:22:02 +0000 | [diff] [blame] | 64 | ; SI: buffer_store_dword [[RESULT]], |
| 65 | ; SI: s_endpgm |
| 66 | define void @test_div_fmas_f32_inline_imm_2(float addrspace(1)* %out, float %a, float %b, float %c, i1 %d) nounwind { |
| 67 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float %b, float 1.0, i1 %d) nounwind readnone |
| 68 | store float %result, float addrspace(1)* %out, align 4 |
| 69 | ret void |
| 70 | } |
| 71 | |
Marek Olsak | fa6607d | 2015-02-11 14:26:46 +0000 | [diff] [blame] | 72 | ; GCN-LABEL: {{^}}test_div_fmas_f64: |
| 73 | ; GCN: v_div_fmas_f64 |
Matt Arsenault | 75c658e | 2014-10-21 22:20:55 +0000 | [diff] [blame] | 74 | define void @test_div_fmas_f64(double addrspace(1)* %out, double %a, double %b, double %c, i1 %d) nounwind { |
| 75 | %result = call double @llvm.AMDGPU.div.fmas.f64(double %a, double %b, double %c, i1 %d) nounwind readnone |
Matt Arsenault | a0050b0 | 2014-06-19 01:19:19 +0000 | [diff] [blame] | 76 | store double %result, double addrspace(1)* %out, align 8 |
| 77 | ret void |
| 78 | } |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 79 | |
| 80 | ; GCN-LABEL: {{^}}test_div_fmas_f32_cond_to_vcc: |
Matt Arsenault | f5b2cd8 | 2015-03-23 18:45:30 +0000 | [diff] [blame] | 81 | ; SI: v_cmp_eq_i32_e64 vcc, 0, s{{[0-9]+}} |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 82 | ; SI: v_div_fmas_f32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
| 83 | define void @test_div_fmas_f32_cond_to_vcc(float addrspace(1)* %out, float %a, float %b, float %c, i32 %i) nounwind { |
| 84 | %cmp = icmp eq i32 %i, 0 |
| 85 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float %b, float %c, i1 %cmp) nounwind readnone |
| 86 | store float %result, float addrspace(1)* %out, align 4 |
| 87 | ret void |
| 88 | } |
| 89 | |
| 90 | ; GCN-LABEL: {{^}}test_div_fmas_f32_imm_false_cond_to_vcc: |
| 91 | ; SI: s_mov_b64 vcc, 0 |
| 92 | ; SI: v_div_fmas_f32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
| 93 | define void @test_div_fmas_f32_imm_false_cond_to_vcc(float addrspace(1)* %out, float %a, float %b, float %c) nounwind { |
| 94 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float %b, float %c, i1 false) nounwind readnone |
| 95 | store float %result, float addrspace(1)* %out, align 4 |
| 96 | ret void |
| 97 | } |
| 98 | |
| 99 | ; GCN-LABEL: {{^}}test_div_fmas_f32_imm_true_cond_to_vcc: |
| 100 | ; SI: s_mov_b64 vcc, -1 |
| 101 | ; SI: v_div_fmas_f32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
| 102 | define void @test_div_fmas_f32_imm_true_cond_to_vcc(float addrspace(1)* %out, float %a, float %b, float %c) nounwind { |
| 103 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float %b, float %c, i1 true) nounwind readnone |
| 104 | store float %result, float addrspace(1)* %out, align 4 |
| 105 | ret void |
| 106 | } |
| 107 | |
| 108 | ; GCN-LABEL: {{^}}test_div_fmas_f32_logical_cond_to_vcc: |
| 109 | ; SI-DAG: buffer_load_dword [[A:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 110 | ; SI-DAG: buffer_load_dword [[B:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4{{$}} |
| 111 | ; SI-DAG: buffer_load_dword [[C:v[0-9]+]], {{v\[[0-9]+:[0-9]+\]}}, {{s\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 112 | |
Matt Arsenault | f5b2cd8 | 2015-03-23 18:45:30 +0000 | [diff] [blame] | 113 | ; SI-DAG: v_cmp_eq_i32_e32 [[CMP0:vcc]], 0, v{{[0-9]+}} |
| 114 | ; SI-DAG: v_cmp_ne_i32_e64 [[CMP1:s\[[0-9]+:[0-9]+\]]], 0, s{{[0-9]+}} |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 115 | ; SI: s_and_b64 vcc, [[CMP0]], [[CMP1]] |
Tom Stellard | 7b3aa88 | 2015-02-17 20:11:54 +0000 | [diff] [blame] | 116 | ; SI: v_div_fmas_f32 {{v[0-9]+}}, [[A]], [[B]], [[C]] |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 117 | ; SI: s_endpgm |
| 118 | define void @test_div_fmas_f32_logical_cond_to_vcc(float addrspace(1)* %out, float addrspace(1)* %in, i32 %d) nounwind { |
| 119 | %tid = call i32 @llvm.r600.read.tidig.x() nounwind readnone |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 120 | %gep.a = getelementptr float, float addrspace(1)* %in, i32 %tid |
| 121 | %gep.b = getelementptr float, float addrspace(1)* %gep.a, i32 1 |
| 122 | %gep.c = getelementptr float, float addrspace(1)* %gep.a, i32 2 |
| 123 | %gep.out = getelementptr float, float addrspace(1)* %out, i32 2 |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 124 | |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 125 | %a = load float, float addrspace(1)* %gep.a |
| 126 | %b = load float, float addrspace(1)* %gep.b |
| 127 | %c = load float, float addrspace(1)* %gep.c |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 128 | |
| 129 | %cmp0 = icmp eq i32 %tid, 0 |
| 130 | %cmp1 = icmp ne i32 %d, 0 |
| 131 | %and = and i1 %cmp0, %cmp1 |
| 132 | |
| 133 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float %b, float %c, i1 %and) nounwind readnone |
| 134 | store float %result, float addrspace(1)* %gep.out, align 4 |
| 135 | ret void |
| 136 | } |
| 137 | |
| 138 | ; GCN-LABEL: {{^}}test_div_fmas_f32_i1_phi_vcc: |
Matt Arsenault | f5b2cd8 | 2015-03-23 18:45:30 +0000 | [diff] [blame] | 139 | ; SI: v_cmp_eq_i32_e32 vcc, 0, v{{[0-9]+}} |
| 140 | ; SI: s_and_saveexec_b64 [[SAVE:s\[[0-9]+:[0-9]+\]]], vcc |
| 141 | ; SI: s_xor_b64 [[SAVE]], exec, [[SAVE]] |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 142 | |
| 143 | ; SI: buffer_load_dword [[LOAD:v[0-9]+]] |
Matt Arsenault | f5b2cd8 | 2015-03-23 18:45:30 +0000 | [diff] [blame] | 144 | ; SI: v_cmp_ne_i32_e32 vcc, 0, [[LOAD]] |
| 145 | ; SI: v_cndmask_b32_e64 {{v[0-9]+}}, 0, -1, vcc |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 146 | |
| 147 | |
Matt Arsenault | 7eaee80 | 2015-02-14 04:22:02 +0000 | [diff] [blame] | 148 | ; SI: BB9_2: |
Matt Arsenault | f5b2cd8 | 2015-03-23 18:45:30 +0000 | [diff] [blame] | 149 | ; SI: s_or_b64 exec, exec, [[SAVE]] |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 150 | ; SI: v_cmp_ne_i32_e32 vcc, 0, v0 |
| 151 | ; SI: v_div_fmas_f32 {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}}, {{v[0-9]+}} |
| 152 | ; SI: buffer_store_dword |
| 153 | ; SI: s_endpgm |
| 154 | define void @test_div_fmas_f32_i1_phi_vcc(float addrspace(1)* %out, float addrspace(1)* %in, i32 addrspace(1)* %dummy) nounwind { |
| 155 | entry: |
| 156 | %tid = call i32 @llvm.r600.read.tidig.x() nounwind readnone |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 157 | %gep.out = getelementptr float, float addrspace(1)* %out, i32 2 |
| 158 | %gep.a = getelementptr float, float addrspace(1)* %in, i32 %tid |
| 159 | %gep.b = getelementptr float, float addrspace(1)* %gep.a, i32 1 |
| 160 | %gep.c = getelementptr float, float addrspace(1)* %gep.a, i32 2 |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 161 | |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 162 | %a = load float, float addrspace(1)* %gep.a |
| 163 | %b = load float, float addrspace(1)* %gep.b |
| 164 | %c = load float, float addrspace(1)* %gep.c |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 165 | |
| 166 | %cmp0 = icmp eq i32 %tid, 0 |
| 167 | br i1 %cmp0, label %bb, label %exit |
| 168 | |
| 169 | bb: |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 170 | %val = load i32, i32 addrspace(1)* %dummy |
Matt Arsenault | 1bc9d95 | 2015-02-14 04:22:00 +0000 | [diff] [blame] | 171 | %cmp1 = icmp ne i32 %val, 0 |
| 172 | br label %exit |
| 173 | |
| 174 | exit: |
| 175 | %cond = phi i1 [false, %entry], [%cmp1, %bb] |
| 176 | %result = call float @llvm.AMDGPU.div.fmas.f32(float %a, float %b, float %c, i1 %cond) nounwind readnone |
| 177 | store float %result, float addrspace(1)* %gep.out, align 4 |
| 178 | ret void |
| 179 | } |