3 Commits

Author	SHA1	Message	Date
Dimo	345d6754f5	Change TV ranking to select src vars as a representative during unification; Nit: cleanup dot() emitting code; Nit: fix small bug in verify_semantics() - make an internal copy of src rtl to avoid clobbering of typevars re-used in multiple definitions	2017-07-25 15:38:48 -07:00
d1m0	a9147ebd30	Add fix for #114 (#115) ... * Reduce code duplication in TypeConstraint subclasses; Add ConstrainWiderOrEqual to ti and to ireduce,{s,u}extend and f{promote,demote}; Fix bug in emitting constraint edges in TypeEnv.dot(); Modify runtime constraint checks to reject match when they encounter overflow * Rename Constrain types to something shorter; Move lane_bits/lane_counts in subclasses of ValueType; Add wider_or_eq function in rust and python;	2017-07-12 08:51:55 -07:00
d1m0	98f822f347	Emit runtime type checks in legalizer.rs (#112) ... * Emit runtime type checks in legalizer.rs	2017-07-10 15:28:32 -07:00