search for: visitintrinsicfunctioncall

Hi, I have target specific intrinsics (X86 in my case) with special constant parameters. Rounding mode constant, or scale value in gather/scatter. The scale, for example, may be 0, 1, 2, 4, or 8 only. How do I verify the values on IR level ? I'm looking at Verifier::visitIntrinsicFunctionCall() but I see only common intrinsics here, not target specific. Thank you. - Elena --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(...

...side the CALLSEQ + // Step back inside the CALLSEQ or VAARG CallNode = CallEnd->getGluedNode(); return CallNode; } diff --git a/lib/IR/Verifier.cpp b/lib/IR/Verifier.cpp index 4bf2d1a..cfd1b6c 100644 --- a/lib/IR/Verifier.cpp +++ b/lib/IR/Verifier.cpp @@ -2639,8 +2639,6 @@ void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) { "gc.statepoint callee must be of function pointer type", &CI, Target); FunctionType *TargetFuncType = cast<FunctionType>(PT->getElementType()); - Assert1(!TargetFuncType->isVarArg(), - &quot...

My understanding of intrinsics in LLVM is that an optimization pass cannot touch an intrinsic unless it (1) is specifically programmed to have knowledge of the intrinsic, or (2) uses only declared properties of the intrinsic, like IntrNoMem. So, for example, a pass may move an unknown intrinsic around memory ops if its defined IntrNoMem, but it cannot hoist constants for arbitrary intrinsics. Is