[M3commit] CVS Update: cm3

[Jay Krell]

CVSROOT:	/usr/cvs
Changes by:	jkrell at birch.	10/03/13 15:16:02

Modified files:
	cm3/m3-sys/m3tests/src/p2/p233/: Main.m3 

Log message:
	more test cases, some succeed (at being optimized), some do not.
	
	ORD(enum) vs. negative; these work
	ABS vs. negative; these work
	ABS vs. 0; these work
	-ABS vs. cardinal; the only optimizable case is neg_abs_vs_cardinal_GT and it doesn't work
	-ABS vs. 0; ditto
	-ABS vs. 1; many optimizable cases, none work
	
	ABS has a min of 0
	negate of abs should have a max of 0 but is considered unbounded
	it looks like bounds do not propagate always as they could