Displaying 2 results from an estimated 2 matches for "0c5a43b1".
Did you mean:
045a13b1
2018 Feb 28
0
how to simplify FP ops with an undef operand?
...can't be correct because we support targets that don't raise exceptions...and even targets that raise exceptions do not trap by default on snan?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180228/0c5a43b1/attachment-0001.html>
2018 Feb 28
3
how to simplify FP ops with an undef operand?
%y = fadd float %x, undef
Can we simplify this?
Currently in IR, we do nothing for fadd/fsub/fmul. For fdiv/frem, we
propagate undef. The code comment for fdiv/frem says:
"the undef could be a snan"
If that's correct, then shouldn't it be the same for fadd/fsub/fmul? But
this can't be correct because we support targets that don't raise
exceptions...and even targets