dagcombine-reassociate-bug.ll 1.36 KB
; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck %s

; Test for a bug where DAGCombiner::ReassociateOps() was creating adds
; with offset in the first operand and base pointers in the second.

; CHECK-LABEL: {{^}}store_same_base_ptr:
; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR:v\[[0-9]+:[0-9]+\]]], [[SADDR:s\[[0-9]+:[0-9]+\]]]
; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR]], [[SADDR]]
; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR]], [[SADDR]]
; CHECK: buffer_store_dword v{{[0-9]+}}, [[VADDR]], [[SADDR]]

define amdgpu_kernel void @store_same_base_ptr(i32 addrspace(1)* %out) {
entry:
  %id = call i32 @llvm.amdgcn.workitem.id.x() #0
  %offset = sext i32 %id to i64
  %offset0 = add i64 %offset, 1027
  %ptr0 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset0
  store volatile i32 3, i32 addrspace(1)* %ptr0
  %offset1 = add i64 %offset, 1026
  %ptr1 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset1
  store volatile i32 2, i32 addrspace(1)* %ptr1
  %offset2 = add i64 %offset, 1025
  %ptr2 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset2
  store volatile i32 1, i32 addrspace(1)* %ptr2
  %offset3 = add i64 %offset, 1024
  %ptr3 = getelementptr i32, i32 addrspace(1)* %out, i64 %offset3
  store volatile i32 0, i32 addrspace(1)* %ptr3
  ret void
}

declare i32 @llvm.amdgcn.workitem.id.x() #0

attributes #0 = { nounwind readnone }