[LLVMdev] folding x * 0 = 0

[Jochen Wilhelmy]

> I'm not sure how that would work, but it most likely wouldn't fit with the design of llvm.  If this is important, I'd rather fix the representational issue.
>
>   
Just
#ifdef RELAXED_FLOAT
here the code like I posted
#endif

what do you mean by the representational issue? something in the IR?
Perhaps something like the value tracking can be implemented that
tracks if a float can be NaN. then only a flag is needed for the load
instruction that the float from memory is assumed not to be NaN.

-Jochen