boot2

057-block-static.scm (1895B)

---

 ;; tests/cc-cg/57-block-static.scm — block-scope `static int n;` should
 ;; live in .bss/.data, not on the stack. §I.
 ;;
 ;; Models:
 ;;   int incr(void) { static int n = 0; n = n + 1; return n; }
 ;;   int main(void) { incr(); incr(); return incr(); }   (== 3)
 ;;
 ;; Two functions could declare `static int n;` independently; mangling
 ;; with the function name avoids collisions. Here we lay down a
 ;; pre-mangled cc__incr__n directly via the cg API.
 
 (let* ((cg (cg-init))
        (n  (%sym "n" 'var 'static %t-i32 (string->symbol "cc__incr__n"))))
   ;; cg-emit-global expects the slot to be a bv (the emitted label name).
   ;; Build n with a string slot directly.
   (let* ((nsym (%sym "n" 'var 'static %t-i32 #f))
          (zero (make-bytevector 4 0)))
     ;; n is sym-named "n"; cg-mangle-global prefixes with "cc__" → "cc__n".
     ;; That collides if multiple fns name `n`; the parser side adds the
     ;; fn-name segment via handle-decl. For the cg fixture we just use
     ;; the unprefixed sym-name.
     (cg-emit-global cg nsym (list zero))
 
     ;; int incr(void) { n = n + 1; return n; }
     (cg-fn-begin cg "incr" '() %t-i32)
     (cg-push-sym cg nsym)               ; lhs lval n
     (cg-push-sym cg nsym) (cg-load cg)  ; rhs n
     (cg-push-imm cg %t-i32 1)
     (cg-binop cg 'add)
     (cg-assign cg) (cg-pop cg)
     (cg-push-sym cg nsym) (cg-load cg)
     (cg-return cg)
     (cg-fn-end cg)
 
     ;; int main(void) { incr(); incr(); return incr(); }
     (cg-fn-begin cg "main" '() %t-i32)
     (let ((incr-sym (%sym "incr" 'fn 'extern
                           (%ctype 'fn -1 -1 (list %t-i32 '() #f))
                           "cc__incr")))
       (cg-push-sym cg incr-sym) (cg-call cg 0 #t) (cg-pop cg)
       (cg-push-sym cg incr-sym) (cg-call cg 0 #t) (cg-pop cg)
       (cg-push-sym cg incr-sym) (cg-call cg 0 #t)
       (cg-return cg))
     (cg-fn-end cg))
   (write-bv-fd 1 (cg-finish cg)))