libsel4/tools/bitfield_gen.py

259     ret = (%(block)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d;
272     """%(r_shift_op)s %(shift)d;
284     %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
286     %(block)s.words[%(index)d] |= (v%(base)d %(w_shift_op)s %(shift)d) & 0x%(mask)x%(suf)s;
294     %(assert)s((((~0x%(mask)x %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
297     """%(shift)d) & 0x%(mask)x;
327     ret = (%(union)s.words[%(index)d] & 0x%(mask)x%(suf)s) %(r_shift_op)s %(shift)d;
344     """%(r_shift_op)s %(shift)d;
358     %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d ) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
361     %(union)s.words[%(index)d] |= (v%(base)d %(w_shift_op)s %(shift)d) & 0x%(mask)x%(suf)s;
374     %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
378     """(v%(base)d %(w_shift_op)s %(shift)d) & 0x%(mask)x%(suf)s;
388         return (%(union)s.words[%(index)d] >> %(shift)d) & 0x%(mask)x%(suf)s;
392 """    return (%(union)s.words[%(index)d] >> %(shift)d) & 0x%(mask)x%(suf)s;"""
405         return ((%(union)s.words[%(index)d] >> %(shift)d) & 0x%(mask)x%(suf)s) == %(union)s_type_tag;
409 """    return ((%(union)s.words[%(index)d] >> %(shift)d) & 0x%(mask)x%(suf)s) == %(union)s_type_tag;"""
422         return (%(union)s_ptr->words[%(index)d] >> %(shift)d) & 0x%(mask)x%(suf)s;
426 """    return (%(union)s_ptr->words[%(index)d] >> %(shift)d) & 0x%(mask)x%(suf)s;"""
436     %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
439     %(union)s.words[%(index)d] |= (v%(base)d << %(shift)d) & 0x%(mask)x%(suf)s;
447     %(assert)s((((~0x%(mask)x%(suf)s %(r_shift_op)s %(shift)d) | 0x%(high_bits)x) & v%(base)d) == ((%(sign_extend)d && (v%(base)d & (1%(suf)s << (%(extend_bit)d)))) ? 0x%(high_bits)x : 0));
450     %(union)s_ptr->words[%(index)d] |= (v%(base)d << %(shift)d) & 0x%(mask)x%(suf)s;
1608                     shift = self.base_bits - size - (offset % self.base)
1609                     if shift < 0:
1610                         shift = -shift
1616                     shift = offset % self.base
1621                      index, shift_op, shift)
1720                               shift=self.tag_offset[width] % self.base)
1736                               shift=self.tag_offset[width] % self.base)
1752                               shift=self.tag_offset[width] % self.base)
1785                     shift = self.base_bits - size - (offset % self.base)
1790                     if shift < 0:
1791                         shift = -shift
1795                     shift = offset % self.base
1810                         "(%s & 0x%x%s) %s %d" % (f_value, mask, suf, shift_op, shift))
1813                     field_updates[index].append("%s %s %d" % (f_value, shift_op, shift))
1850                     shift = self.base_bits - size - (offset % self.base)
1851                     if shift < 0:
1852                         shift = -shift
1862                     shift = offset % self.base
1873                     "shift": shift, \
2196                     shift = self.base_bits - size - (offset % self.base)
2197                     if shift < 0:
2198                         shift = -shift
2204                     shift = offset % self.base
2209                      index, shift_op, shift)
2395                 shift = self.base_bits - size - (offset % self.base)
2400                 if shift < 0:
2401                     shift = -shift
2405                 shift = offset % self.base
2420                     "(%s & 0x%x%s) %s %d" % (field, mask, suf, shift_op, shift))
2423                 field_updates[index].append("%s %s %d;" % (field, shift_op, shift))
2454                 shift = self.base_bits - size - (offset % self.base)
2455                 if shift < 0:
2456                     shift = -shift
2466                 shift = offset % self.base
2477                 "shift": shift, \