OLD | NEW |
1 //===- subzero/src/IceCfgNode.cpp - Basic block (node) implementation -----===// | 1 //===- subzero/src/IceCfgNode.cpp - Basic block (node) implementation -----===// |
2 // | 2 // |
3 // The Subzero Code Generator | 3 // The Subzero Code Generator |
4 // | 4 // |
5 // This file is distributed under the University of Illinois Open Source | 5 // This file is distributed under the University of Illinois Open Source |
6 // License. See LICENSE.TXT for details. | 6 // License. See LICENSE.TXT for details. |
7 // | 7 // |
8 //===----------------------------------------------------------------------===// | 8 //===----------------------------------------------------------------------===// |
9 /// | 9 /// |
10 /// \file | 10 /// \file |
(...skipping 899 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
910 void emitRegisterUsage(Ostream &Str, const Cfg *Func, const CfgNode *Node, | 910 void emitRegisterUsage(Ostream &Str, const Cfg *Func, const CfgNode *Node, |
911 bool IsLiveIn, CfgVector<SizeT> &LiveRegCount) { | 911 bool IsLiveIn, CfgVector<SizeT> &LiveRegCount) { |
912 if (!BuildDefs::dump()) | 912 if (!BuildDefs::dump()) |
913 return; | 913 return; |
914 Liveness *Liveness = Func->getLiveness(); | 914 Liveness *Liveness = Func->getLiveness(); |
915 const LivenessBV *Live; | 915 const LivenessBV *Live; |
916 const int32_t StackReg = Func->getTarget()->getStackReg(); | 916 const int32_t StackReg = Func->getTarget()->getStackReg(); |
917 const int32_t FrameOrStackReg = Func->getTarget()->getFrameOrStackReg(); | 917 const int32_t FrameOrStackReg = Func->getTarget()->getFrameOrStackReg(); |
918 if (IsLiveIn) { | 918 if (IsLiveIn) { |
919 Live = &Liveness->getLiveIn(Node); | 919 Live = &Liveness->getLiveIn(Node); |
920 Str << "\t\t\t\t# LiveIn="; | 920 Str << "\t\t\t\t/* LiveIn="; |
921 } else { | 921 } else { |
922 Live = &Liveness->getLiveOut(Node); | 922 Live = &Liveness->getLiveOut(Node); |
923 Str << "\t\t\t\t# LiveOut="; | 923 Str << "\t\t\t\t/* LiveOut="; |
924 } | 924 } |
925 if (!Live->empty()) { | 925 if (!Live->empty()) { |
926 CfgVector<Variable *> LiveRegs; | 926 CfgVector<Variable *> LiveRegs; |
927 for (SizeT i = 0; i < Live->size(); ++i) { | 927 for (SizeT i = 0; i < Live->size(); ++i) { |
928 if (!(*Live)[i]) | 928 if (!(*Live)[i]) |
929 continue; | 929 continue; |
930 Variable *Var = Liveness->getVariable(i, Node); | 930 Variable *Var = Liveness->getVariable(i, Node); |
931 if (!Var->hasReg()) | 931 if (!Var->hasReg()) |
932 continue; | 932 continue; |
933 const int32_t RegNum = Var->getRegNum(); | 933 const int32_t RegNum = Var->getRegNum(); |
(...skipping 10 matching lines...) Expand all Loading... |
944 return V1->getRegNum() < V2->getRegNum(); | 944 return V1->getRegNum() < V2->getRegNum(); |
945 }); | 945 }); |
946 bool First = true; | 946 bool First = true; |
947 for (Variable *Var : LiveRegs) { | 947 for (Variable *Var : LiveRegs) { |
948 if (!First) | 948 if (!First) |
949 Str << ","; | 949 Str << ","; |
950 First = false; | 950 First = false; |
951 Var->emit(Func); | 951 Var->emit(Func); |
952 } | 952 } |
953 } | 953 } |
954 Str << "\n"; | 954 Str << " */\n"; |
955 } | 955 } |
956 | 956 |
957 /// Returns true if some text was emitted - in which case the caller definitely | 957 /// Returns true if some text was emitted - in which case the caller definitely |
958 /// needs to emit a newline character. | 958 /// needs to emit a newline character. |
959 bool emitLiveRangesEnded(Ostream &Str, const Cfg *Func, const Inst *Instr, | 959 bool emitLiveRangesEnded(Ostream &Str, const Cfg *Func, const Inst *Instr, |
960 CfgVector<SizeT> &LiveRegCount) { | 960 CfgVector<SizeT> &LiveRegCount) { |
961 bool Printed = false; | 961 bool Printed = false; |
962 if (!BuildDefs::dump()) | 962 if (!BuildDefs::dump()) |
963 return Printed; | 963 return Printed; |
964 Variable *Dest = Instr->getDest(); | 964 Variable *Dest = Instr->getDest(); |
965 // Normally we increment the live count for the dest register. But we | 965 // Normally we increment the live count for the dest register. But we |
966 // shouldn't if the instruction's IsDestRedefined flag is set, because this | 966 // shouldn't if the instruction's IsDestRedefined flag is set, because this |
967 // means that the target lowering created this instruction as a non-SSA | 967 // means that the target lowering created this instruction as a non-SSA |
968 // assignment; i.e., a different, previous instruction started the dest | 968 // assignment; i.e., a different, previous instruction started the dest |
969 // variable's live range. | 969 // variable's live range. |
970 if (!Instr->isDestRedefined() && Dest && Dest->hasReg()) | 970 if (!Instr->isDestRedefined() && Dest && Dest->hasReg()) |
971 ++LiveRegCount[Dest->getRegNum()]; | 971 ++LiveRegCount[Dest->getRegNum()]; |
972 FOREACH_VAR_IN_INST(Var, *Instr) { | 972 FOREACH_VAR_IN_INST(Var, *Instr) { |
973 bool ShouldReport = Instr->isLastUse(Var); | 973 bool ShouldReport = Instr->isLastUse(Var); |
974 if (ShouldReport && Var->hasReg()) { | 974 if (ShouldReport && Var->hasReg()) { |
975 // Don't report end of live range until the live count reaches 0. | 975 // Don't report end of live range until the live count reaches 0. |
976 SizeT NewCount = --LiveRegCount[Var->getRegNum()]; | 976 SizeT NewCount = --LiveRegCount[Var->getRegNum()]; |
977 if (NewCount) | 977 if (NewCount) |
978 ShouldReport = false; | 978 ShouldReport = false; |
979 } | 979 } |
980 if (ShouldReport) { | 980 if (ShouldReport) { |
981 if (Printed) | 981 if (Printed) |
982 Str << ","; | 982 Str << ","; |
983 else | 983 else |
984 Str << " \t@ END="; | 984 Str << " \t/* END="; |
985 Var->emit(Func); | 985 Var->emit(Func); |
986 Printed = true; | 986 Printed = true; |
987 } | 987 } |
988 } | 988 } |
| 989 if (Printed) |
| 990 Str << " */"; |
989 return Printed; | 991 return Printed; |
990 } | 992 } |
991 | 993 |
992 void updateStats(Cfg *Func, const Inst *I) { | 994 void updateStats(Cfg *Func, const Inst *I) { |
993 if (!BuildDefs::dump()) | 995 if (!BuildDefs::dump()) |
994 return; | 996 return; |
995 // Update emitted instruction count, plus fill/spill count for Variable | 997 // Update emitted instruction count, plus fill/spill count for Variable |
996 // operands without a physical register. | 998 // operands without a physical register. |
997 if (uint32_t Count = I->getEmitInstCount()) { | 999 if (uint32_t Count = I->getEmitInstCount()) { |
998 Func->getContext()->statsUpdateEmitted(Count); | 1000 Func->getContext()->statsUpdateEmitted(Count); |
(...skipping 23 matching lines...) Expand all Loading... |
1022 Str << getAsmName() << ":\n"; | 1024 Str << getAsmName() << ":\n"; |
1023 // LiveRegCount keeps track of the number of currently live variables that | 1025 // LiveRegCount keeps track of the number of currently live variables that |
1024 // each register is assigned to. Normally that would be only 0 or 1, but the | 1026 // each register is assigned to. Normally that would be only 0 or 1, but the |
1025 // register allocator's AllowOverlap inference allows it to be greater than 1 | 1027 // register allocator's AllowOverlap inference allows it to be greater than 1 |
1026 // for short periods. | 1028 // for short periods. |
1027 CfgVector<SizeT> LiveRegCount(Func->getTarget()->getNumRegisters()); | 1029 CfgVector<SizeT> LiveRegCount(Func->getTarget()->getNumRegisters()); |
1028 if (DecorateAsm) { | 1030 if (DecorateAsm) { |
1029 constexpr bool IsLiveIn = true; | 1031 constexpr bool IsLiveIn = true; |
1030 emitRegisterUsage(Str, Func, this, IsLiveIn, LiveRegCount); | 1032 emitRegisterUsage(Str, Func, this, IsLiveIn, LiveRegCount); |
1031 if (getInEdges().size()) { | 1033 if (getInEdges().size()) { |
1032 Str << "\t\t\t\t# preds="; | 1034 Str << "\t\t\t\t/* preds="; |
1033 bool First = true; | 1035 bool First = true; |
1034 for (CfgNode *I : getInEdges()) { | 1036 for (CfgNode *I : getInEdges()) { |
1035 if (!First) | 1037 if (!First) |
1036 Str << ","; | 1038 Str << ","; |
1037 First = false; | 1039 First = false; |
1038 Str << "$" << I->getName(); | 1040 Str << "$" << I->getName(); |
1039 } | 1041 } |
1040 Str << "\n"; | 1042 Str << " */\n"; |
1041 } | 1043 } |
1042 if (getLoopNestDepth()) { | 1044 if (getLoopNestDepth()) { |
1043 Str << "\t\t\t\t# loop depth=" << getLoopNestDepth() << "\n"; | 1045 Str << "\t\t\t\t/* loop depth=" << getLoopNestDepth() << " */\n"; |
1044 } | 1046 } |
1045 } | 1047 } |
1046 | 1048 |
1047 for (const Inst &I : Phis) { | 1049 for (const Inst &I : Phis) { |
1048 if (I.isDeleted()) | 1050 if (I.isDeleted()) |
1049 continue; | 1051 continue; |
1050 // Emitting a Phi instruction should cause an error. | 1052 // Emitting a Phi instruction should cause an error. |
1051 I.emit(Func); | 1053 I.emit(Func); |
1052 } | 1054 } |
1053 for (const Inst &I : Insts) { | 1055 for (const Inst &I : Insts) { |
(...skipping 353 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1407 auto *Inst = InstIntrinsicCall::create( | 1409 auto *Inst = InstIntrinsicCall::create( |
1408 Func, 5, Func->makeVariable(IceType_i64), RMWI64Name, Info->Info); | 1410 Func, 5, Func->makeVariable(IceType_i64), RMWI64Name, Info->Info); |
1409 Inst->addArg(AtomicRMWOp); | 1411 Inst->addArg(AtomicRMWOp); |
1410 Inst->addArg(Counter); | 1412 Inst->addArg(Counter); |
1411 Inst->addArg(One); | 1413 Inst->addArg(One); |
1412 Inst->addArg(OrderAcquireRelease); | 1414 Inst->addArg(OrderAcquireRelease); |
1413 Insts.push_front(Inst); | 1415 Insts.push_front(Inst); |
1414 } | 1416 } |
1415 | 1417 |
1416 } // end of namespace Ice | 1418 } // end of namespace Ice |
OLD | NEW |