/usr/lib/x86_64-linux-gnu/libisl.so.8.0.0-gdb.py is in libisl-dbg 0.08-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 | import gdb
import re
# GDB Pretty Printers for most isl objects
class IslObjectPrinter:
"""Print an isl object"""
def __init__ (self, val, type):
self.val = val
self.type = type
def to_string (self):
# Cast val to a void pointer to stop gdb using this pretty
# printer for the pointer which would lead to an infinite loop.
void_ptr = gdb.lookup_type('void').pointer()
value = str(self.val.cast(void_ptr))
printer = gdb.parse_and_eval("isl_printer_to_str(isl_"
+ str(self.type)
+ "_get_ctx(" + value + "))")
printer = gdb.parse_and_eval("isl_printer_print_"
+ str(self.type) + "("
+ str(printer) + ", "
+ value + ")")
string = gdb.parse_and_eval("(char*)isl_printer_get_str("
+ str(printer) + ")")
gdb.parse_and_eval("isl_printer_free(" + str(printer) + ")")
return string
def display_hint (self):
return 'string'
class IslIntPrinter:
"""Print an isl_int """
def __init__ (self, val):
self.val = val
def to_string (self):
# Cast val to a void pointer to stop gdb using this pretty
# printer for the pointer which would lead to an infinite loop.
void_ptr = gdb.lookup_type('void').pointer()
value = str(self.val.cast(void_ptr))
context = gdb.parse_and_eval("isl_ctx_alloc()")
printer = gdb.parse_and_eval("isl_printer_to_str("
+ str(context) + ")")
printer = gdb.parse_and_eval("isl_printer_print_isl_int("
+ str(printer) + ", "
+ value + ")")
string = gdb.parse_and_eval("(char*)isl_printer_get_str("
+ str(printer) + ")")
gdb.parse_and_eval("isl_printer_free(" + str(printer) + ")")
gdb.parse_and_eval("isl_ctx_free(" + str(context) + ")")
return string
def display_hint (self):
return 'string'
class IslPrintCommand (gdb.Command):
"""Print an isl value."""
def __init__ (self):
super (IslPrintCommand, self).__init__ ("islprint",
gdb.COMMAND_OBSCURE)
def invoke (self, arg, from_tty):
arg = gdb.parse_and_eval(arg);
printer = str_lookup_function(arg)
if printer == None:
print "No isl printer for this type"
return
print printer.to_string()
IslPrintCommand()
def str_lookup_function (val):
if val.type.code != gdb.TYPE_CODE_PTR:
if str(val.type) == "isl_int":
return IslIntPrinter(val)
else:
return None
lookup_tag = val.type.target()
regex = re.compile ("^isl_(.*)$")
if lookup_tag == None:
return None
m = regex.match (str(lookup_tag))
if m:
# Those types of printers defined in isl.
if m.group(1) in ["basic_set", "set", "union_set", "basic_map",
"map", "union_map", "qpolynomial",
"pw_qpolynomial", "pw_qpolynomial_fold",
"union_pw_qpolynomial",
"union_pw_qpolynomial_fold"]:
return IslObjectPrinter(val, m.group(1))
return None
# Do not register the pretty printer.
# gdb.current_objfile().pretty_printers.append(str_lookup_function)
|