blob: a32c16dfac385ec7621ce39bd5e7fbca9e7efe0d [file] [log] [blame]
Matt Arsenault982224c2016-02-27 19:57:45 +00001; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck %s
2
3; Test for a bug where DAGCombiner::ReassociateOps() was creating adds
4; with offset in the first operand and base pointers in the second.
5
6; CHECK-LABEL: {{^}}store_same_base_ptr:
7; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR:v\[[0-9]+:[0-9]+\]]], [[SADDR:s\[[0-9]+:[0-9]+\]]]
8; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR]], [[SADDR]]
9; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR]], [[SADDR]]
10; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR]], [[SADDR]]
11
12define void @store_same_base_ptr(i32 addrspace(1)* %out) {
13entry:
14 %id = call i32 @llvm.amdgcn.workitem.id.x() #0
15 %offset = sext i32 %id to i64
16 %offset0 = add i64 %offset, 1027
17 %ptr0 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset0
Matt Arsenault44e54832016-04-12 13:38:18 +000018 store volatile i32 3, i32 addrspace(1)* %ptr0
Matt Arsenault982224c2016-02-27 19:57:45 +000019 %offset1 = add i64 %offset, 1026
20 %ptr1 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset1
Matt Arsenault44e54832016-04-12 13:38:18 +000021 store volatile i32 2, i32 addrspace(1)* %ptr1
Matt Arsenault982224c2016-02-27 19:57:45 +000022 %offset2 = add i64 %offset, 1025
23 %ptr2 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset2
Matt Arsenault44e54832016-04-12 13:38:18 +000024 store volatile i32 1, i32 addrspace(1)* %ptr2
Matt Arsenault982224c2016-02-27 19:57:45 +000025 %offset3 = add i64 %offset, 1024
26 %ptr3 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset3
Matt Arsenault44e54832016-04-12 13:38:18 +000027 store volatile i32 0, i32 addrspace(1)* %ptr3
Matt Arsenault982224c2016-02-27 19:57:45 +000028 ret void
29}
30
31declare i32 @llvm.amdgcn.workitem.id.x() #0
32
33attributes #0 = { nounwind readnone }