27a28,29
> //
> // Authors: Steve Reinhardt
81c83
< }}, mem_flags = LOCKED, inst_flags = IsStoreConditional);
---
> }}, mem_flags = LOCKED);
93c95
< }}, mem_flags = LOCKED, inst_flags = IsStoreConditional);
---
> }}, mem_flags = LOCKED);
599,600c601,602
< 0x024: mt_fpcr({{ FPCR = Fa.uq; }}, IsIprAccess);
< 0x025: mf_fpcr({{ Fa.uq = FPCR; }}, IsIprAccess);
---
> 0x024: mt_fpcr({{ FPCR = Fa.uq; }});
> 0x025: mf_fpcr({{ Fa.uq = FPCR; }});
631c633
< }}, IsUnverifiable);
---
> }});
649,650c651,652
< 0x0000: trapb({{ }}, IsSerializing, IsSerializeBefore, No_OpClass);
< 0x0400: excb({{ }}, IsSerializing, IsSerializeBefore, No_OpClass);
---
> 0x0000: trapb({{ }}, IsSerializing, No_OpClass);
> 0x0400: excb({{ }}, IsSerializing, No_OpClass);
704c706
< 0x9e: rduniq({{ R0 = Runiq; }}, IsIprAccess);
---
> 0x9e: rduniq({{ R0 = Runiq; }});
706c708
< 0x9f: wruniq({{ Runiq = R16; }}, IsIprAccess);
---
> 0x9f: wruniq({{ Runiq = R16; }});
743c745
< }}, IsIprAccess);
---
> }});
753c755
< }}, IsIprAccess);
---
> }});
760c762
< 1:hw_rei({{ xc->hwrei(); }}, IsSerializing, IsSerializeBefore);
---
> 1:hw_rei({{ xc->hwrei(); }}, IsSerializing);
770c772
< }}, IsNonSpeculative, IsQuiesce);
---
> }}, IsNonSpeculative);
773c775
< }}, IsNonSpeculative, IsQuiesce);
---
> }}, IsNonSpeculative);
776c778
< }}, IsNonSpeculative, IsQuiesce);
---
> }}, IsNonSpeculative);