Matt Arsenault | 9c47dd5 | 2016-02-11 06:02:01 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=SI %s |
Matt Arsenault | fb826fa | 2013-11-18 20:09:47 +0000 | [diff] [blame] | 2 | |
| 3 | |
Matt Arsenault | 9c47dd5 | 2016-02-11 06:02:01 +0000 | [diff] [blame] | 4 | declare i32 @llvm.amdgcn.workitem.id.x() readnone |
Matt Arsenault | fb826fa | 2013-11-18 20:09:47 +0000 | [diff] [blame] | 5 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 6 | ; SI-LABEL: {{^}}test_i64_vreg: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 7 | ; SI: v_add_i32 |
| 8 | ; SI: v_addc_u32 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 9 | define amdgpu_kernel void @test_i64_vreg(i64 addrspace(1)* noalias %out, i64 addrspace(1)* noalias %inA, i64 addrspace(1)* noalias %inB) { |
Matt Arsenault | 9c47dd5 | 2016-02-11 06:02:01 +0000 | [diff] [blame] | 10 | %tid = call i32 @llvm.amdgcn.workitem.id.x() readnone |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 11 | %a_ptr = getelementptr i64, i64 addrspace(1)* %inA, i32 %tid |
| 12 | %b_ptr = getelementptr i64, i64 addrspace(1)* %inB, i32 %tid |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 13 | %a = load i64, i64 addrspace(1)* %a_ptr |
| 14 | %b = load i64, i64 addrspace(1)* %b_ptr |
Matt Arsenault | fb826fa | 2013-11-18 20:09:47 +0000 | [diff] [blame] | 15 | %result = add i64 %a, %b |
| 16 | store i64 %result, i64 addrspace(1)* %out |
| 17 | ret void |
| 18 | } |
| 19 | |
Matt Arsenault | 3a4d86a | 2013-11-18 20:09:55 +0000 | [diff] [blame] | 20 | ; Check that the SGPR add operand is correctly moved to a VGPR. |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 21 | ; SI-LABEL: {{^}}sgpr_operand: |
Alexander Timofeev | 982aee6 | 2017-07-04 17:32:00 +0000 | [diff] [blame] | 22 | ; SI: s_add_u32 |
| 23 | ; SI: s_addc_u32 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 24 | define amdgpu_kernel void @sgpr_operand(i64 addrspace(1)* noalias %out, i64 addrspace(1)* noalias %in, i64 addrspace(1)* noalias %in_bar, i64 %a) { |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 25 | %foo = load i64, i64 addrspace(1)* %in, align 8 |
Matt Arsenault | 08f7e37 | 2013-11-18 20:09:50 +0000 | [diff] [blame] | 26 | %result = add i64 %foo, %a |
Matt Arsenault | fb826fa | 2013-11-18 20:09:47 +0000 | [diff] [blame] | 27 | store i64 %result, i64 addrspace(1)* %out |
| 28 | ret void |
| 29 | } |
| 30 | |
Matt Arsenault | 08f7e37 | 2013-11-18 20:09:50 +0000 | [diff] [blame] | 31 | ; Swap the arguments. Check that the SGPR -> VGPR copy works with the |
| 32 | ; SGPR as other operand. |
| 33 | ; |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 34 | ; SI-LABEL: {{^}}sgpr_operand_reversed: |
Alexander Timofeev | 982aee6 | 2017-07-04 17:32:00 +0000 | [diff] [blame] | 35 | ; SI: s_add_u32 |
| 36 | ; SI: s_addc_u32 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 37 | define amdgpu_kernel void @sgpr_operand_reversed(i64 addrspace(1)* noalias %out, i64 addrspace(1)* noalias %in, i64 %a) { |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 38 | %foo = load i64, i64 addrspace(1)* %in, align 8 |
Matt Arsenault | 3a4d86a | 2013-11-18 20:09:55 +0000 | [diff] [blame] | 39 | %result = add i64 %a, %foo |
| 40 | store i64 %result, i64 addrspace(1)* %out |
| 41 | ret void |
| 42 | } |
Matt Arsenault | 08f7e37 | 2013-11-18 20:09:50 +0000 | [diff] [blame] | 43 | |
| 44 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 45 | ; SI-LABEL: {{^}}test_v2i64_sreg: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 46 | ; SI: s_add_u32 |
| 47 | ; SI: s_addc_u32 |
| 48 | ; SI: s_add_u32 |
| 49 | ; SI: s_addc_u32 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 50 | define amdgpu_kernel void @test_v2i64_sreg(<2 x i64> addrspace(1)* noalias %out, <2 x i64> %a, <2 x i64> %b) { |
Matt Arsenault | fb826fa | 2013-11-18 20:09:47 +0000 | [diff] [blame] | 51 | %result = add <2 x i64> %a, %b |
| 52 | store <2 x i64> %result, <2 x i64> addrspace(1)* %out |
| 53 | ret void |
| 54 | } |
| 55 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 56 | ; SI-LABEL: {{^}}test_v2i64_vreg: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 57 | ; SI: v_add_i32 |
| 58 | ; SI: v_addc_u32 |
| 59 | ; SI: v_add_i32 |
| 60 | ; SI: v_addc_u32 |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 61 | define amdgpu_kernel void @test_v2i64_vreg(<2 x i64> addrspace(1)* noalias %out, <2 x i64> addrspace(1)* noalias %inA, <2 x i64> addrspace(1)* noalias %inB) { |
Matt Arsenault | 9c47dd5 | 2016-02-11 06:02:01 +0000 | [diff] [blame] | 62 | %tid = call i32 @llvm.amdgcn.workitem.id.x() readnone |
David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 63 | %a_ptr = getelementptr <2 x i64>, <2 x i64> addrspace(1)* %inA, i32 %tid |
| 64 | %b_ptr = getelementptr <2 x i64>, <2 x i64> addrspace(1)* %inB, i32 %tid |
David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 65 | %a = load <2 x i64>, <2 x i64> addrspace(1)* %a_ptr |
| 66 | %b = load <2 x i64>, <2 x i64> addrspace(1)* %b_ptr |
Matt Arsenault | fb826fa | 2013-11-18 20:09:47 +0000 | [diff] [blame] | 67 | %result = add <2 x i64> %a, %b |
| 68 | store <2 x i64> %result, <2 x i64> addrspace(1)* %out |
| 69 | ret void |
| 70 | } |
Matt Arsenault | b517c81 | 2014-03-27 17:23:31 +0000 | [diff] [blame] | 71 | |
Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 72 | ; SI-LABEL: {{^}}trunc_i64_add_to_i32: |
Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame] | 73 | ; SI: s_load_dword s[[SREG0:[0-9]+]] |
| 74 | ; SI: s_load_dword s[[SREG1:[0-9]+]] |
| 75 | ; SI: s_add_i32 [[SRESULT:s[0-9]+]], s[[SREG1]], s[[SREG0]] |
| 76 | ; SI-NOT: addc |
| 77 | ; SI: v_mov_b32_e32 [[VRESULT:v[0-9]+]], [[SRESULT]] |
| 78 | ; SI: buffer_store_dword [[VRESULT]], |
Matt Arsenault | 3dbeefa | 2017-03-21 21:39:51 +0000 | [diff] [blame] | 79 | define amdgpu_kernel void @trunc_i64_add_to_i32(i32 addrspace(1)* %out, i64 %a, i64 %b) { |
Matt Arsenault | b517c81 | 2014-03-27 17:23:31 +0000 | [diff] [blame] | 80 | %add = add i64 %b, %a |
| 81 | %trunc = trunc i64 %add to i32 |
| 82 | store i32 %trunc, i32 addrspace(1)* %out, align 8 |
| 83 | ret void |
| 84 | } |