blob: e8cd55170bd5c36d6fc1b10eac49375d18303550 [file] [log] [blame]
Matt Arsenault3a619852016-02-27 20:26:57 +00001; RUN: llc -verify-machineinstrs -march=amdgcn < %s | FileCheck -check-prefix=GCN %s
2; RUN: llc -verify-machineinstrs -march=amdgcn -mcpu=tonga < %s | FileCheck -check-prefix=GCN %s
Tom Stellard80580692015-01-20 17:49:43 +00003
4; When a frame index offset is more than 12-bits, make sure we don't store
5; it in mubuf's offset field.
6
Tom Stellard8255af42015-01-20 17:49:45 +00007; Also, make sure we use the same register for storing the scratch buffer addresss
8; for both stores. This register is allocated by the register scavenger, so we
9; should be able to reuse the same regiser for each scratch buffer access.
10
Tom Stellard78655fc2015-07-16 19:40:09 +000011; GCN-LABEL: {{^}}legal_offset_fi:
12; GCN: v_mov_b32_e32 [[OFFSET:v[0-9]+]], 0{{$}}
13; GCN: buffer_store_dword v{{[0-9]+}}, [[OFFSET]], s[{{[0-9]+}}:{{[0-9]+}}], s{{[0-9]+}} offen
14; GCN: v_mov_b32_e32 [[OFFSET]], 0x8000
15; GCN: buffer_store_dword v{{[0-9]+}}, [[OFFSET]], s[{{[0-9]+}}:{{[0-9]+}}], s{{[0-9]+}} offen{{$}}
Tom Stellard80580692015-01-20 17:49:43 +000016
17define void @legal_offset_fi(i32 addrspace(1)* %out, i32 %cond, i32 %if_offset, i32 %else_offset) {
18entry:
19 %scratch0 = alloca [8192 x i32]
20 %scratch1 = alloca [8192 x i32]
21
David Blaikie79e6c742015-02-27 19:29:02 +000022 %scratchptr0 = getelementptr [8192 x i32], [8192 x i32]* %scratch0, i32 0, i32 0
Tom Stellard80580692015-01-20 17:49:43 +000023 store i32 1, i32* %scratchptr0
24
David Blaikie79e6c742015-02-27 19:29:02 +000025 %scratchptr1 = getelementptr [8192 x i32], [8192 x i32]* %scratch1, i32 0, i32 0
Tom Stellard80580692015-01-20 17:49:43 +000026 store i32 2, i32* %scratchptr1
27
28 %cmp = icmp eq i32 %cond, 0
29 br i1 %cmp, label %if, label %else
30
31if:
David Blaikie79e6c742015-02-27 19:29:02 +000032 %if_ptr = getelementptr [8192 x i32], [8192 x i32]* %scratch0, i32 0, i32 %if_offset
David Blaikiea79ac142015-02-27 21:17:42 +000033 %if_value = load i32, i32* %if_ptr
Tom Stellard80580692015-01-20 17:49:43 +000034 br label %done
35
36else:
David Blaikie79e6c742015-02-27 19:29:02 +000037 %else_ptr = getelementptr [8192 x i32], [8192 x i32]* %scratch1, i32 0, i32 %else_offset
David Blaikiea79ac142015-02-27 21:17:42 +000038 %else_value = load i32, i32* %else_ptr
Tom Stellard80580692015-01-20 17:49:43 +000039 br label %done
40
41done:
42 %value = phi i32 [%if_value, %if], [%else_value, %else]
43 store i32 %value, i32 addrspace(1)* %out
44 ret void
45
46 ret void
47
48}
49
Matt Arsenaultcb38a6b2016-03-21 18:02:18 +000050; GCN-LABEL: {{^}}legal_offset_fi_offset:
Matt Arsenault0efdd062016-09-09 22:29:28 +000051; GCN-DAG: buffer_store_dword v{{[0-9]+}}, v{{[0-9]+}}, s[{{[0-9]+}}:{{[0-9]+}}], s{{[0-9]+}} offen{{$}}
52; GCN-DAG: v_add_i32_e32 [[OFFSET:v[0-9]+]], vcc, 0x8000
Tom Stellard78655fc2015-07-16 19:40:09 +000053; GCN: buffer_store_dword v{{[0-9]+}}, [[OFFSET]], s[{{[0-9]+}}:{{[0-9]+}}], s{{[0-9]+}} offen{{$}}
Tom Stellard80580692015-01-20 17:49:43 +000054
55define void @legal_offset_fi_offset(i32 addrspace(1)* %out, i32 %cond, i32 addrspace(1)* %offsets, i32 %if_offset, i32 %else_offset) {
56entry:
57 %scratch0 = alloca [8192 x i32]
58 %scratch1 = alloca [8192 x i32]
59
David Blaikiea79ac142015-02-27 21:17:42 +000060 %offset0 = load i32, i32 addrspace(1)* %offsets
David Blaikie79e6c742015-02-27 19:29:02 +000061 %scratchptr0 = getelementptr [8192 x i32], [8192 x i32]* %scratch0, i32 0, i32 %offset0
Tom Stellard80580692015-01-20 17:49:43 +000062 store i32 %offset0, i32* %scratchptr0
63
David Blaikie79e6c742015-02-27 19:29:02 +000064 %offsetptr1 = getelementptr i32, i32 addrspace(1)* %offsets, i32 1
David Blaikiea79ac142015-02-27 21:17:42 +000065 %offset1 = load i32, i32 addrspace(1)* %offsetptr1
David Blaikie79e6c742015-02-27 19:29:02 +000066 %scratchptr1 = getelementptr [8192 x i32], [8192 x i32]* %scratch1, i32 0, i32 %offset1
Tom Stellard80580692015-01-20 17:49:43 +000067 store i32 %offset1, i32* %scratchptr1
68
69 %cmp = icmp eq i32 %cond, 0
70 br i1 %cmp, label %if, label %else
71
72if:
David Blaikie79e6c742015-02-27 19:29:02 +000073 %if_ptr = getelementptr [8192 x i32], [8192 x i32]* %scratch0, i32 0, i32 %if_offset
David Blaikiea79ac142015-02-27 21:17:42 +000074 %if_value = load i32, i32* %if_ptr
Tom Stellard80580692015-01-20 17:49:43 +000075 br label %done
76
77else:
David Blaikie79e6c742015-02-27 19:29:02 +000078 %else_ptr = getelementptr [8192 x i32], [8192 x i32]* %scratch1, i32 0, i32 %else_offset
David Blaikiea79ac142015-02-27 21:17:42 +000079 %else_value = load i32, i32* %else_ptr
Tom Stellard80580692015-01-20 17:49:43 +000080 br label %done
81
82done:
83 %value = phi i32 [%if_value, %if], [%else_value, %else]
84 store i32 %value, i32 addrspace(1)* %out
85 ret void
86}
87
Matt Arsenaultcb38a6b2016-03-21 18:02:18 +000088; GCN-LABEL: {{^}}neg_vaddr_offset:
89; GCN: buffer_store_dword v{{[0-9]+}}, v{{[0-9]+}}, s[{{[0-9]+:[0-9]+}}], s{{[0-9]+}} offen offset:16{{$}}
Tom Stellard78655fc2015-07-16 19:40:09 +000090define void @neg_vaddr_offset(i32 %offset) {
91entry:
92 %array = alloca [8192 x i32]
93 %ptr_offset = add i32 %offset, 4
94 %ptr = getelementptr [8192 x i32], [8192 x i32]* %array, i32 0, i32 %ptr_offset
95 store i32 0, i32* %ptr
96 ret void
97}
98
Matt Arsenaultcb38a6b2016-03-21 18:02:18 +000099; GCN-LABEL: {{^}}pos_vaddr_offset:
Matt Arsenault3a619852016-02-27 20:26:57 +0000100; GCN: buffer_store_dword v{{[0-9]+}}, v{{[0-9]+}}, s[{{[0-9]+:[0-9]+}}], s{{[0-9]+}} offen offset:16
Tom Stellard78655fc2015-07-16 19:40:09 +0000101define void @pos_vaddr_offset(i32 addrspace(1)* %out, i32 %offset) {
102entry:
103 %array = alloca [8192 x i32]
104 %ptr = getelementptr [8192 x i32], [8192 x i32]* %array, i32 0, i32 4
105 store i32 0, i32* %ptr
106 %load_ptr = getelementptr [8192 x i32], [8192 x i32]* %array, i32 0, i32 %offset
107 %val = load i32, i32* %load_ptr
108 store i32 %val, i32 addrspace(1)* %out
109 ret void
110}