blob: 8e868c4c207bf9f84de95061d4dc0ca53dea0d7b [file] [log] [blame]
//===- - Define GlobalISel rules -----------------*- tablegen -*-===//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// This file defines the target-independent interfaces used to support
// SelectionDAG instruction selection patterns (specified in
// when generating GlobalISel instruction selectors.
// This is intended as a compatibility layer, to enable reuse of target
// descriptions written for SelectionDAG without requiring explicit GlobalISel
// support. It will eventually supersede SelectionDAG patterns.
// Definitions that inherit from LLT define types that will be used in the
// GlobalISel matcher.
class LLT;
def s32 : LLT;
def s64 : LLT;
// Defines a matcher for complex operands. This is analogous to ComplexPattern
// from SelectionDAG.
// Definitions that inherit from this may also inherit from
// GIComplexPatternEquiv to enable the import of SelectionDAG patterns involving
// those ComplexPatterns.
class GIComplexOperandMatcher<LLT type, string matcherfn> {
// The expected type of the root of the match.
// TODO: We should probably support, any-type, any-scalar, and multiple types
// in the future.
LLT Type = type;
// The function that determines whether the operand matches. It should be of
// the form:
// bool select(const MatchOperand &Root, MatchOperand &Result1)
// and should have the same number of ResultX arguments as the number of
// result operands. It must return true on successful match and false
// otherwise. If it returns true, then all the ResultX arguments must be
// overwritten.
string MatcherFn = matcherfn;
// Defines a custom renderer. This is analogous to SDNodeXForm from
// SelectionDAG. Unlike SDNodeXForm, this matches a MachineInstr and
// renders directly to the result instruction without an intermediate node.
// Definitions that inherit from this may also inherit from GISDNodeXFormEquiv
// to enable the import of SelectionDAG patterns involving those SDNodeXForms.
class GICustomOperandRenderer<string rendererfn> {
// The function renders the operand(s) of the matched instruction to
// the specified instruction. It should be of the form:
// void render(MachineInstrBuilder &MIB, const MachineInstr &MI,
// int OpIdx = -1)
// If OpIdx is specified (i.e. not invalid/negative), this
// references the source operand MI.getOperand(OpIdx). Otherwise,
// this is the value defined by MI. This is to support the case
// where there is no corresponding instruction to match.
string RendererFn = rendererfn;