llvm/test/TableGen/template-args.td

   1 // RUN: llvm-tblgen %s | FileCheck %s
   2 // RUN: not llvm-tblgen -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
   3 // RUN: not llvm-tblgen -DERROR2 %s 2>&1 | FileCheck --check-prefix=ERROR2 %s
   4 // RUN: not llvm-tblgen -DERROR3 %s 2>&1 | FileCheck --check-prefix=ERROR3 %s
   5 // RUN: not llvm-tblgen -DERROR4 %s 2>&1 | FileCheck --check-prefix=ERROR4 %s
   6 // RUN: not llvm-tblgen -DERROR5 %s 2>&1 | FileCheck --check-prefix=ERROR5 %s
   7 // RUN: not llvm-tblgen -DERROR6 %s 2>&1 | FileCheck --check-prefix=ERROR6 %s
   8 // RUN: not llvm-tblgen -DERROR7 %s 2>&1 | FileCheck --check-prefix=ERROR7 %s
   9
  10 // This file tests that template arguments are type-checked and cast
  11 // if necessary.
  12
  13 // Class template arguments.
  14
  15 class Class1<string nm> {
  16   string Name = nm;
  17 }
  18
  19 // CHECK: def Rec1
  20 // CHECK:   string Name = "Alice"
  21 // CHECK:   string NameName = "AliceAlice"
  22
  23 def Rec1 : Class1<"Alice"> {
  24   string NameName = Name # Name;
  25 }
  26
  27 #ifdef ERROR1
  28 // ERROR1: Value specified for template argument 'Class1:nm' (#0) is of type int
  29
  30 def Rec2 : Class1<42> {
  31 }
  32 #endif
  33
  34 class Class2<bits<8> cd> {
  35   int Code = cd;
  36 }
  37
  38 // CHECK: def Rec3
  39 // CHECK:   int Code = 42
  40 // CHECK:   list<int> CodeList = [42]
  41
  42 def Rec3 : Class2<0b00101010> {
  43   list<int> CodeList = [Code];
  44 }
  45
  46 // CHECK: def Rec4
  47 // CHECK:   int Code = 42
  48 // CHECK:   list<int> CodeList = [42]
  49
  50 def Rec4 : Class2<42> {
  51   list<int> CodeList = [Code];
  52 }
  53
  54 #ifdef ERROR2
  55 // ERROR2: Value specified for template argument 'Class2:cd' (#0) is of type string
  56
  57 def Rec5 : Class2<"oops"> {
  58   list<int> CodeList = [Code];
  59 }
  60 #endif
  61
  62 // Anonymous class instantiation template arguments.
  63
  64 // CHECK: def Rec6
  65 // CHECK:   string Name = "Ted"
  66
  67 def Rec6 {
  68   string Name = Class1<"Ted">.Name;
  69 }
  70
  71 #ifdef ERROR3
  72 // ERROR3: Value specified for template argument 'Class1:nm' (#0) is of type int
  73
  74 def Rec7 {
  75   string Name = Class1<42>.Name;
  76 }
  77 #endif
  78
  79 // CHECK: def Rec8
  80 // CHECK:   list<int> CodeList = [42]
  81
  82 def Rec8 {
  83   list<int> CodeList = [Class2<42>.Code];
  84 }
  85
  86 #ifdef ERROR4
  87 // ERROR4: Value specified for template argument 'Class2:cd' (#0) is of type string
  88
  89 def Rec9 {
  90   list<int> CodeList = [Class2<"huh?">.Code];
  91 }
  92 #endif
  93
  94 // Multiclass template arguments.
  95
  96 multiclass MC1<string nm> {
  97   def _1 {
  98     string Name = nm;
  99   }
 100   def _2 {
 101     string NameNmae = nm # nm;
 102   }
 103 }
 104
 105 // CHECK: def RecMC1_1
 106 // CHECK:   string Name = "Carol"
 107 // CHECK: def RecMC1_2
 108 // CHECK:   string NameNmae = "CarolCarol"
 109
 110 defm RecMC1 : MC1<"Carol">;
 111
 112 #ifdef ERROR5
 113 // ERROR5: Value specified for template argument 'MC1::nm' (#0) is of type int
 114
 115 defm RecMC2 : MC1<42>;
 116 #endif
 117
 118 multiclass MC2<bits<8> cd> {
 119   def _1 {
 120     bits<8> Code = cd;
 121   }
 122   def _2 {
 123     int Code = cd;
 124   }
 125   def _3 {
 126     list<int> CodeList = [cd];
 127   }
 128 }
 129
 130 // CHECK: def RecMC3_1
 131 // CHECK:   bits<8> Code = { 0, 0, 1, 0, 1, 0, 1, 0 }
 132 // CHECK: def RecMC3_2
 133 // CHECK:   int Code = 42
 134 // CHECK: def RecMC3_3
 135 // CHECK:   list<int> CodeList = [42]
 136
 137 defm RecMC3 : MC2<42>;
 138
 139 #ifdef ERROR6
 140 // ERROR6: Value specified for template argument 'MC2::cd' (#0) is of type string
 141
 142 defm RecMC4 : MC2<"Bob">;
 143 #endif
 144
 145 #ifdef ERROR7
 146 multiclass TwoArgs<bits<8> a, string b> {
 147   def _1 { bits<8> A = a; }
 148   def _2 { string B = b; }
 149 }
 150 defm Good : TwoArgs<1, "one">;
 151 defm MissingComma : TwoArgs<2 "two">;
 152 // ERROR7: [[#@LINE-1]]:31: error: Expected comma before next argument
 153 #endif