aboutsummaryrefslogtreecommitdiff
path: root/test/behavior/src.zig
diff options
context:
space:
mode:
authorAndrew Kelley <andrew@ziglang.org>2022-03-01 18:24:00 -0700
committerAndrew Kelley <andrew@ziglang.org>2022-03-01 18:24:00 -0700
commit6f303c01f3e06fe8203563065ea32537f6eff456 (patch)
treec1e85221ff40bfd5be043a6f7429e2b3e4d94024 /test/behavior/src.zig
parent8878f085dccaf9efe89a04b458205fddc215e095 (diff)
downloadzig-6f303c01f3e06fe8203563065ea32537f6eff456.tar.gz
zig-6f303c01f3e06fe8203563065ea32537f6eff456.zip
LLVM: add extra padding to structs and tuples sometimes
* Sema: resolve type fully when emitting an alloc AIR instruction to avoid tripping assertion for checking struct field alignment. * LLVM backend: keep a reference to the LLVM target data alive during lowering so that we can ask LLVM what it thinks the ABI alignment and size of LLVM types are. We need this in order to lower tuples and structs so that we can put in extra padding bytes when Zig disagrees with LLVM about the size or alignment of something. * LLVM backend: make the LLVM struct type packed that contains the most aligned union field and the padding. This prevents the struct from being too big according to LLVM. In the future, we may want to consider instead emitting unions in a "flat" manner; putting the tag, most aligned union field, and padding all in the same struct field space. * LLVM backend: make structs with 2 or fewer fields return isByRef=false. This results in more efficient codegen. This required lowering of bitcast to sometimes store the struct into an alloca, ptrcast, and then load because LLVM does not allow bitcasting structs. * enable more passing behavior tests.
Diffstat (limited to 'test/behavior/src.zig')
0 files changed, 0 insertions, 0 deletions