test_cases:
  -
    input:
      bytes: [ 0x7c, 0x02, 0x1f, 0xac ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "icbi 2, 3"
  -
    input:
      bytes: [ 0x7c, 0x02, 0x1a, 0x2c ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "dcbt 2, 3"
  -
    input:
      bytes: [ 0x7c, 0x02, 0x19, 0xec ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "dcbtst 2, 3"
  -
    input:
      bytes: [ 0x7c, 0x02, 0x1f, 0xec ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "dcbz 2, 3"
  -
    input:
      bytes: [ 0x7c, 0x02, 0x18, 0x6c ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "dcbst 2, 3"
  -
    input:
      bytes: [ 0x4c, 0x00, 0x01, 0x2c ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "isync"
  -
    input:
      bytes: [ 0x7c, 0x43, 0x21, 0x2d ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "stwcx. 2, 3, 4"
  -
    input:
      bytes: [ 0x7c, 0x43, 0x21, 0xad ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "stdcx. 2, 3, 4"
  -
    input:
      bytes: [ 0x7c, 0x00, 0x06, 0xac ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "eieio"
  -
    input:
      bytes: [ 0x7c, 0x02, 0x18, 0xac ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "dcbf 2, 3"
  -
    input:
      bytes: [ 0x7c, 0x43, 0x20, 0x28 ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "lwarx 2, 3, 4"
  -
    input:
      bytes: [ 0x7c, 0x43, 0x20, 0xa8 ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "ldarx 2, 3, 4"
  -
    input:
      bytes: [ 0x7c, 0x00, 0x04, 0xac ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "sync"
  -
    input:
      bytes: [ 0x7c, 0x20, 0x04, 0xac ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "lwsync"
  -
    input:
      bytes: [ 0x7c, 0x40, 0x04, 0xac ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "ptesync"
  -
    input:
      bytes: [ 0x7c, 0x5b, 0x1a, 0xe6 ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "mftb 2, 123"
  -
    input:
      bytes: [ 0x7c, 0x4c, 0x42, 0xe6 ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "mftb 2, 268"
  -
    input:
      bytes: [ 0x7c, 0x4d, 0x42, 0xe6 ]
      arch: "CS_ARCH_PPC"
      options: [ "CS_OPT_SYNTAX_NOREGNAME", "CS_MODE_BIG_ENDIAN", "CS_MODE_PWR7", "CS_MODE_64" ]
    expected:
      insns:
        -
          asm_text: "mftbu 2"
