TEST

test word ptr [r8 - 0x20], 0x0 6641f740e00000 24 states ▸ test word ptr [r8 - 0x20], 0x1 6641f740e00100 24 states ▸ test word ptr [r8 - 0x20], 0x2 6641f740e00200 24 states ▸ test word ptr [r8 - 0x20], 0x3 6641f740e00300 24 states ▸ test word ptr [r8 - 0x20], 0x7e 6641f740e07e00 24 states ▸ test word ptr [r8 - 0x20], 0x7f 6641f740e07f00 24 states ▸ test word ptr [r8 - 0x20], -0x100 6641f740e000ff 24 states ▸ test word ptr [r8 - 0x20], -0xff 6641f740e001ff 24 states ▸ test word ptr [r8 - 0x20], -0xfe 6641f740e002ff 24 states ▸ test word ptr [r8 - 0x20], -0x80 6641f740e080ff 24 states ▸ test word ptr [r8 - 0x20], -0x2 6641f740e0feff 24 states ▸ test word ptr [r8 - 0x20], -0x1 6641f740e0ffff 24 states ▸ test word ptr [r8 + r9 * 1 + 0x0], 0x0 6643f704080000 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], 0x1 6643f704080100 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], 0x2 6643f704080200 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], 0x3 6643f704080300 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], 0x7e 6643f704087e00 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], 0x7f 6643f704087f00 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], -0x100 6643f7040800ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], -0xff 6643f7040801ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], -0xfe 6643f7040802ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], -0x80 6643f7040880ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], -0x2 6643f70408feff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x0], -0x1 6643f70408ffff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], 0x0 6643f74408200000 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], 0x1 6643f74408200100 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], 0x2 6643f74408200200 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], 0x3 6643f74408200300 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], 0x7e 6643f74408207e00 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], 0x7f 6643f74408207f00 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], -0x100 6643f744082000ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], -0xff 6643f744082001ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], -0xfe 6643f744082002ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], -0x80 6643f744082080ff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], -0x2 6643f7440820feff 16 states ▸ test word ptr [r8 + r9 * 1 + 0x20], -0x1 6643f7440820ffff 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], 0x0 6643f74408e00000 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], 0x1 6643f74408e00100 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], 0x2 6643f74408e00200 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], 0x3 6643f74408e00300 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], 0x7e 6643f74408e07e00 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], 0x7f 6643f74408e07f00 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], -0x100 6643f74408e000ff 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], -0xff 6643f74408e001ff 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], -0xfe 6643f74408e002ff 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], -0x80 6643f74408e080ff 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], -0x2 6643f74408e0feff 16 states ▸ test word ptr [r8 + r9 * 1 - 0x20], -0x1 6643f74408e0ffff 16 states ▸ test al, 0x0 a800 144 states ▸ test al, 0x1 a801 144 states ▸