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