 Timestamp:
 Jun 8, 2011, 10:30:27 AM (9 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/ASM/Fetch.ma
r876 r895 34 34 else 35 35 let 〈b,v〉≝ head … v in if b then 36 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[false;false;false]]) @@ b1)), pc〉, 2〉36 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[true;true;true]]) @@ b1)), pc〉, 2〉 37 37 else 38 38 〈〈RealInstruction (MOVX … (inr … 〈EXT_INDIRECT_DPTR,ACC_A〉)), pc〉, 2〉 … … 54 54 else 55 55 let 〈b,v〉≝ head … v in if b then 56 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[false;false;false]]) @@ b1)), pc〉, 2〉56 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[true;true;true]]) @@ b1)), pc〉, 2〉 57 57 else 58 58 〈〈RealInstruction (MOVX … (inl … 〈ACC_A,EXT_INDIRECT_DPTR〉)), pc〉, 2〉 … … 78 78 else 79 79 let 〈b,v〉≝ head … v in if b then 80 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[false;false;true]]) @@ b1)), pc〉, 2〉80 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[true;true;false]]) @@ b1)), pc〉, 2〉 81 81 else 82 82 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (POP … (DIRECT b1)), pc〉, 2〉 … … 101 101 else 102 102 let 〈b,v〉≝ head … v in if b then 103 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[false;false;true]]) @@ b1)), pc〉, 2〉103 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[true;true;false]]) @@ b1)), pc〉, 2〉 104 104 else 105 105 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (PUSH … (DIRECT b1)), pc〉, 2〉 … … 126 126 else 127 127 let 〈b,v〉≝ head … v in if b then 128 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[false;true;false]]) @@ b1)), pc〉, 2〉128 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[true;false;true]]) @@ b1)), pc〉, 2〉 129 129 else 130 130 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (ANL … (inr … 〈CARRY,N_BIT_ADDR b1〉)), pc〉, 2〉 … … 146 146 else 147 147 let 〈b,v〉≝ head … v in if b then 148 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[false;true;false]]) @@ b1)), pc〉, 2〉148 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[true;false;true]]) @@ b1)), pc〉, 2〉 149 149 else 150 150 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (ORL … (inr … 〈CARRY,N_BIT_ADDR b1〉)), pc〉, 2〉 … … 170 170 else 171 171 let 〈b,v〉≝ head … v in if b then 172 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[false;true;true]]) @@ b1)), pc〉, 2〉172 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[true;false;false]]) @@ b1)), pc〉, 2〉 173 173 else 174 174 let 〈pc,b1〉≝ next pmem pc in let 〈pc,b2〉≝ next pmem pc in 〈〈RealInstruction (MOV … (inl … (inl … (inr … 〈DPTR,DATA16 (b1 @@ b2)〉)))), pc〉, 2〉 … … 193 193 else 194 194 let 〈b,v〉≝ head … v in if b then 195 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[false;true;true]]) @@ b1)), pc〉, 2〉195 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[true;false;false]]) @@ b1)), pc〉, 2〉 196 196 else 197 197 let 〈pc,b1〉≝ next pmem pc in 〈〈SJMP … (RELATIVE b1), pc〉, 2〉 … … 219 219 else 220 220 let 〈b,v〉≝ head … v in if b then 221 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[true;false;false]]) @@ b1)), pc〉, 2〉221 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[false;true;true]]) @@ b1)), pc〉, 2〉 222 222 else 223 223 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (JNZ … (RELATIVE b1)), pc〉, 2〉 … … 242 242 else 243 243 let 〈b,v〉≝ head … v in if b then 244 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[true;false;false]]) @@ b1)), pc〉, 2〉244 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[false;true;true]]) @@ b1)), pc〉, 2〉 245 245 else 246 246 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (JZ … (RELATIVE b1)), pc〉, 2〉 … … 266 266 else 267 267 let 〈b,v〉≝ head … v in if b then 268 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[true;false;true]]) @@ b1)), pc〉, 2〉268 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[false;true;false]]) @@ b1)), pc〉, 2〉 269 269 else 270 270 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (JNC … (RELATIVE b1)), pc〉, 2〉 … … 289 289 else 290 290 let 〈b,v〉≝ head … v in if b then 291 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[true;false;true]]) @@ b1)), pc〉, 2〉291 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[false;true;false]]) @@ b1)), pc〉, 2〉 292 292 else 293 293 let 〈pc,b1〉≝ next pmem pc in 〈〈RealInstruction (JC … (RELATIVE b1)), pc〉, 2〉 … … 314 314 else 315 315 let 〈b,v〉≝ head … v in if b then 316 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[true;true;false]]) @@ b1)), pc〉, 2〉316 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[false;false;true]]) @@ b1)), pc〉, 2〉 317 317 else 318 318 let 〈pc,b1〉≝ next pmem pc in let 〈pc,b2〉≝ next pmem pc in 〈〈RealInstruction (JNB … (BIT_ADDR b1) (RELATIVE b2)), pc〉, 2〉 … … 337 337 else 338 338 let 〈b,v〉≝ head … v in if b then 339 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[true;true;false]]) @@ b1)), pc〉, 2〉339 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[false;false;true]]) @@ b1)), pc〉, 2〉 340 340 else 341 341 let 〈pc,b1〉≝ next pmem pc in let 〈pc,b2〉≝ next pmem pc in 〈〈RealInstruction (JB … (BIT_ADDR b1) (RELATIVE b2)), pc〉, 2〉 … … 361 361 else 362 362 let 〈b,v〉≝ head … v in if b then 363 let 〈pc,b1〉≝ next pmem pc in 〈〈A JMP … (ADDR11 (([[true;true;true]]) @@ b1)), pc〉, 2〉363 let 〈pc,b1〉≝ next pmem pc in 〈〈ACALL … (ADDR11 (([[false;false;false]]) @@ b1)), pc〉, 2〉 364 364 else 365 365 let 〈pc,b1〉≝ next pmem pc in let 〈pc,b2〉≝ next pmem pc in 〈〈RealInstruction (JBC … (BIT_ADDR b1) (RELATIVE b2)), pc〉, 2〉 … … 384 384 else 385 385 let 〈b,v〉≝ head … v in if b then 386 let 〈pc,b1〉≝ next pmem pc in 〈〈A CALL … (ADDR11 (([[true;true;true]]) @@ b1)), pc〉, 2〉386 let 〈pc,b1〉≝ next pmem pc in 〈〈AJMP … (ADDR11 (([[false;false;false]]) @@ b1)), pc〉, 2〉 387 387 else 388 388 〈〈RealInstruction (NOP …), pc〉, 1〉.
Note: See TracChangeset
for help on using the changeset viewer.