Members/tobaru/cbc/CbC_llvm: lib/Target/PowerPC/PPCBoolRetToInt.cpp annotate

annotate lib/Target/PowerPC/PPCBoolRetToInt.cpp @ 124:4fa72497ed5d

fix

author	mir3636
date	Thu, 30 Nov 2017 20:04:56 +0900
parents	803732b1fca8
children

rev	line source
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	1 //===- PPCBoolRetToInt.cpp ------------------------------------------------===//
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	2 //
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	3 // The LLVM Compiler Infrastructure
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	4 //
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	5 // This file is distributed under the University of Illinois Open Source
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	6 // License. See LICENSE.TXT for details.
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	7 //
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	8 //===----------------------------------------------------------------------===//
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	9 //
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	10 // This file implements converting i1 values to i32/i64 if they could be more
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	11 // profitably allocated as GPRs rather than CRs. This pass will become totally
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	12 // unnecessary if Register Bank Allocation and Global Instruction Selection ever
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	13 // go upstream.
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	14 //
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	15 // Presently, the pass converts i1 Constants, and Arguments to i32/i64 if the
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	16 // transitive closure of their uses includes only PHINodes, CallInsts, and
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	17 // ReturnInsts. The rational is that arguments are generally passed and returned
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	18 // in GPRs rather than CRs, so casting them to i32/i64 at the LLVM IR level will
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	19 // actually save casts at the Machine Instruction level.
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	20 //
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	21 // It might be useful to expand this pass to add bit-wise operations to the list
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	22 // of safe transitive closure types. Also, we miss some opportunities when LLVM
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	23 // represents logical AND and OR operations with control flow rather than data
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	24 // flow. For example by lowering the expression: return (A && B && C)
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	25 //
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	26 // as: return A ? true : B && C.
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	27 //
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	28 // There's code in SimplifyCFG that code be used to turn control flow in data
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	29 // flow using SelectInsts. Selects are slow on some architectures (P7/P8), so
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	30 // this probably isn't good in general, but for the special case of i1, the
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	31 // Selects could be further lowered to bit operations that are fast everywhere.
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	32 //
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	33 //===----------------------------------------------------------------------===//
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	34
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	35 #include "PPC.h"
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	36 #include "PPCTargetMachine.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	37 #include "llvm/ADT/DenseMap.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	38 #include "llvm/ADT/STLExtras.h"
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	39 #include "llvm/ADT/SmallPtrSet.h"
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	40 #include "llvm/ADT/SmallVector.h"
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	41 #include "llvm/ADT/Statistic.h"
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	42 #include "llvm/IR/Argument.h"
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	43 #include "llvm/IR/Constants.h"
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	44 #include "llvm/IR/Dominators.h"
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	45 #include "llvm/IR/Function.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	46 #include "llvm/IR/Instruction.h"
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	47 #include "llvm/IR/Instructions.h"
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	48 #include "llvm/IR/IntrinsicInst.h"
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	49 #include "llvm/IR/OperandTraits.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	50 #include "llvm/IR/Type.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	51 #include "llvm/IR/Use.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	52 #include "llvm/IR/User.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	53 #include "llvm/IR/Value.h"
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	54 #include "llvm/Pass.h"
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	55 #include "llvm/CodeGen/TargetPassConfig.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	56 #include "llvm/Support/Casting.h"
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	57 #include <cassert>
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	58
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	59 using namespace llvm;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	60
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	61 namespace {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	62
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	63 #define DEBUG_TYPE "bool-ret-to-int"
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	64
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	65 STATISTIC(NumBoolRetPromotion,
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	66 "Number of times a bool feeding a RetInst was promoted to an int");
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	67 STATISTIC(NumBoolCallPromotion,
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	68 "Number of times a bool feeding a CallInst was promoted to an int");
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	69 STATISTIC(NumBoolToIntPromotion,
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	70 "Total number of times a bool was promoted to an int");
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	71
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	72 class PPCBoolRetToInt : public FunctionPass {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	73 static SmallPtrSet<Value , 8> findAllDefs(Value V) {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	74 SmallPtrSet<Value *, 8> Defs;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	75 SmallVector<Value *, 8> WorkList;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	76 WorkList.push_back(V);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	77 Defs.insert(V);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	78 while (!WorkList.empty()) {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	79 Value *Curr = WorkList.back();
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	80 WorkList.pop_back();
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	81 auto *CurrUser = dyn_cast<User>(Curr);
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	82 // Operands of CallInst are skipped because they may not be Bool type,
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	83 // and their positions are defined by ABI.
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	84 if (CurrUser && !isa<CallInst>(Curr))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	85 for (auto &Op : CurrUser->operands())
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	86 if (Defs.insert(Op).second)
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	87 WorkList.push_back(Op);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	88 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	89 return Defs;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	90 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	91
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	92 // Translate a i1 value to an equivalent i32/i64 value:
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	93 Value translate(Value V) {
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	94 Type *IntTy = ST->isPPC64() ? Type::getInt64Ty(V->getContext())
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	95 : Type::getInt32Ty(V->getContext());
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	96
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	97 if (auto *C = dyn_cast<Constant>(V))
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	98 return ConstantExpr::getZExt(C, IntTy);
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	99 if (auto *P = dyn_cast<PHINode>(V)) {
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	100 // Temporarily set the operands to 0. We'll fix this later in
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	101 // runOnUse.
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	102 Value *Zero = Constant::getNullValue(IntTy);
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	103 PHINode *Q =
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	104 PHINode::Create(IntTy, P->getNumIncomingValues(), P->getName(), P);
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	105 for (unsigned i = 0; i < P->getNumOperands(); ++i)
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	106 Q->addIncoming(Zero, P->getIncomingBlock(i));
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	107 return Q;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	108 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	109
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	110 auto *A = dyn_cast<Argument>(V);
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	111 auto *I = dyn_cast<Instruction>(V);
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	112 assert((A \|\| I) && "Unknown value type");
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	113
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	114 auto InstPt =
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	115 A ? &*A->getParent()->getEntryBlock().begin() : I->getNextNode();
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	116 return new ZExtInst(V, IntTy, "", InstPt);
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	117 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	118
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	119 typedef SmallPtrSet<const PHINode *, 8> PHINodeSet;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	120
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	121 // A PHINode is Promotable if:
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	122 // 1. Its type is i1 AND
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	123 // 2. All of its uses are ReturnInt, CallInst, PHINode, or DbgInfoIntrinsic
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	124 // AND
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	125 // 3. All of its operands are Constant or Argument or
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	126 // CallInst or PHINode AND
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	127 // 4. All of its PHINode uses are Promotable AND
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	128 // 5. All of its PHINode operands are Promotable
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	129 static PHINodeSet getPromotablePHINodes(const Function &F) {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	130 PHINodeSet Promotable;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	131 // Condition 1
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	132 for (auto &BB : F)
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	133 for (auto &I : BB)
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	134 if (const auto *P = dyn_cast<PHINode>(&I))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	135 if (P->getType()->isIntegerTy(1))
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	136 Promotable.insert(P);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	137
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	138 SmallVector<const PHINode *, 8> ToRemove;
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	139 for (const PHINode *P : Promotable) {
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	140 // Condition 2 and 3
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	141 auto IsValidUser = [] (const Value *V) -> bool {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	142 return isa<ReturnInst>(V) \|\| isa<CallInst>(V) \|\| isa<PHINode>(V) \|\|
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	143 isa<DbgInfoIntrinsic>(V);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	144 };
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	145 auto IsValidOperand = [] (const Value *V) -> bool {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	146 return isa<Constant>(V) \|\| isa<Argument>(V) \|\| isa<CallInst>(V) \|\|
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	147 isa<PHINode>(V);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	148 };
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	149 const auto &Users = P->users();
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	150 const auto &Operands = P->operands();
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	151 if (!llvm::all_of(Users, IsValidUser) \|\|
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	152 !llvm::all_of(Operands, IsValidOperand))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	153 ToRemove.push_back(P);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	154 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	155
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	156 // Iterate to convergence
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	157 auto IsPromotable = [&Promotable] (const Value *V) -> bool {
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	158 const auto *Phi = dyn_cast<PHINode>(V);
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	159 return !Phi \|\| Promotable.count(Phi);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	160 };
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	161 while (!ToRemove.empty()) {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	162 for (auto &User : ToRemove)
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	163 Promotable.erase(User);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	164 ToRemove.clear();
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	165
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	166 for (const PHINode *P : Promotable) {
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	167 // Condition 4 and 5
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	168 const auto &Users = P->users();
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	169 const auto &Operands = P->operands();
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	170 if (!llvm::all_of(Users, IsPromotable) \|\|
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	171 !llvm::all_of(Operands, IsPromotable))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	172 ToRemove.push_back(P);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	173 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	174 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	175
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	176 return Promotable;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	177 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	178
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	179 typedef DenseMap<Value , Value > B2IMap;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	180
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	181 public:
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	182 static char ID;
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	183
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	184 PPCBoolRetToInt() : FunctionPass(ID) {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	185 initializePPCBoolRetToIntPass(*PassRegistry::getPassRegistry());
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	186 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	187
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	188 bool runOnFunction(Function &F) override {
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	189 if (skipFunction(F))
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	190 return false;
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	191
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	192 auto *TPC = getAnalysisIfAvailable<TargetPassConfig>();
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	193 if (!TPC)
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	194 return false;
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	195
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	196 auto &TM = TPC->getTM<PPCTargetMachine>();
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	197 ST = TM.getSubtargetImpl(F);
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	198
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	199 PHINodeSet PromotablePHINodes = getPromotablePHINodes(F);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	200 B2IMap Bool2IntMap;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	201 bool Changed = false;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	202 for (auto &BB : F) {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	203 for (auto &I : BB) {
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	204 if (auto *R = dyn_cast<ReturnInst>(&I))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	205 if (F.getReturnType()->isIntegerTy(1))
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	206 Changed \|=
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	207 runOnUse(R->getOperandUse(0), PromotablePHINodes, Bool2IntMap);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	208
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	209 if (auto *CI = dyn_cast<CallInst>(&I))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	210 for (auto &U : CI->operands())
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	211 if (U->getType()->isIntegerTy(1))
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	212 Changed \|= runOnUse(U, PromotablePHINodes, Bool2IntMap);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	213 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	214 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	215
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	216 return Changed;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	217 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	218
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	219 bool runOnUse(Use &U, const PHINodeSet &PromotablePHINodes,
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	220 B2IMap &BoolToIntMap) {
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	221 auto Defs = findAllDefs(U);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	222
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	223 // If the values are all Constants or Arguments, don't bother
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	224 if (llvm::none_of(Defs, isa<Instruction, Value *>))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	225 return false;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	226
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	227 // Presently, we only know how to handle PHINode, Constant, Arguments and
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	228 // CallInst. Potentially, bitwise operations (AND, OR, XOR, NOT) and sign
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	229 // extension could also be handled in the future.
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	230 for (Value *V : Defs)
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	231 if (!isa<PHINode>(V) && !isa<Constant>(V) &&
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	232 !isa<Argument>(V) && !isa<CallInst>(V))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	233 return false;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	234
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	235 for (Value *V : Defs)
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	236 if (const auto *P = dyn_cast<PHINode>(V))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	237 if (!PromotablePHINodes.count(P))
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	238 return false;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	239
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	240 if (isa<ReturnInst>(U.getUser()))
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	241 ++NumBoolRetPromotion;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	242 if (isa<CallInst>(U.getUser()))
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	243 ++NumBoolCallPromotion;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	244 ++NumBoolToIntPromotion;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	245
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	246 for (Value *V : Defs)
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	247 if (!BoolToIntMap.count(V))
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	248 BoolToIntMap[V] = translate(V);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	249
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	250 // Replace the operands of the translated instructions. They were set to
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	251 // zero in the translate function.
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	252 for (auto &Pair : BoolToIntMap) {
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	253 auto *First = dyn_cast<User>(Pair.first);
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	254 auto *Second = dyn_cast<User>(Pair.second);
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	255 assert((!First \|\| Second) && "translated from user to non-user!?");
120 1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	256 // Operands of CallInst are skipped because they may not be Bool type,
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	257 // and their positions are defined by ABI.
1172e4bd9c6f update 4.0.0 mir3636 parents: 100 diff changeset	258 if (First && !isa<CallInst>(First))
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	259 for (unsigned i = 0; i < First->getNumOperands(); ++i)
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	260 Second->setOperand(i, BoolToIntMap[First->getOperand(i)]);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	261 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	262
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	263 Value *IntRetVal = BoolToIntMap[U];
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	264 Type *Int1Ty = Type::getInt1Ty(U->getContext());
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	265 auto *I = cast<Instruction>(U.getUser());
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	266 Value *BackToBool = new TruncInst(IntRetVal, Int1Ty, "backToBool", I);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	267 U.set(BackToBool);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	268
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	269 return true;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	270 }
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	271
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	272 void getAnalysisUsage(AnalysisUsage &AU) const override {
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	273 AU.addPreserved<DominatorTreeWrapperPass>();
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	274 FunctionPass::getAnalysisUsage(AU);
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	275 }
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	276
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	277 private:
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	278 const PPCSubtarget *ST;
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	279 };
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	280
803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	281 } // end anonymous namespace
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	282
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	283 char PPCBoolRetToInt::ID = 0;
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	284 INITIALIZE_PASS(PPCBoolRetToInt, "bool-ret-to-int",
121 803732b1fca8 LLVM 5.0 kono parents: 120 diff changeset	285 "Convert i1 constants to i32/i64 if they are returned",
100 7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	286 false, false)
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	287
7d135dc70f03 LLVM 3.9 Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp> parents: diff changeset	288 FunctionPass *llvm::createPPCBoolRetToIntPass() { return new PPCBoolRetToInt(); }

Mercurial > hg > Members > tobaru > cbc > CbC_llvm

annotate lib/Target/PowerPC/PPCBoolRetToInt.cpp @ 124:4fa72497ed5d