diff options
author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-01-25 15:31:10 +0000 |
---|---|---|
committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-01-25 15:31:10 +0000 |
commit | 351f65d9723c075af86466c07a0a3dc28be272cd (patch) | |
tree | 82e09d16ae205017d64d6640d0e2ca398d0dcfd1 /docs/Bugpoint.rst | |
parent | ea387fc3b8cf12c3c6ad218b81eca156e8173bba (diff) | |
download | external_llvm-351f65d9723c075af86466c07a0a3dc28be272cd.zip external_llvm-351f65d9723c075af86466c07a0a3dc28be272cd.tar.gz external_llvm-351f65d9723c075af86466c07a0a3dc28be272cd.tar.bz2 |
[msan] Implement exact shadow propagation for relational ICmp.
Only for integers, pointers, and vectors of those. No floats.
Instrumentation seems very heavy, and may need to be replaced
with some approximation in the future.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@173452 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs/Bugpoint.rst')
0 files changed, 0 insertions, 0 deletions