[LLVMdev] Intrinsic parameters verification

Renato Golin renato.golin at linaro.org
Wed Jul 1 14:02:57 PDT 2015


On 28 June 2015 at 08:07, Demikhovsky, Elena
<elena.demikhovsky at intel.com> wrote:
> I’m looking at Verifier::visitIntrinsicFunctionCall()
> but I see only common intrinsics here, not target specific.

Hey, that's a nice project! A target-specific verifier that scans for
all builtins and makes sure they conform to what the back-end accepts.

Not sure how they would stay relevant with back-end changes, though...
Maybe table-gen'ed?

Surely interesting to try next GSOC.

--renato




More information about the llvm-dev mailing list