[msan] Implement exact shadow propagation for relational ICmp.
authorEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Fri, 25 Jan 2013 15:31:10 +0000 (15:31 +0000)
committerEvgeniy Stepanov <eugeni.stepanov@gmail.com>
Fri, 25 Jan 2013 15:31:10 +0000 (15:31 +0000)
commitfac8403249ff180c2d2566b5b6476d1e9d588a8b
tree188af59022f5357b62dedb09a8b527b794cf66d0
parent622a7b24086c5a500d17f7bc7e237eff3fbee377
[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.

llvm-svn: 173452
llvm/lib/Transforms/Instrumentation/MemorySanitizer.cpp
llvm/test/Instrumentation/MemorySanitizer/msan_basic.ll