Linux ns1.utparral.edu.mx 6.8.0-79-generic #79~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Fri Aug 15 16:54:53 UTC 2 x86_64
Apache/2.4.58 (Unix) OpenSSL/1.1.1w PHP/8.2.12 mod_perl/2.0.12 Perl/v5.34.1
: 10.10.1.9 | : 10.10.1.254
Cant Read [ /etc/named.conf ]
daemon
Terminal
AUTO ROOT
Adminer
Backdoor Destroyer
Linux Exploit
Lock Shell
Lock File
Create User
README
+ Create Folder
+ Create File
/
usr /
share /
guile /
2.2 /
language /
cps /
[ HOME SHELL ]
Name
Size
Permission
Action
closure-conversion.scm
35.09
KB
-rw-r--r--
compile-bytecode.scm
28.33
KB
-rw-r--r--
constructors.scm
3.71
KB
-rw-r--r--
contification.scm
18.34
KB
-rw-r--r--
cse.scm
17.17
KB
-rw-r--r--
dce.scm
14.91
KB
-rw-r--r--
effects-analysis.scm
22.37
KB
-rw-r--r--
elide-values.scm
3.36
KB
-rw-r--r--
handle-interrupts.scm
2.54
KB
-rw-r--r--
intmap.scm
28.24
KB
-rw-r--r--
intset.scm
29.58
KB
-rw-r--r--
licm.scm
13.95
KB
-rw-r--r--
optimize.scm
4.89
KB
-rw-r--r--
peel-loops.scm
12.08
KB
-rw-r--r--
primitives.scm
4.43
KB
-rw-r--r--
prune-bailouts.scm
3.12
KB
-rw-r--r--
prune-top-level-scopes.scm
2.25
KB
-rw-r--r--
reify-primitives.scm
6.75
KB
-rw-r--r--
renumber.scm
9.39
KB
-rw-r--r--
rotate-loops.scm
10.68
KB
-rw-r--r--
self-references.scm
3.22
KB
-rw-r--r--
simplify.scm
10.88
KB
-rw-r--r--
slot-allocation.scm
41.93
KB
-rw-r--r--
specialize-numbers.scm
29.3
KB
-rw-r--r--
specialize-primcalls.scm
3.97
KB
-rw-r--r--
spec.scm
1.76
KB
-rw-r--r--
split-rec.scm
7.13
KB
-rw-r--r--
type-checks.scm
3.12
KB
-rw-r--r--
type-fold.scm
17.35
KB
-rw-r--r--
types.scm
66.76
KB
-rw-r--r--
utils.scm
20.62
KB
-rw-r--r--
verify.scm
10.52
KB
-rw-r--r--
with-cps.scm
5.72
KB
-rw-r--r--
Delete
Unzip
Zip
${this.title}
Close
Code Editor : reify-primitives.scm
;;; Continuation-passing style (CPS) intermediate language (IL) ;; Copyright (C) 2013, 2014, 2015 Free Software Foundation, Inc. ;;;; This library is free software; you can redistribute it and/or ;;;; modify it under the terms of the GNU Lesser General Public ;;;; License as published by the Free Software Foundation; either ;;;; version 3 of the License, or (at your option) any later version. ;;;; ;;;; This library is distributed in the hope that it will be useful, ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU ;;;; Lesser General Public License for more details. ;;;; ;;;; You should have received a copy of the GNU Lesser General Public ;;;; License along with this library; if not, write to the Free Software ;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA ;;; Commentary: ;;; ;;; A pass to reify lone $prim's that were never folded into a ;;; $primcall, and $primcall's to primitives that don't have a ;;; corresponding VM op. ;;; ;;; Code: (define-module (language cps reify-primitives) #:use-module (ice-9 match) #:use-module (language cps) #:use-module (language cps utils) #:use-module (language cps with-cps) #:use-module (language cps primitives) #:use-module (language cps intmap) #:use-module (language bytecode) #:export (reify-primitives)) (define (module-box cps src module name public? bound? val-proc) (with-cps cps (letv box) (let$ body (val-proc box)) (letk kbox ($kargs ('box) (box) ,body)) ($ (with-cps-constants ((module module) (name name) (public? public?) (bound? bound?)) (build-term ($continue kbox src ($primcall 'cached-module-box (module name public? bound?)))))))) (define (primitive-module name) (case name ((bytevector? bytevector-length bytevector-u8-ref bytevector-u8-set! bytevector-s8-ref bytevector-s8-set! bytevector-u16-ref bytevector-u16-set! bytevector-u16-native-ref bytevector-u16-native-set! bytevector-s16-ref bytevector-s16-set! bytevector-s16-native-ref bytevector-s16-native-set! bytevector-u32-ref bytevector-u32-set! bytevector-u32-native-ref bytevector-u32-native-set! bytevector-s32-ref bytevector-s32-set! bytevector-s32-native-ref bytevector-s32-native-set! bytevector-u64-ref bytevector-u64-set! bytevector-u64-native-ref bytevector-u64-native-set! bytevector-s64-ref bytevector-s64-set! bytevector-s64-native-ref bytevector-s64-native-set! bytevector-ieee-single-ref bytevector-ieee-single-set! bytevector-ieee-single-native-ref bytevector-ieee-single-native-set! bytevector-ieee-double-ref bytevector-ieee-double-set! bytevector-ieee-double-native-ref bytevector-ieee-double-native-set!) '(rnrs bytevectors)) ((atomic-box? make-atomic-box atomic-box-ref atomic-box-set! atomic-box-swap! atomic-box-compare-and-swap!) '(ice-9 atomic)) ((current-thread) '(ice-9 threads)) ((class-of) '(oop goops)) ((u8vector-ref u8vector-set! s8vector-ref s8vector-set! u16vector-ref u16vector-set! s16vector-ref s16vector-set! u32vector-ref u32vector-set! s32vector-ref s32vector-set! u64vector-ref u64vector-set! s64vector-ref s64vector-set! f32vector-ref f32vector-set! f64vector-ref f64vector-set!) '(srfi srfi-4)) (else '(guile)))) (define (primitive-ref cps name k src) (module-box cps src (primitive-module name) name #f #t (lambda (cps box) (with-cps cps (build-term ($continue k src ($primcall 'box-ref (box)))))))) (define (builtin-ref cps idx k src) (with-cps cps ($ (with-cps-constants ((idx idx)) (build-term ($continue k src ($primcall 'builtin-ref (idx)))))))) (define (reify-clause cps ktail) (with-cps cps (letv throw) (let$ throw-body (with-cps-constants ((wna 'wrong-number-of-args) (false #f) (str "Wrong number of arguments") (eol '())) (build-term ($continue ktail #f ($call throw (wna false str eol false)))))) (letk kthrow ($kargs ('throw) (throw) ,throw-body)) (let$ body (primitive-ref 'throw kthrow #f)) (letk kbody ($kargs () () ,body)) (letk kclause ($kclause ('() '() #f '() #f) kbody #f)) kclause)) ;; A $kreceive continuation should have only one predecessor. (define (uniquify-receive cps k) (match (intmap-ref cps k) (($ $kreceive ($ $arity req () rest () #f) kargs) (with-cps cps (letk k ($kreceive req rest kargs)) k)) (_ (with-cps cps k)))) (define (reify-primitives cps) (define (visit-cont label cont cps) (define (resolve-prim cps name k src) (cond ((builtin-name->index name) => (lambda (idx) (builtin-ref cps idx k src))) (else (primitive-ref cps name k src)))) (match cont (($ $kfun src meta self tail #f) (with-cps cps (let$ clause (reify-clause tail)) (setk label ($kfun src meta self tail clause)))) (($ $kargs names vars ($ $continue k src ($ $prim name))) (with-cps cps (let$ k (uniquify-receive k)) (let$ body (resolve-prim name k src)) (setk label ($kargs names vars ,body)))) (($ $kargs names vars ($ $continue k src ($ $primcall 'call-thunk/no-inline (proc)))) (with-cps cps (setk label ($kargs names vars ($continue k src ($call proc ())))))) (($ $kargs names vars ($ $continue k src ($ $primcall name args))) (if (or (prim-instruction name) (branching-primitive? name)) ;; Assume arities are correct. cps (with-cps cps (letv proc) (let$ k (uniquify-receive k)) (letk kproc ($kargs ('proc) (proc) ($continue k src ($call proc args)))) (let$ body (resolve-prim name kproc src)) (setk label ($kargs names vars ,body))))) (($ $kargs names vars ($ $continue k src ($ $call proc args))) (with-cps cps (let$ k (uniquify-receive k)) (setk label ($kargs names vars ($continue k src ($call proc args)))))) (($ $kargs names vars ($ $continue k src ($ $callk k* proc args))) (with-cps cps (let$ k (uniquify-receive k)) (setk label ($kargs names vars ($continue k src ($callk k* proc args)))))) (_ cps))) (with-fresh-name-state cps (persistent-intmap (intmap-fold visit-cont cps cps))))
Close