Changeset 94 for C-semantics

Sep 21, 2010, 11:49:04 AM (11 years ago)

Minor comments.

1 edited


  • C-semantics/8051-Memory/memory.tex

    r82 r94  
    7777\put(164,324){\makebox(80,0){paged access}}
    7878  \put(164,310){\makebox(80,0){direct/indirect}}
    79 \put(163,235){\makebox(0,0)[r]{100h}}
    8080  \put(164,228){\makebox(80,0){\vdots}}
    8181  \put(164,210){\makebox(80,0){direct/indirect}}
    124124`variables' which access the \emph{Special Function Registers} (SFR).
    125125Pointers to these types are not allowed. [Does this match the 8051 instruction
    126 set?]
     126set? CSC: in what sense? you cannot indirectly address any SFR register nor an SFR bit in 8051, so maybe this is the reason; it makes sense anyway.]
    128128These are all defined in Section~3.4.1 of the \sdcc\ manual.
    152152explicit addresses except for \lstinline'volatile' variables.
    153153\item Leave out bit variables(?), provide `external functions' in the CompCert
    154 sense for bit access to SFRs but compile them to the corresponding instruction.
     154sense for bit access to SFRs but compile them to the corresponding instruction.\\
     155CSC: this is unclear to me. In order to address SFR's bits, this is easily achieved. But for the first half of the bit address space (the real bits), this is not the case since only a few bytes can be accessed this way. Thus, if the compiler wants to exploit bit variables, it must do some spilling and keep the bits in the right memory area.
    155156\item Allow casting (and automatic promotion?) to generic pointer types.
    156157\item Only provide equality, ordering and subtraction operations on pointer
Note: See TracChangeset for help on using the changeset viewer.