[TableGen] Store predicates in PatternToMatch as ListInit *. Add string for HwModeFea...
authorCraig Topper <craig.topper@sifive.com>
Wed, 28 Apr 2021 18:13:10 +0000 (11:13 -0700)
committerCraig Topper <craig.topper@sifive.com>
Wed, 28 Apr 2021 19:05:49 +0000 (12:05 -0700)
commitf391de8cb6f9c8ecbd3c6fcf025a2ee203db0726
tree00a55ad9dc05c8d90621889843461ea6895765ba
parent01b0980511b65e5402a2c42d099f7035586c68c6
[TableGen] Store predicates in PatternToMatch as ListInit *. Add string for HwModeFeatures

This uses to be how predicates were handled prior to HwMode being
added. When the Predicates were converted to a std::vector it
significantly increased the cost of a compare in GenerateVariants.
Since ListInit's are uniquified by tablegen, we can use a simple
pointer comparison to check for identical lists.

In order to store the HwMode, we now add a separate string to
PatternToMatch. This will be appended separately to the predicate
string in getPredicateCheck. A new getPredicateRecords is added
to allow GlobalISel and getPredicateCheck to both get the sorted
list of Records. GlobalISel was ignoring any HwMode predicates
before and still is.

There is one slight change here, ListInits with different predicate
orders aren't sorted so the filtering in GenerateVariants might
fail to detect two isomorphic patterns with different predicate
orders. This doesn't seem to be happening in tree today.

My hope is this will allow us to remove all the BitVector tracking
in GenerateVariants that was making up for predicates beeing
expensive to compare. There's a decent amount of heap allocations
there on large targets like X86, AMDGPU, and RISCV.

Differential Revision: https://reviews.llvm.org/D100691
llvm/utils/TableGen/CodeGenDAGPatterns.cpp
llvm/utils/TableGen/CodeGenDAGPatterns.h
llvm/utils/TableGen/GlobalISelEmitter.cpp