/
interpreter.py
90 lines (69 loc) · 3.14 KB
/
interpreter.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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
import os
from m2cgen import ast
from m2cgen.interpreters import mixins, utils
from m2cgen.interpreters.f_sharp.code_generator import FSharpCodeGenerator
from m2cgen.interpreters.interpreter import FunctionalToCodeInterpreter
class FSharpInterpreter(FunctionalToCodeInterpreter,
mixins.LinearAlgebraMixin,
mixins.BinExpressionDepthTrackingMixin):
# Too long lines causes F# compiler to crash with
# error FS0193 : internal error :
# Specified argument was out of the range of valid values.
# (Parameter 'value').
# Refer to https://github.com/dotnet/fsharp/issues/3866.
bin_depth_threshold = 250
supported_bin_vector_ops = {
ast.BinNumOpType.ADD: "addVectors",
}
supported_bin_vector_num_ops = {
ast.BinNumOpType.MUL: "mulVectorNumber",
}
abs_function_name = "abs"
exponent_function_name = "exp"
logarithm_function_name = "log"
log1p_function_name = "log1p"
sqrt_function_name = "sqrt"
tanh_function_name = "tanh"
with_log1p_expr = False
def __init__(self, indent=4, function_name="score", *args, **kwargs):
self.indent = indent
self.function_name = function_name
super().__init__(self.create_code_generator(), *args, **kwargs)
def interpret(self, expr):
self._cg.reset_state()
self._reset_reused_expr_cache()
args = [(True, self._feature_array_name)]
func_name = self.function_name
with self._cg.function_definition(name=func_name, args=args):
last_result = self._do_interpret(expr)
self._dump_cache()
self._cg.add_code_line(last_result)
if self.with_linear_algebra:
filename = os.path.join(
os.path.dirname(__file__), "linear_algebra.fs")
self._cg.prepend_code_lines(utils.get_file_content(filename))
if self.with_log1p_expr:
filename = os.path.join(
os.path.dirname(__file__), "log1p.fs")
self._cg.prepend_code_lines(utils.get_file_content(filename))
return self._cg.finalize_and_get_generated_code()
def create_code_generator(self):
return FSharpCodeGenerator(indent=self.indent)
def interpret_pow_expr(self, expr, **kwargs):
base_result = self._do_interpret(expr.base_expr, **kwargs)
exp_result = self._do_interpret(expr.exp_expr, **kwargs)
return self._cg.infix_expression(
left=base_result, right=exp_result, op="**")
def interpret_log1p_expr(self, expr, **kwargs):
self.with_log1p_expr = True
return super().interpret_log1p_expr(expr, **kwargs)
def _dump_cache(self):
if self._cached_expr_results:
for func_name, expr_result in self._cached_expr_results.values():
self._cg.add_function(
function_name=func_name, function_body=expr_result)
def bin_depth_threshold_hook(self, expr, **kwargs):
if expr in self._cached_expr_results:
return self._cached_expr_results[expr].var_name
result = self._do_interpret(expr, **kwargs)
return self._cache_reused_expr(expr, result)