[DFAPacketizer] Allow namespacing of automata per-itinerary
authorJames Molloy <jmolloy@google.com>
Fri, 30 Aug 2019 19:50:49 +0000 (19:50 +0000)
committerJames Molloy <jmolloy@google.com>
Fri, 30 Aug 2019 19:50:49 +0000 (19:50 +0000)
commit6ccd67320631e7ab26d6746bdc77eabfa03730e0
treeb4452776d36c0e57cc004442edb4f103021eb230
parenta707ced18fab078b0beb3765c966383cd9027c05
[DFAPacketizer] Allow namespacing of automata per-itinerary

The Hexagon itineraries are cunningly crafted such that functional units between
itineraries do not clash. Because all itineraries are bundled into the same DFA,
a functional unit index clash would cause an incorrect DFA to be generated.

A workaround for this is to ensure all itineraries declare the universe of all
possible functional units, but this isn't ideal for three reasons:
  1) We only have a limited number of FUs we can encode in the packetizer, and
     using the universe causes us to hit the limit without care.
  2) Silent codegen faults are bad, and careful triage of the FU list shouldn't
     be required.
  3) Smooshing all itineraries into the same automaton allows combinations of
     instruction classes that cannot exist, which bloats the table.

A simple solution is to allow "namespacing" packetizers.

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

llvm-svn: 370508
llvm/include/llvm/Target/TargetItinerary.td
llvm/utils/TableGen/DFAPacketizerEmitter.cpp