diff options
| author | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-27 12:49:11 +0000 |
|---|---|---|
| committer | Johannes Doerfert <doerfert@cs.uni-saarland.de> | 2016-04-27 12:49:11 +0000 |
| commit | 8ab2803b6323d081e29cc4f37cc90e48d4c09be3 (patch) | |
| tree | c9520681f05495b6ed9dc1a46e87fe681bf8a73d /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 2956535b7c44fb4cf742667ec4b61cf176f9d32d (diff) | |
| download | llvm-8ab2803b6323d081e29cc4f37cc90e48d4c09be3.zip llvm-8ab2803b6323d081e29cc4f37cc90e48d4c09be3.tar.gz llvm-8ab2803b6323d081e29cc4f37cc90e48d4c09be3.tar.bz2 | |
[FIX] Propagate execution domain of invariant loads
If the base pointer of an invariant load is is loaded conditionally, that
condition needs to hold for the invariant load too. The structure of the
program will imply this for domain constraints but not for imprecisions in
the modeling. To this end we will propagate the execution context of base
pointers during code generation and thus ensure the derived pointer does
not access an invalid base pointer.
llvm-svn: 267707
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions