[TableGen] Support combining AssemblerPredicates with ORs
authorSimon Cook <simon.cook@embecosm.com>
Fri, 13 Mar 2020 17:13:51 +0000 (17:13 +0000)
committerSimon Cook <simon.cook@embecosm.com>
Fri, 13 Mar 2020 17:13:51 +0000 (17:13 +0000)
commita26bd4ec1652da20872e55d0bf468f52149a2ec9
treee2d4f3db0f2a7fbbfd0fb1baad21c73e4304f07e
parent20e36f31dfc1bb079dc6e6db5f692a4e90aa0c9d
[TableGen] Support combining AssemblerPredicates with ORs

For context, the proposed RISC-V bit manipulation extension has a subset
of instructions which require one of two SubtargetFeatures to be
enabled, 'zbb' or 'zbp', and there is no defined feature which both of
these can imply to use as a constraint either (see comments in D65649).

AssemblerPredicates allow multiple SubtargetFeatures to be declared in
the "AssemblerCondString" field, separated by commas, and this means
that the two features must both be enabled. There is no equivalent to
say that _either_ feature X or feature Y must be enabled, short of
creating a dummy SubtargetFeature for this purpose and having features X
and Y imply the new feature.

To solve the case where X or Y is needed without adding a new feature,
and to better match a typical TableGen style, this replaces the existing
"AssemblerCondString" with a dag "AssemblerCondDag" which represents the
same information. Two operators are defined for use with
AssemblerCondDag, "all_of", which matches the current behaviour, and
"any_of", which adds the new proposed ORing features functionality.

This was originally proposed in the RFC at
http://lists.llvm.org/pipermail/llvm-dev/2020-February/139138.html

Changes to all current backends are mechanical to support the replaced
functionality, and are NFCI.

At this stage, it is illegal to combine features with ands and ors in a
single AssemblerCondDag. I suspect this case is sufficiently rare that
adding more complex changes to support it are unnecessary.

Differential Revision: https://reviews.llvm.org/D74338
27 files changed:
llvm/include/llvm/MC/MCInstPrinter.h
llvm/include/llvm/Target/Target.td
llvm/lib/MC/MCInstPrinter.cpp
llvm/lib/Target/AArch64/AArch64InstrInfo.td
llvm/lib/Target/AArch64/AArch64SystemOperands.td
llvm/lib/Target/AMDGPU/AMDGPU.td
llvm/lib/Target/AMDGPU/SIInstrInfo.td
llvm/lib/Target/ARM/ARMPredicates.td
llvm/lib/Target/AVR/AVRInstrInfo.td
llvm/lib/Target/Hexagon/Hexagon.td
llvm/lib/Target/Hexagon/HexagonDepArch.td
llvm/lib/Target/Mips/Mips.td
llvm/lib/Target/Mips/MipsDSPInstrFormats.td
llvm/lib/Target/Mips/MipsInstrFPU.td
llvm/lib/Target/Mips/MipsInstrInfo.td
llvm/lib/Target/RISCV/RISCV.td
llvm/lib/Target/Sparc/SparcInstrInfo.td
llvm/lib/Target/SystemZ/SystemZFeatures.td
llvm/lib/Target/WebAssembly/WebAssemblyInstrInfo.td
llvm/lib/Target/X86/X86InstrInfo.td
llvm/test/TableGen/AsmPredicateCombining.td [new file with mode: 0644]
llvm/test/TableGen/AsmPredicateCombiningRISCV.td [new file with mode: 0644]
llvm/test/TableGen/AsmPredicateCondsEmission.td
llvm/utils/TableGen/AsmWriterEmitter.cpp
llvm/utils/TableGen/FixedLenDecoderEmitter.cpp
llvm/utils/TableGen/RISCVCompressInstEmitter.cpp
llvm/utils/TableGen/SubtargetFeatureInfo.cpp