[PATCH] D35503: Make OrderedInstructions able to handle queries that Dominators coulddo, but faster (OrderedInstructions is O(N) once, O(1) after that, Dominators is O(N) all the time)

[Daniel Berlin via Phabricator via llvm-commits]

dberlin created this revision.
Herald added a subscriber: sanjoy.

This adds the necessary support to OrderedInstructions to be able to start replacing the O(N) dominates(instruction, {use, instruction}) queries.

This is going to be a long slog because we'll have to pass it along to
a bunch of stuff to keep it up to date in utilities

I'll likely convert it to an analysis along the way, it's currently a utility.

Convert NaryReassociate to OrderedInstructions
Make PredicateInfo use it as well.
These will be committed as separate patches, they are just examples.


https://reviews.llvm.org/D35503

Files:
  include/llvm/IR/Dominators.h
  include/llvm/Transforms/Scalar/NaryReassociate.h
  include/llvm/Transforms/Utils/OrderedInstructions.h
  lib/Transforms/Scalar/NaryReassociate.cpp
  lib/Transforms/Utils/OrderedInstructions.cpp
  lib/Transforms/Utils/PredicateInfo.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D35503.106938.patch
Type: text/x-patch
Size: 8144 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170717/7cac6ece/attachment-0001.bin>