blob: ee143f6689a14618c9d0bd9d7a80010eb0276805 [file] [log] [blame]
Chris Lattnerc68c31b2002-07-10 22:38:08 +00001//===- Printer.cpp - Code for printing data structure graphs nicely -------===//
John Criswellb576c942003-10-20 19:43:21 +00002//
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//===----------------------------------------------------------------------===//
Chris Lattnerc68c31b2002-07-10 22:38:08 +00009//
10// This file implements the 'dot' graph printer.
11//
12//===----------------------------------------------------------------------===//
13
Chris Lattner4dabb2c2004-07-07 06:32:21 +000014#include "llvm/Analysis/DataStructure/DataStructure.h"
Chris Lattneradfd5f12005-03-13 19:51:24 +000015#include "llvm/Analysis/DataStructure/EquivClassGraphs.h"
Chris Lattner4dabb2c2004-07-07 06:32:21 +000016#include "llvm/Analysis/DataStructure/DSGraph.h"
17#include "llvm/Analysis/DataStructure/DSGraphTraits.h"
Chris Lattnerc68c31b2002-07-10 22:38:08 +000018#include "llvm/Module.h"
Chris Lattnerd9dad2c2003-07-01 16:27:32 +000019#include "llvm/Constants.h"
Chris Lattnerc68c31b2002-07-10 22:38:08 +000020#include "llvm/Assembly/Writer.h"
Reid Spencer551ccae2004-09-01 22:55:40 +000021#include "llvm/Support/CommandLine.h"
22#include "llvm/Support/GraphWriter.h"
23#include "llvm/ADT/Statistic.h"
Chris Lattnerc68c31b2002-07-10 22:38:08 +000024#include <fstream>
25#include <sstream>
Chris Lattner9a927292003-11-12 23:11:14 +000026using namespace llvm;
Brian Gaeked0fde302003-11-11 22:41:34 +000027
Chris Lattner55c10582002-10-03 20:38:41 +000028// OnlyPrintMain - The DataStructure printer exposes this option to allow
29// printing of only the graph for "main".
30//
Chris Lattner49a1ed02002-11-18 21:42:45 +000031namespace {
32 cl::opt<bool> OnlyPrintMain("only-print-main-ds", cl::ReallyHidden);
Chris Lattner4a857762004-01-22 13:42:43 +000033 cl::opt<bool> DontPrintAnything("dont-print-ds", cl::ReallyHidden);
Chris Lattnere92e7642004-02-07 23:58:05 +000034 Statistic<> MaxGraphSize ("dsa", "Maximum graph size");
35 Statistic<> NumFoldedNodes ("dsa", "Number of folded nodes (in final graph)");
Chris Lattner49a1ed02002-11-18 21:42:45 +000036}
Chris Lattner55c10582002-10-03 20:38:41 +000037
Chris Lattnerc68c31b2002-07-10 22:38:08 +000038void DSNode::dump() const { print(std::cerr, 0); }
39
Chris Lattnerb3416bc2003-02-01 04:01:21 +000040static std::string getCaption(const DSNode *N, const DSGraph *G) {
Chris Lattnerc68c31b2002-07-10 22:38:08 +000041 std::stringstream OS;
Chris Lattner5a540632003-06-30 03:15:25 +000042 Module *M = 0;
Chris Lattner153f2402004-02-25 23:06:30 +000043
Chris Lattner72529392004-03-02 21:39:43 +000044 if (!G) G = N->getParentGraph();
Chris Lattner153f2402004-02-25 23:06:30 +000045
Chris Lattner5a540632003-06-30 03:15:25 +000046 // Get the module from ONE of the functions in the graph it is available.
47 if (G && !G->getReturnNodes().empty())
48 M = G->getReturnNodes().begin()->first->getParent();
Chris Lattner72529392004-03-02 21:39:43 +000049 if (M == 0 && G) {
50 // If there is a global in the graph, we can use it to find the module.
51 const DSScalarMap &SM = G->getScalarMap();
52 if (SM.global_begin() != SM.global_end())
53 M = (*SM.global_begin())->getParent();
54 }
Chris Lattnerc68c31b2002-07-10 22:38:08 +000055
Chris Lattner08db7192002-11-06 06:20:27 +000056 if (N->isNodeCompletelyFolded())
Chris Lattner63899fa2003-07-02 04:39:27 +000057 OS << "COLLAPSED";
Chris Lattner08db7192002-11-06 06:20:27 +000058 else {
Chris Lattner49a1ed02002-11-18 21:42:45 +000059 WriteTypeSymbolic(OS, N->getType(), M);
60 if (N->isArray())
Chris Lattnerd1f8d0a2002-10-20 20:39:17 +000061 OS << " array";
Chris Lattner08db7192002-11-06 06:20:27 +000062 }
Chris Lattnerbd92b732003-06-19 21:15:11 +000063 if (unsigned NodeType = N->getNodeFlags()) {
Chris Lattner08db7192002-11-06 06:20:27 +000064 OS << ": ";
Chris Lattnerbd92b732003-06-19 21:15:11 +000065 if (NodeType & DSNode::AllocaNode ) OS << "S";
66 if (NodeType & DSNode::HeapNode ) OS << "H";
67 if (NodeType & DSNode::GlobalNode ) OS << "G";
68 if (NodeType & DSNode::UnknownNode) OS << "U";
69 if (NodeType & DSNode::Incomplete ) OS << "I";
70 if (NodeType & DSNode::Modified ) OS << "M";
71 if (NodeType & DSNode::Read ) OS << "R";
Chris Lattnerbd92b732003-06-19 21:15:11 +000072#ifndef NDEBUG
73 if (NodeType & DSNode::DEAD ) OS << "<dead>";
74#endif
Chris Lattner76d5b482002-07-11 20:33:32 +000075 OS << "\n";
Chris Lattner76d5b482002-07-11 20:33:32 +000076 }
77
Chris Lattnerfccd06f2002-10-01 22:33:50 +000078 for (unsigned i = 0, e = N->getGlobals().size(); i != e; ++i) {
79 WriteAsOperand(OS, N->getGlobals()[i], false, true, M);
80 OS << "\n";
81 }
82
Chris Lattnerc68c31b2002-07-10 22:38:08 +000083 return OS.str();
84}
85
Chris Lattner9a927292003-11-12 23:11:14 +000086namespace llvm {
Chris Lattnerf6c52db2002-10-13 19:31:57 +000087template<>
Chris Lattnere17a4e82002-10-17 01:02:46 +000088struct DOTGraphTraits<const DSGraph*> : public DefaultDOTGraphTraits {
89 static std::string getGraphName(const DSGraph *G) {
Chris Lattner5a540632003-06-30 03:15:25 +000090 switch (G->getReturnNodes().size()) {
Chris Lattner6681e982003-06-30 05:57:39 +000091 case 0: return G->getFunctionNames();
92 case 1: return "Function " + G->getFunctionNames();
93 default: return "Functions: " + G->getFunctionNames();
Chris Lattner5a540632003-06-30 03:15:25 +000094 }
Chris Lattnerf6c52db2002-10-13 19:31:57 +000095 }
96
Chris Lattnere17a4e82002-10-17 01:02:46 +000097 static std::string getNodeLabel(const DSNode *Node, const DSGraph *Graph) {
Chris Lattnerf6c52db2002-10-13 19:31:57 +000098 return getCaption(Node, Graph);
99 }
100
Chris Lattnere17a4e82002-10-17 01:02:46 +0000101 static std::string getNodeAttributes(const DSNode *N) {
Brian Gaeke61780852004-05-05 06:10:06 +0000102 return "shape=Mrecord";
Chris Lattnerf6c52db2002-10-13 19:31:57 +0000103 }
Chris Lattner8e667cd2004-06-22 07:13:10 +0000104
105 static bool edgeTargetsEdgeSource(const void *Node,
106 DSNode::const_iterator I) {
107 unsigned O = I.getNode()->getLink(I.getOffset()).getOffset();
108 return (O >> DS::PointerShift) != 0;
109 }
110
111 static DSNode::const_iterator getEdgeTarget(const DSNode *Node,
112 DSNode::const_iterator I) {
113 unsigned O = I.getNode()->getLink(I.getOffset()).getOffset();
114 unsigned LinkNo = O >> DS::PointerShift;
115 const DSNode *N = *I;
116 DSNode::const_iterator R = N->begin();
117 for (; LinkNo; --LinkNo)
118 ++R;
119 return R;
120 }
121
Chris Lattnerf6c52db2002-10-13 19:31:57 +0000122
Chris Lattnereb265cd2002-10-16 02:04:36 +0000123 /// addCustomGraphFeatures - Use this graph writing hook to emit call nodes
124 /// and the return node.
125 ///
Chris Lattnere17a4e82002-10-17 01:02:46 +0000126 static void addCustomGraphFeatures(const DSGraph *G,
127 GraphWriter<const DSGraph*> &GW) {
Chris Lattner5a540632003-06-30 03:15:25 +0000128 Module *CurMod = 0;
129 if (!G->getReturnNodes().empty())
130 CurMod = G->getReturnNodes().begin()->first->getParent();
Chris Lattner72529392004-03-02 21:39:43 +0000131 else {
132 // If there is a global in the graph, we can use it to find the module.
133 const DSScalarMap &SM = G->getScalarMap();
134 if (SM.global_begin() != SM.global_end())
135 CurMod = (*SM.global_begin())->getParent();
136 }
137
Chris Lattner714752f2003-02-04 00:03:18 +0000138
Chris Lattner92673292002-11-02 00:13:20 +0000139 // Add scalar nodes to the graph...
Chris Lattner5a540632003-06-30 03:15:25 +0000140 const DSGraph::ScalarMapTy &VM = G->getScalarMap();
141 for (DSGraph::ScalarMapTy::const_iterator I = VM.begin(); I != VM.end();++I)
Reid Spencere8404342004-07-18 00:18:30 +0000142 if (!isa<GlobalValue>(I->first)) {
Chris Lattner92673292002-11-02 00:13:20 +0000143 std::stringstream OS;
Chris Lattner714752f2003-02-04 00:03:18 +0000144 WriteAsOperand(OS, I->first, false, true, CurMod);
Chris Lattner49a1ed02002-11-18 21:42:45 +0000145 GW.emitSimpleNode(I->first, "", OS.str());
Chris Lattner92673292002-11-02 00:13:20 +0000146
147 // Add edge from return node to real destination
Chris Lattnerf1bd4b42004-10-30 07:21:19 +0000148 DSNode *DestNode = I->second.getNode();
Chris Lattner08db7192002-11-06 06:20:27 +0000149 int EdgeDest = I->second.getOffset() >> DS::PointerShift;
Chris Lattner92673292002-11-02 00:13:20 +0000150 if (EdgeDest == 0) EdgeDest = -1;
Chris Lattnerf1bd4b42004-10-30 07:21:19 +0000151 GW.emitEdge(I->first, -1, DestNode,
Chris Lattner92673292002-11-02 00:13:20 +0000152 EdgeDest, "arrowtail=tee,color=gray63");
153 }
154
155
Chris Lattnereb265cd2002-10-16 02:04:36 +0000156 // Output the returned value pointer...
Chris Lattner5a540632003-06-30 03:15:25 +0000157 const DSGraph::ReturnNodesTy &RetNodes = G->getReturnNodes();
158 for (DSGraph::ReturnNodesTy::const_iterator I = RetNodes.begin(),
159 E = RetNodes.end(); I != E; ++I)
160 if (I->second.getNode()) {
161 std::string Label;
162 if (RetNodes.size() == 1)
163 Label = "returning";
164 else
165 Label = I->first->getName() + " ret node";
166 // Output the return node...
Chris Lattnerd8ea8a52003-11-12 04:58:19 +0000167 GW.emitSimpleNode((void*)I->first, "plaintext=circle", Label);
Chris Lattnereb265cd2002-10-16 02:04:36 +0000168
Chris Lattner5a540632003-06-30 03:15:25 +0000169 // Add edge from return node to real destination
Chris Lattnerf1bd4b42004-10-30 07:21:19 +0000170 DSNode *RetNode = I->second.getNode();
Chris Lattner5a540632003-06-30 03:15:25 +0000171 int RetEdgeDest = I->second.getOffset() >> DS::PointerShift;;
172 if (RetEdgeDest == 0) RetEdgeDest = -1;
Chris Lattnerf1bd4b42004-10-30 07:21:19 +0000173 GW.emitEdge((void*)I->first, -1, RetNode,
Chris Lattner5a540632003-06-30 03:15:25 +0000174 RetEdgeDest, "arrowtail=tee,color=gray63");
175 }
Chris Lattner962ee452002-10-16 20:16:16 +0000176
177 // Output all of the call nodes...
Chris Lattnera9548d92005-01-30 23:51:02 +0000178 const std::list<DSCallSite> &FCs =
Chris Lattner4f7815f2002-11-10 06:53:59 +0000179 G->shouldPrintAuxCalls() ? G->getAuxFunctionCalls()
180 : G->getFunctionCalls();
Chris Lattnera9548d92005-01-30 23:51:02 +0000181 for (std::list<DSCallSite>::const_iterator I = FCs.begin(), E = FCs.end();
182 I != E; ++I) {
183 const DSCallSite &Call = *I;
Chris Lattner923fc052003-02-05 21:59:58 +0000184 std::vector<std::string> EdgeSourceCaptions(Call.getNumPtrArgs()+2);
185 EdgeSourceCaptions[0] = "r";
186 if (Call.isDirectCall())
187 EdgeSourceCaptions[1] = Call.getCalleeFunc()->getName();
Chris Lattnerf1c28382003-02-14 20:25:47 +0000188 else
189 EdgeSourceCaptions[1] = "f";
Chris Lattner923fc052003-02-05 21:59:58 +0000190
191 GW.emitSimpleNode(&Call, "shape=record", "call", Call.getNumPtrArgs()+2,
192 &EdgeSourceCaptions);
Chris Lattner962ee452002-10-16 20:16:16 +0000193
Chris Lattner482b6512002-10-21 13:47:57 +0000194 if (DSNode *N = Call.getRetVal().getNode()) {
Chris Lattner08db7192002-11-06 06:20:27 +0000195 int EdgeDest = Call.getRetVal().getOffset() >> DS::PointerShift;
Chris Lattner482b6512002-10-21 13:47:57 +0000196 if (EdgeDest == 0) EdgeDest = -1;
Chris Lattner352a6fa2003-02-13 20:14:40 +0000197 GW.emitEdge(&Call, 0, N, EdgeDest, "color=gray63,tailclip=false");
Chris Lattner482b6512002-10-21 13:47:57 +0000198 }
Chris Lattner923fc052003-02-05 21:59:58 +0000199
200 // Print out the callee...
201 if (Call.isIndirectCall()) {
202 DSNode *N = Call.getCalleeNode();
203 assert(N && "Null call site callee node!");
Chris Lattner352a6fa2003-02-13 20:14:40 +0000204 GW.emitEdge(&Call, 1, N, -1, "color=gray63,tailclip=false");
Chris Lattner482b6512002-10-21 13:47:57 +0000205 }
Chris Lattner923fc052003-02-05 21:59:58 +0000206
Chris Lattner0969c502002-10-21 02:08:03 +0000207 for (unsigned j = 0, e = Call.getNumPtrArgs(); j != e; ++j)
208 if (DSNode *N = Call.getPtrArg(j).getNode()) {
Chris Lattner08db7192002-11-06 06:20:27 +0000209 int EdgeDest = Call.getPtrArg(j).getOffset() >> DS::PointerShift;
Chris Lattner962ee452002-10-16 20:16:16 +0000210 if (EdgeDest == 0) EdgeDest = -1;
Chris Lattner352a6fa2003-02-13 20:14:40 +0000211 GW.emitEdge(&Call, j+2, N, EdgeDest, "color=gray63,tailclip=false");
Chris Lattner962ee452002-10-16 20:16:16 +0000212 }
213 }
Chris Lattnereb265cd2002-10-16 02:04:36 +0000214 }
Chris Lattnerf6c52db2002-10-13 19:31:57 +0000215};
Chris Lattner9a927292003-11-12 23:11:14 +0000216} // end namespace llvm
Chris Lattnerf6c52db2002-10-13 19:31:57 +0000217
Chris Lattnere17a4e82002-10-17 01:02:46 +0000218void DSNode::print(std::ostream &O, const DSGraph *G) const {
219 GraphWriter<const DSGraph *> W(O, G);
220 W.writeNode(this);
221}
Chris Lattnerf6c52db2002-10-13 19:31:57 +0000222
Chris Lattnere17a4e82002-10-17 01:02:46 +0000223void DSGraph::print(std::ostream &O) const {
224 WriteGraph(O, this, "DataStructures");
225}
226
Chris Lattnerb3416bc2003-02-01 04:01:21 +0000227void DSGraph::writeGraphToFile(std::ostream &O,
228 const std::string &GraphName) const {
229 std::string Filename = GraphName + ".dot";
Vikram S. Advedfd2f322002-07-30 22:07:26 +0000230 O << "Writing '" << Filename << "'...";
231 std::ofstream F(Filename.c_str());
232
233 if (F.good()) {
Chris Lattnere17a4e82002-10-17 01:02:46 +0000234 print(F);
Chris Lattner60525942002-11-11 00:01:02 +0000235 unsigned NumCalls = shouldPrintAuxCalls() ?
236 getAuxFunctionCalls().size() : getFunctionCalls().size();
237 O << " [" << getGraphSize() << "+" << NumCalls << "]\n";
Vikram S. Advedfd2f322002-07-30 22:07:26 +0000238 } else {
239 O << " error opening file for writing!\n";
240 }
241}
242
Chris Lattnere79eaa92003-02-10 18:17:07 +0000243/// viewGraph - Emit a dot graph, run 'dot', run gv on the postscript file,
244/// then cleanup. For use from the debugger.
245///
246void DSGraph::viewGraph() const {
247 std::ofstream F("/tmp/tempgraph.dot");
248 if (!F.good()) {
249 std::cerr << "Error opening '/tmp/tempgraph.dot' for temporary graph!\n";
250 return;
251 }
252 print(F);
Chris Lattner2cec1d32003-02-11 19:27:27 +0000253 F.close();
Brian Gaeke61780852004-05-05 06:10:06 +0000254 if (system("dot -Tps -Gsize=10,7.5 -Grotate=90 /tmp/tempgraph.dot > /tmp/tempgraph.ps"))
Chris Lattnere79eaa92003-02-10 18:17:07 +0000255 std::cerr << "Error running dot: 'dot' not in path?\n";
256 system("gv /tmp/tempgraph.ps");
257 system("rm /tmp/tempgraph.dot /tmp/tempgraph.ps");
258}
259
260
Chris Lattner0d9bab82002-07-18 00:12:30 +0000261template <typename Collection>
Chris Lattner97f51a32002-07-27 01:12:15 +0000262static void printCollection(const Collection &C, std::ostream &O,
Chris Lattnerb3416bc2003-02-01 04:01:21 +0000263 const Module *M, const std::string &Prefix) {
Chris Lattner97f51a32002-07-27 01:12:15 +0000264 if (M == 0) {
265 O << "Null Module pointer, cannot continue!\n";
266 return;
267 }
268
Chris Lattner14212332002-11-07 02:18:46 +0000269 unsigned TotalNumNodes = 0, TotalCallNodes = 0;
Chris Lattner97f51a32002-07-27 01:12:15 +0000270 for (Module::const_iterator I = M->begin(), E = M->end(); I != E; ++I)
Chris Lattner4f7815f2002-11-10 06:53:59 +0000271 if (C.hasGraph(*I)) {
Chris Lattner95a80ad2002-11-07 01:54:44 +0000272 DSGraph &Gr = C.getDSGraph((Function&)*I);
Chris Lattner14212332002-11-07 02:18:46 +0000273 TotalNumNodes += Gr.getGraphSize();
Chris Lattner4f7815f2002-11-10 06:53:59 +0000274 unsigned NumCalls = Gr.shouldPrintAuxCalls() ?
275 Gr.getAuxFunctionCalls().size() : Gr.getFunctionCalls().size();
276
277 TotalCallNodes += NumCalls;
Chris Lattner1e759992005-02-01 19:10:48 +0000278 if (I->getName() == "main" || !OnlyPrintMain) {
279 Function *SCCFn = Gr.getReturnNodes().begin()->first;
280 if (&*I == SCCFn)
281 Gr.writeGraphToFile(O, Prefix+I->getName());
282 else
283 O << "Didn't write '" << Prefix+I->getName()
284 << ".dot' - Graph already emitted to '" << Prefix+SCCFn->getName()
285 << "\n";
286 } else {
Chris Lattner95a80ad2002-11-07 01:54:44 +0000287 O << "Skipped Writing '" << Prefix+I->getName() << ".dot'... ["
Chris Lattner4f7815f2002-11-10 06:53:59 +0000288 << Gr.getGraphSize() << "+" << NumCalls << "]\n";
Chris Lattner95a80ad2002-11-07 01:54:44 +0000289 }
Chris Lattner49a1ed02002-11-18 21:42:45 +0000290
Chris Lattner51711152004-02-21 22:27:31 +0000291 unsigned GraphSize = Gr.getGraphSize();
Chris Lattnere92e7642004-02-07 23:58:05 +0000292 if (MaxGraphSize < GraphSize) MaxGraphSize = GraphSize;
293
294 for (DSGraph::node_iterator NI = Gr.node_begin(), E = Gr.node_end();
295 NI != E; ++NI)
296 if ((*NI)->isNodeCompletelyFolded())
Chris Lattner49a1ed02002-11-18 21:42:45 +0000297 ++NumFoldedNodes;
Chris Lattner95a80ad2002-11-07 01:54:44 +0000298 }
Chris Lattner14212332002-11-07 02:18:46 +0000299
Chris Lattneraa0b4682002-11-09 21:12:07 +0000300 DSGraph &GG = C.getGlobalsGraph();
301 TotalNumNodes += GG.getGraphSize();
302 TotalCallNodes += GG.getFunctionCalls().size();
Chris Lattnerf76e7542002-11-09 21:40:58 +0000303 if (!OnlyPrintMain) {
Chris Lattneraa0b4682002-11-09 21:12:07 +0000304 GG.writeGraphToFile(O, Prefix+"GlobalsGraph");
305 } else {
306 O << "Skipped Writing '" << Prefix << "GlobalsGraph.dot'... ["
307 << GG.getGraphSize() << "+" << GG.getFunctionCalls().size() << "]\n";
308 }
309
Chris Lattner14212332002-11-07 02:18:46 +0000310 O << "\nGraphs contain [" << TotalNumNodes << "+" << TotalCallNodes
Chris Lattner33312f72002-11-08 01:21:07 +0000311 << "] nodes total" << std::endl;
Chris Lattnerc68c31b2002-07-10 22:38:08 +0000312}
Chris Lattner0d9bab82002-07-18 00:12:30 +0000313
314
315// print - Print out the analysis results...
Chris Lattner97f51a32002-07-27 01:12:15 +0000316void LocalDataStructures::print(std::ostream &O, const Module *M) const {
Chris Lattner4a857762004-01-22 13:42:43 +0000317 if (DontPrintAnything) return;
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000318 printCollection(*this, O, M, "ds.");
Chris Lattner0d9bab82002-07-18 00:12:30 +0000319}
320
Chris Lattner97f51a32002-07-27 01:12:15 +0000321void BUDataStructures::print(std::ostream &O, const Module *M) const {
Chris Lattner4a857762004-01-22 13:42:43 +0000322 if (DontPrintAnything) return;
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000323 printCollection(*this, O, M, "bu.");
Vikram S. Advedfd2f322002-07-30 22:07:26 +0000324}
325
326void TDDataStructures::print(std::ostream &O, const Module *M) const {
Chris Lattner4a857762004-01-22 13:42:43 +0000327 if (DontPrintAnything) return;
Chris Lattnerfccd06f2002-10-01 22:33:50 +0000328 printCollection(*this, O, M, "td.");
Chris Lattnere25ab832002-10-17 04:24:30 +0000329}
Brian Gaeked0fde302003-11-11 22:41:34 +0000330
Chris Lattner79390d42003-11-13 05:05:41 +0000331void CompleteBUDataStructures::print(std::ostream &O, const Module *M) const {
Chris Lattner4a857762004-01-22 13:42:43 +0000332 if (DontPrintAnything) return;
Chris Lattner79390d42003-11-13 05:05:41 +0000333 printCollection(*this, O, M, "cbu.");
334}
335
336
Chris Lattneradfd5f12005-03-13 19:51:24 +0000337void EquivClassGraphs::print(std::ostream &O, const Module *M) const {
338 if (DontPrintAnything) return;
339 printCollection(*this, O, M, "eq.");
340}
341