llvm
0311bb62 - [llubi] Add support for load/store/lifetime markers (#182532)

Commit
23 days ago
[llubi] Add support for load/store/lifetime markers (#182532) Bytes are adjusted to respect the incoming byte type proposed in https://discourse.llvm.org/t/rfc-add-a-new-byte-type-to-llvm-ir/89522. Note that the current implementation of constant folding doesn't handle bitcasts with weird types like `<8 x i3> to <3 x i8>`: https://github.com/llvm/llvm-project/blob/49de34459c99b33c27aae4596ed5e67ce3d89eae/llvm/lib/Analysis/ConstantFolding.cpp#L223-L232 So I take the result from Alive2 as reference: https://alive2.llvm.org/ce/z/ZGA_xP
Author
Parents
Loading