[PATCH] D111643: [ValueTracking] Let propgatesPoison consider single poison operand.

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 12 07:05:54 PDT 2021

Previous message: [PATCH] D111643: [ValueTracking] Let propgatesPoison consider single poison operand.
Next message: [PATCH] D111643: [ValueTracking] Let propgatesPoison consider single poison operand.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

aqjune added a comment.

The change looks great to me.

> Alive2 proofs for the changed instcombine tests:

Were the InstCombine test changes supposed to be included in this patch?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D111643

Previous message: [PATCH] D111643: [ValueTracking] Let propgatesPoison consider single poison operand.
Next message: [PATCH] D111643: [ValueTracking] Let propgatesPoison consider single poison operand.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list