[InstSimplify] remove quadratic time looping (PR42771)
authorSanjay Patel <spatel@rotateright.com>
Sat, 27 Jul 2019 14:05:51 +0000 (14:05 +0000)
committerSanjay Patel <spatel@rotateright.com>
Sat, 27 Jul 2019 14:05:51 +0000 (14:05 +0000)
commit02b9e45a7e4b815ca23608adad957ed1c7f8d03b
treeeb3224c0a7fec269d638cab7e11490e0ad4b29ce
parent353a8484731b7b9ed79ae9d511659960976054f5
[InstSimplify] remove quadratic time looping (PR42771)

The test case from:
https://bugs.llvm.org/show_bug.cgi?id=42771
...shows a ~30x slowdown caused by the awkward loop iteration (rL207302) that is
seemingly done just to avoid invalidating the instruction iterator. We can instead
delay instruction deletion until we reach the end of the block (or we could delay
until we reach the end of all blocks).

There's a test diff here for a degenerate case with llvm.assume that is not
meaningful in itself, but serves to verify this change in logic.

This change probably doesn't result in much overall compile-time improvement
because we call '-instsimplify' as a standalone pass only once in the standard
-O2 opt pipeline currently.

Differential Revision: https://reviews.llvm.org/D65336

llvm-svn: 367173
llvm/lib/Transforms/Scalar/InstSimplifyPass.cpp
llvm/test/Transforms/InstSimplify/assume.ll