PPCInstrInfo.cpp revision 408396014742a05cad1c91949d2226169e3f9d80
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; 98408396014742a05cad1c91949d2226169e3f9d80Chris Lattner } 99408396014742a05cad1c91949d2226169e3f9d80Chris Lattner 100408396014742a05cad1c91949d2226169e3f9d80Chris Lattner 101043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// commuteInstruction - We can commute rlwimi instructions, but only if the 102043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner// rotate amt is zero. We also have to munge the immediates a bit. 10321e463b2bf864671a87ebe386cb100ef9349a540Nate BegemanMachineInstr *PPCInstrInfo::commuteInstruction(MachineInstr *MI) const { 104043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // Normal instructions can be commuted the obvious way. 105043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner if (MI->getOpcode() != PPC::RLWIMI) 106043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner return TargetInstrInfo::commuteInstruction(MI); 107043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner 108043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // Cannot commute if it has a non-zero rotate count. 109043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner if (MI->getOperand(3).getImmedValue() != 0) 110043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner return 0; 111043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner 112043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // If we have a zero rotate count, we have: 113043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // M = mask(MB,ME) 114043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // Op0 = (Op1 & ~M) | (Op2 & M) 115043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // Change this to: 116043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // M = mask((ME+1)&31, (MB-1)&31) 117043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // Op0 = (Op2 & ~M) | (Op1 & M) 118043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner 119043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // Swap op1/op2 120043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner unsigned Reg1 = MI->getOperand(1).getReg(); 121043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner unsigned Reg2 = MI->getOperand(2).getReg(); 122043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner MI->SetMachineOperandReg(2, Reg1); 123043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner MI->SetMachineOperandReg(1, Reg2); 124043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner 125043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner // Swap the mask around. 126043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner unsigned MB = MI->getOperand(4).getImmedValue(); 127043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner unsigned ME = MI->getOperand(5).getImmedValue(); 128043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner MI->getOperand(4).setImmedValue((ME+1) & 31); 129043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner MI->getOperand(5).setImmedValue((MB-1) & 31); 130043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner return MI; 131043870dd85ea41e8972c304b122070a417c8a4bcChris Lattner} 132