src/runtime/mips-assem.S

   1 #define LANGUAGE_ASSEMBLY
   2
   3 #include "sbcl.h"
   4 #include "lispregs.h"
   5 #include "genesis/fdefn.h"
   6 #include "genesis/closure.h"
   7 #include "genesis/simple-fun.h"
   8 #include "genesis/static-symbols.h"
   9
  10 #define zero $0
  11 #define at $1
  12 #define v0 $2
  13 #define v1 $3
  14 #define a0 $4
  15 #define a1 $5
  16 #define a2 $6
  17 #define a3 $7
  18 #define t0 $8
  19 #define t1 $9
  20 #define t2 $10
  21 #define t3 $11
  22 #define t4 $12
  23 #define t5 $13
  24 #define t6 $14
  25 #define t7 $15
  26 #define s0 $16
  27 #define s1 $17
  28 #define s2 $18
  29 #define s3 $19
  30 #define s4 $20
  31 #define s5 $21
  32 #define s6 $22
  33 #define s7 $23
  34 #define t8 $24
  35 #define t9 $25
  36 #define k0 $26
  37 #define k1 $27
  38 #define gp $28
  39 #define sp $29
  40 #define s8 $30
  41 #define ra $31
  42
  43
  44 /*
  45  * Function to transfer control into lisp.
  46  */
  47         .text
  48         .globl  call_into_lisp
  49         .ent    call_into_lisp
  50 call_into_lisp:
  51 #define framesize 12*4
  52         subu    sp, framesize
  53         .frame  sp, framesize, ra
  54         /* Save all the C regs. */
  55         .mask   0xc0ff0000, 0
  56         sw      ra, framesize(sp)
  57         sw      s8, framesize-4(sp)
  58         sw      s7, framesize-12(sp)
  59         sw      s6, framesize-16(sp)
  60         sw      s5, framesize-20(sp)
  61         sw      s4, framesize-24(sp)
  62         sw      s3, framesize-28(sp)
  63         sw      s2, framesize-32(sp)
  64         sw      s1, framesize-36(sp)
  65         sw      s0, framesize-40(sp)
  66
  67         /* Clear descriptor regs */
  68         move    t0, zero
  69         move    t1, zero
  70         move    t2, zero
  71         move    t3, zero
  72         move    t4, zero
  73         move    t5, zero
  74         move    t6, zero
  75         move    t7, zero
  76         move    t8, zero
  77         move    s0, zero
  78         move    s1, zero
  79         move    s2, zero
  80         move    s3, zero
  81         move    ra, zero
  82
  83         li      reg_NIL, NIL
  84
  85         /* Start pseudo-atomic. */
  86         .set    noreorder
  87         li      reg_NL4, 0
  88         li      reg_ALLOC, 1
  89         .set    reorder
  90
  91         /* No longer in foreign call. */
  92         sw      zero, foreign_function_call_active
  93
  94         /* Load the allocation pointer, preserving the low-bit of alloc */
  95         lw      reg_BSP, dynamic_space_free_pointer
  96         add     reg_ALLOC, reg_BSP
  97
  98         /* Load the rest of the LISP state. */
  99         lw      reg_BSP, current_binding_stack_pointer
 100         lw      reg_CSP, current_control_stack_pointer
 101         lw      reg_OCFP, current_control_frame_pointer
 102
 103         /* Check for interrupt */
 104         .set    noreorder
 105         bgez    reg_NL4, pa1
 106         nop
 107         break   0x10
 108 pa1:
 109         subu    reg_ALLOC, 1
 110         .set    reorder
 111
 112         /* Pass in args */
 113         move    reg_LEXENV, $4
 114         move    reg_CFP, $5
 115         sll     reg_NARGS, $6, 2
 116         lw      reg_A0, 0(reg_CFP)
 117         lw      reg_A1, 4(reg_CFP)
 118         lw      reg_A2, 8(reg_CFP)
 119         lw      reg_A3, 12(reg_CFP)
 120         lw      reg_A4, 16(reg_CFP)
 121         lw      reg_A5, 20(reg_CFP)
 122
 123         /* Calculate LRA */
 124         la      reg_LRA, lra + OTHER_POINTER_LOWTAG
 125
 126         /* Indirect closure */
 127         lw      reg_CODE, -1(reg_LEXENV)
 128
 129         /* Jump into lisp land. */
 130         addu    reg_LIP, reg_CODE, 6*4 - FUN_POINTER_LOWTAG
 131         j       reg_LIP
 132
 133         .set    noreorder
 134         .align  3
 135 #ifdef irix
 136         /* This particular KLUDGE is kept here as a reminder; for more
 137         details, see irix-asm-munge.c from CMUCL's lisp directory.
 138         Other examples have been deleted from later in the file in the
 139         hope that they will not be needed. */
 140 .globl  mipsmungelra /* for our munging afterwards in irix-asm-munge */
 141 mipsmungelra:
 142 #endif
 143 lra:
 144         .word   RETURN_PC_HEADER_WIDETAG
 145
 146         /* Multiple value return spot, clear stack */
 147         move    reg_CSP, reg_OCFP
 148         nop
 149
 150         /* Set pseudo-atomic flag. */
 151         li      reg_NL4, 0
 152         addu    reg_ALLOC, 1
 153         .set    reorder
 154
 155         /* Save LISP registers. */
 156         subu    reg_NL0, reg_ALLOC, 1
 157         sw      reg_NL0, dynamic_space_free_pointer
 158         sw      reg_BSP, current_binding_stack_pointer
 159         sw      reg_CSP, current_control_stack_pointer
 160         sw      reg_CFP, current_control_frame_pointer
 161
 162         /* Pass one return value back to C land. */
 163         /* v0 is reg_ALLOC in this new world, so do this after saving
 164            reg_ALLOC in dynamic_space_free_pointer */
 165         move    v0, reg_A0
 166
 167         /* Back in foreign function call */
 168         sw      reg_CFP, foreign_function_call_active
 169
 170         /* Check for interrupt */
 171         .set    noreorder
 172         bgez    reg_NL4, pa2
 173         nop
 174         break   0x10
 175 pa2:
 176         subu    reg_ALLOC, 1
 177         .set    reorder
 178
 179         /* Restore C regs */
 180         lw      ra, framesize(sp)
 181         lw      s8, framesize-4(sp)
 182         lw      s7, framesize-12(sp)
 183         lw      s6, framesize-16(sp)
 184         lw      s5, framesize-20(sp)
 185         lw      s4, framesize-24(sp)
 186         lw      s3, framesize-28(sp)
 187         lw      s2, framesize-32(sp)
 188         lw      s1, framesize-36(sp)
 189         lw      s0, framesize-40(sp)
 190
 191         /* Restore C stack. */
 192         addu    sp, framesize
 193
 194         /* Back we go. */
 195         j       ra
 196
 197         .end    call_into_lisp
 198
 199 /*
 200  * Transfering control from Lisp into C
 201  */
 202         .text
 203         .globl  call_into_c
 204         .ent    call_into_c
 205 call_into_c:
 206         /* Set up a stack frame. */
 207         move    reg_OCFP, reg_CFP
 208         move    reg_CFP, reg_CSP
 209         addu    reg_CSP, reg_CFP, 32
 210         sw      reg_OCFP, 0(reg_CFP)
 211         subu    reg_NL4, reg_LIP, reg_CODE
 212         addu    reg_NL4, OTHER_POINTER_LOWTAG
 213         sw      reg_NL4, 4(reg_CFP)
 214         sw      reg_CODE, 8(reg_CFP)
 215         sw      gp, 12(reg_CFP)
 216
 217         /* Note: the C stack is already set up. */
 218
 219         /* Set the pseudo-atomic flag. */
 220         .set    noreorder
 221         li      reg_NL4, 0
 222         addu    reg_ALLOC, 1
 223         .set    reorder
 224
 225         /* Save lisp state. */
 226         subu    t0, reg_ALLOC, 1
 227         sw      t0, dynamic_space_free_pointer
 228         sw      reg_BSP, current_binding_stack_pointer
 229         sw      reg_CSP, current_control_stack_pointer
 230         sw      reg_CFP, current_control_frame_pointer
 231
 232         /* Mark us as in C land. */
 233         sw      reg_CSP, foreign_function_call_active
 234
 235         /* Were we interrupted? */
 236         .set    noreorder
 237         bgez    reg_NL4, pa3
 238         nop
 239         break   0x10
 240 pa3:
 241         subu    reg_ALLOC, 1
 242         .set    reorder
 243
 244         /* Into C land we go. */
 245         move    t9, reg_CFUNC
 246         jal     t9
 247         nop
 248
 249         lw      gp, 12(reg_CFP)
 250
 251         /* Clear unsaved descriptor regs */
 252         move    t0, zero
 253         move    t1, zero
 254         move    t2, zero
 255         move    t3, zero
 256         move    t4, zero
 257         move    t5, zero
 258         move    t6, zero
 259         move    t7, zero
 260         move    t8, zero
 261         move    s0, zero
 262         move    s2, zero
 263         move    s3, zero
 264         move    ra, zero
 265
 266         /* Turn on pseudo-atomic. */
 267         .set    noreorder
 268         li      reg_NL4, 0
 269         li      reg_ALLOC, 1
 270         .set    reorder
 271
 272         /* Mark us at in Lisp land. */
 273         sw      zero, foreign_function_call_active
 274
 275         /* Restore ALLOC, preserving pseudo-atomic-atomic */
 276         lw      a0, dynamic_space_free_pointer
 277         addu    reg_ALLOC, a0
 278
 279         /* Check for interrupt */
 280         .set    noreorder
 281         bgez    reg_NL4, pa4
 282         nop
 283         break   0x10
 284 pa4:
 285         subu    reg_ALLOC, 1
 286         .set    reorder
 287
 288         /* Restore LRA & CODE (they may have been GC'ed) */
 289         lw      reg_CODE, 8(reg_CFP)
 290         lw      a0, 4(reg_CFP)
 291         subu    a0, OTHER_POINTER_LOWTAG
 292         addu    reg_LIP, reg_CODE, a0
 293
 294         /* Reset the lisp stack. */
 295         /* Note: OCFP and CFP are in saved regs. */
 296         move    reg_CSP, reg_CFP
 297         move    reg_CFP, reg_OCFP
 298
 299         /* Return to LISP. */
 300         j       reg_LIP
 301
 302         .end    call_into_c
 303
 304         .text
 305         .globl  start_of_tramps
 306 start_of_tramps:
 307
 308 /*
 309  * The undefined-function trampoline.
 310  */
 311         .text
 312         .globl  undefined_tramp
 313         .ent    undefined_tramp
 314 undefined_tramp:
 315         break   10
 316         .byte    4
 317         .byte    UNDEFINED_FUN_ERROR
 318         .byte    254
 319         .byte    (0xc0 + sc_DescriptorReg)
 320         .byte    1
 321         .align 2
 322         .end    undefined_tramp
 323
 324 /*
 325  * The closure trampoline.
 326  */
 327         .text
 328         .globl  closure_tramp
 329         .ent    closure_tramp
 330 closure_tramp:
 331         lw      reg_LEXENV, FDEFN_FUN_OFFSET(reg_FDEFN)
 332         lw      reg_L0, CLOSURE_FUN_OFFSET(reg_LEXENV)
 333         addu    reg_LIP, reg_L0, SIMPLE_FUN_CODE_OFFSET
 334         j       reg_LIP
 335         .end    closure_tramp
 336
 337         .text
 338         .globl  end_of_tramps
 339 end_of_tramps:
 340
 341
 342 /*
 343  * Function-end breakpoint magic.
 344  */
 345
 346         .text
 347         .align  2
 348         .set    noreorder
 349         .globl  function_end_breakpoint_guts
 350 fun_end_breakpoint_guts:
 351         .word   RETURN_PC_HEADER_WIDETAG
 352
 353         beq     zero, zero, 1f
 354         nop
 355         move    reg_OCFP, reg_CSP
 356         addu    reg_CSP, 4
 357         li      reg_NARGS, 4
 358         move    reg_A1, reg_NIL
 359         move    reg_A2, reg_NIL
 360         move    reg_A3, reg_NIL
 361         move    reg_A4, reg_NIL
 362         move    reg_A5, reg_NIL
 363 1:
 364
 365         .globl  fun_end_breakpoint_trap
 366 fun_end_breakpoint_trap:
 367         break   trap_FunEndBreakpoint
 368         beq     zero, zero, 1b
 369         nop
 370
 371         .globl  fun_end_breakpoint_end
 372 fun_end_breakpoint_end:
 373         .set    reorder
 374
 375 /* FIXME:        I don't think the below are actually used anywhere */
 376         .text
 377         .align  2
 378         .globl  call_on_stack
 379         .ent    call_on_stack
 380 call_on_stack:
 381         subu    sp, a1, 16
 382         jal     a0
 383         break   0
 384         .end    call_on_stack
 385
 386         .globl  save_state
 387         .ent    save_state
 388 save_state:
 389         subu    sp, 40
 390         .frame  sp, 40, ra
 391         /* Save all the C regs. */
 392         .mask   0xc0ff0000, 0
 393         sw      ra, 40(sp)
 394         sw      s8, 40-4(sp)
 395         sw      s7, 40-8(sp)
 396         sw      s6, 40-12(sp)
 397         sw      s5, 40-16(sp)
 398         sw      s4, 40-20(sp)
 399         sw      s3, 40-24(sp)
 400         sw      s2, 40-28(sp)
 401         sw      s1, 40-32(sp)
 402         sw      s0, 40-36(sp)
 403
 404         /* Should also save the floating point state. */
 405
 406         move    t0, a0
 407         move    a0, sp
 408
 409         jal     t0
 410
 411 _restore_state:
 412
 413         lw      ra, 40(sp)
 414         lw      s8, 40-4(sp)
 415         lw      s7, 40-8(sp)
 416         lw      s6, 40-12(sp)
 417         lw      s5, 40-16(sp)
 418         lw      s4, 40-20(sp)
 419         lw      s3, 40-24(sp)
 420         lw      s2, 40-28(sp)
 421         lw      s1, 40-32(sp)
 422         lw      s0, 40-36(sp)
 423
 424         addu    sp, 40
 425         j       ra
 426
 427         .globl  restore_state
 428 restore_state:
 429         move    sp, a0
 430         move    v0, a1
 431         j       _restore_state
 432         .end    save_state
 433
 434
 435
 436
 437