1 // RUN: %clang_cc1 -ffixed-point -emit-llvm %s -o - | FileCheck %s
2 // RUN: %clang_cc1 -ffixed-point -emit-llvm %s -o - -fpadding-on-unsigned-fixed-point | FileCheck %s
3
4 _Bool global_b = 1.0k; // @global_b = {{*.}}global i8 1, align 1
5 _Bool global_b2 = 0.0k; // @global_b2 = {{*.}}global i8 0, align 1
6
func(void)7 void func(void) {
8 _Accum a = 0.5k;
9 unsigned _Accum ua = 0.5uk;
10 _Bool b;
11
12 // CHECK: store i8 1, ptr %b, align 1
13 // CHECK-NEXT: store i8 0, ptr %b, align 1
14 // CHECK: store i8 1, ptr %b, align 1
15 // CHECK-NEXT: store i8 0, ptr %b, align 1
16 b = 0.5k;
17 b = 0.0k;
18 b = 0.5uk;
19 b = 0.0uk;
20
21 // CHECK-NEXT: store i8 1, ptr %b, align 1
22 // CHECK-NEXT: store i8 0, ptr %b, align 1
23 // CHECK-NEXT: store i8 1, ptr %b, align 1
24 // CHECK-NEXT: store i8 0, ptr %b, align 1
25 b = (_Bool)0.5r;
26 b = (_Bool)0.0r;
27 b = (_Bool)0.5ur;
28 b = (_Bool)0.0ur;
29
30 // CHECK-NEXT: [[ACCUM:%[0-9a-z]+]] = load i32, ptr %a, align 4
31 // CHECK-NEXT: [[NOTZERO:%[0-9a-z]+]] = icmp ne i32 [[ACCUM]], 0
32 // CHECK-NEXT: [[FROMBOOL:%[0-9a-z]+]] = zext i1 [[NOTZERO]] to i8
33 // CHECK-NEXT: store i8 [[FROMBOOL]], ptr %b, align 1
34 b = a;
35
36 // CHECK-NEXT: [[ACCUM:%[0-9a-z]+]] = load i32, ptr %ua, align 4
37 // CHECK-NEXT: [[NOTZERO:%[0-9a-z]+]] = icmp ne i32 [[ACCUM]], 0
38 // CHECK-NEXT: [[FROMBOOL:%[0-9a-z]+]] = zext i1 [[NOTZERO]] to i8
39 // CHECK-NEXT: store i8 [[FROMBOOL]], ptr %b, align 1
40 b = ua;
41
42 // CHECK-NEXT: [[ACCUM:%[0-9a-z]+]] = load i32, ptr %a, align 4
43 // CHECK-NEXT: [[NOTZERO:%[0-9a-z]+]] = icmp ne i32 [[ACCUM]], 0
44 // CHECK-NEXT: br i1 [[NOTZERO]], label %if.then, label %if.end
45 if (a) {
46 }
47
48 // CHECK: [[ACCUM:%[0-9a-z]+]] = load i32, ptr %ua, align 4
49 // CHECK-NEXT: [[NOTZERO:%[0-9a-z]+]] = icmp ne i32 [[ACCUM]], 0
50 // CHECK-NEXT: br i1 [[NOTZERO]], label %if.then{{[0-9]+}}, label %if.end{{[0-9]+}}
51 if (ua) {
52 }
53 }
54