diff options
| author | Anton Yartsev <anton.yartsev@gmail.com> | 2016-12-23 03:31:00 +0000 |
|---|---|---|
| committer | Anton Yartsev <anton.yartsev@gmail.com> | 2016-12-23 03:31:00 +0000 |
| commit | 1a2a9e30873c9b5fd51c067d8b6c3df5a4829d2f (patch) | |
| tree | 3f822cca7d28b980b60bb1d2a2bf699b466faf48 /llvm/lib/Bitcode/Reader/MetadataLoader.cpp | |
| parent | 00d734d89b381f6d3cde6e6f5177479f8dfb2f34 (diff) | |
| download | bcm5719-llvm-1a2a9e30873c9b5fd51c067d8b6c3df5a4829d2f.tar.gz bcm5719-llvm-1a2a9e30873c9b5fd51c067d8b6c3df5a4829d2f.zip | |
Fix for PR15623. The patch eliminates unwanted ProgramState checker data propagation from an operand of the logical operation to operation result.
The patch also simplifies an assume of a constraint of the form: "(exp comparison_op expr) != 0" to true into an assume of "exp comparison_op expr" to true. (And similarly, an assume of the form "(exp comparison_op expr) == 0" to true as an assume of exp comparison_op expr to false.) which improves precision overall.
https://reviews.llvm.org/D22862
llvm-svn: 290413
Diffstat (limited to 'llvm/lib/Bitcode/Reader/MetadataLoader.cpp')
0 files changed, 0 insertions, 0 deletions
