Displaying 1 result from an estimated 1 matches for "a2e06b31".
2018 Jan 10
1
LoopDeletion and use in unreachable block
Hello All,
I filed a bug https://bugs.llvm.org/show_bug.cgi?id=35884 which I want to fix but I'm in trouble with detecting who is wrong :)
The story is as follows:
LoopDeletion tries to delete an invariant loop which has a def with use in some unreachable block.
The IR is well-formed due to any use in unreachable block is dominated as Verifier states.
LoopDeletion detected the loop as