147,148c147,150
< def serializing(self):
< self.serializing = True
---
> def serializeBefore(self):
> self.serialize_before = True
> def serializeAfter(self):
> self.serialize_after = True
161c163,164
< "serializing" : self.serializing,
---
> "serialize_before" : self.serializeBefore,
> "serialize_after" : self.serializeAfter,
178c181,182
< self.serializing = False
---
> self.serialize_before = False
> self.serialize_after = False
208a213,219
> if micropc == 0:
> flags.append("IsFirstMicroop")
>
> if self.serialize_before:
> flags.append("IsSerializing")
> flags.append("IsSerializeBefore")
>
212c223
< if self.serializing:
---
> if self.serialize_after:
222,223c233
< if micropc == 0:
< flags.append("IsFirstMicroop")
---
>