| // RUN: %clang_cc1 -emit-llvm -triple x86_64 -O3 -o - %s | \ |
| // RUN: FileCheck -check-prefix=CHECK-OPT %s |
| |
| /****/ |
| |
| // PR6176 |
| |
| struct __attribute((packed)) s0 { |
| int f0 : 24; |
| }; |
| |
| struct s0 g0 = { 0xdeadbeef }; |
| |
| int f0_load(struct s0 *a0) { |
| int size_check[sizeof(struct s0) == 3 ? 1 : -1]; |
| return a0->f0; |
| } |
| int f0_store(struct s0 *a0) { |
| return (a0->f0 = 1); |
| } |
| int f0_reload(struct s0 *a0) { |
| return (a0->f0 += 1); |
| } |
| |
| // CHECK-OPT: define i64 @test_0() |
| // CHECK-OPT: ret i64 1 |
| // CHECK-OPT: } |
| unsigned long long test_0() { |
| struct s0 g0 = { 0xdeadbeef }; |
| unsigned long long res = 0; |
| res ^= g0.f0; |
| res ^= f0_load(&g0) ^ f0_store(&g0) ^ f0_reload(&g0); |
| res ^= g0.f0; |
| return res; |
| } |
| |
| /****/ |
| |
| // PR5591 |
| |
| #pragma pack(push) |
| #pragma pack(1) |
| struct __attribute((packed)) s1 { |
| signed f0 : 10; |
| signed f1 : 10; |
| }; |
| #pragma pack(pop) |
| |
| struct s1 g1 = { 0xdeadbeef, 0xdeadbeef }; |
| |
| int f1_load(struct s1 *a0) { |
| int size_check[sizeof(struct s1) == 3 ? 1 : -1]; |
| return a0->f1; |
| } |
| int f1_store(struct s1 *a0) { |
| return (a0->f1 = 1234); |
| } |
| int f1_reload(struct s1 *a0) { |
| return (a0->f1 += 1234); |
| } |
| |
| // CHECK-OPT: define i64 @test_1() |
| // CHECK-OPT: ret i64 210 |
| // CHECK-OPT: } |
| unsigned long long test_1() { |
| struct s1 g1 = { 0xdeadbeef, 0xdeadbeef }; |
| unsigned long long res = 0; |
| res ^= g1.f0 ^ g1.f1; |
| res ^= f1_load(&g1) ^ f1_store(&g1) ^ f1_reload(&g1); |
| res ^= g1.f0 ^ g1.f1; |
| return res; |
| } |
| |
| /****/ |
| |
| // PR5567 |
| |
| union u2 { |
| unsigned long long f0 : 3; |
| }; |
| |
| union u2 g2 = { 0xdeadbeef }; |
| |
| int f2_load(union u2 *a0) { |
| return a0->f0; |
| } |
| int f2_store(union u2 *a0) { |
| return (a0->f0 = 1234); |
| } |
| int f2_reload(union u2 *a0) { |
| return (a0->f0 += 1234); |
| } |
| |
| // CHECK-OPT: define i64 @test_2() |
| // CHECK-OPT: ret i64 2 |
| // CHECK-OPT: } |
| unsigned long long test_2() { |
| union u2 g2 = { 0xdeadbeef }; |
| unsigned long long res = 0; |
| res ^= g2.f0; |
| res ^= f2_load(&g2) ^ f2_store(&g2) ^ f2_reload(&g2); |
| res ^= g2.f0; |
| return res; |
| } |
| |
| /***/ |
| |
| // PR5039 |
| |
| struct s3 { |
| long long f0 : 32; |
| long long f1 : 32; |
| }; |
| |
| struct s3 g3 = { 0xdeadbeef, 0xdeadbeef }; |
| |
| int f3_load(struct s3 *a0) { |
| a0->f0 = 1; |
| return a0->f0; |
| } |
| int f3_store(struct s3 *a0) { |
| a0->f0 = 1; |
| return (a0->f0 = 1234); |
| } |
| int f3_reload(struct s3 *a0) { |
| a0->f0 = 1; |
| return (a0->f0 += 1234); |
| } |
| |
| // CHECK-OPT: define i64 @test_3() |
| // CHECK-OPT: ret i64 -559039940 |
| // CHECK-OPT: } |
| unsigned long long test_3() { |
| struct s3 g3 = { 0xdeadbeef, 0xdeadbeef }; |
| unsigned long long res = 0; |
| res ^= g3.f0 ^ g3.f1; |
| res ^= f3_load(&g3) ^ f3_store(&g3) ^ f3_reload(&g3); |
| res ^= g3.f0 ^ g3.f1; |
| return res; |
| } |
| |
| /***/ |
| |
| // This is a case where the bitfield access will straddle an alignment boundary |
| // of its underlying type. |
| |
| struct s4 { |
| unsigned f0 : 16; |
| unsigned f1 : 28 __attribute__ ((packed)); |
| }; |
| |
| struct s4 g4 = { 0xdeadbeef, 0xdeadbeef }; |
| |
| int f4_load(struct s4 *a0) { |
| return a0->f0 ^ a0->f1; |
| } |
| int f4_store(struct s4 *a0) { |
| return (a0->f0 = 1234) ^ (a0->f1 = 5678); |
| } |
| int f4_reload(struct s4 *a0) { |
| return (a0->f0 += 1234) ^ (a0->f1 += 5678); |
| } |
| |
| // CHECK-OPT: define i64 @test_4() |
| // CHECK-OPT: ret i64 4860 |
| // CHECK-OPT: } |
| unsigned long long test_4() { |
| struct s4 g4 = { 0xdeadbeef, 0xdeadbeef }; |
| unsigned long long res = 0; |
| res ^= g4.f0 ^ g4.f1; |
| res ^= f4_load(&g4) ^ f4_store(&g4) ^ f4_reload(&g4); |
| res ^= g4.f0 ^ g4.f1; |
| return res; |
| } |
| |
| /***/ |
| |
| |
| struct s5 { |
| unsigned f0 : 2; |
| _Bool f1 : 1; |
| _Bool f2 : 1; |
| }; |
| |
| struct s5 g5 = { 0xdeadbeef, 0xdeadbeef }; |
| |
| int f5_load(struct s5 *a0) { |
| return a0->f0 ^ a0->f1; |
| } |
| int f5_store(struct s5 *a0) { |
| return (a0->f0 = 0xF) ^ (a0->f1 = 0xF) ^ (a0->f2 = 0xF); |
| } |
| int f5_reload(struct s5 *a0) { |
| return (a0->f0 += 0xF) ^ (a0->f1 += 0xF) ^ (a0->f2 += 0xF); |
| } |
| |
| // CHECK-OPT: define i64 @test_5() |
| // CHECK-OPT: ret i64 2 |
| // CHECK-OPT: } |
| unsigned long long test_5() { |
| struct s5 g5 = { 0xdeadbeef, 0xdeadbeef, 0xdeadbeef }; |
| unsigned long long res = 0; |
| res ^= g5.f0 ^ g5.f1 ^ g5.f2; |
| res ^= f5_load(&g5) ^ f5_store(&g5) ^ f5_reload(&g5); |
| res ^= g5.f0 ^ g5.f1 ^ g5.f2; |
| return res; |
| } |