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

Age	Commit message (Collapse)	Author	Files	Lines
2018-06-23	ir: case OP_UNOP ... OP_UNOP_END	Luc Van Oostenryck	1	-5/+1
	Now that we have OP_UNOP & OP_UNOP_END, we can convert some long switch cases by the shorter: case OP_UNOP ... OP_UNOP_END. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-06-23	add missing entry for OP_FNEG in kill_insn() & validate_insn()	Luc Van Oostenryck	1	-1/+1
	These functions must have an entry for almost all instructions but OP_FNEG was missing. Fix this by adding the entry for OP_FNEG. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-06-16	ir-validate: add validation of (nbr of) phi operands	Luc Van Oostenryck	1	-0/+52
	This patch verify that every phi-nodes have the same number of operands as the current BB has parents. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-06-16	ir-validate: validate pseudo's defining instruction	Luc Van Oostenryck	1	-0/+69
	PSEUDO_REGs & PSEUDO_PHIs are defined by some instructions. This patch validate that each such pseudo have indded a valids defining instruction. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
2018-06-16	ir-validate: add framework for IR validation	Luc Van Oostenryck	1	-0/+40
	To be meaningful, the IR instructions and their relationships must obey some constraints. This patch add the framework for doing this kind of validation. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>