xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/ARM/ARMMacroFusion.cpp (revision 5f757f3ff9144b609b3c433dfd370cc6bdc191ad)
1*0b57cec5SDimitry Andric //===- ARMMacroFusion.cpp - ARM Macro Fusion ----------------------===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric /// \file This file contains the ARM implementation of the DAG scheduling
10*0b57cec5SDimitry Andric ///  mutation to pair instructions back to back.
11*0b57cec5SDimitry Andric //
12*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
13*0b57cec5SDimitry Andric 
14*0b57cec5SDimitry Andric #include "ARMMacroFusion.h"
15*0b57cec5SDimitry Andric #include "ARMSubtarget.h"
16*0b57cec5SDimitry Andric #include "llvm/CodeGen/MacroFusion.h"
17*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h"
18*0b57cec5SDimitry Andric 
19*0b57cec5SDimitry Andric namespace llvm {
20*0b57cec5SDimitry Andric 
21*0b57cec5SDimitry Andric // Fuse AES crypto encoding or decoding.
isAESPair(const MachineInstr * FirstMI,const MachineInstr & SecondMI)22*0b57cec5SDimitry Andric static bool isAESPair(const MachineInstr *FirstMI,
23*0b57cec5SDimitry Andric                       const MachineInstr &SecondMI) {
24*0b57cec5SDimitry Andric   // Assume the 1st instr to be a wildcard if it is unspecified.
25*0b57cec5SDimitry Andric   switch(SecondMI.getOpcode()) {
26*0b57cec5SDimitry Andric   // AES encode.
27*0b57cec5SDimitry Andric   case ARM::AESMC :
28*0b57cec5SDimitry Andric     return FirstMI == nullptr || FirstMI->getOpcode() == ARM::AESE;
29*0b57cec5SDimitry Andric   // AES decode.
30*0b57cec5SDimitry Andric   case ARM::AESIMC:
31*0b57cec5SDimitry Andric     return FirstMI == nullptr || FirstMI->getOpcode() == ARM::AESD;
32*0b57cec5SDimitry Andric   }
33*0b57cec5SDimitry Andric 
34*0b57cec5SDimitry Andric   return false;
35*0b57cec5SDimitry Andric }
36*0b57cec5SDimitry Andric 
37*0b57cec5SDimitry Andric // Fuse literal generation.
isLiteralsPair(const MachineInstr * FirstMI,const MachineInstr & SecondMI)38*0b57cec5SDimitry Andric static bool isLiteralsPair(const MachineInstr *FirstMI,
39*0b57cec5SDimitry Andric                            const MachineInstr &SecondMI) {
40*0b57cec5SDimitry Andric   // Assume the 1st instr to be a wildcard if it is unspecified.
41*0b57cec5SDimitry Andric   if ((FirstMI == nullptr || FirstMI->getOpcode() == ARM::MOVi16) &&
42*0b57cec5SDimitry Andric       SecondMI.getOpcode() == ARM::MOVTi16)
43*0b57cec5SDimitry Andric     return true;
44*0b57cec5SDimitry Andric 
45*0b57cec5SDimitry Andric   return false;
46*0b57cec5SDimitry Andric }
47*0b57cec5SDimitry Andric 
48*0b57cec5SDimitry Andric /// Check if the instr pair, FirstMI and SecondMI, should be fused
49*0b57cec5SDimitry Andric /// together. Given SecondMI, when FirstMI is unspecified, then check if
50*0b57cec5SDimitry Andric /// SecondMI may be part of a fused pair at all.
shouldScheduleAdjacent(const TargetInstrInfo & TII,const TargetSubtargetInfo & TSI,const MachineInstr * FirstMI,const MachineInstr & SecondMI)51*0b57cec5SDimitry Andric static bool shouldScheduleAdjacent(const TargetInstrInfo &TII,
52*0b57cec5SDimitry Andric                                    const TargetSubtargetInfo &TSI,
53*0b57cec5SDimitry Andric                                    const MachineInstr *FirstMI,
54*0b57cec5SDimitry Andric                                    const MachineInstr &SecondMI) {
55*0b57cec5SDimitry Andric   const ARMSubtarget &ST = static_cast<const ARMSubtarget&>(TSI);
56*0b57cec5SDimitry Andric 
57*0b57cec5SDimitry Andric   if (ST.hasFuseAES() && isAESPair(FirstMI, SecondMI))
58*0b57cec5SDimitry Andric     return true;
59*0b57cec5SDimitry Andric   if (ST.hasFuseLiterals() && isLiteralsPair(FirstMI, SecondMI))
60*0b57cec5SDimitry Andric     return true;
61*0b57cec5SDimitry Andric 
62*0b57cec5SDimitry Andric   return false;
63*0b57cec5SDimitry Andric }
64*0b57cec5SDimitry Andric 
createARMMacroFusionDAGMutation()65*0b57cec5SDimitry Andric std::unique_ptr<ScheduleDAGMutation> createARMMacroFusionDAGMutation() {
66*0b57cec5SDimitry Andric   return createMacroFusionDAGMutation(shouldScheduleAdjacent);
67*0b57cec5SDimitry Andric }
68*0b57cec5SDimitry Andric 
69*0b57cec5SDimitry Andric } // end namespace llvm
70