Changeset 31 for Deliverables
 Timestamp:
 Sep 3, 2010, 12:08:16 PM (10 years ago)
 Location:
 Deliverables/D4.1
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D4.1/ASM.mli
r30 r31 75 75  JC of rel 76 76  JNC of rel 77  JB of rel77  JB of bit * rel 78 78  JNB of bit * rel 79 79  JBC of bit * rel 
Deliverables/D4.1/ASMInterpret.ml
r29 r31 165 165 INC `DPTR, pc, 2 166 166  (false,false,true,false),(false,false,false,false) > 167 let pc,b1 = next pc in 168 let pc b2 = next pc in 169 JB (`BIT) 167 let pc,b1 = next7 pc in 168 let pc,b2 = next pc in 169 JB (`BIT b1, `REL b2), pc, 2 170  (false,false,false,true),(false,false,false,false) > 171 let pc,b1 = next7 pc in 172 let pc,b2 = next pc in 173 JBC (`BIT b1, `REL b2), pc, 2 174  (false,true,false,false),(false,false,false,false) > 175 let pc,b1 = next pc in 176 JC (`REL b1), pc, 2 177  (false,true,true,true),(false,false,true,true) > 178 JMP `IND_DPTR, pc, 2 179  (false,false,true,true),(false,false,false,false) > 180 let pc,b1 = next7 pc in 181 let pc,b2 = next pc in 182 JNB (`BIT b1, `REL b2), pc, 2 183  (false,true,false,true),(false,false,false,false) > 184 let pc,b1 = next pc in 185 JNC (`REL b1), pc, 2 186  (false,true,true,true),(false,false,false,false) > 187 let pc,b1 = next pc in 188 JNZ (`REL b1), pc, 2 189  (false,true,true,false),(false,false,false,false) > 190 let pc,b1 = next pc in 191 JZ (`REL b1), pc, 2 192  (false,false,false,true),(false,false,true,false) > 193 let pc,b1 = next pc in 194 let pc,b2 = next pc in 195 LCALL (`ADDR16 (b1,b1)), pc, 2 196  (false,false,false,false),(false,false,true,false) > 197 let pc,b1 = next pc in 198 let pc,b2 = next pc in 199 LJMP (`ADDR16 (b1,b1)), pc, 2 170 200 with 171 201 Not_found > raise BOO
Note: See TracChangeset
for help on using the changeset viewer.