+ 'sv/av_opcodes': 'Audio and Video Opcodes',
+ 'av_opcodes': 'Audio and Video Opcodes',
+ 'sv/vector_ops': 'SV Vector ops',
+ 'sv/int_fp_mv': 'FP/Int Conversion ops',
+ 'sv/bitmanip': 'Bitmanip ops',
+ 'sv/cr_int_predication': 'CR Weird ops',
+ 'cr_int_predication': 'CR Weird ops',
+ 'sv/fclass': 'FP Class ops',
+ 'sv/biginteger': 'Big Integer',
+ 'sv/biginteger/analysis': 'Big Integer Analysis',
+ 'isa/svfparith': 'Floating Point pseudocode',
+ 'isa/svfixedarith': 'Fixed Point pseudocode',
+ 'openpower/isa/branch': 'Branch pseudocode',
+ 'openpower/transcendentals': 'Transcendentals',
+ }
+ if link.startswith("ls") and link[2].isdigit():
+ out.write(" found RFC %s\n" % link)
+ return [Link(['', [], []],
+ [Str("{RFC "+link+"}")],
+ ['#%s' % link, '']), Str(v[find_brack+2:])]