Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 1 | //===-- Timer.cpp - Interval Timing Support -------------------------------===// |
| 2 | // |
| 3 | // Interval Timing implementation. |
| 4 | // |
| 5 | //===----------------------------------------------------------------------===// |
| 6 | |
| 7 | #include "Support/Timer.h" |
Chris Lattner | 3f39849 | 2003-01-30 23:08:50 +0000 | [diff] [blame] | 8 | #include "Support/CommandLine.h" |
John Criswell | 7a73b80 | 2003-06-30 21:59:07 +0000 | [diff] [blame] | 9 | |
| 10 | #include "Config/sys/resource.h" |
| 11 | #include "Config/sys/time.h" |
| 12 | #include "Config/unistd.h" |
| 13 | #include "Config/malloc.h" |
| 14 | #include "Config/stdio.h" |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 15 | #include <iostream> |
| 16 | #include <algorithm> |
Chris Lattner | 9550dc2 | 2002-10-27 19:08:03 +0000 | [diff] [blame] | 17 | #include <functional> |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 18 | #include <fstream> |
| 19 | |
Chris Lattner | 71336a9 | 2003-07-31 19:38:34 +0000 | [diff] [blame] | 20 | // getLibSupportInfoOutputFilename - This ugly hack is brought to you courtesy |
| 21 | // of constructor/destructor ordering being unspecified by C++. Basically the |
| 22 | // problem is that a Statistic<> object gets destroyed, which ends up calling |
| 23 | // 'GetLibSupportInfoOutputFile()' (below), which calls this function. |
| 24 | // LibSupportInfoOutputFilename used to be a global variable, but sometimes it |
| 25 | // would get destroyed before the Statistic, causing havoc to ensue. We "fix" |
| 26 | // this by creating the string the first time it is needed and never destroying |
| 27 | // it. |
| 28 | static std::string &getLibSupportInfoOutputFilename() { |
| 29 | static std::string *LibSupportInfoOutputFilename = new std::string(); |
| 30 | return *LibSupportInfoOutputFilename; |
| 31 | } |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 32 | |
Chris Lattner | 3f39849 | 2003-01-30 23:08:50 +0000 | [diff] [blame] | 33 | namespace { |
John Criswell | 7a73b80 | 2003-06-30 21:59:07 +0000 | [diff] [blame] | 34 | #ifdef HAVE_MALLINFO |
Chris Lattner | 3f39849 | 2003-01-30 23:08:50 +0000 | [diff] [blame] | 35 | cl::opt<bool> |
| 36 | TrackSpace("track-memory", cl::desc("Enable -time-passes memory " |
| 37 | "tracking (this may be slow)"), |
| 38 | cl::Hidden); |
John Criswell | 7a73b80 | 2003-06-30 21:59:07 +0000 | [diff] [blame] | 39 | #endif |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 40 | |
| 41 | cl::opt<std::string, true> |
Chris Lattner | 96a54db | 2003-08-01 22:15:15 +0000 | [diff] [blame^] | 42 | InfoOutputFilename("info-output-file", cl::value_desc("filename"), |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 43 | cl::desc("File to append -stats and -timer output to"), |
Chris Lattner | 71336a9 | 2003-07-31 19:38:34 +0000 | [diff] [blame] | 44 | cl::Hidden, cl::location(getLibSupportInfoOutputFilename())); |
Chris Lattner | 3f39849 | 2003-01-30 23:08:50 +0000 | [diff] [blame] | 45 | } |
| 46 | |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 47 | static TimerGroup *DefaultTimerGroup = 0; |
| 48 | static TimerGroup *getDefaultTimerGroup() { |
| 49 | if (DefaultTimerGroup) return DefaultTimerGroup; |
| 50 | return DefaultTimerGroup = new TimerGroup("Miscellaneous Ungrouped Timers"); |
| 51 | } |
| 52 | |
| 53 | Timer::Timer(const std::string &N) |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 54 | : Elapsed(0), UserTime(0), SystemTime(0), MemUsed(0), PeakMem(0), Name(N), |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 55 | Started(false), TG(getDefaultTimerGroup()) { |
| 56 | TG->addTimer(); |
| 57 | } |
| 58 | |
| 59 | Timer::Timer(const std::string &N, TimerGroup &tg) |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 60 | : Elapsed(0), UserTime(0), SystemTime(0), MemUsed(0), PeakMem(0), Name(N), |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 61 | Started(false), TG(&tg) { |
| 62 | TG->addTimer(); |
| 63 | } |
| 64 | |
| 65 | Timer::Timer(const Timer &T) { |
| 66 | TG = T.TG; |
| 67 | if (TG) TG->addTimer(); |
| 68 | operator=(T); |
| 69 | } |
| 70 | |
| 71 | |
| 72 | // Copy ctor, initialize with no TG member. |
| 73 | Timer::Timer(bool, const Timer &T) { |
| 74 | TG = T.TG; // Avoid assertion in operator= |
| 75 | operator=(T); // Copy contents |
| 76 | TG = 0; |
| 77 | } |
| 78 | |
| 79 | |
| 80 | Timer::~Timer() { |
| 81 | if (TG) { |
| 82 | if (Started) { |
| 83 | Started = false; |
| 84 | TG->addTimerToPrint(*this); |
| 85 | } |
| 86 | TG->removeTimer(); |
| 87 | } |
| 88 | } |
| 89 | |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 90 | static long getMemUsage() { |
John Criswell | 7a73b80 | 2003-06-30 21:59:07 +0000 | [diff] [blame] | 91 | #ifdef HAVE_MALLINFO |
Chris Lattner | 3f39849 | 2003-01-30 23:08:50 +0000 | [diff] [blame] | 92 | if (TrackSpace) { |
| 93 | struct mallinfo MI = mallinfo(); |
Chris Lattner | e040f97 | 2003-02-13 05:07:53 +0000 | [diff] [blame] | 94 | return MI.uordblks/*+MI.hblkhd*/; |
Chris Lattner | 3f39849 | 2003-01-30 23:08:50 +0000 | [diff] [blame] | 95 | } |
John Criswell | 7a73b80 | 2003-06-30 21:59:07 +0000 | [diff] [blame] | 96 | #endif |
Brian Gaeke | 8c63883 | 2003-06-17 19:54:00 +0000 | [diff] [blame] | 97 | return 0; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 98 | } |
| 99 | |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 100 | struct TimeRecord { |
| 101 | double Elapsed, UserTime, SystemTime; |
Chris Lattner | 18eba91 | 2002-11-04 19:19:36 +0000 | [diff] [blame] | 102 | long MemUsed; |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 103 | }; |
| 104 | |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 105 | static TimeRecord getTimeRecord(bool Start) { |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 106 | struct rusage RU; |
| 107 | struct timeval T; |
Chris Lattner | bbe5ac1 | 2003-02-05 21:44:28 +0000 | [diff] [blame] | 108 | long MemUsed = 0; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 109 | if (Start) { |
| 110 | MemUsed = getMemUsage(); |
| 111 | if (getrusage(RUSAGE_SELF, &RU)) |
| 112 | perror("getrusage call failed: -time-passes info incorrect!"); |
| 113 | } |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 114 | gettimeofday(&T, 0); |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 115 | |
| 116 | if (!Start) { |
| 117 | MemUsed = getMemUsage(); |
| 118 | if (getrusage(RUSAGE_SELF, &RU)) |
| 119 | perror("getrusage call failed: -time-passes info incorrect!"); |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 120 | } |
| 121 | |
| 122 | TimeRecord Result; |
| 123 | Result.Elapsed = T.tv_sec + T.tv_usec/1000000.0; |
| 124 | Result.UserTime = RU.ru_utime.tv_sec + RU.ru_utime.tv_usec/1000000.0; |
| 125 | Result.SystemTime = RU.ru_stime.tv_sec + RU.ru_stime.tv_usec/1000000.0; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 126 | Result.MemUsed = MemUsed; |
| 127 | |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 128 | return Result; |
| 129 | } |
| 130 | |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 131 | static std::vector<Timer*> ActiveTimers; |
| 132 | |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 133 | void Timer::startTimer() { |
| 134 | Started = true; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 135 | TimeRecord TR = getTimeRecord(true); |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 136 | Elapsed -= TR.Elapsed; |
| 137 | UserTime -= TR.UserTime; |
| 138 | SystemTime -= TR.SystemTime; |
Chris Lattner | 18eba91 | 2002-11-04 19:19:36 +0000 | [diff] [blame] | 139 | MemUsed -= TR.MemUsed; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 140 | PeakMemBase = TR.MemUsed; |
| 141 | ActiveTimers.push_back(this); |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | void Timer::stopTimer() { |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 145 | TimeRecord TR = getTimeRecord(false); |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 146 | Elapsed += TR.Elapsed; |
| 147 | UserTime += TR.UserTime; |
| 148 | SystemTime += TR.SystemTime; |
Chris Lattner | 18eba91 | 2002-11-04 19:19:36 +0000 | [diff] [blame] | 149 | MemUsed += TR.MemUsed; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 150 | |
| 151 | if (ActiveTimers.back() == this) { |
| 152 | ActiveTimers.pop_back(); |
| 153 | } else { |
| 154 | std::vector<Timer*>::iterator I = |
| 155 | std::find(ActiveTimers.begin(), ActiveTimers.end(), this); |
| 156 | assert(I != ActiveTimers.end() && "stop but no startTimer?"); |
| 157 | ActiveTimers.erase(I); |
| 158 | } |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 159 | } |
| 160 | |
| 161 | void Timer::sum(const Timer &T) { |
| 162 | Elapsed += T.Elapsed; |
| 163 | UserTime += T.UserTime; |
| 164 | SystemTime += T.SystemTime; |
Chris Lattner | 18eba91 | 2002-11-04 19:19:36 +0000 | [diff] [blame] | 165 | MemUsed += T.MemUsed; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 166 | PeakMem += T.PeakMem; |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 167 | } |
| 168 | |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 169 | /// addPeakMemoryMeasurement - This method should be called whenever memory |
| 170 | /// usage needs to be checked. It adds a peak memory measurement to the |
| 171 | /// currently active timers, which will be printed when the timer group prints |
| 172 | /// |
| 173 | void Timer::addPeakMemoryMeasurement() { |
| 174 | long MemUsed = getMemUsage(); |
| 175 | |
| 176 | for (std::vector<Timer*>::iterator I = ActiveTimers.begin(), |
| 177 | E = ActiveTimers.end(); I != E; ++I) |
| 178 | (*I)->PeakMem = std::max((*I)->PeakMem, MemUsed-(*I)->PeakMemBase); |
| 179 | } |
| 180 | |
| 181 | |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 182 | //===----------------------------------------------------------------------===// |
| 183 | // TimerGroup Implementation |
| 184 | //===----------------------------------------------------------------------===// |
| 185 | |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 186 | // printAlignedFP - Simulate the printf "%A.Bf" format, where A is the |
| 187 | // TotalWidth size, and B is the AfterDec size. |
| 188 | // |
| 189 | static void printAlignedFP(double Val, unsigned AfterDec, unsigned TotalWidth, |
| 190 | std::ostream &OS) { |
| 191 | assert(TotalWidth >= AfterDec+1 && "Bad FP Format!"); |
| 192 | OS.width(TotalWidth-AfterDec-1); |
| 193 | char OldFill = OS.fill(); |
| 194 | OS.fill(' '); |
| 195 | OS << (int)Val; // Integer part; |
| 196 | OS << "."; |
| 197 | OS.width(AfterDec); |
| 198 | OS.fill('0'); |
| 199 | unsigned ResultFieldSize = 1; |
| 200 | while (AfterDec--) ResultFieldSize *= 10; |
| 201 | OS << (int)(Val*ResultFieldSize) % ResultFieldSize; |
| 202 | OS.fill(OldFill); |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 203 | } |
| 204 | |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 205 | static void printVal(double Val, double Total, std::ostream &OS) { |
| 206 | if (Total < 1e-7) // Avoid dividing by zero... |
| 207 | OS << " ----- "; |
| 208 | else { |
| 209 | OS << " "; |
| 210 | printAlignedFP(Val, 4, 7, OS); |
| 211 | OS << " ("; |
| 212 | printAlignedFP(Val*100/Total, 1, 5, OS); |
| 213 | OS << "%)"; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 214 | } |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 215 | } |
| 216 | |
| 217 | void Timer::print(const Timer &Total, std::ostream &OS) { |
| 218 | if (Total.UserTime) |
| 219 | printVal(UserTime, Total.UserTime, OS); |
| 220 | if (Total.SystemTime) |
| 221 | printVal(SystemTime, Total.SystemTime, OS); |
| 222 | if (Total.getProcessTime()) |
| 223 | printVal(getProcessTime(), Total.getProcessTime(), OS); |
| 224 | printVal(Elapsed, Total.Elapsed, OS); |
| 225 | |
| 226 | OS << " "; |
| 227 | |
| 228 | if (Total.MemUsed) { |
| 229 | OS.width(9); |
| 230 | OS << MemUsed << " "; |
| 231 | } |
| 232 | if (Total.PeakMem) { |
| 233 | if (PeakMem) { |
| 234 | OS.width(9); |
| 235 | OS << PeakMem << " "; |
| 236 | } else |
| 237 | OS << " "; |
| 238 | } |
| 239 | OS << Name << "\n"; |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 240 | |
| 241 | Started = false; // Once printed, don't print again |
| 242 | } |
| 243 | |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 244 | // GetLibSupportInfoOutputFile - Return a file stream to print our output on... |
| 245 | std::ostream *GetLibSupportInfoOutputFile() { |
Chris Lattner | 71336a9 | 2003-07-31 19:38:34 +0000 | [diff] [blame] | 246 | std::string &LibSupportInfoOutputFilename = getLibSupportInfoOutputFilename(); |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 247 | if (LibSupportInfoOutputFilename.empty()) |
| 248 | return &std::cerr; |
| 249 | if (LibSupportInfoOutputFilename == "-") |
| 250 | return &std::cout; |
| 251 | |
| 252 | std::ostream *Result = new std::ofstream(LibSupportInfoOutputFilename.c_str(), |
Chris Lattner | 903c2d1 | 2003-06-06 22:13:01 +0000 | [diff] [blame] | 253 | std::ios::app); |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 254 | if (!Result->good()) { |
| 255 | std::cerr << "Error opening info-output-file '" |
| 256 | << LibSupportInfoOutputFilename << " for appending!\n"; |
| 257 | delete Result; |
| 258 | return &std::cerr; |
| 259 | } |
| 260 | return Result; |
| 261 | } |
| 262 | |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 263 | |
| 264 | void TimerGroup::removeTimer() { |
| 265 | if (--NumTimers == 0 && !TimersToPrint.empty()) { // Print timing report... |
| 266 | // Sort the timers in descending order by amount of time taken... |
| 267 | std::sort(TimersToPrint.begin(), TimersToPrint.end(), |
| 268 | std::greater<Timer>()); |
| 269 | |
| 270 | // Figure out how many spaces to indent TimerGroup name... |
| 271 | unsigned Padding = (80-Name.length())/2; |
| 272 | if (Padding > 80) Padding = 0; // Don't allow "negative" numbers |
| 273 | |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 274 | std::ostream *OutStream = GetLibSupportInfoOutputFile(); |
| 275 | |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 276 | ++NumTimers; |
| 277 | { // Scope to contain Total timer... don't allow total timer to drop us to |
| 278 | // zero timers... |
| 279 | Timer Total("TOTAL"); |
| 280 | |
| 281 | for (unsigned i = 0, e = TimersToPrint.size(); i != e; ++i) |
| 282 | Total.sum(TimersToPrint[i]); |
| 283 | |
| 284 | // Print out timing header... |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 285 | *OutStream << "===" << std::string(73, '-') << "===\n" |
| 286 | << std::string(Padding, ' ') << Name << "\n" |
| 287 | << "===" << std::string(73, '-') |
| 288 | << "===\n Total Execution Time: "; |
Chris Lattner | 8166b7c | 2003-02-13 16:25:28 +0000 | [diff] [blame] | 289 | |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 290 | printAlignedFP(Total.getProcessTime(), 4, 5, *OutStream); |
| 291 | *OutStream << " seconds ("; |
| 292 | printAlignedFP(Total.getWallTime(), 4, 5, *OutStream); |
| 293 | *OutStream << " wall clock)\n\n"; |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 294 | |
| 295 | if (Total.UserTime) |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 296 | *OutStream << " ---User Time---"; |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 297 | if (Total.SystemTime) |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 298 | *OutStream << " --System Time--"; |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 299 | if (Total.getProcessTime()) |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 300 | *OutStream << " --User+System--"; |
| 301 | *OutStream << " ---Wall Time---"; |
Chris Lattner | 18eba91 | 2002-11-04 19:19:36 +0000 | [diff] [blame] | 302 | if (Total.getMemUsed()) |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 303 | *OutStream << " ---Mem---"; |
Chris Lattner | 8f0d824 | 2002-11-18 21:47:09 +0000 | [diff] [blame] | 304 | if (Total.getPeakMem()) |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 305 | *OutStream << " -PeakMem-"; |
| 306 | *OutStream << " --- Name ---\n"; |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 307 | |
| 308 | // Loop through all of the timing data, printing it out... |
| 309 | for (unsigned i = 0, e = TimersToPrint.size(); i != e; ++i) |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 310 | TimersToPrint[i].print(Total, *OutStream); |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 311 | |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 312 | Total.print(Total, *OutStream); |
| 313 | *OutStream << std::endl; // Flush output |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 314 | } |
| 315 | --NumTimers; |
| 316 | |
| 317 | TimersToPrint.clear(); |
Chris Lattner | f205fec | 2003-05-09 20:05:44 +0000 | [diff] [blame] | 318 | |
| 319 | if (OutStream != &std::cerr && OutStream != &std::cout) |
| 320 | delete OutStream; // Close the file... |
Chris Lattner | 6c38a79 | 2002-10-01 19:36:54 +0000 | [diff] [blame] | 321 | } |
| 322 | |
| 323 | // Delete default timer group! |
| 324 | if (NumTimers == 0 && this == DefaultTimerGroup) { |
| 325 | delete DefaultTimerGroup; |
| 326 | DefaultTimerGroup = 0; |
| 327 | } |
| 328 | } |