DIP62: Volatile type qualifier for unoptimizable variables in embedded programming

[Walter Bright via Digitalmars-d]

On 7/15/2014 2:28 PM, bearophile wrote:
> Johannes Pfau:
>
>> And how do you think peek/poke are easier to implement in this regard?
>
> Let's ask Walter.

peek/poke should be implemented as compiler intrinsics that are then mapped onto 
whatever the backend does best for 'volatile' accesses.