AMDGPU: Add test sanity test if amdgcn.device.{init|fini} already exist

[sameerds]

Redundant word "test" in the first line of the commit description?

Also, how is "something sane" defined? What is the semantics for ctors and dtors that are linked in after init and fini have already been created?

[arsenm]

In D138925#3983720, @sameerds wrote:

Redundant word "test" in the first line of the commit description?

Also, how is "something sane" defined? What is the semantics for ctors and dtors that are linked in after init and fini have already been created?

I was thinking "not crash". The actual functionality is driven off the attribute, so it seems like multiple are supposed to work

[sameerds]

LGTM, with the two nits fixed.

llvm/test/CodeGen/AMDGPU/lower-ctor-dtor-existing.ll

4

Rephrase to "do not crash or error out if ..."

[arsenm]

4f63f9739c086352c9b632671752e78c79c8625b

llvm/test/CodeGen/AMDGPU/lower-ctor-dtor-existing.ll

+; RUN: opt -S -mtriple=amdgcn-- -passes=amdgpu-lower-ctor-dtor < %s | FileCheck %s
+; RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx700 -filetype=obj -o - < %s | llvm-readelf -s - 2>&1 | FileCheck %s -check-prefix=CHECK-VIS
+
+; Make sure something sane happens if amdgcn.device.init or
+; amdgcn.device.fini already exist.
+
[e-mail]_ctors = appending addrspace(1) global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @foo, ptr null }]
[e-mail]_dtors = appending addrspace(1) global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @bar, ptr null }]
+
+; CHECK-NOT: @llvm.global_ctors
+; CHECK-NOT: @llvm.global_dtors
+
+; CHECK-LABEL: amdgpu_kernel void @amdgcn.device.init() #0
+; CHECK-NEXT: store
+; CHECK-NEXT: ret void
+
+; CHECK-LABEL: amdgpu_kernel void @amdgcn.device.fini() #1
+; CHECK-NEXT: store
+; CHECK-NEXT: ret void
+
+
+; CHECK-LABEL: amdgpu_kernel void @amdgcn.device.init.1() #0
+; CHECK-NEXT: call void @foo
+; CHECK-NEXT: ret void
+
+; CHECK-LABEL: amdgpu_kernel void @amdgcn.device.fini.2() #1
+; CHECK-NEXT: call void @bar
+; CHECK-NEXT: ret void
+
+; CHECK-NOT: amdgcn.device.
+
+; CHECK-VIS: FUNC   GLOBAL PROTECTED {{.*}} amdgcn.device.init{{$}}
+; CHECK-VIS: OBJECT GLOBAL DEFAULT {{.*}} amdgcn.device.init.kd{{$}}
+; CHECK-VIS: FUNC   GLOBAL PROTECTED {{.*}} amdgcn.device.fini{{$}}
+; CHECK-VIS: OBJECT   GLOBAL DEFAULT {{.*}} amdgcn.device.fini.kd{{$}}
+
+; CHECK-VIS: FUNC   GLOBAL PROTECTED {{.*}} amdgcn.device.init.1{{$}}
+; CHECK-VIS: OBJECT GLOBAL DEFAULT {{.*}} amdgcn.device.init.1.kd{{$}}
+; CHECK-VIS: FUNC   GLOBAL PROTECTED {{.*}} amdgcn.device.fini.2{{$}}
+; CHECK-VIS: OBJECT   GLOBAL DEFAULT {{.*}} amdgcn.device.fini.2.kd{{$}}
+
+
+define internal void @foo() {
+  ret void
+}
+
+define internal void @bar() {
+  ret void
+}
+
+define amdgpu_kernel void @amdgcn.device.init() #0 {
+  store volatile i32 1, ptr addrspace(1) null
+  ret void
+}
+
+define amdgpu_kernel void @amdgcn.device.fini() #1 {
+  store volatile i32 0, ptr addrspace(1) null
+  ret void
+}
+
+attributes #0 = { "device-init" }
+attributes #1 = { "device-fini" }
+
+
+
+; CHECK: attributes #0 = { "device-init" }
+; CHECK: attributes #1 = { "device-fini" }