blob: 0c50c9c5e0cf2f76323fad6e91f558be77a72681 [file] [log] [blame]
Andrew Walbran16937d02019-10-22 13:54:20 +01001//===-- llvm/CodeGen/GlobalISel/CombinerHelper.h --------------*- C++ -*-===//
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01002//
Andrew Walbran16937d02019-10-22 13:54:20 +01003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Andrew Scull5e1ddfa2018-08-14 10:06:54 +01006//
7//===--------------------------------------------------------------------===//
8//
9/// This contains common combine transformations that may be used in a combine
10/// pass,or by the target elsewhere.
11/// Targets can pick individual opcode transformations from the helper or use
12/// tryCombine which invokes all transformations. All of the transformations
13/// return true if the MachineInstruction changed and false otherwise.
14//
15//===--------------------------------------------------------------------===//
16
17#ifndef LLVM_CODEGEN_GLOBALISEL_COMBINER_HELPER_H
18#define LLVM_CODEGEN_GLOBALISEL_COMBINER_HELPER_H
19
Andrew Walbran3d2c1972020-04-07 12:24:26 +010020#include "llvm/CodeGen/LowLevelType.h"
21#include "llvm/CodeGen/Register.h"
22
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010023namespace llvm {
24
Andrew Walbran16937d02019-10-22 13:54:20 +010025class GISelChangeObserver;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010026class MachineIRBuilder;
27class MachineRegisterInfo;
28class MachineInstr;
Andrew Walbran16937d02019-10-22 13:54:20 +010029class MachineOperand;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010030
Andrew Walbran3d2c1972020-04-07 12:24:26 +010031struct PreferredTuple {
32 LLT Ty; // The result type of the extend.
33 unsigned ExtendOpcode; // G_ANYEXT/G_SEXT/G_ZEXT
34 MachineInstr *MI;
35};
36
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010037class CombinerHelper {
38 MachineIRBuilder &Builder;
39 MachineRegisterInfo &MRI;
Andrew Walbran16937d02019-10-22 13:54:20 +010040 GISelChangeObserver &Observer;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010041
42public:
Andrew Walbran16937d02019-10-22 13:54:20 +010043 CombinerHelper(GISelChangeObserver &Observer, MachineIRBuilder &B);
44
45 /// MachineRegisterInfo::replaceRegWith() and inform the observer of the changes
Andrew Walbran3d2c1972020-04-07 12:24:26 +010046 void replaceRegWith(MachineRegisterInfo &MRI, Register FromReg, Register ToReg) const;
Andrew Walbran16937d02019-10-22 13:54:20 +010047
48 /// Replace a single register operand with a new register and inform the
49 /// observer of the changes.
50 void replaceRegOpWith(MachineRegisterInfo &MRI, MachineOperand &FromRegOp,
Andrew Walbran3d2c1972020-04-07 12:24:26 +010051 Register ToReg) const;
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010052
53 /// If \p MI is COPY, try to combine it.
54 /// Returns true if MI changed.
55 bool tryCombineCopy(MachineInstr &MI);
Andrew Walbran3d2c1972020-04-07 12:24:26 +010056 bool matchCombineCopy(MachineInstr &MI);
57 void applyCombineCopy(MachineInstr &MI);
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010058
Andrew Scull0372a572018-11-16 15:47:06 +000059 /// If \p MI is extend that consumes the result of a load, try to combine it.
60 /// Returns true if MI changed.
61 bool tryCombineExtendingLoads(MachineInstr &MI);
Andrew Walbran3d2c1972020-04-07 12:24:26 +010062 bool matchCombineExtendingLoads(MachineInstr &MI, PreferredTuple &MatchInfo);
63 void applyCombineExtendingLoads(MachineInstr &MI, PreferredTuple &MatchInfo);
64
65 bool matchCombineBr(MachineInstr &MI);
66 bool tryCombineBr(MachineInstr &MI);
Andrew Scull0372a572018-11-16 15:47:06 +000067
Andrew Scull5e1ddfa2018-08-14 10:06:54 +010068 /// Try to transform \p MI by using all of the above
69 /// combine functions. Returns true if changed.
70 bool tryCombine(MachineInstr &MI);
71};
72} // namespace llvm
73
74#endif