TEST

test qword ptr [r8 + r9 * 1 - 0x20], -0x100 4bf74408e000ffffff 16 states ▸ test qword ptr [r8 + r9 * 1 - 0x20], -0xff 4bf74408e001ffffff 16 states ▸ test qword ptr [r8 + r9 * 1 - 0x20], -0xfe 4bf74408e002ffffff 16 states ▸ test qword ptr [r8 + r9 * 1 - 0x20], -0x80 4bf74408e080ffffff 16 states ▸ test qword ptr [r8 + r9 * 1 - 0x20], -0x2 4bf74408e0feffffff 16 states ▸ test qword ptr [r8 + r9 * 1 - 0x20], -0x1 4bf74408e0ffffffff 16 states ▸ test eax, 0x0 a900000000 144 states ▸ test eax, 0x1 a901000000 144 states ▸ test eax, 0x2 a902000000 144 states ▸ test eax, 0x3 a903000000 144 states ▸ test eax, 0x7e a97e000000 144 states ▸ test eax, 0x7f a97f000000 144 states ▸ test eax, -0x100 a900ffffff 144 states ▸ test eax, -0xff a901ffffff 144 states ▸ test eax, -0xfe a902ffffff 144 states ▸ test eax, -0x80 a980ffffff 144 states ▸ test eax, -0x2 a9feffffff 144 states ▸ test eax, -0x1 a9ffffffff 144 states ▸ test dword ptr [0x666666010100], 0x0 f70500f19aff00000000 24 states ▸ test dword ptr [0x666666010100], 0x1 f70500f19aff01000000 24 states ▸ test dword ptr [0x666666010100], 0x2 f70500f19aff02000000 24 states ▸ test dword ptr [0x666666010100], 0x3 f70500f19aff03000000 24 states ▸ test dword ptr [0x666666010100], 0x7e f70500f19aff7e000000 24 states ▸ test dword ptr [0x666666010100], 0x7f f70500f19aff7f000000 24 states ▸ test dword ptr [0x666666010100], -0x100 f70500f19aff00ffffff 24 states ▸ test dword ptr [0x666666010100], -0xff f70500f19aff01ffffff 24 states ▸ test dword ptr [0x666666010100], -0xfe f70500f19aff02ffffff 24 states ▸ test dword ptr [0x666666010100], -0x80 f70500f19aff80ffffff 24 states ▸ test dword ptr [0x666666010100], -0x2 f70500f19afffeffffff 24 states ▸ test dword ptr [0x666666010100], -0x1 f70500f19affffffffff 24 states ▸ test dword ptr [r8 + 0x0], 0x0 41f70000000000 24 states ▸ test dword ptr [r8 + 0x0], 0x1 41f70001000000 24 states ▸ test dword ptr [r8 + 0x0], 0x2 41f70002000000 24 states ▸ test dword ptr [r8 + 0x0], 0x3 41f70003000000 24 states ▸ test dword ptr [r8 + 0x0], 0x7e 41f7007e000000 24 states ▸ test dword ptr [r8 + 0x0], 0x7f 41f7007f000000 24 states ▸ test dword ptr [r8 + 0x0], -0x100 41f70000ffffff 24 states ▸ test dword ptr [r8 + 0x0], -0xff 41f70001ffffff 24 states ▸ test dword ptr [r8 + 0x0], -0xfe 41f70002ffffff 24 states ▸ test dword ptr [r8 + 0x0], -0x80 41f70080ffffff 24 states ▸ test dword ptr [r8 + 0x0], -0x2 41f700feffffff 24 states ▸ test dword ptr [r8 + 0x0], -0x1 41f700ffffffff 24 states ▸ test dword ptr [r8 + 0x20], 0x0 41f7402000000000 24 states ▸ test dword ptr [r8 + 0x20], 0x1 41f7402001000000 24 states ▸ test dword ptr [r8 + 0x20], 0x2 41f7402002000000 24 states ▸ test dword ptr [r8 + 0x20], 0x3 41f7402003000000 24 states ▸ test dword ptr [r8 + 0x20], 0x7e 41f740207e000000 24 states ▸ test dword ptr [r8 + 0x20], 0x7f 41f740207f000000 24 states ▸ test dword ptr [r8 + 0x20], -0x100 41f7402000ffffff 24 states ▸ test dword ptr [r8 + 0x20], -0xff 41f7402001ffffff 24 states ▸