implement feedback

Author: ro-i

llvm/lib/IR/Verifier.cpp

@@ -6370,15 +6370,8 @@ void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &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;
-      }
-    }
-    Check(InRegArgFound,
+    const Argument *Arg = dyn_cast<Argument>(Call.getOperand(0));
+    Check(Arg && Arg->hasInRegAttr(),
           "only inreg arguments to the parent function are valid as inputs to "
           "this intrinsic",
           &Call);

llvm/test/Verifier/AMDGPU/intrinsic-amdgpu-init-exec-from-input.ll

@@ -1,5 +1,4 @@
-; RUN: sed -e '/^; MARK$/,$d' %s | not llc -mtriple=amdgcn -mcpu=gfx942 2>&1 | FileCheck %s
-; RUN: sed -e '1,/^; MARK$/d' %s | llc -mtriple=amdgcn -mcpu=gfx942 -filetype=null
+; RUN: not llvm-as -o /dev/null 2>&1 %s | FileCheck %s
 
 ; Function Attrs: convergent nocallback nofree nounwind willreturn
 declare void @llvm.amdgcn.init.exec.from.input(i32, i32 immarg) #0
@@ -18,10 +17,3 @@ define amdgpu_ps void @init_exec_from_input_fail_not_inreg(i32 inreg %a, i32 %b)
   call void @llvm.amdgcn.init.exec.from.input(i32 %b, i32 0)
   ret void
 }
-
-; MARK
-
-define amdgpu_ps void @init_exec_from_input_success(i32 inreg %a, i32 %b) {
-  call void @llvm.amdgcn.init.exec.from.input(i32 %a, i32 0)
-  ret void
-}