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

[Robert Imschweiler via llvm-commits]

================
@@ -6369,6 +6369,21 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
           "VGPR arguments must not have the `inreg` attribute", &Call);
     break;
   }
+  case Intrinsic::amdgcn_init_exec_from_input: {
+    const Value *InputVal = Call.getOperand(0);
+    bool InRegArgFound = false;
+    for (const Argument &Arg : Call.getCaller()->args()) {
+      if (Arg.hasInRegAttr() && &Arg == InputVal) {
+        InRegArgFound = true;
+        break;
+      }
+    }
----------------
ro-i wrote:

Thanks, that's beautiful!

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