llvm/test/TableGen/substr.td

   1 // RUN: llvm-tblgen %s | FileCheck %s
   2 // RUN: not llvm-tblgen -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
   3
   4 defvar claim = "This is the end of the world!";
   5
   6 // CHECK: def Rec1
   7 // CHECK:   fullNoLength = "This is the end of the world!";
   8 // CHECK:   fullLength = "This is the end of the world!";
   9 // CHECK:   thisIsTheEnd = "This is the end";
  10 // CHECK:   DoorsSong = "the end";
  11 // CHECK:   finalNoLength = "end of the world!";
  12 // CHECK:   finalLength = "end of the world!";
  13
  14 def Rec1 {
  15   string fullNoLength = !substr(claim, 0);
  16   string fullLength = !substr(claim, 0, 999);
  17   string thisIsTheEnd = !substr(claim, 0, 15);
  18   string DoorsSong = !substr(claim, 8, 7);
  19   string finalNoLength = !substr(claim, 12);
  20   string finalLength = !substr(claim, 12, !sub(!size(claim), 12));
  21 }
  22
  23 // CHECK: def Rec2 {
  24 // CHECK:   lastName = "Flintstone";
  25
  26 def Rec2 {
  27   string firstName = "Fred";
  28   string name = firstName # " " # "Flintstone";
  29   string lastName = !substr(name, !add(!size(firstName), 1));
  30 }
  31
  32 // CHECK: def Rec3 {
  33 // CHECK:   test1 = "";
  34 // CHECK:   test2 = "";
  35 // CHECK:   test3 = "";
  36 // CHECK:   test4 = "h";
  37 // CHECK:   test5 = "hello";
  38 // CHECK:   test6 = "";
  39
  40 def Rec3 {
  41   string test1 = !substr("", 0, 0);
  42   string test2 = !substr("", 0, 9);
  43   string test3 = !substr("hello", 0, 0);
  44   string test4 = !substr("hello", 0, 1);
  45   string test5 = !substr("hello", 0, 99);
  46   string test6 = !substr("hello", 5, 99);
  47 }
  48
  49 // CHECK: def Rec4
  50 // CHECK:   message = "This is the end of the world!";
  51 // CHECK:   messagePrefix = "This is th...";
  52 // CHECK:   warning = "Bad message: 'This is th...'";
  53
  54 class C<string msg> {
  55   string message = msg;
  56   string messagePrefix = !substr(message, 0, 10) # "...";
  57 }
  58
  59 def Rec4 : C<claim> {
  60   string warning = "Bad message: '" # messagePrefix # "'";
  61 }
  62
  63 #ifdef ERROR1
  64
  65 // ERROR1: expected string, got type 'int'
  66 // ERROR1: expected int, got type 'bits<3>'
  67 // ERROR1: expected int, got type 'string'
  68 // ERROR1: !substr start position is out of range 0...29: 30
  69 // ERROR1: !substr length must be nonnegative
  70
  71 def Rec8 {
  72   string claim1 = !substr(42, 0, 3);
  73   string claim2 = !substr(claim, 0b101);
  74   string claim3 = !substr(claim, 0, "oops");
  75 }
  76
  77 def Rec9 {
  78   string claim1 = !substr(claim, !add(!size(claim), 1));
  79   string claim2 = !substr(claim, 0, -13);
  80 }
  81 #endif