51 lines · c
1/* RUN: %clang_cc1 -std=c89 -triple x86_64-pc-win32 -emit-llvm -o - %s | FileCheck %s2 RUN: %clang_cc1 -std=c89 -triple i686-pc-linux -emit-llvm -o - %s | FileCheck %s3 RUN: %clang_cc1 -std=c99 -triple x86_64-pc-win32 -emit-llvm -o - %s | FileCheck %s4 RUN: %clang_cc1 -std=c99 -triple i686-pc-linux -emit-llvm -o - %s | FileCheck %s5 RUN: %clang_cc1 -std=c11 -triple x86_64-pc-win32 -emit-llvm -o - %s | FileCheck %s6 RUN: %clang_cc1 -std=c11 -triple i686-pc-linux -emit-llvm -o - %s | FileCheck %s7 RUN: %clang_cc1 -std=c17 -triple x86_64-pc-win32 -emit-llvm -o - %s | FileCheck %s8 RUN: %clang_cc1 -std=c17 -triple i686-pc-linux -emit-llvm -o - %s | FileCheck %s9 RUN: %clang_cc1 -std=c2x -triple x86_64-pc-win32 -emit-llvm -o - %s | FileCheck %s10 RUN: %clang_cc1 -std=c2x -triple i686-pc-linux -emit-llvm -o - %s | FileCheck %s11 */12 13/* WG14 DR335: yes14 * _Bool bit-fields15 *16 * This validates the runtime behavior from the DR, see dr3xx.c for the compile17 * time enforcement portion.18 */19void dr335(void) {20 struct bits_ {21 _Bool bbf1 : 1;22 } bits = { 1 };23 24 bits.bbf1 = ~bits.bbf1;25 26 // First, load the value from bits.bbf1 and truncate it down to one-bit.27 28 // CHECK: %[[LOAD1:.+]] = load i8, ptr {{.+}}, align 129 // CHECK-NEXT: %[[CLEAR1:.+]] = and i8 %[[LOAD1]], 130 // CHECK-NEXT: %[[CAST:.+]] = trunc i8 %[[CLEAR1]] to i131 // CHECK-NEXT: %[[CONV:.+]] = zext i1 %[[CAST]] to i3232 33 // Second, perform the unary complement.34 35 // CHECK-NEXT: %[[NOT:.+]] = xor i32 %[[CONV]], -136 37 // Finally, test the new value against 0. If it's nonzero, then assign one38 // into the bit-field, otherwise assign zero into the bit-field. Note, this39 // does not perform the operation on the promoted value, so this matches the40 // requirements in C99 6.3.1.2, so a bit-field of type _Bool behaves like a41 // _Bool and not like an [unsigned] int.42 // CHECK-NEXT: %[[TOBOOL:.+]] = icmp ne i32 %[[NOT]], 043 // CHECK-NEXT: %[[ZERO:.+]] = zext i1 %[[TOBOOL]] to i844 // CHECK-NEXT: %[[LOAD2:.+]] = load i8, ptr {{.+}}, align 145 // CHECK-NEXT: %[[CLEAR2:.+]] = and i8 %[[LOAD2]], -246 // CHECK-NEXT: %[[SET:.+]] = or i8 %[[CLEAR2]], %[[ZERO]]47 // CHECK-NEXT: store i8 %[[SET]], ptr {{.+}}, align 148 // CHECK-NEXT: {{.+}} = trunc i8 %[[ZERO]] to i149}50 51