diff options
author | Daniel Dunbar <daniel@zuster.org> | 2010-04-22 14:56:10 +0000 |
---|---|---|
committer | Daniel Dunbar <daniel@zuster.org> | 2010-04-22 14:56:10 +0000 |
commit | 4651efb5ba5710c91b58c8b86872b264dd71f464 (patch) | |
tree | 297d6c8fc50a0a239c7e1e01f145be4ab09a5c76 /test/CodeGen/bitfield-2.c | |
parent | 66dd9394994654b5af2c62ed24f311432bacede5 (diff) | |
download | clang-4651efb5ba5710c91b58c8b86872b264dd71f464.tar.gz |
IRgen: Fix case where we might generate an access component with width == 0, if
we have to narrow the access side immediately (can happen with packed,
-fno-bitfield-type-align).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@102067 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/bitfield-2.c')
-rw-r--r-- | test/CodeGen/bitfield-2.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/CodeGen/bitfield-2.c b/test/CodeGen/bitfield-2.c index 7d6979a542..121bd7cd4f 100644 --- a/test/CodeGen/bitfield-2.c +++ b/test/CodeGen/bitfield-2.c @@ -310,3 +310,38 @@ struct __attribute__((aligned(16))) s7 { int f7_load(struct s7 *a0) { return a0->f0; } + +/***/ + +// This is a case where we narrow the access width immediately. + +struct __attribute__((packed)) s8 { + char f0 : 4; + char f1; + int f2 : 4; + char f3 : 4; +}; + +struct s8 g8 = { 0xF }; + +int f8_load(struct s8 *a0) { + return a0->f0 ^ a0 ->f2 ^ a0->f3; +} +int f8_store(struct s8 *a0) { + return (a0->f0 = 0xFD) ^ (a0->f2 = 0xFD) ^ (a0->f3 = 0xFD); +} +int f8_reload(struct s8 *a0) { + return (a0->f0 += 0xFD) ^ (a0->f2 += 0xFD) ^ (a0->f3 += 0xFD); +} + +// CHECK-OPT: define i32 @test_8() +// CHECK-OPT: ret i32 -3 +// CHECK-OPT: } +unsigned test_8() { + struct s8 g8 = { 0xdeadbeef, 0xdeadbeef, 0xdeadbeef, 0xdeadbeef }; + unsigned long long res = 0; + res ^= g8.f0 ^ g8.f2 ^ g8.f3; + res ^= f8_load(&g8) ^ f8_store(&g8) ^ f8_reload(&g8); + res ^= g8.f0 ^ g8.f2 ^ g8.f3; + return res; +} |