[PATCH] D63782: [FPEnv] Add fptosi and fptoui constrained intrinsics

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

> How aggressive is LLVM's UB handling? Would it remove an entire block/function if UB is found in it?

If LLVM can prove a basic block unconditionally executes UB, it will be erased. But "unconditionally" is an important qualifier. For example, consider the following function: `void f(void g()) { g(); *(int*)0 = 0; }`.  The call to g isn't erased because we can't prove g will return.


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63782/new/

https://reviews.llvm.org/D63782