1// RUN: llvm-tblgen --no-warn-on-unused-template-args %s | FileCheck %s 2// XFAIL: vg_leak 3 4// Support for an `!if' operator as part of a `let' statement. 5// CHECK: class C 6// CHECK-NEXT: bits<16> n = { ?, ?, ?, ?, !if({ C:y{3} }, 1, !if({ C:y{2} }, { C:x{0} }, !if({ C:y{1} }, { C:x{1} }, !if({ C:y{0} }, { C:x{2} }, ?)))){0}, !if({ C:x{2} }, { C:y{3}, C:y{2} }, !if({ C:x{1} }, { C:y{2}, C:y{1} }, !if({ C:x{0} }, { C:y{1}, C:y{0} }, ?))){1}, !if({ C:x{2} }, { C:y{3}, C:y{2} }, !if({ C:x{1} }, { C:y{2}, C:y{1} }, !if({ C:x{0} }, { C:y{1}, C:y{0} }, ?))){0}, !if({ C:x{2} }, { 0, 1, 0 }, { 1, 1, 0 }){2}, !if({ C:x{2} }, { 0, 1, 0 }, { 1, 1, 0 }){1}, !if({ C:x{2} }, { 0, 1, 0 }, { 1, 1, 0 }){0}, !if({ C:x{1} }, { C:y{3}, C:y{2} }, { 0, 1 }){1}, !if({ C:x{1} }, { C:y{3}, C:y{2} }, { 0, 1 }){0}, !if({ C:x{0} }, { C:y{3}, C:y{2}, C:y{1}, C:y{0} }, { C:z, C:y{2}, C:y{1}, C:y{0} }){3}, !if({ C:x{0} }, { C:y{3}, C:y{2}, C:y{1}, C:y{0} }, { C:z, C:y{2}, C:y{1}, C:y{0} }){2}, !if({ C:x{0} }, { C:y{3}, C:y{2}, C:y{1}, C:y{0} }, { C:z, C:y{2}, C:y{1}, C:y{0} }){1}, !if({ C:x{0} }, { C:y{3}, C:y{2}, C:y{1}, C:y{0} }, { C:z, C:y{2}, C:y{1}, C:y{0} }){0} }; 7class C<bits<3> x, bits<4> y, bit z> { 8 bits<16> n; 9 10 let n{11} = !if(y{3}, 1, 11 !if(y{2}, x{0}, 12 !if(y{1}, x{1}, 13 !if(y{0}, x{2}, ?)))); 14 let n{10...9}= !if(x{2}, y{3...2}, 15 !if(x{1}, y{2...1}, 16 !if(x{0}, y{1...0}, ?))); 17 let n{8...6} = !if(x{2}, 0b010, 0b110); 18 let n{5...4} = !if(x{1}, y{3...2}, {0, 1}); 19 let n{3...0} = !if(x{0}, y{3...0}, {z, y{2}, y{1}, y{0}}); 20} 21 22def C1 : C<{1, 0, 1}, {0, 1, 0, 1}, 0>; 23def C2 : C<{0, 1, 0}, {1, 0, 1, 0}, 1>; 24def C3 : C<{0, 0, 0}, {1, 0, 1, 0}, 0>; 25def C4 : C<{0, 0, 0}, {0, 0, 0, 0}, 0>; 26 27// CHECK: def C1 28// CHECK-NEXT: bits<16> n = { ?, ?, ?, ?, 1, 0, 1, 0, 1, 0, 0, 1, 0, 1, 0, 1 }; 29// CHECK: def C2 30// CHECK-NEXT: bits<16> n = { ?, ?, ?, ?, 1, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 0 }; 31// CHECK: def C3 32// CHECK-NEXT: bits<16> n = { ?, ?, ?, ?, 1, ?, ?, 1, 1, 0, 0, 1, 0, 0, 1, 0 }; 33// CHECK: def C4 34// CHECK-NEXT: bits<16> n = { ?, ?, ?, ?, ?, ?, ?, 1, 1, 0, 0, 1, 0, 0, 0, 0 }; 35 36class S<int s> { 37 bits<2> val = !if(!eq(s, 8), {0, 0}, 38 !if(!eq(s, 16), 0b01, 39 !if(!eq(s, 32), 2, 40 !if(!eq(s, 64), {1, 1}, ?)))); 41} 42 43def D8 : S<8>; 44def D16 : S<16>; 45def D32 : S<32>; 46def D64 : S<64>; 47def D128: S<128>; 48// CHECK: def D128 49// CHECK-NEXT: bits<2> val = { ?, ? }; 50// CHECK: def D16 51// CHECK-NEXT: bits<2> val = { 0, 1 }; 52// CHECK: def D32 53// CHECK-NEXT: bits<2> val = { 1, 0 }; 54// CHECK: def D64 55// CHECK-NEXT: bits<2> val = { 1, 1 }; 56// CHECK: def D8 57// CHECK-NEXT: bits<2> val = { 0, 0 }; 58 59// Make sure !if gets propagated across multiple layers of inheritance. 60class getInt<int c> { 61 int ret = !if(c, 0, 1); 62} 63class I1<int c> { 64 int i = getInt<c>.ret; 65} 66class I2<int c> : I1<c>; 67 68// CHECK: def DI1 { // I1 69// CHECK-NEXT: int i = 0; 70def DI1: I1<1>; 71 72// CHECK: def DI2 { // I1 I2 73// CHECK-NEXT: int i = 0; 74def DI2: I2<1>; 75 76// Check that !if with operands of different subtypes can initialize a 77// supertype variable. 78// 79// CHECK: def EXd1 { 80// CHECK: E x = E1d; 81// CHECK: } 82// 83// CHECK: def EXd2 { 84// CHECK: E x = E2d; 85// CHECK: } 86class E<int dummy> {} 87class E1<int dummy> : E<dummy> {} 88class E2<int dummy> : E<dummy> {} 89 90class EX<int cc, E1 b, E2 c> { 91 E x = !if(cc, b, c); 92} 93 94def E1d : E1<0>; 95def E2d : E2<0>; 96 97def EXd1 : EX<1, E1d, E2d>; 98def EXd2 : EX<0, E1d, E2d>; 99 100// CHECK: def Not1 101// CHECK: Result1a = "OK" 102// CHECK: Result1b = "OK" 103// CHECK: Result1c = "OK" 104// CHECK: Result1d = "OK" 105// CHECK: Result1e = "OK" 106// CHECK: def Not2 107// CHECK: Result2a = "OK" 108// CHECK: Result2b = "OK" 109// CHECK: Result2c = "OK" 110// CHECK: Result2d = "OK" 111 112def Not1 { 113 bit True = 1; 114 string Result1a = !if(True, "OK", "not OK"); 115 string Result1b = !if(!not(True), "not OK", "OK"); 116 117 bit False = 0; 118 string Result1c = !if(False, "not OK", "OK"); 119 string Result1d = !if(!not(False), "OK", "not OK"); 120 string Result1e = !if(!not(!not(False)), "not OK", "OK"); 121} 122 123def Not2 { 124 int one = 1; 125 string Result2a = !if(one, "OK", "not OK"); 126 string Result2b = !if(!not(one), "not OK", "OK"); 127 128 int zero = 0; 129 string Result2c = !if(zero, "not OK", "OK"); 130 string Result2d = !if(!not(zero), "OK", "not OK"); 131} 132 133// CHECK: def One 134// CHECK-NEXT: list<int> first = [1, 2, 3]; 135// CHECK-NEXT: list<int> rest = [1, 2, 3]; 136 137// CHECK: def OneB 138// CHECK-NEXT: list<int> vals = [1, 2, 3]; 139 140// CHECK: def Two 141// CHECK-NEXT: list<int> first = [1, 2, 3]; 142// CHECK-NEXT: list<int> rest = [4, 5, 6]; 143 144// CHECK: def TwoB 145// CHECK-NEXT: list<int> vals = [4, 5, 6]; 146 147class A<list<list<int>> vals> { 148 list<int> first = vals[0]; 149 list<int> rest = !if(!empty(!tail(vals)), vals[0], vals[1]); 150} 151 152def One : A<[[1,2,3]]>; 153def Two : A<[[1,2,3], [4,5,6]]>; 154 155class B<list<int> v> { 156 list<int> vals = v; 157} 158 159class BB<list<list<int>> vals> : B<!if(!empty(!tail(vals)), vals[0], vals[1])>; 160class BBB<list<list<int>> vals> : BB<vals>; 161 162def OneB : BBB<[[1,2,3]]>; 163def TwoB : BBB<[[1,2,3],[4,5,6]]>; 164