[PATCH] D76153: [SimplifyCFG] try branch-to-branch simplification sooner

[Juneyoung Lee via Phabricator via llvm-commits]

aqjune added a comment.

I guess in C it is UB to pass the value of uninitialized variable to a function argument:

  void f(int);
  
  int x;
  f(x); // UB

Then can we say that function arguments are never undef/poison?
It may not be true in IR, then we can introduce the attribute that is discussed at nonnull thread previously, which was `nonpoison` (or I think `freezed` is good as well; `nonpoison` seems to imply poison only. But I don't stick to my choice)


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

https://reviews.llvm.org/D76153