tools/libsel4_tools/bitfield_gen.py

1234 def field_mask_proof(base, base_bits, sign_extend, high, size):
1235     if high:
1245 def sign_extend_proof(high, base_bits, base_sign_extend):
1246     if high and base_sign_extend:
1310                 raise ValueError("Tag field is high-aligned for element %s"
1442                     offset, size, high = ref.field_map[field]
1448                                             self.base_sign_extend, high, size)
1449                     sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1480             for (field, offset, size, high) in ref.fields:
1485                                         self.base_sign_extend, high, size)
1486                 sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
1661                 offset, size, high = ref.field_map[field]
1669                 if high:
1688                                             self.base_sign_extend, high, size)
1840                 offset, size, high = ref.field_map[field]
1848                 if high:
1864                     if high:
1908             for field, offset, size, high in ref.fields:
1914                 if high:
1951                     "sign_extend": self.base_sign_extend and high,
2193         self.field_map = dict((name, (offset, size, high))
2194                               for name, offset, size, high in _fields)
2220         for name, offset, size, high in self.fields:
2259                 offset, size, high = self.field_map[name]
2264                 if high:
2283                                             self.base_sign_extend, high, size)
2346             offset, size, high = self.field_map[field]
2347             mask = field_mask_proof(self.base, self.base_bits, self.base_sign_extend, high, size)
2348             sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2369         for (field, offset, size, high) in self.fields:
2370             mask = field_mask_proof(self.base, self.base_bits, self.base_sign_extend, high, size)
2371             sign_extend = sign_extend_proof(high, self.base_bits, self.base_sign_extend)
2462         for field, offset, size, high in self.fields:
2464             if high:
2480                 if high:
2521         for field, offset, size, high in self.fields:
2523             if high:
2556                 "sign_extend": self.base_sign_extend and high,
2611         for field, offset, size, high in self.fields: