/
meta-interp-pycket.py
47 lines (29 loc) · 1.44 KB
/
meta-interp-pycket.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
#!/usr/bin/env python
# -*- coding: utf-8 -*-
from rpython.jit.metainterp.test.support import LLJitMixin
from pycket.racket_entry import dev_mode_metainterp_fasl_zo, dev_mode_dynamic_metainterp
from pycket.env import w_global_config as glob
from pycket.config import get_testing_config
# 1
glob.set_pycketconfig(get_testing_config())
LLJitMixin().meta_interp(dev_mode_dynamic_metainterp, [], listcomp=True, listops=True, backendopt=True)
# 2
# from pycket.entry_point import make_entry_point, target
# from rpython.translator.driver import TranslationDriver
# from rpython.config.translationoption import get_combined_translation_config
# # pypy targetpycket.py --linklets --verbose 2 -I racket/kernel/init -e "1"
# entry_flags_1 = ['--linklets', '--verbose', '2', '-I', 'racket/kernel/init', '-e', '1']
# def interp_w_1():
# make_entry_point(get_dummy_config())(entry_flags_1)
## LLJitMixin().meta_interp(interp_w_1, [], listcomp=True, listops=True, backendopt=True)
# 3
# pypy targetpycket.py --linklets --dev
# entry_flags_2 = ['--linklets', '--dev']
# def interp_w_2():
# make_entry_point(get_dummy_config())(entry_flags_2)
# ## LLJitMixin().meta_interp(interp_w_2, [], listcomp=True, listops=True, backendopt=True)
# # 4 - META-INTERP OLD PYCKET
# from pycket.expand import JsonLoader, expand
# from pycket.interpreter import interpret_one
# from pycket.test.jit import TestLLtype
# TestLLtype().run_file("use-fasl.rkt", run_untranslated=False)