[LLVMdev] Intrinsic parameters verification

[Quentin Colombet]

FWIW, this is kind of lame, but this is how that work!

Q.
> On Jul 1, 2015, at 11:57 AM, Quentin Colombet <qcolombet at apple.com> wrote:
> 
> 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 <mailto: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 <mailto:LLVMdev at cs.uiuc.edu>         http://llvm.cs.uiuc.edu <http://llvm.cs.uiuc.edu/>
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev <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/52e2a4bb/attachment.html>