HomePhabricator

Fix for PR15623. The patch eliminates unwanted ProgramState checker data…

Description

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

Details

Committed
ayartsevDec 22 2016, 7:31 PM
Parents
rL290412: [WebAssembly] Annotate call and load/store immediates.
Branches
Unknown
Tags
Unknown