72 lines · plain
1 2// RUN: llvm-tblgen %s | FileCheck %s3 4def a {5 bits<2> opc = { 0, 1 };6 bits<2> opc2 = { 1, 0 };7 bits<1> opc3 = { 1 };8 bits<2> b = { opc{0}, opc2{0} };9 bits<2> c = { opc{1}, opc2{1} };10 bits<2> c = { opc3{0}, opc3 };11}12 13// CHECK: def a {14// CHECK: bits<2> opc = { 0, 1 };15// CHECK: bits<2> opc2 = { 1, 0 };16// CHECK: bits<1> opc3 = { 1 };17// CHECK: bits<2> b = { 1, 0 };18// CHECK: bits<2> c = { 1, 1 };19// CHECK: }20 21def {22 bits<3> B2 = 0b011; // ok23 24 bits<3> C2 = 0b111; // ok25 26 bits<2> D1 = { 0, 0 }; // ok27 bits<2> D2 = { 0b00 }; // ok28 bits<1> D5 = { 0 }; // ok29 bits<1> D6 = { 1 }; // ok30 31 bits<8> E;32 let E{7...0} = {0,0,1,?,?,?,?,?};33 let E{3...0} = 0b0010;34 35 bits<8> F1 = { 0, 1, 0b1001, 0, 0b0 }; // ok36 37 bits<8> G1 = { 0, { 1, 0b1001, 0 }, 0b0 }; // ok38 bits<8> G2 = { 0, { 1, 0b1001 }, 0, 0b0 }; // ok39 bits<8> G3 = { 0, 1, { 0b1001 }, 0, 0b0 }; // ok40 41 bits<16> H;42 let H{15...0} = { { 0b11001100 }, 0b00110011 };43 bits<16> I = { G1, G2 };44 45 // Make sure we can initialise ints with bits<> values.46 int J = H;47 int K = { 0, 1 };48 49 bits<2> L;50 let L{0} = 1;51 let L{1} = !eq(L{0}, 0);52}53 54// CHECK: def {{.*}} {55// CHECK: bits<3> B2 = { 0, 1, 1 };56// CHECK: bits<3> C2 = { 1, 1, 1 };57// CHECK: bits<2> D1 = { 0, 0 };58// CHECK: bits<2> D2 = { 0, 0 };59// CHECK: bits<1> D5 = { 0 };60// CHECK: bits<1> D6 = { 1 };61// CHECK: bits<8> E = { 0, 0, 1, ?, 0, 0, 1, 0 };62// CHECK: bits<8> F1 = { 0, 1, 1, 0, 0, 1, 0, 0 };63// CHECK: bits<8> G1 = { 0, 1, 1, 0, 0, 1, 0, 0 };64// CHECK: bits<8> G2 = { 0, 1, 1, 0, 0, 1, 0, 0 };65// CHECK: bits<8> G3 = { 0, 1, 1, 0, 0, 1, 0, 0 };66// CHECK: bits<16> H = { 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1 };67// CHECK: bits<16> I = { 0, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0 };68// CHECK: int J = 52275;69// CHECK: int K = 1;70// CHECK: bits<2> L = { 0, 1 };71// CHECK: }72