+ pause # CHECK: pause # encoding: [0x00,0x00,0x28,0x00]
+ rdhwr $5, $29, 2 # CHECK: rdhwr $5, $29, 2 # encoding: [0x00,0xbd,0x11,0xc0]
+ rdhwr $5, $29, 0 # CHECK: rdhwr $5, $29 # encoding: [0x00,0xbd,0x01,0xc0]
+ rdhwr $5, $29 # CHECK: rdhwr $5, $29 # encoding: [0x00,0xbd,0x01,0xc0]
+ wait # CHECK: wait # encoding: [0x00,0x00,0x93,0x7c]
+ wait 17 # CHECK: wait 17 # encoding: [0x00,0x11,0x93,0x7c]
+ ssnop # CHECK: ssnop # encoding: [0x00,0x00,0x08,0x00]
+ sync # CHECK: sync # encoding: [0x00,0x00,0x6b,0x7c]
+ sync 17 # CHECK: sync 17 # encoding: [0x00,0x11,0x6b,0x7c]
+ synci 8($5) # CHECK: synci 8($5) # encoding: [0x41,0x85,0x00,0x08]
+ rdpgpr $3, $9 # CHECK: $3, $9 # encoding: [0x00,0x69,0xe1,0x7c]
+ sdbbp # CHECK: sdbbp # encoding: [0x00,0x00,0xdb,0x7c]
+ sdbbp 34 # CHECK: sdbbp 34 # encoding: [0x00,0x22,0xdb,0x7c]