7c8958118c
AMDGPUAttributor now handles this attribute with value merging, so delete the old approach which could only apply this to functions which did not set it, or cloned the function.
41 lines
1.3 KiB
LLVM
41 lines
1.3 KiB
LLVM
; This is a regression test for a bug in the AMDGPU Propagate Attributes pass
|
|
; where a call instruction's callee could be replaced with a function pointer
|
|
; passed to the original call instruction as an argument.
|
|
;
|
|
; Example:
|
|
; `call void @f(ptr @g)`
|
|
; could become
|
|
; `call void @g(ptr @g.1)`
|
|
; which is invalid IR.
|
|
|
|
; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -passes=amdgpu-propagate-attributes-late %s | FileCheck %s
|
|
|
|
; CHECK-LABEL: define amdgpu_kernel void @thiswasabug() #0
|
|
; CHECK-NOT: call void @g(ptr @g.1)
|
|
; CHECK-DAG: call void @f(ptr @g.1)
|
|
; CHECK-DAG: call void @g()
|
|
define amdgpu_kernel void @thiswasabug() #0 {
|
|
; no replacement, but @g should be renamed to @g.1
|
|
call void @f(ptr @g)
|
|
|
|
; this should call the clone, which takes the name @g
|
|
call void @g()
|
|
ret void
|
|
}
|
|
|
|
define private void @f(ptr nocapture %0) #0 {
|
|
ret void
|
|
}
|
|
|
|
; In order to expose this bug, it is necessary that `g` have one of the
|
|
; propagated attributes, so that a clone and substitution would take place if g
|
|
; were actually the function being called.
|
|
; CHECK-DAG: define private void @g.1() #1
|
|
; CHECK-DAG: define internal void @g() #2
|
|
define private void @g() #1 {
|
|
ret void
|
|
}
|
|
|
|
attributes #0 = { noinline }
|
|
attributes #1 = { noinline "target-features"="+wavefrontsize32" }
|