diff options
| author | Thurston Dang <thurston@google.com> | 2026-02-04 18:58:41 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-02-04 18:58:41 -0800 |
| commit | 42f423d28225403c85db6cd966cdb4e107e1d3b1 (patch) | |
| tree | e692fa0afa726697ea2e546ba6264bbc3c9460de /mlir/lib/Interfaces/SideEffectInterfaces.cpp | |
| parent | 477f3af7823c4557521fba6a101cad2aaceea5da (diff) | |
| download | llvm-main.zip llvm-main.tar.gz llvm-main.tar.bz2 | |
This test compares the instrumentation for two loosely-equivalent
patterns: (icmp eq + br) vs. switch.
(icmp eq) can have an initialized output even if the inputs are partly
uninitialized, if a bit is initialized in both inputs but has a
different value. In contrast, switch() strictly checks that the input is
fully initialized.
Future work: since the compiler/optimizer may freely choose between
(icmp eq + br) vs. switch, MSan's switch instrumentation also needs to
be able to handle partly-uninitialized inputs.
Diffstat (limited to 'mlir/lib/Interfaces/SideEffectInterfaces.cpp')
0 files changed, 0 insertions, 0 deletions