Changeset 567


Ignore:
Timestamp:
Feb 17, 2011, 9:56:30 PM (6 years ago)
Author:
sacerdot
Message:

Undefined value singled out: what to do with it?

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Fetch.ma

    r465 r567  
    136136          let 〈pc,b1〉≝ next pmem pc in 〈〈MOV … (inl … (inl … (inl … (inl … (inr … 〈INDIRECT (from_singl … v),DIRECT b1〉))))), pc〉, 2〉
    137137         else
    138           〈〈MUL … ACC_A ACC_B, pc〉, 4〉
     138          let 〈b,v〉≝  head … v in if b then
     139           〈〈MUL … ACC_A ACC_B, pc〉, 4〉
     140          else
     141           (* CSC: bug here: this opcode should be undefined! *)
     142           〈〈NOP …, pc〉, 1〉
    139143        else
    140144         let 〈b,v〉≝  head … v in if b then
Note: See TracChangeset for help on using the changeset viewer.