[PATCH] D149339: [InstCombine] Add frozen for the condition value of SelectInst

[Allen zhong via Phabricator via llvm-commits]

Allen added a comment.

In D149339#4303335 <https://reviews.llvm.org/D149339#4303335>, @efriedma wrote:

> (For future reference, the freeze isn't necessary if the operand is poison; it's only necessary if the operand is undef.)

hi, @efriedma, Thanks for your information.

  do you mean we'd better check the attribute **noundef ** before adding the **freeze** ? such as  https://alive2.llvm.org/ce/z/2pIqvX, this case isn't necessary to add freeze  ?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149339