1 // FIXME: 32-bit target?
2 // RUN: %clang_cc1 -triple x86_64-unknown-unknown %s -emit-llvm -o - | FileCheck %s
3 // PR1721
4 
5 struct s {
6   unsigned long long u33: 33;
7 } a, b;
8 
9 // This should have %0 and %1 truncated to 33 bits before any operation.
10 // This can be done using i33 or an explicit and.
11 _Bool test(void) {
12   // CHECK: and i64 %[[TMP1:[^,]+]], 8589934591
13   // CHECK-NOT: and i64 [[TMP1]], 8589934591
14   // CHECK: and i64 %{{[^,]+}}, 8589934591
15   return a.u33 + b.u33 != 0;
16 }
17