| // RUN: llvm-tblgen %s | FileCheck %s | 
 | // XFAIL: vg_leak | 
 |  | 
 | def shifts { | 
 |     bits<2> b = 0b10; | 
 |     int i = 2; | 
 |     int shifted_b = !shl(b, 2); | 
 |     int shifted_i = !shl(i, 2); | 
 | } | 
 | // CHECK: def shifts | 
 | // CHECK: shifted_b = 8 | 
 | // CHECK: shifted_i = 8 | 
 |  | 
 | class Int<int value> { | 
 |   int Value = value; | 
 | } | 
 |  | 
 | def v1022   : Int<1022>; | 
 |  | 
 | // CHECK: def v0 | 
 | // CHECK: Value = 0 | 
 |  | 
 | // CHECK: def v1 | 
 | // CHECK: Value = 1 | 
 |  | 
 | // CHECK: def v1023 | 
 | // CHECK: Value = 1023 | 
 | def v1023 : Int<!or(v1022.Value, 1)>; | 
 |  | 
 | def v1024   : Int<1024>; | 
 | // CHECK: def v1024 | 
 | // CHECK: Value = 1024 | 
 |  | 
 | def v1025   : Int<!add(v1024.Value, 1)>; | 
 | // CHECK: def v1025 | 
 | // CHECK: Value = 1025 | 
 |  | 
 | // CHECK: def v1a | 
 | // CHECK: Value = 1 | 
 |  | 
 | // CHECK: def v2 | 
 | // CHECK: Value = 2 | 
 | def v2 : Int<2>; | 
 |  | 
 | def v2048   : Int<!add(v1024.Value, v1024.Value)>; | 
 | // CHECK: def v2048 | 
 | // CHECK: Value = 2048 | 
 |  | 
 | def v0 : Int<!and(v1024.Value, v2048.Value)>; | 
 | def v1 : Int<!and(v1025.Value, 1)>; | 
 |  | 
 | // CHECK: def v3072 | 
 | // CHECK: Value = 3072 | 
 | def v3072 : Int<!or(v1024.Value, v2048.Value)>; | 
 |  | 
 | // CHECK: def v4 | 
 | // CHECK: Value = 4 | 
 |  | 
 | // CHECK: def v7 | 
 | // CHECK: Value = 7 | 
 |  | 
 | def v4 : Int<!add(v2.Value, 1, v1.Value)>; | 
 | def v7 : Int<!or(v1.Value, v2.Value, v4.Value)>; | 
 | def v1a : Int<!and(v7.Value, 5, v1.Value)>; |