diff options
author | Antonio Frighetto <me@antoniofrighetto.com> | 2025-09-24 15:59:32 +0200 |
---|---|---|
committer | Antonio Frighetto <me@antoniofrighetto.com> | 2025-09-24 15:59:32 +0200 |
commit | 32c6e162462bbca3beb2259b90cc922a7419ba2c (patch) | |
tree | 9f0267bbb5519da8472272dfd6ea6b8249100d8c /mlir/lib/Target/LLVMIR/ModuleImport.cpp | |
parent | 03742c5dacef177a990f0fa3a3d11ba720fc0ac5 (diff) | |
download | llvm-32c6e162462bbca3beb2259b90cc922a7419ba2c.zip llvm-32c6e162462bbca3beb2259b90cc922a7419ba2c.tar.gz llvm-32c6e162462bbca3beb2259b90cc922a7419ba2c.tar.bz2 |
[IR] Introduce `llvm.errno.tbaa` metadata for errno alias disambiguation
Add a new named module-level frontend-annotated metadata that
specifies the TBAA node for an integer access, for which, C/C++
`errno` accesses are guaranteed to use (under strict aliasing).
This should allow LLVM to prove the involved memory location/
accesses may not alias `errno`; thus, to perform optimizations
around errno-writing libcalls (store-to-load forwarding amongst
others).
Previous discussion: https://discourse.llvm.org/t/rfc-modelling-errno-memory-effects/82972.
Diffstat (limited to 'mlir/lib/Target/LLVMIR/ModuleImport.cpp')
0 files changed, 0 insertions, 0 deletions