int Value = value;
}
+// CHECK: def v0
+// CHECK: Value = 0
+
+// CHECK: def v1
+// CHECK: Value = 1
+
def v1024 : Int<1024>;
// CHECK: def v1024
// CHECK: Value = 1024
// CHECK: def v2048
// CHECK: Value = 2048
+def v0 : Int<!and(v1024.Value, v2048.Value)>;
+def v1 : Int<!and(v1025.Value, 1)>;