test/TableGen/intrinsic-pointer-to-any.td

   1 // RUN: llvm-tblgen -gen-intrinsic-impl %s | FileCheck %s
   2
   3 // This test is validating that it an Intrinsic with an LLVMPointerType to
   4 // llvm_any_ty still properly work after r363233. That patch rewrote the
   5 // substitution handling code in the Intrinsic Emitter, and didn't consider this
   6 // case, so TableGen would hit an assertion in EncodeFixedType that was checking
   7 // to ensure that the substitution being processed was correctly replaced.
   8
   9 class IntrinsicProperty;
  10 class SDNodeProperty;
  11
  12 class ValueType<int size, int value> {
  13   string Namespace = "MVT";
  14   int Size = size;
  15   int Value = value;
  16 }
  17
  18 def iPTR   : ValueType<0  , 254>;
  19 def Any    : ValueType<0  , 255>;
  20
  21 class LLVMType<ValueType vt> {
  22   ValueType VT = vt;
  23   int isAny = 0;
  24 }
  25
  26
  27 class Intrinsic<list<LLVMType> ret_types> {
  28   string LLVMName = "";
  29   string TargetPrefix = "";   // Set to a prefix for target-specific intrinsics.
  30   list<LLVMType> RetTypes = ret_types;
  31   list<LLVMType> ParamTypes = [];
  32   list<IntrinsicProperty> IntrProperties = [];
  33   list<SDNodeProperty> Properties = [];
  34   bit isTarget = 0;
  35 }
  36
  37 class LLVMQualPointerType<LLVMType elty>
  38   : LLVMType<iPTR>{
  39   LLVMType ElTy = elty;
  40   int AddrSpace = 0;
  41 }
  42
  43 class LLVMPointerType<LLVMType elty>
  44   : LLVMQualPointerType<elty>;
  45
  46 let isAny = 1 in {
  47   def llvm_any_ty        : LLVMType<Any>;
  48 }
  49 def i8 : ValueType<8, 3>;
  50 def llvm_i8_ty : LLVMType<i8>;
  51
  52 def int_has_ptr_to_any : Intrinsic<[LLVMPointerType<llvm_any_ty>, llvm_i8_ty]>;
  53 // CHECK: /* 0 */ 21, 14, 15, 0, 2, 0