ba9b021253
Our libem had two implementations of loading a block from a stack, one for lar 4 and one for los 4. Now lar 4 and los 4 share the code in .los4. Likewise, sar 4 and sts 4 share the code in .sts4. Rename .los to .los4 and .sts to .sts4, because they implement los 4 and sts 4. Remove the special case for loading or storing 4 bytes, because we can do it with 1 iteration of the loop. Remove the lines to "align size" where the size must already be a multiple of 4. Fix the upper bound check in .aar4. Change .aar4, .lar4, .los4, .sar4, .sts4 to pass all operands on the real stack, except that .los4 and .sts4 take the size in register r3. Have .aar4 set r3 to the size of the array element. So lar 4 is just .aar4 then .los4, and sar 4 is just .aar4 then .sts4. ncg no longer calls .lar4 and .sar4 in libem, because it inlines the code; but I keep .lar4 and .sar4 in libem, because mcg references them. They might or might not work in mcg.
15 lines
219 B
ArmAsm
15 lines
219 B
ArmAsm
.sect .text
|
|
|
|
! Load from bounds-checked array.
|
|
!
|
|
! Stack: ( array-adr index descriptor-adr -- element )
|
|
|
|
.define .lar4
|
|
.lar4:
|
|
mfspr r10, lr
|
|
bl .aar4
|
|
! pass r3 = size from .aar4 to .los4
|
|
bl .los4
|
|
mtspr lr, r10
|
|
blr
|