test_cases:
  -
    input:
      bytes: [ 0x33, 0x85, 0xc5, 0xf0 ]
      arch: "CS_ARCH_RISCV"
      options: [ "CS_MODE_RISCV32", "zksed" ]
    expected:
      insns:
        -
          asm_text: "sm4ed a0, a1, a2, 3"

  -
    input:
      bytes: [ 0x33, 0x85, 0xc5, 0xf4 ]
      arch: "CS_ARCH_RISCV"
      options: [ "CS_MODE_RISCV32", "zksed" ]
    expected:
      insns:
        -
          asm_text: "sm4ks a0, a1, a2, 3"
