| Shilei Tian | fc0653f | 2025-07-23 13:42:46 -0400 | [diff] [blame] | 1 | ; RUN: llc -mtriple=amdgcn--amdhsa -mcpu=tonga -mattr=-flat-for-global < %s | FileCheck -check-prefix=VI -check-prefix=GCN %s |
| 2 | ; RUN: llc -mtriple=amdgcn--amdhsa -mcpu=bonaire < %s | FileCheck -check-prefix=CI -check-prefix=GCN %s |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 3 | |
| 4 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 5 | ; GCN-LABEL: {{^}}v_test_sub_i16: |
| 6 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| 7 | ; VI: flat_load_ushort [[B:v[0-9]+]] |
| Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 8 | ; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]] |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 9 | ; VI-NEXT: buffer_store_short [[ADD]] |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 10 | define amdgpu_kernel void @v_test_sub_i16(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 11 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 12 | %gep.out = getelementptr inbounds i16, ptr addrspace(1) %out, i32 %tid |
| 13 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 14 | %gep.in1 = getelementptr inbounds i16, ptr addrspace(1) %in1, i32 %tid |
| 15 | %a = load volatile i16, ptr addrspace(1) %gep.in0 |
| 16 | %b = load volatile i16, ptr addrspace(1) %gep.in1 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 17 | %add = sub i16 %a, %b |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 18 | store i16 %add, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 19 | ret void |
| 20 | } |
| 21 | |
| 22 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 23 | ; GCN-LABEL: {{^}}v_test_sub_i16_constant: |
| 24 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| Dmitry Preobrazhensky | 0b8fd77 | 2020-07-22 17:16:59 +0300 | [diff] [blame] | 25 | ; VI: v_add_u16_e32 [[ADD:v[0-9]+]], 0xff85, [[A]] |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 26 | ; VI-NEXT: buffer_store_short [[ADD]] |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 27 | define amdgpu_kernel void @v_test_sub_i16_constant(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 28 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 29 | %gep.out = getelementptr inbounds i16, ptr addrspace(1) %out, i32 %tid |
| 30 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 31 | %a = load volatile i16, ptr addrspace(1) %gep.in0 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 32 | %add = sub i16 %a, 123 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 33 | store i16 %add, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 34 | ret void |
| 35 | } |
| 36 | |
| 37 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 38 | ; GCN-LABEL: {{^}}v_test_sub_i16_neg_constant: |
| 39 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| 40 | ; VI: v_add_u16_e32 [[ADD:v[0-9]+]], 0x34d, [[A]] |
| 41 | ; VI-NEXT: buffer_store_short [[ADD]] |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 42 | define amdgpu_kernel void @v_test_sub_i16_neg_constant(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 43 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 44 | %gep.out = getelementptr inbounds i16, ptr addrspace(1) %out, i32 %tid |
| 45 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 46 | %a = load volatile i16, ptr addrspace(1) %gep.in0 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 47 | %add = sub i16 %a, -845 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 48 | store i16 %add, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 49 | ret void |
| 50 | } |
| 51 | |
| 52 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 53 | ; GCN-LABEL: {{^}}v_test_sub_i16_inline_63: |
| 54 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| Matt Arsenault | af63524 | 2017-01-30 19:30:24 +0000 | [diff] [blame] | 55 | ; VI: v_subrev_u16_e32 [[ADD:v[0-9]+]], 63, [[A]] |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 56 | ; VI-NEXT: buffer_store_short [[ADD]] |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 57 | define amdgpu_kernel void @v_test_sub_i16_inline_63(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 58 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 59 | %gep.out = getelementptr inbounds i16, ptr addrspace(1) %out, i32 %tid |
| 60 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 61 | %a = load volatile i16, ptr addrspace(1) %gep.in0 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 62 | %add = sub i16 %a, 63 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 63 | store i16 %add, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 64 | ret void |
| 65 | } |
| 66 | |
| 67 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 68 | ; GCN-LABEL: {{^}}v_test_sub_i16_zext_to_i32: |
| 69 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| 70 | ; VI: flat_load_ushort [[B:v[0-9]+]] |
| Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 71 | ; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]] |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 72 | ; VI-NEXT: buffer_store_dword [[ADD]] |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 73 | define amdgpu_kernel void @v_test_sub_i16_zext_to_i32(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 74 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 75 | %gep.out = getelementptr inbounds i32, ptr addrspace(1) %out, i32 %tid |
| 76 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 77 | %gep.in1 = getelementptr inbounds i16, ptr addrspace(1) %in1, i32 %tid |
| 78 | %a = load volatile i16, ptr addrspace(1) %gep.in0 |
| 79 | %b = load volatile i16, ptr addrspace(1) %gep.in1 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 80 | %add = sub i16 %a, %b |
| 81 | %ext = zext i16 %add to i32 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 82 | store i32 %ext, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 83 | ret void |
| 84 | } |
| 85 | |
| 86 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 87 | ; GCN-LABEL: {{^}}v_test_sub_i16_zext_to_i64: |
| 88 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| 89 | ; VI: flat_load_ushort [[B:v[0-9]+]] |
| Matt Arsenault | 301162c | 2017-11-15 21:51:43 +0000 | [diff] [blame] | 90 | ; VI: v_mov_b32_e32 v[[VZERO:[0-9]+]], 0 |
| Matt Arsenault | 6c29c5a | 2017-07-10 19:53:57 +0000 | [diff] [blame] | 91 | ; VI-DAG: v_sub_u16_e32 v[[ADD:[0-9]+]], [[A]], [[B]] |
| Jay Foad | f510045 | 2022-01-14 11:03:21 +0000 | [diff] [blame] | 92 | ; VI: buffer_store_dwordx2 v[[[ADD]]:[[VZERO]]], off, {{s\[[0-9]+:[0-9]+\]}}, 0{{$}} |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 93 | define amdgpu_kernel void @v_test_sub_i16_zext_to_i64(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 94 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 95 | %gep.out = getelementptr inbounds i64, ptr addrspace(1) %out, i32 %tid |
| 96 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 97 | %gep.in1 = getelementptr inbounds i16, ptr addrspace(1) %in1, i32 %tid |
| 98 | %a = load volatile i16, ptr addrspace(1) %gep.in0 |
| 99 | %b = load volatile i16, ptr addrspace(1) %gep.in1 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 100 | %add = sub i16 %a, %b |
| 101 | %ext = zext i16 %add to i64 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 102 | store i64 %ext, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 103 | ret void |
| 104 | } |
| 105 | |
| 106 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 107 | ; GCN-LABEL: {{^}}v_test_sub_i16_sext_to_i32: |
| 108 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| 109 | ; VI: flat_load_ushort [[B:v[0-9]+]] |
| Jay Foad | 0412f51 | 2019-12-17 16:09:02 +0000 | [diff] [blame] | 110 | ; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]] |
| Stanislav Mekhanoshin | cd69e4c | 2020-01-09 14:28:49 -0800 | [diff] [blame] | 111 | ; VI: v_bfe_i32 [[SEXT:v[0-9]+]], [[ADD]], 0, 16 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 112 | ; VI-NEXT: buffer_store_dword [[SEXT]] |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 113 | define amdgpu_kernel void @v_test_sub_i16_sext_to_i32(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 114 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 115 | %gep.out = getelementptr inbounds i32, ptr addrspace(1) %out, i32 %tid |
| 116 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 117 | %gep.in1 = getelementptr inbounds i16, ptr addrspace(1) %in1, i32 %tid |
| 118 | %a = load i16, ptr addrspace(1) %gep.in0 |
| 119 | %b = load i16, ptr addrspace(1) %gep.in1 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 120 | %add = sub i16 %a, %b |
| 121 | %ext = sext i16 %add to i32 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 122 | store i32 %ext, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 123 | ret void |
| 124 | } |
| 125 | |
| 126 | ; FIXME: Need to handle non-uniform case for function below (load without gep). |
| 127 | ; GCN-LABEL: {{^}}v_test_sub_i16_sext_to_i64: |
| 128 | ; VI: flat_load_ushort [[A:v[0-9]+]] |
| 129 | ; VI: flat_load_ushort [[B:v[0-9]+]] |
| Jay Foad | 0412f51 | 2019-12-17 16:09:02 +0000 | [diff] [blame] | 130 | ; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]] |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 131 | ; VI-NEXT: v_bfe_i32 v[[LO:[0-9]+]], [[ADD]], 0, 16 |
| Stanislav Mekhanoshin | cd69e4c | 2020-01-09 14:28:49 -0800 | [diff] [blame] | 132 | ; VI: v_ashrrev_i32_e32 v[[HI:[0-9]+]], 31, v[[LO]] |
| Jay Foad | f510045 | 2022-01-14 11:03:21 +0000 | [diff] [blame] | 133 | ; VI-NEXT: buffer_store_dwordx2 v[[[LO]]:[[HI]]] |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 134 | define amdgpu_kernel void @v_test_sub_i16_sext_to_i64(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 135 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 136 | %gep.out = getelementptr inbounds i64, ptr addrspace(1) %out, i32 %tid |
| 137 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 138 | %gep.in1 = getelementptr inbounds i16, ptr addrspace(1) %in1, i32 %tid |
| 139 | %a = load i16, ptr addrspace(1) %gep.in0 |
| 140 | %b = load i16, ptr addrspace(1) %gep.in1 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 141 | %add = sub i16 %a, %b |
| 142 | %ext = sext i16 %add to i64 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 143 | store i64 %ext, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 144 | ret void |
| 145 | } |
| 146 | |
| Matt Arsenault | 26ae98c | 2025-03-13 13:41:03 +0700 | [diff] [blame] | 147 | @lds = addrspace(3) global [512 x i32] poison, align 4 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 148 | |
| 149 | ; GCN-LABEL: {{^}}v_test_sub_i16_constant_commute: |
| 150 | ; VI: v_subrev_u16_e32 v{{[0-9]+}}, 0x800, v{{[0-9]+}} |
| 151 | ; CI: v_subrev_i32_e32 v{{[0-9]+}}, vcc, 0x800, v{{[0-9]+}} |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 152 | define amdgpu_kernel void @v_test_sub_i16_constant_commute(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 { |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 153 | %size = call i32 @llvm.amdgcn.groupstaticsize() |
| 154 | %size.trunc = trunc i32 %size to i16 |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 155 | call void asm sideeffect "; $0", "v"(ptr addrspace(3) @lds) |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 156 | %tid = call i32 @llvm.amdgcn.workitem.id.x() |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 157 | %gep.out = getelementptr inbounds i16, ptr addrspace(1) %out, i32 %tid |
| 158 | %gep.in0 = getelementptr inbounds i16, ptr addrspace(1) %in0, i32 %tid |
| 159 | %a = load volatile i16, ptr addrspace(1) %gep.in0 |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 160 | %add = sub i16 %a, %size.trunc |
| Nikita Popov | bdf2fbb | 2022-12-19 12:39:01 +0100 | [diff] [blame] | 161 | store i16 %add, ptr addrspace(1) %out |
| Matt Arsenault | 6c06a6f | 2016-12-08 19:52:38 +0000 | [diff] [blame] | 162 | ret void |
| 163 | } |
| 164 | |
| 165 | declare i32 @llvm.amdgcn.workitem.id.x() #0 |
| 166 | declare i32 @llvm.amdgcn.groupstaticsize() #0 |
| 167 | |
| 168 | attributes #0 = { nounwind readnone } |
| 169 | attributes #1 = { nounwind } |