blob: 6ee6a043658dbd5721dd3ef2cbceadd5cd61c638 [file] [log] [blame]
Shilei Tianfc0653f2025-07-23 13:42:46 -04001; 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 Arsenault6c06a6f2016-12-08 19:52:38 +00003
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 Arsenault6c29c5a2017-07-10 19:53:57 +00008; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]]
Matt Arsenault6c06a6f2016-12-08 19:52:38 +00009; VI-NEXT: buffer_store_short [[ADD]]
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010010define amdgpu_kernel void @v_test_sub_i16(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000011 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010012 %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 Arsenault6c06a6f2016-12-08 19:52:38 +000017 %add = sub i16 %a, %b
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010018 store i16 %add, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000019 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 Preobrazhensky0b8fd772020-07-22 17:16:59 +030025; VI: v_add_u16_e32 [[ADD:v[0-9]+]], 0xff85, [[A]]
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000026; VI-NEXT: buffer_store_short [[ADD]]
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010027define amdgpu_kernel void @v_test_sub_i16_constant(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000028 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010029 %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 Arsenault6c06a6f2016-12-08 19:52:38 +000032 %add = sub i16 %a, 123
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010033 store i16 %add, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000034 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 Popovbdf2fbb2022-12-19 12:39:01 +010042define amdgpu_kernel void @v_test_sub_i16_neg_constant(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000043 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010044 %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 Arsenault6c06a6f2016-12-08 19:52:38 +000047 %add = sub i16 %a, -845
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010048 store i16 %add, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000049 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 Arsenaultaf635242017-01-30 19:30:24 +000055; VI: v_subrev_u16_e32 [[ADD:v[0-9]+]], 63, [[A]]
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000056; VI-NEXT: buffer_store_short [[ADD]]
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010057define amdgpu_kernel void @v_test_sub_i16_inline_63(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000058 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010059 %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 Arsenault6c06a6f2016-12-08 19:52:38 +000062 %add = sub i16 %a, 63
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010063 store i16 %add, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000064 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 Arsenault6c29c5a2017-07-10 19:53:57 +000071; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]]
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000072; VI-NEXT: buffer_store_dword [[ADD]]
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010073define amdgpu_kernel void @v_test_sub_i16_zext_to_i32(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000074 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010075 %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 Arsenault6c06a6f2016-12-08 19:52:38 +000080 %add = sub i16 %a, %b
81 %ext = zext i16 %add to i32
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010082 store i32 %ext, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000083 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 Arsenault301162c2017-11-15 21:51:43 +000090; VI: v_mov_b32_e32 v[[VZERO:[0-9]+]], 0
Matt Arsenault6c29c5a2017-07-10 19:53:57 +000091; VI-DAG: v_sub_u16_e32 v[[ADD:[0-9]+]], [[A]], [[B]]
Jay Foadf5100452022-01-14 11:03:21 +000092; VI: buffer_store_dwordx2 v[[[ADD]]:[[VZERO]]], off, {{s\[[0-9]+:[0-9]+\]}}, 0{{$}}
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010093define amdgpu_kernel void @v_test_sub_i16_zext_to_i64(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +000094 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +010095 %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 Arsenault6c06a6f2016-12-08 19:52:38 +0000100 %add = sub i16 %a, %b
101 %ext = zext i16 %add to i64
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100102 store i64 %ext, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000103 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 Foad0412f512019-12-17 16:09:02 +0000110; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]]
Stanislav Mekhanoshincd69e4c2020-01-09 14:28:49 -0800111; VI: v_bfe_i32 [[SEXT:v[0-9]+]], [[ADD]], 0, 16
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000112; VI-NEXT: buffer_store_dword [[SEXT]]
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100113define amdgpu_kernel void @v_test_sub_i16_sext_to_i32(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000114 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100115 %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 Arsenault6c06a6f2016-12-08 19:52:38 +0000120 %add = sub i16 %a, %b
121 %ext = sext i16 %add to i32
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100122 store i32 %ext, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000123 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 Foad0412f512019-12-17 16:09:02 +0000130; VI: v_sub_u16_e32 [[ADD:v[0-9]+]], [[A]], [[B]]
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000131; VI-NEXT: v_bfe_i32 v[[LO:[0-9]+]], [[ADD]], 0, 16
Stanislav Mekhanoshincd69e4c2020-01-09 14:28:49 -0800132; VI: v_ashrrev_i32_e32 v[[HI:[0-9]+]], 31, v[[LO]]
Jay Foadf5100452022-01-14 11:03:21 +0000133; VI-NEXT: buffer_store_dwordx2 v[[[LO]]:[[HI]]]
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100134define amdgpu_kernel void @v_test_sub_i16_sext_to_i64(ptr addrspace(1) %out, ptr addrspace(1) %in0, ptr addrspace(1) %in1) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000135 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100136 %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 Arsenault6c06a6f2016-12-08 19:52:38 +0000141 %add = sub i16 %a, %b
142 %ext = sext i16 %add to i64
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100143 store i64 %ext, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000144 ret void
145}
146
Matt Arsenault26ae98c2025-03-13 13:41:03 +0700147@lds = addrspace(3) global [512 x i32] poison, align 4
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000148
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 Popovbdf2fbb2022-12-19 12:39:01 +0100152define amdgpu_kernel void @v_test_sub_i16_constant_commute(ptr addrspace(1) %out, ptr addrspace(1) %in0) #1 {
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000153 %size = call i32 @llvm.amdgcn.groupstaticsize()
154 %size.trunc = trunc i32 %size to i16
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100155 call void asm sideeffect "; $0", "v"(ptr addrspace(3) @lds)
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000156 %tid = call i32 @llvm.amdgcn.workitem.id.x()
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100157 %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 Arsenault6c06a6f2016-12-08 19:52:38 +0000160 %add = sub i16 %a, %size.trunc
Nikita Popovbdf2fbb2022-12-19 12:39:01 +0100161 store i16 %add, ptr addrspace(1) %out
Matt Arsenault6c06a6f2016-12-08 19:52:38 +0000162 ret void
163}
164
165declare i32 @llvm.amdgcn.workitem.id.x() #0
166declare i32 @llvm.amdgcn.groupstaticsize() #0
167
168attributes #0 = { nounwind readnone }
169attributes #1 = { nounwind }