[LLVMdev] Intrinsic parameters verification

[Quentin Colombet]

Hi Elena,

I think the checks are done by the front-end, then if the values provided to an intrinsic do not work for the IR, the backend aborts with cannot select.
I may be wrong of course, this is my recollection of how the ARM backend work for neon intrinsics.

The bottom line is you may want to ask this question to cfe dev.

Cheers,
Q.

> On Jun 28, 2015, at 12:07 AM, Demikhovsky, Elena <elena.demikhovsky at intel.com> wrote:
> 
> 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(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
> 
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20150701/9729510a/attachment.html>