Comparison with Power model
More behaviours
There is
one such test
Kind
Op.New
Model
Op
PLDI11
PowerG5
Power6
Power7
Z6.1+sync+lwsync+addr
Allow
Allow
Forbid
Allow
Forbid
No, 0/5.0G
No, 0/1.7G
No, 0/41G
Allow unseen
Allow unseen
Allow unseen
Less behaviours
There is no such test