3 Commits

Author	SHA1	Message	Date
Werner Almesberger	9cafe23fb8	b2/: simplified and corrected logic behind relop_redundant ... We now generate the operator map algorithmically, which is a bit less classy than solving the logical equations, but easier to get right. Also renamed the somewhat vague "redundant" to "unreachable".	2012-06-01 14:52:12 -03:00
Werner Almesberger	39382b1872	b2/: add test for redundant conditions in hierarchy	2012-05-31 15:35:31 -03:00
Werner Almesberger	a34702cd8d	b2/: move relational operators to relop.[ch] (for sharing) ... This also fixes a bug in dump_one_field, which switched > and >=	2012-05-20 23:04:41 -03:00