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

Tue Dec 6 05:29:41 PST 2022

fhahn added a comment.

In D138452#3974011 <https://reviews.llvm.org/D138452#3974011>, @uabelho wrote:

> Hi,
> The following starts crashing with this patch:
>
>   opt -passes=constraint-elimination bbi-76661.ll -o /dev/null
>
> I get
>
>   opt: ../lib/IR/Instruction.cpp:124: bool llvm::Instruction::comesBefore(const llvm::Instruction *) const: Assertion `Parent == Other->Parent && "cross-BB instruction order comparison"' failed.
>
> F25509716: bbi-76661.ll <https://reviews.llvm.org/F25509716>

Thanks for the report. Is it possible this is over-reduced? I cannot reproduce it locally or on godbolt: https://llvm.godbolt.org/z/T8f1q33hq

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138452