[PATCH] D30667: GVNHoist: handle basic blocks with UnreachableInst

[Hal Finkel via Phabricator via llvm-commits]

hfinkel added a comment.

In https://reviews.llvm.org/D30667#699854, @efriedma wrote:

> If you have a function like this:
>
> define void @f(i32* %z) { unreachable }
>
> We can mark %z nonnull because there's a nonnull assumption along every feasible path.  I'm not sure what that has to do with this patch, though.


There is? We could propagate the unreachableness of this function to its callsites, but I don't see what that has to do with the value of the function argument.


Repository:
  rL LLVM

https://reviews.llvm.org/D30667