mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

	Commit message (Expand)	Author	Age	Files	Lines
*	6206	Kartik Agaram	2020-04-17	6	-115/+66
*	6155	Kartik Agaram	2020-03-20	1	-1/+3
*	6066 - Vim syntax highlighting for Mu files	Kartik Agaram	2020-02-28	1	-1/+1
*	5960	Kartik Agaram	2020-01-30	1	-0/+1
*	5959	Kartik Agaram	2020-01-30	1	-1/+1
*	5853	Kartik Agaram	2020-01-01	3	-135/+0
*	5852	Kartik Agaram	2020-01-01	232	-3/+3
*	5787	Kartik Agaram	2019-12-02	6	-18/+262
*	5494	Kartik Agaram	2019-07-27	1	-0/+11
*	5485 - promote SubX to top-level	Kartik Agaram	2019-07-27	229	-0/+80488

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> <html> <head> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <title>Mu - linux/bootstrap/033check_operands.cc</title> <meta name="Generator" content="Vim/8.1"> <meta name="plugin-version" content="vim8.1_v1"> <meta name="syntax" content="cpp"> <meta name="settings" content="number_lines,use_css,pre_wrap,no_foldcolumn,expand_tabs,line_ids,prevent_copy="> <meta name="colorscheme" content="minimal-dark"> <style type="text/css">  </style> <script type='text/javascript'>  </script> </head> <body onload='JumpToLine();'> <a href='https://github.com/akkartik/mu/blob/main/linux/bootstrap/033check_operands.cc'>https://github.com/akkartik/mu/blob/main/linux/bootstrap/033check_operands.cc</a> <pre id='vimCodeElement'> 1 //: Since we're tagging arguments with their types, let's start checking these 2 //: argument types for each instruction. 3 4 void <a href='033check_operands.cc.html#L4'>test_check_missing_imm8_argument</a>() { 5 Hide_errors = true; 6 <a href='011run.cc.html#L82'>run</a>( 7 "== code 0x1\n" 8 "cd\n" // interrupt ?? 9 ); 10 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 11 "error: 'cd' (software interrupt): missing imm8 argument\n" 12 ); 13 } 14 15 :(before "Pack Operands(segment code)") 16 check_arguments(code); 17 if (<a href='003trace.cc.html#L262'>trace_contains_errors</a>()) return; 18 19 :(code) 20 void check_arguments(const segment& code) { 21 <a href='003trace.cc.html#L96'>trace</a>(3, "transform") << "-- check arguments" << end(); 22 for (int i = 0; i < <a href='001help.cc.html#L168'>SIZE</a>(code.<a href='011run.cc.html#L113'>lines</a>); ++i) { 23 check_arguments(code.<a href='011run.cc.html#L113'>lines</a>.at(i)); 24 if (<a href='003trace.cc.html#L262'>trace_contains_errors</a>()) return; // stop at the first mal-formed instruction 25 } 26 } 27 28 void check_arguments(const line& inst) { 29 <a href='011run.cc.html#L127'>word</a> op = <a href='033check_operands.cc.html#L41'>preprocess_op</a>(inst.<a href='011run.cc.html#L122'>words</a>.at(0)); 30 if (op.data == "0f") { 31 check_arguments_0f(inst); 32 return; 33 } 34 if (op.data == "f3") { 35 check_arguments_f3(inst); 36 return; 37 } 38 check_arguments(inst, op); 39 } 40 41 <a href='011run.cc.html#L127'>word</a> <a href='033check_operands.cc.html#L41'>preprocess_op</a>(<a href='011run.cc.html#L127'>word</a>/*copy*/ op) { 42 op.data = <a href='033check_operands.cc.html#L778'>tolower</a>(op.data.c_str()); 43 // opcodes can't be negative 44 if (<a href='001help.cc.html#L104'>starts_with</a>(op.data, "0x")) 45 op.data = op.data.substr(2); 46 if (<a href='001help.cc.html#L168'>SIZE</a>(op.data) == 1) 47 op.data = string("0")+op.data; 48 return op; 49 } 50 51 void <a href='033check_operands.cc.html#L51'>test_preprocess_op</a>() { 52 <a href='011run.cc.html#L127'>word</a> w1; w1.data = "0xf"; 53 <a href='011run.cc.html#L127'>word</a> w2; w2.data = "0f"; 54 <a href='002test.cc.html#L31'>CHECK_EQ</a>(<a href='033check_operands.cc.html#L41'>preprocess_op</a>(w1).data, <a href='033check_operands.cc.html#L41'>preprocess_op</a>(w2).data); 55 } 56 57 //: To check the arguments for an opcode, we'll track the permitted arguments 58 //: for each supported opcode in a bitvector. That way we can often compute the 59 //: 'received' argument bitvector for each instruction's arguments and compare 60 //: it with the 'expected' bitvector. 61 //: 62 //: The 'expected' and 'received' bitvectors can be different; the MODRM bit 63 //: in the 'expected' bitvector maps to multiple 'received' argument types in 64 //: an instruction. We deal in expected bitvectors throughout. 65 66 :(before "End Types") 67 enum <a href='033check_operands.cc.html#L67'>expected_argument_type</a> { 68 // start from the least significant bit 69 <a href='033check_operands.cc.html#L69'>MODRM</a>, // more complex, may also involve disp8 or disp32 70 <a href='033check_operands.cc.html#L70'>SUBOP</a>, 71 <a href='033check_operands.cc.html#L71'>DISP8</a>, 72 <a href='033check_operands.cc.html#L72'>DISP16</a>, 73 <a href='033check_operands.cc.html#L73'>DISP32</a>, 74 <a href='033check_operands.cc.html#L74'>IMM8</a>, 75 <a href='033check_operands.cc.html#L75'>IMM32</a>, 76 <a href='033check_operands.cc.html#L76'>NUM_OPERAND_TYPES</a> 77 }; 78 :(before "End Globals") 79 vector<string> <a href='033check_operands.cc.html#L79'>Operand_type_name</a>; 80 map<string, expected_argument_type> <a href='033check_operands.cc.html#L80'>Operand_type</a>; 81 :(before "End One-time Setup") 82 <a href='033check_operands.cc.html#L84'>init_op_types</a>(); 83 :(code) 84 void <a href='033check_operands.cc.html#L84'>init_op_types</a>() { 85 assert(<a href='033check_operands.cc.html#L76'>NUM_OPERAND_TYPES</a> <= /*bits in a uint8_t*/8); 86 <a href='033check_operands.cc.html#L79'>Operand_type_name</a>.resize(<a href='033check_operands.cc.html#L76'>NUM_OPERAND_TYPES</a>); 87 #define DEF(type) Operand_type_name.at(type) = tolower(#type), put(Operand_type, tolower(#type), type); 88 DEF(<a href='033check_operands.cc.html#L69'>MODRM</a>); 89 DEF(<a href='033check_operands.cc.html#L70'>SUBOP</a>); 90 DEF(<a href='033check_operands.cc.html#L71'>DISP8</a>); 91 DEF(<a href='033check_operands.cc.html#L72'>DISP16</a>); 92 DEF(<a href='033check_operands.cc.html#L73'>DISP32</a>); 93 DEF(<a href='033check_operands.cc.html#L74'>IMM8</a>); 94 DEF(<a href='033check_operands.cc.html#L75'>IMM32</a>); 95 #undef DEF 96 } 97 98 :(before "End Globals") 99 map</*op*/string, /*bitvector*/uint8_t> <a href='033check_operands.cc.html#L99'>Permitted_arguments</a>; 100 const uint8_t <a href='033check_operands.cc.html#L100'>INVALID_OPERANDS</a> = 0xff; // no instruction uses all the argument types 101 :(before "End One-time Setup") 102 <a href='033check_operands.cc.html#L104'>init_permitted_arguments</a>(); 103 :(code) 104 void <a href='033check_operands.cc.html#L104'>init_permitted_arguments</a>() { 105 //// Class A: just op, no arguments 106 // halt 107 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "f4", 0x00); 108 // inc 109 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "40", 0x00); 110 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "41", 0x00); 111 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "42", 0x00); 112 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "43", 0x00); 113 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "44", 0x00); 114 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "45", 0x00); 115 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "46", 0x00); 116 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "47", 0x00); 117 // dec 118 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "48", 0x00); 119 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "49", 0x00); 120 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "4a", 0x00); 121 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "4b", 0x00); 122 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "4c", 0x00); 123 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "4d", 0x00); 124 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "4e", 0x00); 125 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "4f", 0x00); 126 // push 127 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "50", 0x00); 128 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "51", 0x00); 129 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "52", 0x00); 130 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "53", 0x00); 131 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "54", 0x00); 132 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "55", 0x00); 133 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "56", 0x00); 134 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "57", 0x00); 135 // pop 136 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "58", 0x00); 137 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "59", 0x00); 138 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "5a", 0x00); 139 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "5b", 0x00); 140 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "5c", 0x00); 141 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "5d", 0x00); 142 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "5e", 0x00); 143 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "5f", 0x00); 144 // sign-extend EAX into EDX 145 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "99", 0x00); 146 // return 147 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "c3", 0x00); 148 // enable/disable interrupts 149 // not really part of SubX; just needed in low-level boot.subx 150 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "fa", 0x00); 151 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "fb", 0x00); 152 153 //// Class B: just op and disp8 154 // imm32 imm8 disp32 |disp16 disp8 subop modrm 155 // 0 0 0 |0 1 0 0 156 157 // jump 158 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "eb", 0x04); 159 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "72", 0x04); 160 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "73", 0x04); 161 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "74", 0x04); 162 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "75", 0x04); 163 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "76", 0x04); 164 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "77", 0x04); 165 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "7c", 0x04); 166 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "7d", 0x04); 167 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "7e", 0x04); 168 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "7f", 0x04); 169 170 //// Class D: just op and disp32 171 // imm32 imm8 disp32 |disp16 disp8 subop modrm 172 // 0 0 1 |0 0 0 0 173 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "e8", 0x10); // call 174 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "e9", 0x10); // jump 175 176 //// Class E: just op and imm8 177 // imm32 imm8 disp32 |disp16 disp8 subop modrm 178 // 0 1 0 |0 0 0 0 179 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "cd", 0x20); // software interrupt 180 181 //// Class F: just op and imm32 182 // imm32 imm8 disp32 |disp16 disp8 subop modrm 183 // 1 0 0 |0 0 0 0 184 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "05", 0x40); // add 185 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "2d", 0x40); // subtract 186 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "25", 0x40); // and 187 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "0d", 0x40); // or 188 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "35", 0x40); // xor 189 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "3d", 0x40); // compare 190 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "68", 0x40); // push 191 // copy 192 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "b8", 0x40); 193 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "b9", 0x40); 194 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "ba", 0x40); 195 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "bb", 0x40); 196 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "bc", 0x40); 197 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "bd", 0x40); 198 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "be", 0x40); 199 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "bf", 0x40); 200 201 //// Class M: using ModR/M byte 202 // imm32 imm8 disp32 |disp16 disp8 subop modrm 203 // 0 0 0 |0 0 0 1 204 205 // add 206 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "01", 0x01); 207 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "03", 0x01); 208 // subtract 209 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "29", 0x01); 210 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "2b", 0x01); 211 // and 212 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "21", 0x01); 213 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "23", 0x01); 214 // or 215 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "09", 0x01); 216 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "0b", 0x01); 217 // xor 218 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "31", 0x01); 219 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "33", 0x01); 220 // compare 221 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "39", 0x01); 222 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "3b", 0x01); 223 // copy 224 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "88", 0x01); 225 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "89", 0x01); 226 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "8a", 0x01); 227 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "8b", 0x01); 228 // swap 229 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "87", 0x01); 230 // copy address (lea) 231 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "8d", 0x01); 232 233 //// Class N: op, ModR/M and subop (not r32) 234 // imm32 imm8 disp32 |disp16 disp8 subop modrm 235 // 0 0 0 |0 0 1 1 236 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "8f", 0x03); // pop 237 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "d3", 0x03); // shift 238 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "f7", 0x03); // test/not/mul/div 239 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "ff", 0x03); // jump/push/call 240 241 //// Class O: op, ModR/M, subop (not r32) and imm8 242 // imm32 imm8 disp32 |disp16 disp8 subop modrm 243 // 0 1 0 |0 0 1 1 244 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "c1", 0x23); // combine 245 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "c6", 0x23); // copy 246 247 //// Class P: op, ModR/M, subop (not r32) and imm32 248 // imm32 imm8 disp32 |disp16 disp8 subop modrm 249 // 1 0 0 |0 0 1 1 250 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "81", 0x43); // combine 251 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "c7", 0x43); // copy 252 253 //// Class Q: op, ModR/M and imm32 254 // imm32 imm8 disp32 |disp16 disp8 subop modrm 255 // 1 0 0 |0 0 0 1 256 <a href='001help.cc.html#L227'>put</a>(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, "69", 0x41); // multiply 257 258 // End Init Permitted Operands 259 } 260 261 #define HAS(bitvector, bit) ((bitvector) & (1 << (bit))) 262 #define SET(bitvector, bit) ((bitvector) | (1 << (bit))) 263 #define CLEAR(bitvector, bit) ((bitvector) & (~(1 << (bit)))) 264 265 void check_arguments(const line& inst, const word& op) { 266 if (!is_hex_byte(op)) return; 267 uint8_t expected_bitvector = get(<a href='033check_operands.cc.html#L99'>Permitted_arguments</a>, op.data); 268 if (HAS(expected_bitvector, <a href='033check_operands.cc.html#L69'>MODRM</a>)) { 269 <a href='033check_operands.cc.html#L381'>check_arguments_modrm</a>(inst, op); 270 <a href='033check_operands.cc.html#L416'>compare_bitvector_modrm</a>(inst, expected_bitvector, <a href='033check_operands.cc.html#L297'>maybe_name</a>(op)); 271 } 272 else { 273 <a href='033check_operands.cc.html#L279'>compare_bitvector</a>(inst, expected_bitvector, <a href='033check_operands.cc.html#L297'>maybe_name</a>(op)); 274 } 275 } 276 277 //: Many instructions can be checked just by comparing bitvectors. 278 279 void <a href='033check_operands.cc.html#L279'>compare_bitvector</a>(const line& inst, uint8_t expected, const string& maybe_op_name) { 280 if (<a href='032operands.cc.html#L533'>all_hex_bytes</a>(inst) && <a href='033check_operands.cc.html#L315'>has_arguments</a>(inst)) return; // deliberately programming in raw hex; we'll raise a warning elsewhere 281 uint8_t bitvector = <a href='033check_operands.cc.html#L305'>compute_expected_argument_bitvector</a>(inst); 282 if (<a href='003trace.cc.html#L262'>trace_contains_errors</a>()) return; // duplicate argument type 283 if (bitvector == expected) return; // all good with this instruction 284 for (int i = 0; i < <a href='033check_operands.cc.html#L76'>NUM_OPERAND_TYPES</a>; ++i, bitvector >>= 1, expected >>= 1) { 285 //? cerr << "comparing " << HEXBYTE << NUM(bitvector) << " with " << NUM(expected) << '\n'; 286 if ((bitvector & 0x1) == (expected & 0x1)) continue; // all good with this argument 287 const string& optype = <a href='033check_operands.cc.html#L79'>Operand_type_name</a>.at(i); 288 if ((bitvector & 0x1) > (expected & 0x1)) 289 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "'" << maybe_op_name << ": unexpected " << optype << " argument\n" << end(); 290 else 291 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "'" << maybe_op_name << ": missing " << optype << " argument\n" << end(); 292 // continue giving all errors for a single instruction 293 } 294 // ignore settings in any unused bits 295 } 296 297 string <a href='033check_operands.cc.html#L297'>maybe_name</a>(const word& op) { 298 if (!is_hex_byte(op)) return ""; 299 if (!contains_key(<a href='010vm.cc.html#L355'>Name</a>, op.data)) return ""; 300 // strip stuff in parens from the name 301 const string& s = get(<a href='010vm.cc.html#L355'>Name</a>, op.data); 302 return " ("+s.substr(0, s.find(" ("))+')'; 303 } 304 305 uint32_t <a href='033check_operands.cc.html#L305'>compute_expected_argument_bitvector</a>(const line& inst) { 306 set<string> arguments_found; 307 uint32_t bitvector = 0; 308 for (int i = /*skip op*/1; i < <a href='001help.cc.html#L168'>SIZE</a>(inst.<a href='011run.cc.html#L122'>words</a>); ++i) { 309 bitvector = bitvector | <a href='033check_operands.cc.html#L332'>expected_bit_for_received_argument</a>(inst.<a href='011run.cc.html#L122'>words</a>.at(i), arguments_found, inst); 310 if (<a href='003trace.cc.html#L262'>trace_contains_errors</a>()) return <a href='033check_operands.cc.html#L100'>INVALID_OPERANDS</a>; // duplicate argument type 311 } 312 return bitvector; 313 } 314 315 bool <a href='033check_operands.cc.html#L315'>has_arguments</a>(const line& inst) { 316 return <a href='001help.cc.html#L168'>SIZE</a>(inst.<a href='011run.cc.html#L122'>words</a>) > <a href='033check_operands.cc.html#L319'>first_argument</a>(inst); 317 } 318 319 int <a href='033check_operands.cc.html#L319'>first_argument</a>(const line& inst) { 320 if (inst.<a href='011run.cc.html#L122'>words</a>.at(0).data == "0f") return 2; 321 if (inst.<a href='011run.cc.html#L122'>words</a>.at(0).data == "f2" || inst.<a href='011run.cc.html#L122'>words</a>.at(0).data == "f3") { 322 if (inst.<a href='011run.cc.html#L122'>words</a>.at(1).data == "0f") 323 return 3; 324 else 325 return 2; 326 } 327 return 1; 328 } 329 330 // Scan the metadata of 'w' and return the expected bit corresponding to any argument type. 331 // Also raise an error if metadata contains multiple argument types. 332 uint32_t <a href='033check_operands.cc.html#L332'>expected_bit_for_received_argument</a>(const word& w, set<string>& instruction_arguments, const line& inst) { 333 uint32_t bv = 0; 334 bool found = false; 335 for (int i = 0; i < <a href='001help.cc.html#L168'>SIZE</a>(w.metadata); ++i) { 336 string/*copy*/ curr = w.metadata.at(i); 337 string expected_metadata = curr; 338 if (curr == "mod" || curr == "rm32" || curr == "r32" || curr == "xm32" || curr == "x32" || curr == "scale" || curr == "index" || curr == "base") 339 expected_metadata = "modrm"; 340 else if (!contains_key(<a href='033check_operands.cc.html#L80'>Operand_type</a>, curr)) continue; // ignore unrecognized metadata 341 if (found) { 342 <a href='003trace.cc.html#L226'>raise</a> << "'" << w.original << "' has conflicting argument types; it should have only one\n" << end(); 343 return <a href='033check_operands.cc.html#L100'>INVALID_OPERANDS</a>; 344 } 345 if (instruction_arguments.find(curr) != instruction_arguments.end()) { 346 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "': duplicate " << curr << " argument\n" << end(); 347 return <a href='033check_operands.cc.html#L100'>INVALID_OPERANDS</a>; 348 } 349 instruction_arguments.insert(curr); 350 bv = (1 << get(<a href='033check_operands.cc.html#L80'>Operand_type</a>, expected_metadata)); 351 found = true; 352 } 353 return bv; 354 } 355 356 void <a href='033check_operands.cc.html#L356'>test_conflicting_argument_type</a>() { 357 Hide_errors = true; 358 <a href='011run.cc.html#L82'>run</a>( 359 "== code 0x1\n" 360 "cd/software-interrupt 80/imm8/imm32\n" 361 ); 362 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 363 "error: '80/imm8/imm32' has conflicting argument types; it should have only one\n" 364 ); 365 } 366 367 //: Instructions computing effective addresses have more complex rules, so 368 //: we'll hard-code a common set of instruction-decoding rules. 369 370 void <a href='033check_operands.cc.html#L370'>test_check_missing_mod_argument</a>() { 371 Hide_errors = true; 372 <a href='011run.cc.html#L82'>run</a>( 373 "== code 0x1\n" 374 "81 0/add/subop 3/rm32/ebx 1/imm32\n" 375 ); 376 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 377 "error: '81 0/add/subop 3/rm32/ebx 1/imm32' (combine rm32 with imm32 based on subop): missing mod argument\n" 378 ); 379 } 380 381 void <a href='033check_operands.cc.html#L381'>check_arguments_modrm</a>(const line& inst, const word& op) { 382 if (<a href='032operands.cc.html#L533'>all_hex_bytes</a>(inst)) return; // deliberately programming in raw hex; we'll raise a warning elsewhere 383 <a href='033check_operands.cc.html#L450'>check_argument_metadata_present</a>(inst, "mod", op); 384 if (!has_argument_metadata(inst, "rm32") && !has_argument_metadata(inst, "xm32")) 385 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "'" << <a href='033check_operands.cc.html#L297'>maybe_name</a>(op) << ": missing rm32 (or xm32) argument\n" << end(); 386 // no check for r32; some instructions don't use it; just assume it's 0 if missing 387 if (op.data == "81" || op.data == "8f" || op.data == "f7" || op.data == "ff") { // keep sync'd with 'help subop' 388 <a href='033check_operands.cc.html#L450'>check_argument_metadata_present</a>(inst, "subop", op); 389 <a href='033check_operands.cc.html#L455'>check_argument_metadata_absent</a>(inst, "r32", op, "should be replaced by subop"); 390 <a href='033check_operands.cc.html#L455'>check_argument_metadata_absent</a>(inst, "x32", op, "should be replaced by subop"); 391 } 392 if (<a href='003trace.cc.html#L262'>trace_contains_errors</a>()) return; 393 if (<a href='033check_operands.cc.html#L407'>metadata_m32</a>(inst).data != "4") return; 394 // SIB byte checks 395 uint8_t mod = <a href='011run.cc.html#L288'>hex_byte</a>(metadata(inst, "mod").data); 396 if (mod != /*direct*/3) { 397 <a href='033check_operands.cc.html#L450'>check_argument_metadata_present</a>(inst, "base", op); 398 <a href='033check_operands.cc.html#L450'>check_argument_metadata_present</a>(inst, "index", op); // otherwise why go to SIB? 399 } 400 else { 401 <a href='033check_operands.cc.html#L455'>check_argument_metadata_absent</a>(inst, "base", op, "direct mode"); 402 <a href='033check_operands.cc.html#L455'>check_argument_metadata_absent</a>(inst, "index", op, "direct mode"); 403 } 404 // no check for scale; 0 (2**0 = 1) by default 405 } 406 407 <a href='011run.cc.html#L127'>word</a> <a href='033check_operands.cc.html#L407'>metadata_m32</a>(const line& inst) { 408 for (int i = 0; i < <a href='001help.cc.html#L168'>SIZE</a>(inst.<a href='011run.cc.html#L122'>words</a>); ++i) 409 if (has_argument_metadata(inst.<a href='011run.cc.html#L122'>words</a>.at(i), "rm32") || has_argument_metadata(inst.<a href='011run.cc.html#L122'>words</a>.at(i), "xm32")) 410 return inst.<a href='011run.cc.html#L122'>words</a>.at(i); 411 assert(false); 412 } 413 414 // same as compare_bitvector, with one additional exception for modrm-based 415 // instructions: they may use an extra displacement on occasion 416 void <a href='033check_operands.cc.html#L416'>compare_bitvector_modrm</a>(const line& inst, uint8_t expected, const string& maybe_op_name) { 417 if (<a href='032operands.cc.html#L533'>all_hex_bytes</a>(inst) && <a href='033check_operands.cc.html#L315'>has_arguments</a>(inst)) return; // deliberately programming in raw hex; we'll raise a warning elsewhere 418 uint8_t bitvector = <a href='033check_operands.cc.html#L305'>compute_expected_argument_bitvector</a>(inst); 419 if (<a href='003trace.cc.html#L262'>trace_contains_errors</a>()) return; // duplicate argument type 420 // update 'expected' bitvector for the additional exception 421 if (has_argument_metadata(inst, "mod")) { 422 int32_t mod = <a href='032operands.cc.html#L610'>parse_int</a>(metadata(inst, "mod").data); 423 switch (mod) { 424 case 0: 425 if (has_argument_metadata(inst, "rm32") && <a href='032operands.cc.html#L610'>parse_int</a>(metadata(inst, "rm32").data) == 5) 426 expected |= (1<<DISP32); 427 break; 428 case 1: 429 expected |= (1<<DISP8); 430 break; 431 case 2: 432 expected |= (1<<DISP32); 433 break; 434 } 435 } 436 if (bitvector == expected) return; // all good with this instruction 437 for (int i = 0; i < <a href='033check_operands.cc.html#L76'>NUM_OPERAND_TYPES</a>; ++i, bitvector >>= 1, expected >>= 1) { 438 //? cerr << "comparing for modrm " << HEXBYTE << NUM(bitvector) << " with " << NUM(expected) << '\n'; 439 if ((bitvector & 0x1) == (expected & 0x1)) continue; // all good with this argument 440 const string& optype = <a href='033check_operands.cc.html#L79'>Operand_type_name</a>.at(i); 441 if ((bitvector & 0x1) > (expected & 0x1)) 442 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "'" << maybe_op_name << ": unexpected " << optype << " argument\n" << end(); 443 else 444 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "'" << maybe_op_name << ": missing " << optype << " argument\n" << end(); 445 // continue giving all errors for a single instruction 446 } 447 // ignore settings in any unused bits 448 } 449 450 void <a href='033check_operands.cc.html#L450'>check_argument_metadata_present</a>(const line& inst, const string& type, const word& op) { 451 if (!has_argument_metadata(inst, type)) 452 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "'" << <a href='033check_operands.cc.html#L297'>maybe_name</a>(op) << ": missing " << type << " argument\n" << end(); 453 } 454 455 void <a href='033check_operands.cc.html#L455'>check_argument_metadata_absent</a>(const line& inst, const string& type, const word& op, const string& msg) { 456 if (has_argument_metadata(inst, type)) 457 <a href='003trace.cc.html#L226'>raise</a> << "'" << to_string(inst) << "'" << <a href='033check_operands.cc.html#L297'>maybe_name</a>(op) << ": unexpected " << type << " argument (" << msg << ")\n" << end(); 458 } 459 460 void <a href='033check_operands.cc.html#L460'>test_modrm_with_displacement</a>() { 461 Reg[EAX].u = 0x1; 462 transform( 463 "== code 0x1\n" 464 // just avoid null pointer 465 "8b/copy 1/mod/lookup+disp8 0/rm32/EAX 2/r32/EDX 4/disp8\n" // copy *(EAX+4) to EDX 466 ); 467 <a href='003trace.cc.html#L294'>CHECK_TRACE_COUNT</a>("error", 0); 468 } 469 470 void <a href='033check_operands.cc.html#L470'>test_check_missing_disp8</a>() { 471 Hide_errors = true; 472 transform( 473 "== code 0x1\n" 474 "89/copy 1/mod/lookup+disp8 0/rm32/EAX 1/r32/ECX\n" // missing disp8 475 ); 476 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 477 "error: '89/copy 1/mod/lookup+disp8 0/rm32/EAX 1/r32/ECX' (copy r32 to rm32): missing disp8 argument\n" 478 ); 479 } 480 481 void <a href='033check_operands.cc.html#L481'>test_check_missing_disp32</a>() { 482 Hide_errors = true; 483 transform( 484 "== code 0x1\n" 485 "8b/copy 0/mod/indirect 5/rm32/.disp32 2/r32/EDX\n" // missing disp32 486 ); 487 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 488 "error: '8b/copy 0/mod/indirect 5/rm32/.disp32 2/r32/EDX' (copy rm32 to r32): missing <a href='040tests.cc.html#L82'>disp32</a> argument\n" 489 ); 490 } 491 492 void <a href='033check_operands.cc.html#L492'>test_conflicting_arguments_in_modrm_instruction</a>() { 493 Hide_errors = true; 494 <a href='011run.cc.html#L82'>run</a>( 495 "== code 0x1\n" 496 "01/add 0/mod 3/mod\n" 497 ); 498 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 499 "error: '01/add 0/mod 3/mod' has conflicting mod arguments\n" 500 ); 501 } 502 503 void <a href='033check_operands.cc.html#L503'>test_conflicting_argument_type_modrm</a>() { 504 Hide_errors = true; 505 <a href='011run.cc.html#L82'>run</a>( 506 "== code 0x1\n" 507 "01/add 0/mod 3/rm32/r32\n" 508 ); 509 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 510 "error: '3/rm32/r32' has conflicting argument types; it should have only one\n" 511 ); 512 } 513 514 void <a href='033check_operands.cc.html#L514'>test_check_missing_rm32_argument</a>() { 515 Hide_errors = true; 516 <a href='011run.cc.html#L82'>run</a>( 517 "== code 0x1\n" 518 "81 0/add/subop 0/mod 1/imm32\n" 519 ); 520 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 521 "error: '81 0/add/subop 0/mod 1/imm32' (combine rm32 with imm32 based on subop): missing rm32 (or xm32) argument\n" 522 ); 523 } 524 525 void <a href='033check_operands.cc.html#L525'>test_check_missing_subop_argument</a>() { 526 Hide_errors = true; 527 <a href='011run.cc.html#L82'>run</a>( 528 "== code 0x1\n" 529 "81 0/mod 3/rm32/ebx 1/imm32\n" 530 ); 531 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 532 "error: '81 0/mod 3/rm32/ebx 1/imm32' (combine rm32 with imm32 based on subop): missing subop argument\n" 533 ); 534 } 535 536 void <a href='033check_operands.cc.html#L536'>test_check_missing_base_argument</a>() { 537 Hide_errors = true; 538 <a href='011run.cc.html#L82'>run</a>( 539 "== code 0x1\n" 540 "81 0/add/subop 0/mod/indirect 4/rm32/use-sib 1/imm32\n" 541 ); 542 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 543 "error: '81 0/add/subop 0/mod/indirect 4/rm32/use-sib 1/imm32' (combine rm32 with imm32 based on subop): missing base argument\n" 544 ); 545 } 546 547 void <a href='033check_operands.cc.html#L547'>test_check_missing_index_argument</a>() { 548 Hide_errors = true; 549 <a href='011run.cc.html#L82'>run</a>( 550 "== code 0x1\n" 551 "81 0/add/subop 0/mod/indirect 4/rm32/use-sib 0/base 1/imm32\n" 552 ); 553 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 554 "error: '81 0/add/subop 0/mod/indirect 4/rm32/use-sib 0/base 1/imm32' (combine rm32 with imm32 based on subop): missing index argument\n" 555 ); 556 } 557 558 void <a href='033check_operands.cc.html#L558'>test_check_missing_base_argument_2</a>() { 559 Hide_errors = true; 560 <a href='011run.cc.html#L82'>run</a>( 561 "== code 0x1\n" 562 "81 0/add/subop 0/mod/indirect 4/rm32/use-sib 2/index 3/scale 1/imm32\n" 563 ); 564 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 565 "error: '81 0/add/subop 0/mod/indirect 4/rm32/use-sib 2/index 3/scale 1/imm32' (combine rm32 with imm32 based on subop): missing base argument\n" 566 ); 567 } 568 569 void <a href='033check_operands.cc.html#L569'>test_check_extra_displacement</a>() { 570 Hide_errors = true; 571 <a href='011run.cc.html#L82'>run</a>( 572 "== code 0x1\n" 573 "89/copy 0/mod/indirect 0/rm32/EAX 1/r32/ECX 4/disp8\n" 574 ); 575 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 576 "error: '89/copy 0/mod/indirect 0/rm32/EAX 1/r32/ECX 4/disp8' (copy r32 to rm32): unexpected disp8 argument\n" 577 ); 578 } 579 580 void <a href='033check_operands.cc.html#L580'>test_check_duplicate_argument</a>() { 581 Hide_errors = true; 582 <a href='011run.cc.html#L82'>run</a>( 583 "== code 0x1\n" 584 "89/copy 0/mod/indirect 0/rm32/EAX 1/r32/ECX 1/r32\n" 585 ); 586 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 587 "error: '89/copy 0/mod/indirect 0/rm32/EAX 1/r32/ECX 1/r32': duplicate r32 argument\n" 588 ); 589 } 590 591 void <a href='033check_operands.cc.html#L591'>test_check_base_argument_not_needed_in_direct_mode</a>() { 592 <a href='011run.cc.html#L82'>run</a>( 593 "== code 0x1\n" 594 "81 0/add/subop 3/mod/indirect 4/rm32/use-sib 1/imm32\n" 595 ); 596 <a href='003trace.cc.html#L294'>CHECK_TRACE_COUNT</a>("error", 0); 597 } 598 599 void <a href='033check_operands.cc.html#L599'>test_extra_modrm</a>() { 600 Hide_errors = true; 601 <a href='011run.cc.html#L82'>run</a>( 602 "== code 0x1\n" 603 "59/pop-to-ECX 3/mod/direct 1/rm32/ECX 4/r32/ESP\n" 604 ); 605 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 606 "error: '59/pop-to-ECX 3/mod/direct 1/rm32/ECX 4/r32/ESP' (<a href='013direct_addressing.cc.html#L1270'>pop</a> top of stack to <a href='010vm.cc.html#L11'>ECX</a>): unexpected modrm argument\n" 607 ); 608 } 609 610 //:: similarly handle multi-byte opcodes 611 612 void check_arguments_0f(const line& inst) { 613 assert(inst.<a href='011run.cc.html#L122'>words</a>.at(0).data == "0f"); 614 if (<a href='001help.cc.html#L168'>SIZE</a>(inst.<a href='011run.cc.html#L122'>words</a>) == 1) { 615 <a href='003trace.cc.html#L226'>raise</a> << "opcode '0f' requires a second opcode\n" << end(); 616 return; 617 } 618 <a href='011run.cc.html#L127'>word</a> op = <a href='033check_operands.cc.html#L41'>preprocess_op</a>(inst.<a href='011run.cc.html#L122'>words</a>.at(1)); 619 if (!contains_key(<a href='010vm.cc.html#L356'>Name_0f</a>, op.data)) { 620 <a href='003trace.cc.html#L226'>raise</a> << "unknown 2-byte opcode '0f " << op.data << "'\n" << end(); 621 return; 622 } 623 check_arguments_0f(inst, op); 624 } 625 626 void check_arguments_f3(const line& inst) { 627 assert(inst.<a href='011run.cc.html#L122'>words</a>.at(0).data == "f3"); 628 if (<a href='001help.cc.html#L168'>SIZE</a>(inst.<a href='011run.cc.html#L122'>words</a>) == 1) { 629 <a href='003trace.cc.html#L226'>raise</a> << "opcode 'f3' requires a second opcode\n" << end(); 630 return; 631 } 632 <a href='011run.cc.html#L127'>word</a> op = <a href='033check_operands.cc.html#L41'>preprocess_op</a>(inst.<a href='011run.cc.html#L122'>words</a>.at(1)); 633 if (op.data == "0f") { 634 <a href='011run.cc.html#L127'>word</a> op2 = <a href='033check_operands.cc.html#L41'>preprocess_op</a>(inst.<a href='011run.cc.html#L122'>words</a>.at(2)); 635 <a href='033check_operands.cc.html#L743'>check_arguments_f3_0f</a>(inst, op2); 636 return; 637 } 638 if (!contains_key(<a href='010vm.cc.html#L357'>Name_f3</a>, op.data)) { 639 <a href='003trace.cc.html#L226'>raise</a> << "unknown 2-byte opcode 'f3 " << op.data << "'\n" << end(); 640 return; 641 } 642 check_arguments_f3(inst, op); 643 } 644 645 void <a href='033check_operands.cc.html#L645'>test_check_missing_disp32_argument</a>() { 646 Hide_errors = true; 647 <a href='011run.cc.html#L82'>run</a>( 648 "== code 0x1\n" 649 " 0f 84 # jmp if ZF to ??\n" 650 ); 651 <a href='003trace.cc.html#L290'>CHECK_TRACE_CONTENTS</a>( 652 "error: '0f 84' (jump <a href='040tests.cc.html#L82'>disp32</a> bytes away if equal, if <a href='010vm.cc.html#L89'>ZF</a> is set): missing <a href='040tests.cc.html#L82'>disp32</a> argument\n" 653 ); 654 } 655 656 void <a href='033check_operands.cc.html#L656'>test_0f_opcode_with_modrm</a>() { 657 transform( 658 "== code 0x1\n" 659 "0f af/multiply 2/mod/*+disp32 5/rm32/ebp 8/disp32 0/r32\n" 660 ); 661 <a href='003trace.cc.html#L304'>CHECK_TRACE_DOESNT_CONTAIN_ERRORS</a>(); 662 } 663 664 :(before "End Globals") 665 map</*op*/string, /*bitvector*/uint8_t> <a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>; 666 :(before "End Init Permitted Operands") 667 //// Class D: just op and disp32 668 // imm32 imm8 disp32 |disp16 disp8 subop modrm 669 // 0 0 1 |0 0 0 0 670 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "82", 0x10); 671 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "83", 0x10); 672 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "84", 0x10); 673 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "85", 0x10); 674 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "86", 0x10); 675 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "87", 0x10); 676 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "8c", 0x10); 677 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "8d", 0x10); 678 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "8e", 0x10); 679 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "8f", 0x10); 680 681 //// Class M: using ModR/M byte 682 // imm32 imm8 disp32 |disp16 disp8 subop modrm 683 // 0 0 0 |0 0 0 1 684 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "2f", 0x01); // compare floats 685 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "af", 0x01); // multiply ints 686 // setcc 687 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "92", 0x01); 688 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "93", 0x01); 689 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "94", 0x01); 690 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "95", 0x01); 691 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "96", 0x01); 692 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "97", 0x01); 693 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "9c", 0x01); 694 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "9d", 0x01); 695 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "9e", 0x01); 696 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, "9f", 0x01); 697 698 :(before "End Globals") 699 map</*op*/string, /*bitvector*/uint8_t> <a href='033check_operands.cc.html#L699'>Permitted_arguments_f3</a>; 700 map</*op*/string, /*bitvector*/uint8_t> <a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>; 701 :(before "End Init Permitted Operands") 702 //// Class M: using ModR/M byte 703 // imm32 imm8 disp32 |disp16 disp8 subop modrm 704 // 0 0 0 |0 0 0 1 705 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "10", 0x01); // copy xm32 to x32 706 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "11", 0x01); // copy x32 to xm32 707 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "2a", 0x01); // convert-to-float 708 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "2c", 0x01); // truncate-to-int 709 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "2d", 0x01); // convert-to-int 710 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "51", 0x01); // square root 711 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "52", 0x01); // inverse square root 712 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "53", 0x01); // reciprocal 713 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "58", 0x01); // add floats 714 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "59", 0x01); // multiply floats 715 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "5c", 0x01); // subtract floats 716 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "5d", 0x01); // minimum of floats 717 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "5e", 0x01); // divide floats 718 <a href='001help.cc.html#L237'>put_new</a>(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, "5f", 0x01); // maximum of floats 719 720 :(code) 721 void check_arguments_0f(const line& inst, const word& op) { 722 uint8_t expected_bitvector = get(<a href='033check_operands.cc.html#L665'>Permitted_arguments_0f</a>, op.data); 723 if (HAS(expected_bitvector, <a href='033check_operands.cc.html#L69'>MODRM</a>)) { 724 <a href='033check_operands.cc.html#L381'>check_arguments_modrm</a>(inst, op); 725 <a href='033check_operands.cc.html#L416'>compare_bitvector_modrm</a>(inst, expected_bitvector, <a href='033check_operands.cc.html#L754'>maybe_name_0f</a>(op)); 726 } 727 else { 728 <a href='033check_operands.cc.html#L279'>compare_bitvector</a>(inst, CLEAR(expected_bitvector, <a href='033check_operands.cc.html#L69'>MODRM</a>), <a href='033check_operands.cc.html#L754'>maybe_name_0f</a>(op)); 729 } 730 } 731 732 void check_arguments_f3(const line& inst, const word& op) { 733 uint8_t expected_bitvector = get(<a href='033check_operands.cc.html#L699'>Permitted_arguments_f3</a>, op.data); 734 if (HAS(expected_bitvector, <a href='033check_operands.cc.html#L69'>MODRM</a>)) { 735 <a href='033check_operands.cc.html#L381'>check_arguments_modrm</a>(inst, op); 736 <a href='033check_operands.cc.html#L416'>compare_bitvector_modrm</a>(inst, expected_bitvector, <a href='033check_operands.cc.html#L762'>maybe_name_f3</a>(op)); 737 } 738 else { 739 <a href='033check_operands.cc.html#L279'>compare_bitvector</a>(inst, CLEAR(expected_bitvector, <a href='033check_operands.cc.html#L69'>MODRM</a>), <a href='033check_operands.cc.html#L762'>maybe_name_f3</a>(op)); 740 } 741 } 742 743 void <a href='033check_operands.cc.html#L743'>check_arguments_f3_0f</a>(const line& inst, const word& op) { 744 uint8_t expected_bitvector = get(<a href='033check_operands.cc.html#L700'>Permitted_arguments_f3_0f</a>, op.data); 745 if (HAS(expected_bitvector, <a href='033check_operands.cc.html#L69'>MODRM</a>)) { 746 <a href='033check_operands.cc.html#L381'>check_arguments_modrm</a>(inst, op); 747 <a href='033check_operands.cc.html#L416'>compare_bitvector_modrm</a>(inst, expected_bitvector, <a href='033check_operands.cc.html#L770'>maybe_name_f3_0f</a>(op)); 748 } 749 else { 750 <a href='033check_operands.cc.html#L279'>compare_bitvector</a>(inst, CLEAR(expected_bitvector, <a href='033check_operands.cc.html#L69'>MODRM</a>), <a href='033check_operands.cc.html#L770'>maybe_name_f3_0f</a>(op)); 751 } 752 } 753 754 string <a href='033check_operands.cc.html#L754'>maybe_name_0f</a>(const word& op) { 755 if (!is_hex_byte(op)) return ""; 756 if (!contains_key(<a href='010vm.cc.html#L356'>Name_0f</a>, op.data)) return ""; 757 // strip stuff in parens from the name 758 const string& s = get(<a href='010vm.cc.html#L356'>Name_0f</a>, op.data); 759 return " ("+s.substr(0, s.find(" ("))+')'; 760 } 761 762 string <a href='033check_operands.cc.html#L762'>maybe_name_f3</a>(const word& op) { 763 if (!is_hex_byte(op)) return ""; 764 if (!contains_key(<a href='010vm.cc.html#L357'>Name_f3</a>, op.data)) return ""; 765 // strip stuff in parens from the name 766 const string& s = get(<a href='010vm.cc.html#L357'>Name_f3</a>, op.data); 767 return " ("+s.substr(0, s.find(" ("))+')'; 768 } 769 770 string <a href='033check_operands.cc.html#L770'>maybe_name_f3_0f</a>(const word& op) { 771 if (!is_hex_byte(op)) return ""; 772 if (!contains_key(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, op.data)) return ""; 773 // strip stuff in parens from the name 774 const string& s = get(<a href='010vm.cc.html#L358'>Name_f3_0f</a>, op.data); 775 return " ("+s.substr(0, s.find(" ("))+')'; 776 } 777 778 string <a href='033check_operands.cc.html#L778'>tolower</a>(const char* s) { 779 ostringstream out; 780 for (/*nada*/; *s; ++s) 781 out << static_cast<char>(<a href='033check_operands.cc.html#L778'>tolower</a>(*s)); 782 return out.str(); 783 } 784 785 #undef HAS 786 #undef SET 787 #undef CLEAR 788 789 :(before "End Includes") 790 #include<cctype> </pre> </body> </html>