<div dir="ltr"><div><div>%y = fadd float %x, undef<br></div><br></div><div>Can we simplify this? <br><br>Currently in IR, we do nothing for fadd/fsub/fmul. For fdiv/frem, we propagate undef. The code comment for fdiv/frem says:<br>"the undef could be a snan"<br></div><div><br></div><div>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 that raise exceptions do not trap by default on snan?<br></div></div>