[PATCH] D138452: [ConstraintElim] Queue facts and checks directly.

[Bjorn Pettersson via Phabricator via llvm-commits]

bjope added a comment.

Ok, here is a godbolt repro:   https://llvm.godbolt.org/z/98PvGaTe9

The difference is that the branch in the entry block now looks like:

  br i1 %0, label %trap, label %1


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138452