[llvm] [AMDGPU] Add verification for amdgcn.init.exec.from.input (PR #128172)

[Robert Imschweiler via llvm-commits]

================
@@ -0,0 +1,27 @@
+; RUN: not llvm-as -disable-output 2>&1 %s | FileCheck %s
+
+; Function Attrs: convergent nocallback nofree nounwind willreturn
+declare void @llvm.amdgcn.init.exec.from.input(i32, i32 immarg) #0
+attributes #0 = { convergent nocallback nofree nounwind willreturn }
----------------
ro-i wrote:

No, I removed it, thanks. I guess all the attributes are irrelevant since the verifier is rejecting the module anyway.

https://github.com/llvm/llvm-project/pull/128172