Add split and join functions for ranges
jamesturner246 opened this issue · 0 comments
jamesturner246 commented
The 'split' function should split a range into two or more new ranges.
The 'join' function should merge two or more ranges into one new range.
The resulting ranges of both functions should be as tight as possible, while preserving as much correlation information as possible. The joint range of all output ranges should fully contain the joint range of all input ranges, preserving the fundamental invariant of range analysis (see http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.8089, section 1.2.3).