C++: Sign analysis library#251

Merged

jbj merged 14 commits intogithub:masterfrom

rdmarsh2:rdmarsh/cpp/sign-analysis

Nov 12, 2018

Commits on Nov 6, 2018

C++: port sign analysis library from Java
Robert Marsh
committed
Add NegateInstruction
Robert Marsh
committed
C++: use guards and operands in sign analysis
Robert Marsh
committed
C++: Sign analysis for casts and unsigned integers
Robert Marsh
committed
C++: remove comments about Java implies predicates
Robert Marsh
committed
Move cached predicates to cached module
Robert Marsh
committed
C++: fix comments
Robert Marsh
committed
C++: sync NegateInstruction between IR passes
Robert Marsh
committed
C++: test fixes for sign analysis
Robert Marsh
committed

Commits on Nov 8, 2018

C++: move sign analysis to new Operand type
Robert Marsh
committed
C++: test for bounded bounds in sign analysis
Robert Marsh
committed
C++: remove double backtick in qldoc
Robert Marsh
committed
C++: IRGuards uses Operand; fix CP in SignAnalysis
Robert Marsh
committed

Commits on Nov 9, 2018

C++: fix test
Robert Marsh
committed