Merge "Revert "Revert "Refined add/sub analysis vis-a-vis SIMD idioms."""