PPCInstrInfo.cpp revision bbf1c72d51a77bf54c9c684b90a78e59f0b70b2f
121e463b2bf864671a87ebe386cb100ef9349a540Nate Begeman//===- PPCInstrInfo.cpp - PowerPC32 Instruction Information -----*- C++ -*-===//
2b5f662fa0314f7e7e690aae8ebff7136cc3a5ab0Misha Brukman//
3f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//                     The LLVM Compiler Infrastructure
4f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//
5f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman// This file was developed by the LLVM research group and is distributed under
6f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman// the University of Illinois Open Source License. See LICENSE.TXT for details.
7b5f662fa0314f7e7e690aae8ebff7136cc3a5ab0Misha Brukman//
8f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//===----------------------------------------------------------------------===//
9f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//
10f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman// This file contains the PowerPC implementation of the TargetInstrInfo class.
11f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//
12f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman//===----------------------------------------------------------------------===//
13f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman
1416e71f2f70811c69c56052dd146324fe20e31db5Chris Lattner#include "PPCInstrInfo.h"
154c7b43b43fdf943c7298718e15ab5d6dfe345be7Chris Lattner#include "PPCGenInstrInfo.inc"
162668959b8879097db368aec7d76c455260abc75bChris Lattner#include "PPC.h"
17f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman#include "llvm/CodeGen/MachineInstrBuilder.h"
18f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman#include <iostream>
19f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukmanusing namespace llvm;
20f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman
2121e463b2bf864671a87ebe386cb100ef9349a540Nate BegemanPPCInstrInfo::PPCInstrInfo()
224c7b43b43fdf943c7298718e15ab5d6dfe345be7Chris Lattner  : TargetInstrInfo(PPCInsts, sizeof(PPCInsts)/sizeof(PPCInsts[0])) {}
23f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman
2421e463b2bf864671a87ebe386cb100ef9349a540Nate Begemanbool PPCInstrInfo::isMoveInstr(const MachineInstr& MI,
2521e463b2bf864671a87ebe386cb100ef9349a540Nate Begeman                               unsigned& sourceReg,
2621e463b2bf864671a87ebe386cb100ef9349a540Nate Begeman                               unsigned& destReg) const {
27f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  MachineOpCode oc = MI.getOpcode();
2814c09b81ead8fe8b754fca2d0a8237cb810b37d6Chris Lattner  if (oc == PPC::OR4 || oc == PPC::OR8 ||
2914c09b81ead8fe8b754fca2d0a8237cb810b37d6Chris Lattner      oc == PPC::OR4To8 || oc == PPC::OR8To4) {                // or r1, r2, r2
30f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    assert(MI.getNumOperands() == 3 &&
31f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(0).isRegister() &&
32f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(1).isRegister() &&
33f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(2).isRegister() &&
34f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           "invalid PPC OR instruction!");
35f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    if (MI.getOperand(1).getReg() == MI.getOperand(2).getReg()) {
36f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      sourceReg = MI.getOperand(1).getReg();
37f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      destReg = MI.getOperand(0).getReg();
38f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      return true;
39f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    }
40f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  } else if (oc == PPC::ADDI) {             // addi r1, r2, 0
41f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    assert(MI.getNumOperands() == 3 &&
42f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(0).isRegister() &&
43f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(2).isImmediate() &&
44f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           "invalid PPC ADDI instruction!");
45f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    if (MI.getOperand(1).isRegister() && MI.getOperand(2).getImmedValue()==0) {
46f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      sourceReg = MI.getOperand(1).getReg();
47f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      destReg = MI.getOperand(0).getReg();
48f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman      return true;
49f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    }
50cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman  } else if (oc == PPC::ORI) {             // ori r1, r2, 0
51cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman    assert(MI.getNumOperands() == 3 &&
52cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           MI.getOperand(0).isRegister() &&
53cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           MI.getOperand(1).isRegister() &&
54cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           MI.getOperand(2).isImmediate() &&
55cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman           "invalid PPC ORI instruction!");
56cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman    if (MI.getOperand(2).getImmedValue()==0) {
57cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman      sourceReg = MI.getOperand(1).getReg();
58cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman      destReg = MI.getOperand(0).getReg();
59cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman      return true;
60cb90de37a720b0b00d6303b49b8df6d5ac5f34f9Nate Begeman    }
61eb5d47d99db0d9e4fc11f136fbacbd507c71a4c2Chris Lattner  } else if (oc == PPC::FMRS || oc == PPC::FMRD ||
62eb5d47d99db0d9e4fc11f136fbacbd507c71a4c2Chris Lattner             oc == PPC::FMRSD) {      // fmr r1, r2
63f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    assert(MI.getNumOperands() == 2 &&
64f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(0).isRegister() &&
65f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           MI.getOperand(1).isRegister() &&
66f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman           "invalid PPC FMR instruction");
67f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    sourceReg = MI.getOperand(1).getReg();
68f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    destReg = MI.getOperand(0).getReg();
69f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman    return true;
707af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman  } else if (oc == PPC::MCRF) {             // mcrf cr1, cr2
717af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman    assert(MI.getNumOperands() == 2 &&
727af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman           MI.getOperand(0).isRegister() &&
737af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman           MI.getOperand(1).isRegister() &&
747af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman           "invalid PPC MCRF instruction");
757af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman    sourceReg = MI.getOperand(1).getReg();
767af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman    destReg = MI.getOperand(0).getReg();
777af0248af47fbd86ec65d308adda22ec367accc4Nate Begeman    return true;
78f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  }
79f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman  return false;
80f2ccb77ee9d8ab35866dae111fa36929689c7511Misha Brukman}
81043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
82408396014742a05cad1c91949d2226169e3f9d80Chris Lattnerunsigned PPCInstrInfo::isLoadFromStackSlot(MachineInstr *MI,
83408396014742a05cad1c91949d2226169e3f9d80Chris Lattner                                              int &FrameIndex) const {
84408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  switch (MI->getOpcode()) {
85408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  default: break;
86408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LD:
87408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LWZ:
88408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LFS:
89408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  case PPC::LFD:
90408396014742a05cad1c91949d2226169e3f9d80Chris Lattner    if (MI->getOperand(1).isImmediate() && !MI->getOperand(1).getImmedValue() &&
91408396014742a05cad1c91949d2226169e3f9d80Chris Lattner        MI->getOperand(2).isFrameIndex()) {
92408396014742a05cad1c91949d2226169e3f9d80Chris Lattner      FrameIndex = MI->getOperand(2).getFrameIndex();
93408396014742a05cad1c91949d2226169e3f9d80Chris Lattner      return MI->getOperand(0).getReg();
94408396014742a05cad1c91949d2226169e3f9d80Chris Lattner    }
95408396014742a05cad1c91949d2226169e3f9d80Chris Lattner    break;
96408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  }
97408396014742a05cad1c91949d2226169e3f9d80Chris Lattner  return 0;
986524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner}
99408396014742a05cad1c91949d2226169e3f9d80Chris Lattner
1006524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattnerunsigned PPCInstrInfo::isStoreToStackSlot(MachineInstr *MI,
1016524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner                                          int &FrameIndex) const {
1026524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  switch (MI->getOpcode()) {
1036524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  default: break;
1043b478b31e297208ef2c9f74750a8a603eb3726fbNate Begeman  case PPC::STD:
1056524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STW:
1066524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STFS:
1076524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  case PPC::STFD:
1086524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner    if (MI->getOperand(1).isImmediate() && !MI->getOperand(1).getImmedValue() &&
1096524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner        MI->getOperand(2).isFrameIndex()) {
1106524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner      FrameIndex = MI->getOperand(2).getFrameIndex();
1116524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner      return MI->getOperand(0).getReg();
1126524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner    }
1136524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner    break;
1146524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  }
1156524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner  return 0;
1166524287c53cf727a8ef33517403fcb1bbd7adff9Chris Lattner}
117408396014742a05cad1c91949d2226169e3f9d80Chris Lattner
118043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// commuteInstruction - We can commute rlwimi instructions, but only if the
119043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// rotate amt is zero.  We also have to munge the immediates a bit.
12021e463b2bf864671a87ebe386cb100ef9349a540Nate BegemanMachineInstr *PPCInstrInfo::commuteInstruction(MachineInstr *MI) const {
121043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Normal instructions can be commuted the obvious way.
122043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  if (MI->getOpcode() != PPC::RLWIMI)
123043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner    return TargetInstrInfo::commuteInstruction(MI);
124043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
125043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Cannot commute if it has a non-zero rotate count.
126043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  if (MI->getOperand(3).getImmedValue() != 0)
127043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner    return 0;
128043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
129043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // If we have a zero rotate count, we have:
130043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   M = mask(MB,ME)
131043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   Op0 = (Op1 & ~M) | (Op2 & M)
132043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Change this to:
133043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   M = mask((ME+1)&31, (MB-1)&31)
134043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  //   Op0 = (Op2 & ~M) | (Op1 & M)
135043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
136043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Swap op1/op2
137043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned Reg1 = MI->getOperand(1).getReg();
138043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned Reg2 = MI->getOperand(2).getReg();
139043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  MI->SetMachineOperandReg(2, Reg1);
140043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  MI->SetMachineOperandReg(1, Reg2);
141043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner
142043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  // Swap the mask around.
143043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned MB = MI->getOperand(4).getImmedValue();
144043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  unsigned ME = MI->getOperand(5).getImmedValue();
145043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  MI->getOperand(4).setImmedValue((ME+1) & 31);
146043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  MI->getOperand(5).setImmedValue((MB-1) & 31);
147043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner  return MI;
148043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner}
149bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner
150bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattnervoid PPCInstrInfo::insertNoop(MachineBasicBlock &MBB,
151bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner                              MachineBasicBlock::iterator MI) const {
152bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner  BuildMI(MBB, MI, PPC::NOP, 0);
153bbf1c72d51a77bf54c9c684b90a78e59f0b70b2fChris Lattner}
154