1 # Pretty-printers for bounds registers. 2 # Copyright (C) 2013-2016 Free Software Foundation, Inc. 3 4 # This program is free software; you can redistribute it and/or modify 5 # it under the terms of the GNU General Public License as published by 6 # the Free Software Foundation; either version 3 of the License, or 7 # (at your option) any later version. 8 # 9 # This program is distributed in the hope that it will be useful, 10 # but WITHOUT ANY WARRANTY; without even the implied warranty of 11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 12 # GNU General Public License for more details. 13 # 14 # You should have received a copy of the GNU General Public License 15 # along with this program. If not, see <http://www.gnu.org/licenses/>. 16 17 import gdb.printing 18 19 class MpxBound128Printer: 20 """Adds size field to a mpx __gdb_builtin_type_bound128 type.""" 21 22 def __init__ (self, val): 23 self.val = val 24 25 def to_string (self): 26 upper = self.val["ubound"] 27 lower = self.val["lbound"] 28 size = (long) ((upper) - (lower)) 29 if size > -1: 30 size = size + 1 31 result = '{lbound = %s, ubound = %s} : size %s' % (lower, upper, size) 32 return result 33 34 gdb.printing.add_builtin_pretty_printer ('mpx_bound128', 35 '^__gdb_builtin_type_bound128', 36 MpxBound128Printer) 37