// RUN: llvm-tblgen %s | FileCheck %s

class C<list<bits<8>> L> {
  bits<2> V0 = L[0]{1-0};
  bits<2> V1 = L[1]{3-2};
  string V2 = !if(L[0]{0}, "Odd", "Even");
}

def c0 : C<[0b0101, 0b1010]>;

// CHECK: def c0
// CHECk-NEXT: bits<2> V0 = { 0, 1 };
// CHECk-NEXT: bits<2> V1 = { 1, 0 };
// CHECk-NEXT: string V2 = "Odd";