Changeset View
Changeset View
Standalone View
Standalone View
lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp
| Show First 20 Lines • Show All 919 Lines • ▼ Show 20 Line(s) | 914 | public: | |||
|---|---|---|---|---|---|
| 920 | /// | 920 | /// | ||
| 921 | void NodeDeleted(SDNode *N, SDNode *E) override { | 921 | void NodeDeleted(SDNode *N, SDNode *E) override { | ||
| 922 | if (ISelPosition == SelectionDAG::allnodes_iterator(N)) | 922 | if (ISelPosition == SelectionDAG::allnodes_iterator(N)) | ||
| 923 | ++ISelPosition; | 923 | ++ISelPosition; | ||
| 924 | } | 924 | } | ||
| 925 | }; | 925 | }; | ||
| 926 | } // end anonymous namespace | 926 | } // end anonymous namespace | ||
| 927 | 927 | | |||
| 928 | static bool isStrictFPOp(SDNode *Node) { | ||||
| 929 | unsigned Opc = Node->getOpcode(); | ||||
| 930 | if (Opc == ISD::STRICT_FADD || Opc == ISD::STRICT_FSUB || | ||||
| 931 | Opc == ISD::STRICT_FMUL || Opc == ISD::STRICT_FDIV || | ||||
| 932 | Opc == ISD::STRICT_FREM) | ||||
| 933 | return true; | ||||
| 934 | return false; | ||||
| 935 | } | ||||
arsenm: You can replace this with a switch strict->regular op mapping, and then you avoid having to… | |||||
| 936 | | ||||
| 937 | SDNode* SelectionDAGISel::MutateStrictFPToFP(SDNode *Node) { | ||||
| 938 | unsigned OrigOpc = Node->getOpcode(); | ||||
| 939 | unsigned NewOpc; | ||||
| 940 | switch (OrigOpc) { | ||||
| 941 | default: llvm_unreachable("Unexpected opcode for strict FP node!"); | ||||
| 942 | case ISD::STRICT_FADD: NewOpc = ISD::FADD; break; | ||||
| 943 | case ISD::STRICT_FSUB: NewOpc = ISD::FSUB; break; | ||||
| 944 | case ISD::STRICT_FMUL: NewOpc = ISD::FMUL; break; | ||||
| 945 | case ISD::STRICT_FDIV: NewOpc = ISD::FDIV; break; | ||||
| 946 | case ISD::STRICT_FREM: NewOpc = ISD::FREM; break; | ||||
| 947 | } | ||||
| 948 | | ||||
| 949 | // We're taking this node out of the chain, so we need to re-link things. | ||||
| 950 | SDValue InputChain = Node->getOperand(0); | ||||
| 951 | SDValue OutputChain = SDValue(Node, 1); | ||||
| 952 | CurDAG->ReplaceAllUsesOfValueWith(OutputChain, InputChain); | ||||
| 953 | | ||||
| 954 | SDVTList VTs = CurDAG->getVTList(Node->getOperand(1).getValueType()); | ||||
| 955 | SDValue Ops[2] = { Node->getOperand(1), Node->getOperand(2) }; | ||||
Not Done ReplyThis doesn't need to be a SmallVector. You can just use SDValue Ops[2] = { Node->getOperand(1), Node->getOperand(2) }; craig.topper: This doesn't need to be a SmallVector. You can just use
SDValue Ops[2] = { Node->getOperand… | |||||
| 956 | SDNode *Res = CurDAG->MorphNodeTo(Node, NewOpc, VTs, Ops); | ||||
| 957 | | ||||
| 958 | // MorphNodeTo can operate in two ways: if an existing node with the | ||||
| 959 | // specified operands exists, it can just return it. Otherwise, it | ||||
| 960 | // updates the node in place to have the requested operands. | ||||
| 961 | if (Res == Node) { | ||||
| 962 | // If we updated the node in place, reset the node ID. To the isel, | ||||
| 963 | // this should be just like a newly allocated machine node. | ||||
| 964 | Res->setNodeId(-1); | ||||
| 965 | } else { | ||||
| 966 | CurDAG->ReplaceAllUsesWith(Node, Res); | ||||
| 967 | CurDAG->RemoveDeadNode(Node); | ||||
| 968 | } | ||||
| 969 | | ||||
| 970 | return Res; | ||||
| 971 | } | ||||
| 972 | | ||||
| 928 | void SelectionDAGISel::DoInstructionSelection() { | 973 | void SelectionDAGISel::DoInstructionSelection() { | ||
| 929 | DEBUG(dbgs() << "===== Instruction selection begins: BB#" | 974 | DEBUG(dbgs() << "===== Instruction selection begins: BB#" | ||
| 930 | << FuncInfo->MBB->getNumber() | 975 | << FuncInfo->MBB->getNumber() | ||
| 931 | << " '" << FuncInfo->MBB->getName() << "'\n"); | 976 | << " '" << FuncInfo->MBB->getName() << "'\n"); | ||
| 932 | 977 | | |||
| 933 | PreprocessISelDAG(); | 978 | PreprocessISelDAG(); | ||
| 934 | 979 | | |||
| 935 | // Select target instructions for the DAG. | 980 | // Select target instructions for the DAG. | ||
| Show All 19 Lines | 981 | { | |||
| 955 | while (ISelPosition != CurDAG->allnodes_begin()) { | 1000 | while (ISelPosition != CurDAG->allnodes_begin()) { | ||
| 956 | SDNode *Node = &*--ISelPosition; | 1001 | SDNode *Node = &*--ISelPosition; | ||
| 957 | // Skip dead nodes. DAGCombiner is expected to eliminate all dead nodes, | 1002 | // Skip dead nodes. DAGCombiner is expected to eliminate all dead nodes, | ||
| 958 | // but there are currently some corner cases that it misses. Also, this | 1003 | // but there are currently some corner cases that it misses. Also, this | ||
| 959 | // makes it theoretically possible to disable the DAGCombiner. | 1004 | // makes it theoretically possible to disable the DAGCombiner. | ||
| 960 | if (Node->use_empty()) | 1005 | if (Node->use_empty()) | ||
| 961 | continue; | 1006 | continue; | ||
| 962 | 1007 | | |||
| 1008 | // When we are using non-default rounding modes or FP exception behavior | ||||
| 1009 | // FP operations are represented by StrictFP pseudo-operations. They | ||||
| 1010 | // need to be simplified here so that the target-specific instruction | ||||
| 1011 | // selectors know how to handle them. | ||||
| 1012 | bool IsStrictFPOp = isStrictFPOp(Node); | ||||
| 1013 | if (IsStrictFPOp) | ||||
| 1014 | Node = MutateStrictFPToFP(Node); | ||||
| 1015 | | ||||
| 963 | Select(Node); | 1016 | Select(Node); | ||
| 1017 | | ||||
| 1018 | // FIXME: Add code here to attach an implicit def and use of | ||||
| 1019 | // target-specific FP environment registers. | ||||
| 964 | } | 1020 | } | ||
| 965 | 1021 | | |||
| 966 | CurDAG->setRoot(Dummy.getValue()); | 1022 | CurDAG->setRoot(Dummy.getValue()); | ||
| 967 | } | 1023 | } | ||
| 968 | 1024 | | |||
| 969 | DEBUG(dbgs() << "===== Instruction selection ends:\n"); | 1025 | DEBUG(dbgs() << "===== Instruction selection ends:\n"); | ||
| 970 | 1026 | | |||
| 971 | PostprocessISelDAG(); | 1027 | PostprocessISelDAG(); | ||
| ▲ Show 20 Lines • Show All 2698 Lines • Show Last 20 Lines | |||||
You can replace this with a switch strict->regular op mapping, and then you avoid having to switch over these again in MutateStrictFPToFP