Just a note. We have two patches that are trying to address the same core problem in SCEV. We'll have to work through both implementations and pick one to go forward. I haven't dug into the details of either other than to note one is limited to abs while the other covers several more operators.
Jeff
