Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 1 | #!/usr/bin/env python2.7 |
| 2 | |
| 3 | from __future__ import print_function |
| 4 | |
| 5 | import yaml |
| 6 | # Try to use the C parser. |
| 7 | try: |
| 8 | from yaml import CLoader as Loader |
| 9 | except ImportError: |
| 10 | print("For faster parsing, you may want to install libYAML for PyYAML") |
| 11 | from yaml import Loader |
| 12 | |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 13 | import cgi |
Brian Gesiak | 5e0a946 | 2017-06-29 18:56:25 +0000 | [diff] [blame] | 14 | from collections import defaultdict |
Adam Nemet | 659d7db | 2017-07-17 18:00:41 +0000 | [diff] [blame] | 15 | import fnmatch |
Brian Gesiak | 5e0a946 | 2017-06-29 18:56:25 +0000 | [diff] [blame] | 16 | import functools |
| 17 | from multiprocessing import Lock |
Adam Nemet | 659d7db | 2017-07-17 18:00:41 +0000 | [diff] [blame] | 18 | import os, os.path |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 19 | import subprocess |
| 20 | |
Brian Gesiak | 5e0a946 | 2017-06-29 18:56:25 +0000 | [diff] [blame] | 21 | import optpmap |
| 22 | |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 23 | |
| 24 | p = subprocess.Popen(['c++filt', '-n'], stdin=subprocess.PIPE, stdout=subprocess.PIPE) |
| 25 | p_lock = Lock() |
| 26 | |
| 27 | |
Brian Gesiak | 9b4e897 | 2017-06-26 16:51:24 +0000 | [diff] [blame] | 28 | try: |
| 29 | dict.iteritems |
| 30 | except AttributeError: |
| 31 | # Python 3 |
| 32 | def itervalues(d): |
| 33 | return iter(d.values()) |
| 34 | def iteritems(d): |
| 35 | return iter(d.items()) |
| 36 | else: |
| 37 | # Python 2 |
| 38 | def itervalues(d): |
| 39 | return d.itervalues() |
| 40 | def iteritems(d): |
| 41 | return d.iteritems() |
| 42 | |
| 43 | |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 44 | def demangle(name): |
| 45 | with p_lock: |
Brian Gesiak | d3a0571 | 2017-06-29 18:47:31 +0000 | [diff] [blame] | 46 | p.stdin.write((name + '\n').encode('utf-8')) |
| 47 | p.stdin.flush() |
| 48 | return p.stdout.readline().rstrip().decode('utf-8') |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 49 | |
Brian Gesiak | 9b4e897 | 2017-06-26 16:51:24 +0000 | [diff] [blame] | 50 | |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 51 | def html_file_name(filename): |
Brian Gesiak | a886997 | 2017-07-18 19:25:34 +0000 | [diff] [blame] | 52 | return filename.replace('/', '_').replace('#', '_') + ".html" |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 53 | |
Brian Gesiak | 9b4e897 | 2017-06-26 16:51:24 +0000 | [diff] [blame] | 54 | |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 55 | def make_link(File, Line): |
Filipe Cabecinhas | cc07564 | 2017-06-07 14:57:20 +0000 | [diff] [blame] | 56 | return "\"{}#L{}\"".format(html_file_name(File), Line) |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 57 | |
| 58 | |
| 59 | class Remark(yaml.YAMLObject): |
| 60 | # Work-around for http://pyyaml.org/ticket/154. |
| 61 | yaml_loader = Loader |
| 62 | |
Adam Nemet | a8b692a | 2017-03-02 17:00:53 +0000 | [diff] [blame] | 63 | def initmissing(self): |
| 64 | if not hasattr(self, 'Hotness'): |
| 65 | self.Hotness = 0 |
| 66 | if not hasattr(self, 'Args'): |
| 67 | self.Args = [] |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 68 | |
| 69 | @property |
| 70 | def File(self): |
| 71 | return self.DebugLoc['File'] |
| 72 | |
| 73 | @property |
| 74 | def Line(self): |
| 75 | return int(self.DebugLoc['Line']) |
| 76 | |
| 77 | @property |
| 78 | def Column(self): |
| 79 | return self.DebugLoc['Column'] |
| 80 | |
| 81 | @property |
| 82 | def DebugLocString(self): |
| 83 | return "{}:{}:{}".format(self.File, self.Line, self.Column) |
| 84 | |
| 85 | @property |
| 86 | def DemangledFunctionName(self): |
| 87 | return demangle(self.Function) |
| 88 | |
| 89 | @property |
| 90 | def Link(self): |
| 91 | return make_link(self.File, self.Line) |
| 92 | |
| 93 | def getArgString(self, mapping): |
| 94 | mapping = mapping.copy() |
| 95 | dl = mapping.get('DebugLoc') |
| 96 | if dl: |
| 97 | del mapping['DebugLoc'] |
| 98 | |
| 99 | assert(len(mapping) == 1) |
| 100 | (key, value) = mapping.items()[0] |
| 101 | |
| 102 | if key == 'Caller' or key == 'Callee': |
| 103 | value = cgi.escape(demangle(value)) |
| 104 | |
| 105 | if dl and key != 'Caller': |
| 106 | return "<a href={}>{}</a>".format( |
| 107 | make_link(dl['File'], dl['Line']), value) |
| 108 | else: |
| 109 | return value |
| 110 | |
Adam Nemet | 6ab2d48 | 2017-03-02 17:00:59 +0000 | [diff] [blame] | 111 | def getDiffPrefix(self): |
| 112 | if hasattr(self, 'Added'): |
| 113 | if self.Added: |
| 114 | return '+' |
| 115 | else: |
| 116 | return '-' |
| 117 | return '' |
| 118 | |
| 119 | @property |
| 120 | def PassWithDiffPrefix(self): |
| 121 | return self.getDiffPrefix() + self.Pass |
| 122 | |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 123 | @property |
| 124 | def message(self): |
| 125 | # Args is a list of mappings (dictionaries) |
| 126 | values = [self.getArgString(mapping) for mapping in self.Args] |
| 127 | return "".join(values) |
| 128 | |
| 129 | @property |
| 130 | def RelativeHotness(self): |
| 131 | if self.max_hotness: |
| 132 | return "{}%".format(int(round(self.Hotness * 100 / self.max_hotness))) |
| 133 | else: |
| 134 | return '' |
| 135 | |
| 136 | @property |
| 137 | def key(self): |
Adam Nemet | 6ab2d48 | 2017-03-02 17:00:59 +0000 | [diff] [blame] | 138 | k = (self.__class__, self.PassWithDiffPrefix, self.Name, self.File, self.Line, self.Column, self.Function) |
Adam Nemet | 7370dad | 2017-03-02 17:00:56 +0000 | [diff] [blame] | 139 | for arg in self.Args: |
Brian Gesiak | 9b4e897 | 2017-06-26 16:51:24 +0000 | [diff] [blame] | 140 | for (key, value) in iteritems(arg): |
Adam Nemet | 7370dad | 2017-03-02 17:00:56 +0000 | [diff] [blame] | 141 | if type(value) is dict: |
| 142 | value = tuple(value.items()) |
| 143 | k += (key, value) |
| 144 | return k |
| 145 | |
| 146 | def __hash__(self): |
| 147 | return hash(self.key) |
| 148 | |
| 149 | def __eq__(self, other): |
| 150 | return self.key == other.key |
| 151 | |
| 152 | def __repr__(self): |
| 153 | return str(self.key) |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 154 | |
| 155 | |
| 156 | class Analysis(Remark): |
| 157 | yaml_tag = '!Analysis' |
| 158 | |
| 159 | @property |
| 160 | def color(self): |
| 161 | return "white" |
| 162 | |
| 163 | |
| 164 | class AnalysisFPCommute(Analysis): |
| 165 | yaml_tag = '!AnalysisFPCommute' |
| 166 | |
| 167 | |
| 168 | class AnalysisAliasing(Analysis): |
| 169 | yaml_tag = '!AnalysisAliasing' |
| 170 | |
| 171 | |
| 172 | class Passed(Remark): |
| 173 | yaml_tag = '!Passed' |
| 174 | |
| 175 | @property |
| 176 | def color(self): |
| 177 | return "green" |
| 178 | |
| 179 | |
| 180 | class Missed(Remark): |
| 181 | yaml_tag = '!Missed' |
| 182 | |
| 183 | @property |
| 184 | def color(self): |
| 185 | return "red" |
| 186 | |
| 187 | |
| 188 | def get_remarks(input_file): |
| 189 | max_hotness = 0 |
| 190 | all_remarks = dict() |
| 191 | file_remarks = defaultdict(functools.partial(defaultdict, list)) |
| 192 | |
| 193 | with open(input_file) as f: |
| 194 | docs = yaml.load_all(f, Loader=Loader) |
| 195 | for remark in docs: |
Adam Nemet | a8b692a | 2017-03-02 17:00:53 +0000 | [diff] [blame] | 196 | remark.initmissing() |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 197 | # Avoid remarks withoug debug location or if they are duplicated |
| 198 | if not hasattr(remark, 'DebugLoc') or remark.key in all_remarks: |
| 199 | continue |
| 200 | all_remarks[remark.key] = remark |
| 201 | |
| 202 | file_remarks[remark.File][remark.Line].append(remark) |
| 203 | |
Adam Nemet | 6ab2d48 | 2017-03-02 17:00:59 +0000 | [diff] [blame] | 204 | # If we're reading a back a diff yaml file, max_hotness is already |
| 205 | # captured which may actually be less than the max hotness found |
| 206 | # in the file. |
| 207 | if hasattr(remark, 'max_hotness'): |
| 208 | max_hotness = remark.max_hotness |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 209 | max_hotness = max(max_hotness, remark.Hotness) |
| 210 | |
| 211 | return max_hotness, all_remarks, file_remarks |
| 212 | |
| 213 | |
Brian Gesiak | 5e0a946 | 2017-06-29 18:56:25 +0000 | [diff] [blame] | 214 | def gather_results(filenames, num_jobs, should_print_progress): |
| 215 | if should_print_progress: |
| 216 | print('Reading YAML files...') |
| 217 | remarks = optpmap.pmap( |
| 218 | get_remarks, filenames, num_jobs, should_print_progress) |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 219 | max_hotness = max(entry[0] for entry in remarks) |
| 220 | |
| 221 | def merge_file_remarks(file_remarks_job, all_remarks, merged): |
Brian Gesiak | 9b4e897 | 2017-06-26 16:51:24 +0000 | [diff] [blame] | 222 | for filename, d in iteritems(file_remarks_job): |
| 223 | for line, remarks in iteritems(d): |
Adam Nemet | b7278af | 2017-03-01 21:35:00 +0000 | [diff] [blame] | 224 | for remark in remarks: |
| 225 | # Bring max_hotness into the remarks so that |
| 226 | # RelativeHotness does not depend on an external global. |
| 227 | remark.max_hotness = max_hotness |
| 228 | if remark.key not in all_remarks: |
| 229 | merged[filename][line].append(remark) |
| 230 | |
| 231 | all_remarks = dict() |
| 232 | file_remarks = defaultdict(functools.partial(defaultdict, list)) |
| 233 | for _, all_remarks_job, file_remarks_job in remarks: |
| 234 | merge_file_remarks(file_remarks_job, all_remarks, file_remarks) |
| 235 | all_remarks.update(all_remarks_job) |
| 236 | |
| 237 | return all_remarks, file_remarks, max_hotness != 0 |
Adam Nemet | 659d7db | 2017-07-17 18:00:41 +0000 | [diff] [blame] | 238 | |
| 239 | |
| 240 | def find_opt_files(dirs_or_files): |
| 241 | all = [] |
| 242 | for dir_or_file in dirs_or_files: |
| 243 | if os.path.isfile(dir_or_file): |
| 244 | all.append(dir_or_file) |
| 245 | else: |
| 246 | for dir, subdirs, files in os.walk(dir_or_file): |
| 247 | # Exclude mounted directories and symlinks (os.walk default). |
| 248 | subdirs[:] = [d for d in subdirs |
| 249 | if not os.path.ismount(os.path.join(dir, d))] |
| 250 | for file in files: |
| 251 | if fnmatch.fnmatch(file, "*.opt.yaml"): |
| 252 | all.append(os.path.join(dir, file)) |
| 253 | return all |