/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/macg4/ |
H A D | lap.sl | 37 (global '(bndstkptr bndstkupperbound)) 346 (reg bndstkupperbound)) 360 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 374 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 388 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 402 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 416 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 430 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 444 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 458 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) [all …]
|
H A D | binding.sl | 37 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 43 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 88 bndstkupperbound) 115 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/macg5/ |
H A D | lap.sl | 37 (global '(bndstkptr bndstkupperbound)) 348 (reg bndstkupperbound)) 362 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 376 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 390 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 404 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 418 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 432 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 446 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 460 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) [all …]
|
H A D | binding.sl | 37 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 43 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 88 bndstkupperbound) 115 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/ibmrs/ |
H A D | lap.sl | 37 (global '(bndstkptr bndstkupperbound)) 347 (reg bndstkupperbound)) 361 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 375 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 389 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 403 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 417 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 431 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 445 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) 459 (*jumpwgeq (label BINDINGOVERFLOW) (reg bndstkptr) (reg bndstkupperbound)) [all …]
|
H A D | binding.sl | 37 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 43 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 88 bndstkupperbound) 115 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/macintel64/ |
H A D | dl-support.sl | 68 (*push (reg bndstkupperbound)) 78 (*pop (reg bndstkupperbound)) 106 (*push (reg bndstkupperbound)) 118 (*pop (reg bndstkupperbound))
|
H A D | main-start.sl | 155 bndstkupperbound 200 bndstkupperbound 218 (*MOVE (reg bndstkupperbound) ($fluid bndstkupperbound)) 227 (setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 302 (*MOVE ($fluid bndstkupperbound) (reg bndstkupperbound))
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/brock/ |
H A D | main-start.sl | 155 bndstkupperbound 200 bndstkupperbound 218 (*MOVE (reg bndstkupperbound) ($fluid bndstkupperbound)) 227 (setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 300 (*MOVE ($fluid bndstkupperbound) (reg bndstkupperbound))
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/AMD64_ext/ |
H A D | main-start.sl | 155 bndstkupperbound 200 bndstkupperbound 218 (*MOVE (reg bndstkupperbound) ($fluid bndstkupperbound)) 227 (setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 300 (*MOVE ($fluid bndstkupperbound) (reg bndstkupperbound))
|
H A D | dl-support.sl | 91 (*push (reg bndstkupperbound)) 101 (*pop (reg bndstkupperbound)) 129 (*push (reg bndstkupperbound)) 141 (*pop (reg bndstkupperbound))
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/freeBSD64/ |
H A D | dl-support.sl | 91 %(*push (reg bndstkupperbound)) 101 %(*pop (reg bndstkupperbound)) 129 %(*push (reg bndstkupperbound)) 141 %(*pop (reg bndstkupperbound))
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/kernel/aarch64/ |
H A D | main-start.sl | 155 bndstkupperbound 200 bndstkupperbound 219 (*MOVE (reg bndstkupperbound) ($fluid bndstkupperbound)) 228 (setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 301 (*MOVE ($fluid bndstkupperbound) (reg bndstkupperbound))
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/aarch64/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 116 bndstkupperbound) 144 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/brock/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 117 bndstkupperbound) 144 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/freeBSD/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 116 bndstkupperbound) 143 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/macintel/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 116 bndstkupperbound) 143 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/AMD64_ext/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 117 bndstkupperbound) 145 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/freeBSD64/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 117 bndstkupperbound) 145 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/macintel64/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 117 bndstkupperbound) 145 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/win32/ |
H A D | binding.sl | 63 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 69 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 116 bndstkupperbound) 147 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/AMD64/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 117 bndstkupperbound) 144 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/linux/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 116 bndstkupperbound) 143 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/mingw-w64/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 117 bndstkupperbound) 144 (setf bndstkupperbound
|
/dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/armv6/ |
H A D | binding.sl | 65 (global '(bndstk bndstkptr bndstkupperbound bndstklowerbound)) 71 %(setq bndstkupperbound (loc (wgetv bndstk (wdifference bndstksize 1)))) 116 bndstkupperbound) 144 (setf bndstkupperbound
|