2 Commits

Author	SHA1	Message	Date
Florian Hahn	95daec6a84	[ConstraintElimination] Use unsigned > 0 instead of != 0. ... ICMP_NE predicates cannot be directly represented as constraint. But we can use ICMP_UGT instead ICMP_NE for %x != 0. See https://alive2.llvm.org/ce/z/XlLCsW	2021-02-22 17:54:36 +00:00
Florian Hahn	784c70d704	[ConstraintElimination] Add initial ICMP_NE test cases.	2021-02-22 17:11:04 +00:00