// RUN: %clang_cc1 %s -emit-llvm -o - | FileCheck %s
// PR1721

struct s {
  unsigned long long u33: 33;
} a, b;

// This should have %0 and %1 truncated to 33 bits before any operation.
// This can be done using i33 or an explicit and.
_Bool test(void) {
  // CHECK: and i64 %[[TMP1:[0-9]+]], 8589934591
  // CHECK-NOT: and i64 [[TMP1]], 8589934591
  // CHECK: and i64 %{{[0-9]}}, 8589934591
  return a.u33 + b.u33 != 0;
}