Legalization code robustness for overflow intrinsics

Hi,

I have a patch for the first “Target Independent Opportunity” (lib/Target/README.txt), which also resolves PR4917. However, the readme contains the following line:

The legalization code for mul-with-overflow needs to be made more robust before this can be implemented though.

So my question is: how robust is it, or is this an outdated remark?

– Erik.