| // RUN: %clang_cc1 -triple x86_64-gnu-linux -O3 -disable-llvm-passes -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,CHECK64 |
| // RUN: %clang_cc1 -triple x86_64-windows-pc -O3 -disable-llvm-passes -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,CHECK64 |
| // RUN: %clang_cc1 -triple i386-gnu-linux -O3 -disable-llvm-passes -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,LIN32 |
| // RUN: %clang_cc1 -triple i386-windows-pc -O3 -disable-llvm-passes -emit-llvm -o - %s | FileCheck %s --check-prefixes=CHECK,WIN32 |
| |
| void GenericTest(_ExtInt(3) a, unsigned _ExtInt(3) b, _ExtInt(4) c) { |
| // CHECK: define {{.*}}void @GenericTest |
| int which = _Generic(a, _ExtInt(3): 1, unsigned _ExtInt(3) : 2, _ExtInt(4) : 3); |
| // CHECK: store i32 1 |
| int which2 = _Generic(b, _ExtInt(3): 1, unsigned _ExtInt(3) : 2, _ExtInt(4) : 3); |
| // CHECK: store i32 2 |
| int which3 = _Generic(c, _ExtInt(3): 1, unsigned _ExtInt(3) : 2, _ExtInt(4) : 3); |
| // CHECK: store i32 3 |
| } |
| |
| void VLATest(_ExtInt(3) A, _ExtInt(99) B, _ExtInt(123456) C) { |
| // CHECK: define {{.*}}void @VLATest |
| int AR1[A]; |
| // CHECK: %[[A:.+]] = zext i3 %{{.+}} to i[[INDXSIZE:[0-9]+]] |
| // CHECK: %[[VLA1:.+]] = alloca i32, i[[INDXSIZE]] %[[A]] |
| int AR2[B]; |
| // CHECK: %[[B:.+]] = trunc i99 %{{.+}} to i[[INDXSIZE]] |
| // CHECK: %[[VLA2:.+]] = alloca i32, i[[INDXSIZE]] %[[B]] |
| int AR3[C]; |
| // CHECK: %[[C:.+]] = trunc i123456 %{{.+}} to i[[INDXSIZE]] |
| // CHECK: %[[VLA3:.+]] = alloca i32, i[[INDXSIZE]] %[[C]] |
| } |
| |
| struct S { |
| _ExtInt(17) A; |
| _ExtInt(16777200) B; |
| _ExtInt(17) C; |
| }; |
| |
| void OffsetOfTest() { |
| // CHECK: define {{.*}}void @OffsetOfTest |
| int A = __builtin_offsetof(struct S,A); |
| // CHECK: store i32 0, i32* %{{.+}} |
| int B = __builtin_offsetof(struct S,B); |
| // CHECK64: store i32 8, i32* %{{.+}} |
| // LIN32: store i32 4, i32* %{{.+}} |
| // WINCHECK32: store i32 8, i32* %{{.+}} |
| int C = __builtin_offsetof(struct S,C); |
| // CHECK64: store i32 2097160, i32* %{{.+}} |
| // LIN32: store i32 2097156, i32* %{{.+}} |
| // WIN32: store i32 2097160, i32* %{{.+}} |
| } |
| |
| void Size1ExtIntParam(unsigned _ExtInt(1) A) { |
| // CHECK: define {{.*}}void @Size1ExtIntParam(i1{{.*}} %[[PARAM:.+]]) |
| // CHECK: %[[PARAM_ADDR:.+]] = alloca i1 |
| // CHECK: %[[B:.+]] = alloca [5 x i1] |
| // CHECK: store i1 %[[PARAM]], i1* %[[PARAM_ADDR]] |
| unsigned _ExtInt(1) B[5]; |
| |
| // CHECK: %[[PARAM_LOAD:.+]] = load i1, i1* %[[PARAM_ADDR]] |
| // CHECK: %[[IDX:.+]] = getelementptr inbounds [5 x i1], [5 x i1]* %[[B]] |
| // CHECK: store i1 %[[PARAM_LOAD]], i1* %[[IDX]] |
| B[2] = A; |
| } |