NAME=tbz
FILE=bins/other/tbz.arm64
ARGS=-a arm -b64 -m 0x100000000
CMDS=pi 4
EXPECT=<<EOF
tbz x0, 0x20, 0x100004000
tbz x0, 0x20, 0xffff8004
tbnz x0, 0x20, 0x100004008
tbnz x0, 0x20, 0xffff800c
EOF
RUN
