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