NAME=ppc-asserts
FILE=bins/elf/powerpc-linux-gnu-symexec-palindrome
CMDS=<<EOF
%R2_DEBUG_ASSERT=1
aaa
?e done
EOF
EXPECT=<<EOF
done
EOF
RUN

NAME=ppc-aflm
FILE=bins/elf/analysis/elf-ppc-execstack
CMDS=<<EOF
aac
aflsa
aflm
EOF
EXPECT=<<EOF
sym._init:
    loc.imp.__gmon_start__
    fcn.100015e0
    fcn.100264c0

fcn.100016d0:
    sym.imp.abort

fcn.100016e0:
    sym.imp.abort

fcn.100016f0:
    sym.imp.memset
    sym.imp.gelf_fsize

fcn.100017a0:
    fcn.10001fd0
    fcn.10001fd0
    fcn.10003ba0
    fcn.100048e0
    sym.imp.error
    sym.imp.error
    fcn.10003f90
    fcn.10003f90
    sym.imp.error
    sym.imp.error
    sym.imp.error
    fcn.100016f0
    fcn.10002660
    fcn.10001fd0
    fcn.100016f0
    sym.imp.error
    fcn.10001fd0
    fcn.10006480

fcn.10001fd0:
    sym.imp.strlen
    fcn.10002d10
    sym.imp.strcmp
    sym.imp.sprintf
    sym.imp.mkstemp
    sym.imp.__strdup
    sym.imp.vfork
    sym.imp.waitpid
    sym.imp.error
    sym.imp.free
    fcn.10003f90
    fcn.10008d80
    fcn.10002d10
    sym.imp.strcmp
    sym.imp.error
    sym.imp.free
    fcn.10003f90
    sym.imp.unlink
    sym.imp.close
    fcn.10007450
    sym.imp.error
    sym.imp.error
    sym.imp.__errno_location
    sym.imp.error
    sym.imp.error
    sym.imp.free
    sym.imp.unlink
    sym.imp.close
    fcn.10003f90
    fcn.100017a0
    sym.imp.error
    sym.imp.close
    sym.imp.execlp
    sym.imp.execl
    sym.imp._exit

fcn.10002660:
    fcn.10006120
    fcn.10004730
    sym.imp.elf_getdata
    fcn.1000f2d0
    sym.imp.elf_getdata
    fcn.10006120
    fcn.10006120
    sym.imp.gelf_xlatetof
    fcn.1000f2d0
    sym.imp.gelf_xlatetom
    fcn.10006120
    sym.imp.abort

fcn.10002d10:
    sym.imp.elf_getdata

fcn.10002e00:
    sym.imp.elf_getdata
    fcn.10003bc0
    sym.imp.elf_getdata

fcn.10002ff0:
    sym.imp.gelf_fsize
    fcn.10002e00
    fcn.10025f80
    fcn.10025b30
    sym.imp.gelf_getsym

fcn.100030f0:
    fcn.10003bc0
    sym.imp.elf_getdata

fcn.10003230:
    fcn.100030f0
    sym.imp.elf_flagscn

fcn.100032c0:
    fcn.100030f0

fcn.10003320:
    fcn.100030f0
    sym.imp.elf_flagscn

fcn.100033d0:
    fcn.100030f0

fcn.10003450:
    fcn.100030f0
    sym.imp.elf_flagscn

fcn.100034d0:
    fcn.100030f0

fcn.10003630:
    fcn.100030f0
    sym.imp.elf_flagscn

fcn.100036e0:
    fcn.100030f0

fcn.10003770:
    fcn.100030f0

fcn.10003820:
    fcn.100030f0
    sym.imp.elf_flagscn

fcn.100038d0:
    fcn.100030f0
    sym.imp.elf_flagscn

fcn.10003ce0:
    sym.imp.error

fcn.10003e40:
    sym.imp.free
    sym.imp.elf_getdata
    sym.imp.elf_end
    sym.imp.fsync
    sym.imp.close
    sym.imp.elf_end
    sym.imp.close
    sym.imp.free
    sym.imp.free
    sym.imp.free
    sym.imp.free
    sym.imp.free
    sym.imp.free
    sym.imp.free

fcn.10003f90:
    sym.imp.unlink
    fcn.10003e40

fcn.10003fe0:
    sym.imp.getfilecon
    sym.imp.setfilecon
    sym.imp.freecon
    sym.imp.__errno_location
    sym.imp.error
    sym.imp.is_selinux_enabled
    sym.imp.__errno_location
    sym.imp.error
    sym.imp.freecon

fcn.10004120:
    sym.imp.__assert_fail

fcn.10004390:
    sym.imp.memset
    sym.imp.elf_getdata
    sym.imp.elf_getdata
    sym.imp.gelf_getsym
    fcn.10025b30
    sym.imp.gelf_getsym
    sym.imp.gelf_update_sym
    sym.imp.gelf_getsym
    sym.imp.gelf_update_sym
    sym.imp.__assert_fail
    sym.imp.__assert_fail
    sym.imp.__assert_fail

fcn.10004730:
    fcn.10003ce0
    sym.imp.gelf_update_ehdr
    sym.imp.gelf_update_phdr
    sym.imp.gelf_update_shdr
    fcn.10004390
    fcn.1000d780

fcn.10004880:
    fcn.10004730
    sym.imp.elf_update

fcn.100048e0:
    fcn.10004880
    sym.imp.strlen
    sym.imp.memcpy
    sym.imp.strlen
    sym.imp.memcpy
    sym.imp.__fxstat64
    sym.imp.fchown
    sym.imp.fchmod
    fcn.10003e40
    sym.imp.time
    sym.imp.utime
    fcn.10003fe0
    sym.imp.rename
    sym.imp.unlink
    sym.imp.__errno_location
    sym.imp.error
    sym.imp.__errno_location
    sym.imp.error
    fcn.10003f90
    sym.imp.elf_errmsg
    sym.imp.error
    sym.imp.__errno_location
    sym.imp.error
    fcn.10003f90
    fcn.10003e40
    sym.imp.unlink

fcn.10005480:
    sym.imp.gelf_fsize

fcn.10005a00:
    sym.imp.elf_getdata
    fcn.10025b30
    sym.imp.gelf_getsym
    sym.imp.gelf_update_sym
    sym.imp.elf_getdata
    sym.imp.elf_flagscn
    sym.imp.error
    sym.imp.error
    sym.imp.gelf_update_sym

fcn.10005cb0:
    sym.imp.memset
    sym.imp.elf_getdata
    fcn.10025b30
    sym.imp.gelf_getdyn

fcn.10006120:
    sym.imp.elf_getdata
    sym.imp.elf_getdata
    fcn.10025b30
    sym.imp.gelf_getdyn
    sym.imp.gelf_update_dyn
    sym.imp.elf_flagscn
    sym.imp.__assert_fail
    sym.imp.error
    sym.imp.gelf_update_dyn
    sym.imp.gelf_update_dyn
    sym.imp.__assert_fail
    sym.imp.__assert_fail

fcn.10006480:
    fcn.10025f80
    sym.imp.gelf_update_phdr
    fcn.1000e110
    sym.imp.elf_flagphdr
    sym.imp.gelf_update_shdr
    sym.imp.elf_flagshdr
    fcn.1000e110
    sym.imp.gelf_update_ehdr
    sym.imp.elf_flagehdr
    fcn.10004120
    sym.imp.realloc
    sym.imp.memmove
    fcn.10005480
    sym.imp.error
    sym.imp.error

fcn.10007380:
    sym.imp.malloc
    sym.imp.error

fcn.10007450:
    sym.imp.strlen
    sym.imp.sprintf
    sym.imp.mkstemp
    sym.imp.elf_begin
    sym.imp.gelf_getclass
    sym.imp.error
    sym.imp.elf_end
    sym.imp.unlink
    sym.imp.close
    sym.imp.free
    sym.imp.elf64_newehdr
    sym.imp.gelf_update_ehdr
    sym.imp.gelf_newphdr
    sym.imp.memcpy
    sym.imp.elf_flagelf
    sym.imp.gelf_update_phdr
    sym.imp.elf_newscn
    sym.imp.gelf_update_shdr
    sym.imp.elf_getdata
    sym.imp.elf_getdata
    sym.imp.memcpy
    sym.imp.elf_getdata
    sym.imp.elf_newdata
    sym.imp.__strdup
    sym.imp.memcpy
    sym.imp.elf_getscn
    sym.imp.gelf_getshdr
    sym.imp.free
    sym.imp.gelf_update_ehdr
    fcn.10005cb0
    sym.imp.gelf_fsize
    fcn.10005480
    sym.imp.mkstemp
    sym.imp.mkstemp
    sym.imp.__errno_location
    sym.imp.error
    sym.imp.elf32_newehdr
    sym.imp.elf_errmsg
    sym.imp.error
    fcn.10007380
    fcn.10005a00
    sym.imp.elf_newscn
    sym.imp.elf_newdata
    sym.imp.elf_getdata
    sym.imp.elf_newdata
    sym.imp.__assert_fail
    sym.imp.calloc
    sym.imp.error
    fcn.10005a00
    sym.imp.abort
    sym.imp.free
    sym.imp.error
    sym.imp.error
    sym.imp.error
    sym.imp.__assert_fail

fcn.10008d80:
    sym.imp.elf_begin
    sym.imp.elf_kind
    sym.imp.gelf_getehdr
    sym.imp.malloc
    sym.imp.elf_flagelf
    sym.imp.memset
    sym.imp.memcpy
    sym.imp.gelf_getphdr
    sym.imp.elf_getscn
    sym.imp.gelf_getshdr
    sym.imp.qsort
    sym.imp.elf_getscn
    sym.imp.gelf_getshdr
    fcn.10005cb0
    sym.imp.__strdup
    fcn.10002d10
    sym.imp.strcmp
    sym.imp.error
    sym.imp.error
    sym.imp.free
    sym.imp.free
    sym.imp.free
    sym.imp.free
    sym.imp.elf_end
    sym.imp.error
    fcn.10007380
    sym.imp.memcpy
    sym.imp.memcpy
    sym.imp.close
    sym.imp.error
    fcn.100030f0
    sym.imp.__strdup
    sym.imp.error
    sym.imp.gelf_getphdr
    sym.imp.pread
    sym.imp.memmem
    sym.imp.error
    sym.imp.elf_errmsg
    sym.imp.error
    sym.imp.error
    sym.imp.elf_errmsg
    sym.imp.error
    sym.imp.__assert_fail
    sym.imp.open
    sym.imp.__errno_location
    sym.imp.error

fcn.10008f70:
    sym.imp.error

fcn.10009270:
    sym.imp.error

fcn.10009f00:
    fcn.10002d10
    sym.imp.strncmp
    sym.imp.strcmp
    sym.imp.elf_getdata
    sym.imp.elf_getdata
    sym.imp.__assert_fail
    sym.imp.error
    fcn.1000cbf0
    sym.imp.malloc
    fcn.1000cb20
    sym.imp.error
    fcn.1000c650
    sym.imp.error
    sym.imp.realloc
    sym.imp.error
    fcn.1000c650
    sym.imp.elf_flagscn
    fcn.10003bc0
    sym.imp.error
    sym.imp.elf_flagscn
    sym.imp.elf_flagscn
    sym.imp.elf_flagscn
    sym.imp.error
    fcn.10003bc0
    sym.imp.error
    sym.imp.__assert_fail
    sym.imp.error
    sym.imp.error
    sym.imp.free
    sym.imp.error
    sym.imp.free
    fcn.1000c650
    fcn.1000c2f0
    fcn.10009270
    fcn.1000c650
    sym.imp.error
    fcn.1000c2f0
    sym.imp.error
    fcn.1000c650
    sym.imp.error
    sym.imp.error
    sym.imp.error
    sym.imp.error
    sym.imp.error
    fcn.10003bc0
    sym.imp.error
    sym.imp.error
    sym.imp.error
    sym.imp.__assert_fail
    sym.imp.error
    sym.imp.__assert_fail
    sym.imp.__assert_fail
    sym.imp.__assert_fail
    sym.imp.error
    sym.imp.error

fcn.1000b3e0:
    sym.imp.calloc
    sym.imp.error

fcn.1000b540:
    fcn.1000c440
    sym.imp.calloc

fcn.1000b6c0:
    sym.imp.malloc
    fcn.1000cb20
    sym.imp.error
    sym.imp.calloc

fcn.1000b8e0:
    sym.imp.calloc
    fcn.10025b30
    fcn.1000cbf0
    fcn.1000cbf0
    fcn.1000cbf0
    fcn.10025f80
    sym.imp.error
    fcn.1000c650
    fcn.1000c650
    fcn.1000c650
    sym.imp.free
    sym.imp.__assert_fail
    fcn.1000cb20
    sym.imp.calloc
    fcn.1000cb20
    sym.imp.error
    sym.imp.calloc
    sym.imp.error
    sym.imp.calloc
    fcn.1000c490
    sym.imp.qsort
    sym.imp.calloc
    fcn.1000cb20
    fcn.1000c650
    fcn.1000c650
    sym.imp.__assert_fail

fcn.1000c650:
    sym.imp.free
    sym.imp.free
    sym.imp.free
    sym.imp.free

fcn.1000c730:
    sym.imp.fprintf
    sym.imp.abort

fcn.1000cb20:
    fcn.1000c730
    sym.imp.free
    sym.imp.calloc
    sym.imp.abort

fcn.1000cbf0:
    fcn.1000c730
    sym.imp.calloc
    sym.imp.calloc
    sym.imp.free

fcn.1000ce30:
    sym.imp.memset
    sym.imp.memset

fcn.1000d410:
    sym.imp.elf_getdata
    sym.imp.elf_getdata
    sym.imp.__assert_fail
    sym.imp.error
    sym.imp.error
    sym.imp.__assert_fail
    sym.imp.__assert_fail

fcn.1000d780:
    sym.imp.__assert_fail
    fcn.1000d410
    sym.imp.error

fcn.1000e110:
    fcn.1000d410
    sym.imp.error

fcn.1000ef70:
    sym.imp.__assert_fail
    sym.imp.elf_getdata
    sym.imp.elf_getdata
    sym.imp.__assert_fail
    sym.imp.error
    sym.imp.elf_flagscn
    sym.imp.error
    sym.imp.__assert_fail
    sym.imp.__assert_fail

fcn.1000f620:
    sym.imp.__assert_fail

fcn.100139b0:
    sym.imp.qsort

fcn.1001ce70:
    sym.imp.error
    fcn.10003430
    fcn.100033b0

fcn.1001d690:
    fcn.100033b0
    sym.imp.__assert_fail

EOF
RUN

NAME=ppc-elf
FILE=bins/elf/analysis/elf-ppc-execstack
CMDS=<<EOF
e asm.flags=false
pid 4
EOF
EXPECT=<<EOF
0x100014e0             7c290b78  mr r9, r1
0x100014e4             54210036  rlwinm r1, r1, 0, 0, 0x1b
0x100014e8             38000000  li r0, 0
0x100014ec             9421fff0  stwu r1, -0x10(r1)
EOF
RUN

NAME=ppc-elf entry0 name issue
FILE=bins/elf/analysis/elf-ppc-execstack
CMDS=<<EOF
?e
e asm.flags=true
pid 1
af
afi~name[1]
EOF
EXPECT=<<EOF

0x100014e0   section..text:
0x100014e0             7c290b78  mr r9, r1
entry0
EOF
RUN

NAME=ppc-elf relocs
FILE=bins/elf/analysis/elf-ppc-execstack
CMDS=<<EOF
s 0x10001500
pi 1
EOF
EXPECT=<<EOF
b sym.imp.__libc_start_main
EOF
RUN

NAME=ppc-update-suffix-esil
FILE=bins/elf/a6ppc.out
CMDS=<<EOF
aeim
40ds
dr?r3
dr?r4
10ds
dr?r3
dr?r4
EOF
EXPECT=<<EOF
0x00177fbf
0x10000107
0x00177fc1
0x1000010a
EOF
RUN

NAME=ppc-detect-vtables
FILE=bins/elf/ppc_classes
CMDS=<<EOF
av
EOF
EXPECT=<<EOF

Vtable Found at 0x100016d4
0x100016d4 : No Name found
0x100016d8 : No Name found
0x100016dc : No Name found


Vtable Found at 0x100016e8
0x100016e8 : No Name found
0x100016ec : No Name found
0x100016f0 : No Name found


Vtable Found at 0x100016fc
0x100016fc : No Name found
0x10001700 : No Name found
0x10001704 : No Name found


Vtable Found at 0x10001710
0x10001710 : No Name found
0x10001714 : No Name found
0x10001718 : No Name found
0x1000171c : No Name found
0x10001720 : No Name found


Vtable Found at 0x1000172c
0x1000172c : No Name found
0x10001730 : No Name found
0x10001734 : No Name found
0x10001738 : No Name found
0x1000173c : No Name found


Vtable Found at 0x10001748
0x10001748 : No Name found
0x1000174c : No Name found
0x10001750 : No Name found
0x10001754 : No Name found
0x10001758 : No Name found


Vtable Found at 0x10001764
0x10001764 : No Name found
0x10001768 : No Name found
0x1000176c : No Name found

EOF
RUN

NAME=aoj f0ff2194
FILE=-
CMDS=<<EOF
e asm.arch=ppc
e asm.bits=64
wx f0ff2194
aoj~{}
EOF
EXPECT=<<EOF
[
  {
    "opcode": "stwu r1, -0x10(r1)",
    "disasm": "stwu r1, -0x10(r1)",
    "pseudo": "word[r1 - 0x10] = r1",
    "description": "Store Word with Update",
    "mnemonic": "stwu",
    "mask": "ffffffff",
    "esil": "r1,-16,r1,+,=[4],-16,r1,+=",
    "sign": false,
    "id": 1072,
    "opex": {
      "operands": [
        {
          "type": "reg",
          "value": "r1"
        },
        {
          "type": "mem",
          "base": "r1",
          "disp": -16
        }
      ]
    },
    "addr": 0,
    "bytes": "f0ff2194",
    "size": 4,
    "type": "store",
    "esilcost": 12,
    "cycles": 0,
    "failcycles": 0,
    "delay": 0,
    "stack": "inc",
    "stackptr": 16,
    "family": "cpu"
  }
]
EOF
RUN

NAME=ppc positive-condition branch is cjmp with edges
FILE=-
CMDS=<<EOF
e asm.arch=ppc
e asm.bits=64
e cfg.bigendian=true
wx 2c030000419e000838600001 4e800020
af @ 0
afb @ 0
wx 419e0040 @ 0x100
s 0x100
ao~type
EOF
EXPECT=<<EOF
0x00000000 0x00000008 00:0000 8 j 0x0000000c f 0x00000008
0x00000008 0x0000000c 00:0000 4 j 0x0000000c
0x0000000c 0x00000010 00:0000 4
type: cjmp
EOF
RUN

NAME=ppc isel classified as cmov
FILE=-
CMDS=<<EOF
e asm.arch=ppc
e asm.bits=64
e cfg.bigendian=true
wx 7c642c9e
pd 1
ao~type
wx 7c604f9e
pd 1
ao~type
EOF
EXPECT=<<EOF
            0x00000000      7c642c9e       isel r3, r4, r5, cr4eq
type: cmov
            0x00000000      7c604f9e       isel r3, 0, r9, cr7eq
type: cmov
EOF
RUN

NAME=ppc-hello-ref
FILE=bins/elf/hello.ppc
CMDS=<<EOF
f-str*
e anal.strings=true
aae
axt 0x10000640
EOF
EXPECT=<<EOF
(nofunc) 0x100004a0 [DATA:r--] addi r3, r9, str.Simple_PPC_program.
EOF
RUN

# Only real (non-alias) instructions are asserted here. Extended mnemonics like
# sldi/srdi are capstone aliases: cs4/cs5 emit a distinct PPC_INS_SLDI id, but
# cs6 decodes them as the base rldicr/rldicl, so their op-type differs by
# capstone version and is not safe to pin in a test.
NAME=ppc64 op type/esil completeness
FILE=-
CMDS=<<EOF
e asm.arch=ppc
e asm.bits=64
e cfg.bigendian=true
wx 7d295036
ao~mnemonic:,type:,esil:
?e --
wx 7d29e436
ao~mnemonic:,type:,esil:
?e --
wx 7c841e74
ao~mnemonic:,type:,esil:
?e --
wx 7c630034
ao~mnemonic:,type:,esil:
?e --
wx 7c630074
ao~mnemonic:,type:,esil:
?e --
wx 7cfe51ae
ao~mnemonic:,type:,esil:
?e --
wx 7d3e432e
ao~mnemonic:,type:,esil:
?e --
wx 7fca492a
ao~mnemonic:,type:,esil:
?e --
wx 7d48522e
ao~mnemonic:,type:,esil:
?e --
wx 7d200026
ao~mnemonic:,type:,esil:
?e --
wx 7d910120
ao~mnemonic:,type:,esil:
?e --
wx 7fc34816
ao~mnemonic:,type:,esil:
?e --
wx 7b5a1028
ao~mnemonic:,type:,esil:
?e --
wx 7949382c
ao~mnemonic:,type:,esil:
EOF
EXPECT=<<EOF
mnemonic: sld
type: shl
esil: r10,r9,<<,r9,=
--
mnemonic: srd
type: shr
esil: r28,r9,>>,r9,=
--
mnemonic: sradi
type: sar
esil: 0x3,r4,ASR,r4,=
--
mnemonic: cntlzw
type: mov
--
mnemonic: cntlzd
type: mov
--
mnemonic: stbx
type: store
esil: r7,r30=[1]
--
mnemonic: sthx
type: store
esil: r9,r30=[2]
--
mnemonic: stdx
type: store
esil: r30,r10=[8]
--
mnemonic: lhzx
type: load
esil: r8[2],r10,=
--
mnemonic: mfcr
type: mov
--
mnemonic: mtocrf
type: mov
--
mnemonic: mulhwu
type: mul
--
mnemonic: rldic
type: rol
--
mnemonic: rldimi
type: rol
EOF
RUN

# Emulation: verify the ESIL actually computes the right value (not just the
# string). Covers the dword shifts and the arithmetic-shift sign extension
# (sradi via ASR). Only real, cs-version-stable instructions are used.
NAME=ppc64 esil emulation: dword + arithmetic shifts
FILE=-
CMDS=<<EOF2
e asm.arch=ppc
e asm.bits=64
e cfg.bigendian=true
aei
aeim
ar r9=0xff
ar r10=4
s 0
wx 7d295036
ar PC=0
aes
?e sld
ar r9
ar r9=0xff00
ar r28=4
s 0
wx 7d29e436
ar PC=0
aes
?e srd
ar r9
ar r4=0xfffffffffffffff0
s 0
wx 7c841e74
ar PC=0
aes
?e sradi_neg
ar r4
ar r4=0x100
s 0
wx 7c841e74
ar PC=0
aes
?e sradi_pos
ar r4
EOF2
EXPECT=<<EOF2
sld
0x00000ff0
srd
0x00000ff0
sradi_neg
0xfffffffffffffffe
sradi_pos
0x00000020
EOF2
RUN
