TEST

test byte ptr [r8 - 0x20], 0x7e 41f640e07e 24 states ▸ test byte ptr [r8 - 0x20], 0x7f 41f640e07f 24 states ▸ test byte ptr [r8 - 0x20], -0x80 41f640e080 24 states ▸ test byte ptr [r8 - 0x20], -0x7f 41f640e081 24 states ▸ test byte ptr [r8 - 0x20], -0x7e 41f640e082 24 states ▸ test byte ptr [r8 - 0x20], -0x3 41f640e0fd 24 states ▸ test byte ptr [r8 - 0x20], -0x2 41f640e0fe 24 states ▸ test byte ptr [r8 - 0x20], -0x1 41f640e0ff 24 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], 0x0 43f6040800 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], 0x1 43f6040801 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], 0x2 43f6040802 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], 0x3 43f6040803 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], 0x7e 43f604087e 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], 0x7f 43f604087f 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], -0x80 43f6040880 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], -0x7f 43f6040881 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], -0x7e 43f6040882 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], -0x3 43f60408fd 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], -0x2 43f60408fe 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x0], -0x1 43f60408ff 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], 0x0 43f644082000 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], 0x1 43f644082001 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], 0x2 43f644082002 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], 0x3 43f644082003 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], 0x7e 43f64408207e 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], 0x7f 43f64408207f 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], -0x80 43f644082080 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], -0x7f 43f644082081 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], -0x7e 43f644082082 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], -0x3 43f6440820fd 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], -0x2 43f6440820fe 16 states ▸ test byte ptr [r8 + r9 * 1 + 0x20], -0x1 43f6440820ff 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], 0x0 43f64408e000 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], 0x1 43f64408e001 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], 0x2 43f64408e002 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], 0x3 43f64408e003 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], 0x7e 43f64408e07e 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], 0x7f 43f64408e07f 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], -0x80 43f64408e080 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], -0x7f 43f64408e081 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], -0x7e 43f64408e082 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], -0x3 43f64408e0fd 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], -0x2 43f64408e0fe 16 states ▸ test byte ptr [r8 + r9 * 1 - 0x20], -0x1 43f64408e0ff 16 states ▸