sparse/sparse-dev.git - Sparse's development tree with unstable git history

Age	Commit message (Collapse)	Author	Files	Lines
2020-11-08	cmp: simplify zext(x) cmp C --> x cmp C	Luc Van Oostenryck	1	-1/+0
	When doing a compare of a zero-extended value against a constant, this extension can be dropped and the comparison done on the original type if the constant is within the original range and signed compares become the corresponding unsigned one. Simplify away these sign-extensions. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2020-11-05	cmp: add testcases for the simplification of compares	Luc Van Oostenryck	1	-0/+18
	Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>