| 1 | // RUN: %clang_cc1 -ffixed-point -S -emit-llvm %s -o - | FileCheck %s |
|---|
| 2 | // RUN: %clang_cc1 -ffixed-point -S -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 | |
|---|
| 7 | void func() { |
|---|
| 8 | _Accum a = 0.5k; |
|---|
| 9 | unsigned _Accum ua = 0.5uk; |
|---|
| 10 | _Bool b; |
|---|
| 11 | |
|---|
| 12 | // CHECK: store i8 1, i8* %b, align 1 |
|---|
| 13 | // CHECK-NEXT: store i8 0, i8* %b, align 1 |
|---|
| 14 | // CHECK: store i8 1, i8* %b, align 1 |
|---|
| 15 | // CHECK-NEXT: store i8 0, i8* %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, i8* %b, align 1 |
|---|
| 22 | // CHECK-NEXT: store i8 0, i8* %b, align 1 |
|---|
| 23 | // CHECK-NEXT: store i8 1, i8* %b, align 1 |
|---|
| 24 | // CHECK-NEXT: store i8 0, i8* %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, i32* %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]], i8* %b, align 1 |
|---|
| 34 | b = a; |
|---|
| 35 | |
|---|
| 36 | // CHECK-NEXT: [[ACCUM:%[0-9a-z]+]] = load i32, i32* %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]], i8* %b, align 1 |
|---|
| 40 | b = ua; |
|---|
| 41 | |
|---|
| 42 | // CHECK-NEXT: [[ACCUM:%[0-9a-z]+]] = load i32, i32* %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, i32* %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 | |
|---|