|
Notes |
|
|
(0000566)
|
|
wangp
|
|
2013-09-17 17:53
|
|
|
We also have to prevent unaligned doubles on the stack, by allocating aligned stack slots and ensuring the stack pointer is always aligned. Alternatively, split up all reads/writes to double-width stack slots into two instructions. |
|
|
|
(0000567)
|
|
wangp
|
|
2013-09-18 14:38
|
|
The nondet stack is complicated by multiple frame types (ordinary, temporary det, temporary nondet). Ordinary frames have 5 fixed slots + temporaries (except for mm grades, with 6 fixed slots). Temporary det frames are exactly 4 words big. Temporary nondet frames are exactly 3 words big. The size is used to recognise the different types.
Maintaining an invariant that the frame pointer rests on an aligned address (so that we can always allocate aligned double slots) would be tricky and probably not worthwhile. |
|
|
|
(0000572)
|
|
pbone
|
|
2013-10-03 15:11
|
|
|
I would like to see these values aligned on the stack in all cases. However since this will be tricky a short term work around, such as using two read instructions for 64bit values on 32 bit platforms, would be okay. |
|
|
|
(0000573)
|
|
wangp
|
|
2013-10-29 17:33
|
|
|
unaligned.m (1,323) 2013-09-16 16:36