Local.cpp revision 00b16889ab461b7ecef1c91ade101186b7f1fce2
1//===-- Local.cpp - Functions to perform local transformations ------------===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file was developed by the LLVM research group and is distributed under 6// the University of Illinois Open Source License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This family of functions perform various local transformations to the 11// program. 12// 13//===----------------------------------------------------------------------===// 14 15#include "llvm/Support/MathExtras.h" 16#include "llvm/Transforms/Utils/Local.h" 17#include "llvm/Constants.h" 18#include "llvm/Instructions.h" 19#include "llvm/Intrinsics.h" 20#include <cerrno> 21#include <cmath> 22using namespace llvm; 23 24//===----------------------------------------------------------------------===// 25// Local constant propagation... 26// 27 28/// doConstantPropagation - If an instruction references constants, try to fold 29/// them together... 30/// 31bool llvm::doConstantPropagation(BasicBlock::iterator &II) { 32 if (Constant *C = ConstantFoldInstruction(II)) { 33 // Replaces all of the uses of a variable with uses of the constant. 34 II->replaceAllUsesWith(C); 35 36 // Remove the instruction from the basic block... 37 II = II->getParent()->getInstList().erase(II); 38 return true; 39 } 40 41 return false; 42} 43 44/// ConstantFoldInstruction - Attempt to constant fold the specified 45/// instruction. If successful, the constant result is returned, if not, null 46/// is returned. Note that this function can only fail when attempting to fold 47/// instructions like loads and stores, which have no constant expression form. 48/// 49Constant *llvm::ConstantFoldInstruction(Instruction *I) { 50 if (PHINode *PN = dyn_cast<PHINode>(I)) { 51 if (PN->getNumIncomingValues() == 0) 52 return Constant::getNullValue(PN->getType()); 53 54 Constant *Result = dyn_cast<Constant>(PN->getIncomingValue(0)); 55 if (Result == 0) return 0; 56 57 // Handle PHI nodes specially here... 58 for (unsigned i = 1, e = PN->getNumIncomingValues(); i != e; ++i) 59 if (PN->getIncomingValue(i) != Result && PN->getIncomingValue(i) != PN) 60 return 0; // Not all the same incoming constants... 61 62 // If we reach here, all incoming values are the same constant. 63 return Result; 64 } else if (CallInst *CI = dyn_cast<CallInst>(I)) { 65 if (Function *F = CI->getCalledFunction()) 66 if (canConstantFoldCallTo(F)) { 67 std::vector<Constant*> Args; 68 for (unsigned i = 1, e = CI->getNumOperands(); i != e; ++i) 69 if (Constant *Op = dyn_cast<Constant>(CI->getOperand(i))) 70 Args.push_back(Op); 71 else 72 return 0; 73 return ConstantFoldCall(F, Args); 74 } 75 return 0; 76 } 77 78 Constant *Op0 = 0, *Op1 = 0; 79 switch (I->getNumOperands()) { 80 default: 81 case 2: 82 Op1 = dyn_cast<Constant>(I->getOperand(1)); 83 if (Op1 == 0) return 0; // Not a constant?, can't fold 84 case 1: 85 Op0 = dyn_cast<Constant>(I->getOperand(0)); 86 if (Op0 == 0) return 0; // Not a constant?, can't fold 87 break; 88 case 0: return 0; 89 } 90 91 if (isa<BinaryOperator>(I) || isa<ShiftInst>(I)) 92 return ConstantExpr::get(I->getOpcode(), Op0, Op1); 93 94 switch (I->getOpcode()) { 95 default: return 0; 96 case Instruction::Cast: 97 return ConstantExpr::getCast(Op0, I->getType()); 98 case Instruction::Select: 99 if (Constant *Op2 = dyn_cast<Constant>(I->getOperand(2))) 100 return ConstantExpr::getSelect(Op0, Op1, Op2); 101 return 0; 102 case Instruction::GetElementPtr: 103 std::vector<Constant*> IdxList; 104 IdxList.reserve(I->getNumOperands()-1); 105 if (Op1) IdxList.push_back(Op1); 106 for (unsigned i = 2, e = I->getNumOperands(); i != e; ++i) 107 if (Constant *C = dyn_cast<Constant>(I->getOperand(i))) 108 IdxList.push_back(C); 109 else 110 return 0; // Non-constant operand 111 return ConstantExpr::getGetElementPtr(Op0, IdxList); 112 } 113} 114 115// ConstantFoldTerminator - If a terminator instruction is predicated on a 116// constant value, convert it into an unconditional branch to the constant 117// destination. 118// 119bool llvm::ConstantFoldTerminator(BasicBlock *BB) { 120 TerminatorInst *T = BB->getTerminator(); 121 122 // Branch - See if we are conditional jumping on constant 123 if (BranchInst *BI = dyn_cast<BranchInst>(T)) { 124 if (BI->isUnconditional()) return false; // Can't optimize uncond branch 125 BasicBlock *Dest1 = cast<BasicBlock>(BI->getOperand(0)); 126 BasicBlock *Dest2 = cast<BasicBlock>(BI->getOperand(1)); 127 128 if (ConstantBool *Cond = dyn_cast<ConstantBool>(BI->getCondition())) { 129 // Are we branching on constant? 130 // YES. Change to unconditional branch... 131 BasicBlock *Destination = Cond->getValue() ? Dest1 : Dest2; 132 BasicBlock *OldDest = Cond->getValue() ? Dest2 : Dest1; 133 134 //cerr << "Function: " << T->getParent()->getParent() 135 // << "\nRemoving branch from " << T->getParent() 136 // << "\n\nTo: " << OldDest << endl; 137 138 // Let the basic block know that we are letting go of it. Based on this, 139 // it will adjust it's PHI nodes. 140 assert(BI->getParent() && "Terminator not inserted in block!"); 141 OldDest->removePredecessor(BI->getParent()); 142 143 // Set the unconditional destination, and change the insn to be an 144 // unconditional branch. 145 BI->setUnconditionalDest(Destination); 146 return true; 147 } else if (Dest2 == Dest1) { // Conditional branch to same location? 148 // This branch matches something like this: 149 // br bool %cond, label %Dest, label %Dest 150 // and changes it into: br label %Dest 151 152 // Let the basic block know that we are letting go of one copy of it. 153 assert(BI->getParent() && "Terminator not inserted in block!"); 154 Dest1->removePredecessor(BI->getParent()); 155 156 // Change a conditional branch to unconditional. 157 BI->setUnconditionalDest(Dest1); 158 return true; 159 } 160 } else if (SwitchInst *SI = dyn_cast<SwitchInst>(T)) { 161 // If we are switching on a constant, we can convert the switch into a 162 // single branch instruction! 163 ConstantInt *CI = dyn_cast<ConstantInt>(SI->getCondition()); 164 BasicBlock *TheOnlyDest = SI->getSuccessor(0); // The default dest 165 BasicBlock *DefaultDest = TheOnlyDest; 166 assert(TheOnlyDest == SI->getDefaultDest() && 167 "Default destination is not successor #0?"); 168 169 // Figure out which case it goes to... 170 for (unsigned i = 1, e = SI->getNumSuccessors(); i != e; ++i) { 171 // Found case matching a constant operand? 172 if (SI->getSuccessorValue(i) == CI) { 173 TheOnlyDest = SI->getSuccessor(i); 174 break; 175 } 176 177 // Check to see if this branch is going to the same place as the default 178 // dest. If so, eliminate it as an explicit compare. 179 if (SI->getSuccessor(i) == DefaultDest) { 180 // Remove this entry... 181 DefaultDest->removePredecessor(SI->getParent()); 182 SI->removeCase(i); 183 --i; --e; // Don't skip an entry... 184 continue; 185 } 186 187 // Otherwise, check to see if the switch only branches to one destination. 188 // We do this by reseting "TheOnlyDest" to null when we find two non-equal 189 // destinations. 190 if (SI->getSuccessor(i) != TheOnlyDest) TheOnlyDest = 0; 191 } 192 193 if (CI && !TheOnlyDest) { 194 // Branching on a constant, but not any of the cases, go to the default 195 // successor. 196 TheOnlyDest = SI->getDefaultDest(); 197 } 198 199 // If we found a single destination that we can fold the switch into, do so 200 // now. 201 if (TheOnlyDest) { 202 // Insert the new branch.. 203 new BranchInst(TheOnlyDest, SI); 204 BasicBlock *BB = SI->getParent(); 205 206 // Remove entries from PHI nodes which we no longer branch to... 207 for (unsigned i = 0, e = SI->getNumSuccessors(); i != e; ++i) { 208 // Found case matching a constant operand? 209 BasicBlock *Succ = SI->getSuccessor(i); 210 if (Succ == TheOnlyDest) 211 TheOnlyDest = 0; // Don't modify the first branch to TheOnlyDest 212 else 213 Succ->removePredecessor(BB); 214 } 215 216 // Delete the old switch... 217 BB->getInstList().erase(SI); 218 return true; 219 } else if (SI->getNumSuccessors() == 2) { 220 // Otherwise, we can fold this switch into a conditional branch 221 // instruction if it has only one non-default destination. 222 Value *Cond = new SetCondInst(Instruction::SetEQ, SI->getCondition(), 223 SI->getSuccessorValue(1), "cond", SI); 224 // Insert the new branch... 225 new BranchInst(SI->getSuccessor(1), SI->getSuccessor(0), Cond, SI); 226 227 // Delete the old switch... 228 SI->getParent()->getInstList().erase(SI); 229 return true; 230 } 231 } 232 return false; 233} 234 235/// canConstantFoldCallTo - Return true if its even possible to fold a call to 236/// the specified function. 237bool llvm::canConstantFoldCallTo(Function *F) { 238 const std::string &Name = F->getName(); 239 240 switch (F->getIntrinsicID()) { 241 case Intrinsic::isunordered: return true; 242 default: break; 243 } 244 245 switch (Name[0]) 246 { 247 case 'a': 248 return Name == "acos" || Name == "asin" || Name == "atan" || 249 Name == "atan2"; 250 case 'c': 251 return Name == "ceil" || Name == "cos" || Name == "cosf" || 252 Name == "cosh"; 253 case 'e': 254 return Name == "exp"; 255 case 'f': 256 return Name == "fabs" || Name == "fmod" || Name == "floor"; 257 case 'l': 258 return Name == "log" || Name == "log10"; 259 case 'p': 260 return Name == "pow"; 261 case 's': 262 return Name == "sin" || Name == "sinh" || Name == "sqrt"; 263 case 't': 264 return Name == "tan" || Name == "tanh"; 265 default: 266 return false; 267 } 268} 269 270static Constant *ConstantFoldFP(double (*NativeFP)(double), double V, 271 const Type *Ty) { 272 errno = 0; 273 V = NativeFP(V); 274 if (errno == 0) 275 return ConstantFP::get(Ty, V); 276 return 0; 277} 278 279/// ConstantFoldCall - Attempt to constant fold a call to the specified function 280/// with the specified arguments, returning null if unsuccessful. 281Constant *llvm::ConstantFoldCall(Function *F, 282 const std::vector<Constant*> &Operands) { 283 const std::string &Name = F->getName(); 284 const Type *Ty = F->getReturnType(); 285 286 if (Operands.size() == 1) { 287 if (ConstantFP *Op = dyn_cast<ConstantFP>(Operands[0])) { 288 double V = Op->getValue(); 289 switch (Name[0]) 290 { 291 case 'a': 292 if (Name == "acos") 293 return ConstantFoldFP(acos, V, Ty); 294 else if (Name == "asin") 295 return ConstantFoldFP(asin, V, Ty); 296 else if (Name == "atan") 297 return ConstantFP::get(Ty, atan(V)); 298 break; 299 case 'c': 300 if (Name == "ceil") 301 return ConstantFoldFP(ceil, V, Ty); 302 else if (Name == "cos") 303 return ConstantFP::get(Ty, cos(V)); 304 else if (Name == "cosh") 305 return ConstantFP::get(Ty, cosh(V)); 306 break; 307 case 'e': 308 if (Name == "exp") 309 return ConstantFP::get(Ty, exp(V)); 310 break; 311 case 'f': 312 if (Name == "fabs") 313 return ConstantFP::get(Ty, fabs(V)); 314 else if (Name == "floor") 315 return ConstantFoldFP(floor, V, Ty); 316 break; 317 case 'l': 318 if (Name == "log" && V > 0) 319 return ConstantFP::get(Ty, log(V)); 320 else if (Name == "log10" && V > 0) 321 return ConstantFoldFP(log10, V, Ty); 322 break; 323 case 's': 324 if (Name == "sin") 325 return ConstantFP::get(Ty, sin(V)); 326 else if (Name == "sinh") 327 return ConstantFP::get(Ty, sinh(V)); 328 else if (Name == "sqrt" && V >= 0) 329 return ConstantFP::get(Ty, sqrt(V)); 330 break; 331 case 't': 332 if (Name == "tan") 333 return ConstantFP::get(Ty, tan(V)); 334 else if (Name == "tanh") 335 return ConstantFP::get(Ty, tanh(V)); 336 break; 337 default: 338 break; 339 } 340 } 341 } else if (Operands.size() == 2) { 342 if (ConstantFP *Op1 = dyn_cast<ConstantFP>(Operands[0])) { 343 double Op1V = Op1->getValue(); 344 if (ConstantFP *Op2 = dyn_cast<ConstantFP>(Operands[1])) { 345 double Op2V = Op2->getValue(); 346 347 if (Name == "llvm.isunordered") 348 return ConstantBool::get(IsNAN(Op1V) || IsNAN(Op2V)); 349 else 350 if (Name == "pow") { 351 errno = 0; 352 double V = pow(Op1V, Op2V); 353 if (errno == 0) 354 return ConstantFP::get(Ty, V); 355 } else if (Name == "fmod") { 356 errno = 0; 357 double V = fmod(Op1V, Op2V); 358 if (errno == 0) 359 return ConstantFP::get(Ty, V); 360 } else if (Name == "atan2") 361 return ConstantFP::get(Ty, atan2(Op1V,Op2V)); 362 } 363 } 364 } 365 return 0; 366} 367 368 369 370 371//===----------------------------------------------------------------------===// 372// Local dead code elimination... 373// 374 375bool llvm::isInstructionTriviallyDead(Instruction *I) { 376 if (!I->use_empty() || isa<TerminatorInst>(I)) return false; 377 378 if (!I->mayWriteToMemory()) return true; 379 380 if (CallInst *CI = dyn_cast<CallInst>(I)) 381 if (Function *F = CI->getCalledFunction()) 382 switch (F->getIntrinsicID()) { 383 default: break; 384 case Intrinsic::returnaddress: 385 case Intrinsic::frameaddress: 386 case Intrinsic::isunordered: 387 case Intrinsic::ctpop: 388 case Intrinsic::ctlz: 389 case Intrinsic::cttz: 390 case Intrinsic::sqrt: 391 return true; // These intrinsics have no side effects. 392 } 393 return false; 394} 395 396// dceInstruction - Inspect the instruction at *BBI and figure out if it's 397// [trivially] dead. If so, remove the instruction and update the iterator 398// to point to the instruction that immediately succeeded the original 399// instruction. 400// 401bool llvm::dceInstruction(BasicBlock::iterator &BBI) { 402 // Look for un"used" definitions... 403 if (isInstructionTriviallyDead(BBI)) { 404 BBI = BBI->getParent()->getInstList().erase(BBI); // Bye bye 405 return true; 406 } 407 return false; 408} 409 410//===----------------------------------------------------------------------===// 411// PHI Instruction Simplification 412// 413 414/// hasConstantValue - If the specified PHI node always merges together the same 415/// value, return the value, otherwise return null. 416/// 417Value *llvm::hasConstantValue(PHINode *PN) { 418 // If the PHI node only has one incoming value, eliminate the PHI node... 419 if (PN->getNumIncomingValues() == 1) 420 return PN->getIncomingValue(0); 421 422 // Otherwise if all of the incoming values are the same for the PHI, replace 423 // the PHI node with the incoming value. 424 // 425 Value *InVal = 0; 426 for (unsigned i = 0, e = PN->getNumIncomingValues(); i != e; ++i) 427 if (PN->getIncomingValue(i) != PN && // Not the PHI node itself... 428 !isa<UndefValue>(PN->getIncomingValue(i))) 429 if (InVal && PN->getIncomingValue(i) != InVal) 430 return 0; // Not the same, bail out. 431 else 432 InVal = PN->getIncomingValue(i); 433 434 // The only case that could cause InVal to be null is if we have a PHI node 435 // that only has entries for itself. In this case, there is no entry into the 436 // loop, so kill the PHI. 437 // 438 if (InVal == 0) InVal = UndefValue::get(PN->getType()); 439 440 // All of the incoming values are the same, return the value now. 441 return InVal; 442} 443