blob: e811290d401ceb9da1a6c564449323b2f870596d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
//: operating on memory at the address provided by some register plus optional scale and offset
:(scenario add_r32_to_mem_at_r32_with_sib)
% Reg[3].i = 0x10;
% Reg[0].i = 0x60;
% SET_WORD_IN_MEM(0x60, 1);
# op ModR/M SIB displacement immediate
01 1c 20 # add EBX to *EAX
# ModR/M in binary: 00 (indirect mode) 011 (src EBX) 100 (dest in SIB)
# SIB in binary: 00 (scale 1) 100 (no index) 000 (base EAX)
+run: add EBX to r/m32
+run: effective address is initially 0x60 (EAX)
+run: effective address is 0x60
+run: storing 0x00000011
:(before "End Mod 0 Special-cases(addr)")
case 4: // exception: mod 0b00 rm 0b100 => incoming SIB (scale-index-base) byte
addr = effective_address_from_sib(mod);
break;
:(code)
uint32_t effective_address_from_sib(uint8_t mod) {
uint8_t sib = next();
uint8_t base = sib&0x7;
uint32_t addr = 0;
if (base != EBP || mod != 0) {
addr = Reg[base].u;
trace(2, "run") << "effective address is initially 0x" << std::hex << addr << " (" << rname(base) << ")" << end();
}
else {
// base == EBP && mod == 0
addr = imm32(); // ignore base
trace(2, "run") << "effective address is initially 0x" << std::hex << addr << " (disp32)" << end();
}
uint8_t index = (sib>>3)&0x7;
if (index == ESP) {
// ignore index and scale
trace(2, "run") << "effective address is 0x" << std::hex << addr << end();
}
else {
uint8_t scale = (1 << (sib>>6));
addr += Reg[index].i*scale; // treat index register as signed. Maybe base as well? But we'll always ensure it's non-negative.
trace(2, "run") << "effective address is 0x" << std::hex << addr << " (after adding " << rname(index) << "*" << NUM(scale) << ")" << end();
}
return addr;
}
:(scenario add_r32_to_mem_at_base_r32_index_r32)
% Reg[3].i = 0x10; // source
% Reg[0].i = 0x5e; // dest base
% Reg[1].i = 0x2; // dest index
% SET_WORD_IN_MEM(0x60, 1);
# op ModR/M SIB displacement immediate
01 1c 08 # add EBX to *(EAX+ECX)
# ModR/M in binary: 00 (indirect mode) 011 (src EBX) 100 (dest in SIB)
# SIB in binary: 00 (scale 1) 001 (index ECX) 000 (base EAX)
+run: add EBX to r/m32
+run: effective address is initially 0x5e (EAX)
+run: effective address is 0x60 (after adding ECX*1)
+run: storing 0x00000011
:(scenario add_r32_to_mem_at_displacement_using_sib)
% Reg[3].i = 0x10; // source
% SET_WORD_IN_MEM(0x60, 1);
# op ModR/M SIB displacement immediate
01 1c 25 60 00 00 00 # add EBX to *0x60
# ModR/M in binary: 00 (indirect mode) 011 (src EBX) 100 (dest in SIB)
# SIB in binary: 00 (scale 1) 100 (no index) 101 (not EBP but disp32)
+run: add EBX to r/m32
+run: effective address is initially 0x60 (disp32)
+run: effective address is 0x60
+run: storing 0x00000011
//:
:(scenario add_r32_to_mem_at_base_r32_index_r32_plus_disp8)
% Reg[3].i = 0x10; // source
% Reg[0].i = 0x59; // dest base
% Reg[1].i = 0x5; // dest index
% SET_WORD_IN_MEM(0x60, 1);
# op ModR/M SIB displacement immediate
01 5c 08 02 # add EBX to *(EAX+ECX+2)
# ModR/M in binary: 01 (indirect+disp8 mode) 011 (src EBX) 100 (dest in SIB)
# SIB in binary: 00 (scale 1) 001 (index ECX) 000 (base EAX)
+run: add EBX to r/m32
+run: effective address is initially 0x59 (EAX)
+run: effective address is 0x5e (after adding ECX*1)
+run: effective address is 0x60 (after adding disp8)
+run: storing 0x00000011
:(before "End Mod 1 Special-cases(addr)")
case 4: // exception: mod 0b01 rm 0b100 => incoming SIB (scale-index-base) byte
addr = effective_address_from_sib(mod);
break;
//:
:(scenario add_r32_to_mem_at_base_r32_index_r32_plus_disp32)
% Reg[3].i = 0x10; // source
% Reg[0].i = 0x59; // dest base
% Reg[1].i = 0x5; // dest index
% SET_WORD_IN_MEM(0x60, 1);
# op ModR/M SIB displacement immediate
01 9c 08 02 00 00 00 # add EBX to *(EAX+ECX+2)
# ModR/M in binary: 10 (indirect+disp32 mode) 011 (src EBX) 100 (dest in SIB)
# SIB in binary: 00 (scale 1) 001 (index ECX) 000 (base EAX)
+run: add EBX to r/m32
+run: effective address is initially 0x59 (EAX)
+run: effective address is 0x5e (after adding ECX*1)
+run: effective address is 0x60 (after adding disp32)
+run: storing 0x00000011
:(before "End Mod 2 Special-cases(addr)")
case 4: // exception: mod 0b10 rm 0b100 => incoming SIB (scale-index-base) byte
addr = effective_address_from_sib(mod);
break;
|