Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
P
Pyston
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
Boxiang Sun
Pyston
Commits
255e7875
Commit
255e7875
authored
Jun 27, 2016
by
Kevin Modzelewski
Committed by
GitHub
Jun 27, 2016
Browse files
Options
Browse Files
Download
Plain Diff
Merge pull request #1265 from kmod/copyfunc
Enable function.func_closure and function.__new__
parents
a6b4559d
5b89e0e1
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
181 additions
and
5 deletions
+181
-5
src/runtime/types.cpp
src/runtime/types.cpp
+89
-3
src/runtime/types.h
src/runtime/types.h
+4
-2
test/tests/function_ctor_closure_checking.py
test/tests/function_ctor_closure_checking.py
+63
-0
test/tests/functions.py
test/tests/functions.py
+25
-0
No files found.
src/runtime/types.cpp
View file @
255e7875
...
...
@@ -292,7 +292,7 @@ Box* Box::hasnextOrNullIC() {
return
this
->
cls
->
callHasnextIC
(
this
,
true
);
}
extern
"C"
BoxedFunctionBase
::
BoxedFunctionBase
(
FunctionMetadata
*
md
,
std
::
initializer_list
<
Box
*>
defaults
,
extern
"C"
BoxedFunctionBase
::
BoxedFunctionBase
(
FunctionMetadata
*
md
,
llvm
::
ArrayRef
<
Box
*>
defaults
,
BoxedClosure
*
closure
,
Box
*
globals
,
bool
can_change_defaults
)
:
weakreflist
(
NULL
),
md
(
md
),
...
...
@@ -349,8 +349,8 @@ extern "C" BoxedFunctionBase::BoxedFunctionBase(FunctionMetadata* md, std::initi
BoxedFunction
::
BoxedFunction
(
FunctionMetadata
*
md
)
:
BoxedFunction
(
md
,
{})
{
}
BoxedFunction
::
BoxedFunction
(
FunctionMetadata
*
md
,
std
::
initializer_list
<
Box
*>
defaults
,
BoxedClosure
*
closure
,
Box
*
globals
,
bool
can_change_defaults
)
BoxedFunction
::
BoxedFunction
(
FunctionMetadata
*
md
,
llvm
::
ArrayRef
<
Box
*>
defaults
,
BoxedClosure
*
closure
,
Box
*
globals
,
bool
can_change_defaults
)
:
BoxedFunctionBase
(
md
,
defaults
,
closure
,
globals
,
can_change_defaults
)
{
// TODO eventually we want this to assert(f->source), I think, but there are still
...
...
@@ -1561,6 +1561,84 @@ static int func_set_name(Box* b, Box* v, void*) noexcept {
return
0
;
}
static
Box
*
function_new
(
BoxedClass
*
cls
,
Box
*
code
,
Box
*
globals
,
Box
**
_args
)
noexcept
{
RELEASE_ASSERT
(
cls
==
function_cls
,
""
);
Box
*
name
=
_args
[
0
];
Box
*
defaults
=
_args
[
1
];
Box
*
closure
=
_args
[
2
];
RELEASE_ASSERT
(
PyCode_Check
(
code
),
""
);
if
(
name
!=
Py_None
&&
!
PyString_Check
(
name
))
{
PyErr_SetString
(
PyExc_TypeError
,
"arg 3 (name) must be None or string"
);
return
NULL
;
}
if
(
defaults
!=
Py_None
&&
!
PyTuple_Check
(
defaults
))
{
PyErr_SetString
(
PyExc_TypeError
,
"arg 4 (defaults) must be None or tuple"
);
return
NULL
;
}
bool
hasfree
=
PyCode_HasFreeVars
((
PyCodeObject
*
)
code
);
if
(
closure
->
cls
!=
closure_cls
)
{
if
(
hasfree
&&
closure
==
Py_None
)
{
PyErr_SetString
(
PyExc_TypeError
,
"arg 5 (closure) must be tuple"
);
return
NULL
;
}
else
if
(
closure
!=
Py_None
)
{
PyErr_SetString
(
PyExc_TypeError
,
"arg 5 (closure) must be None or tuple"
);
return
NULL
;
}
}
RELEASE_ASSERT
(
!
hasfree
,
"Unimplemented: can't use the function constructor to create functions with closures"
);
assert
(
closure
==
None
);
// Pyston change: haven't yet implemented closure-appropriateness checking
#if 0
/* check that the closure is well-formed */
nclosure = closure == Py_None ? 0 : PyTuple_GET_SIZE(closure);
if (nfree != nclosure)
return PyErr_Format(PyExc_ValueError,
"%s requires closure of length %zd, not %zd",
PyString_AS_STRING(code->co_name),
nfree, nclosure);
if (nclosure) {
Py_ssize_t i;
for (i = 0; i < nclosure; i++) {
PyObject *o = PyTuple_GET_ITEM(closure, i);
if (!PyCell_Check(o)) {
return PyErr_Format(PyExc_TypeError,
"arg 5 (closure) expected cell, found %s",
o->ob_type->tp_name);
}
}
}
#endif
FunctionMetadata
*
md
=
static_cast
<
BoxedCode
*>
(
code
)
->
f
;
RELEASE_ASSERT
(
md
->
source
,
""
);
if
(
md
->
source
->
scoping
->
areGlobalsFromModule
())
{
RELEASE_ASSERT
(
unwrapAttrWrapper
(
globals
)
==
md
->
source
->
parent_module
,
""
);
globals
=
NULL
;
}
else
{
RELEASE_ASSERT
(
PyDict_Check
(
globals
)
||
globals
->
cls
==
attrwrapper_cls
,
""
);
}
BoxedFunction
*
f
;
try
{
f
=
new
BoxedFunction
(
md
,
*
static_cast
<
BoxedTuple
*>
(
defaults
==
None
?
EmptyTuple
:
defaults
),
closure
==
None
?
NULL
:
static_cast
<
BoxedClosure
*>
(
closure
),
globals
==
None
?
NULL
:
globals
,
true
);
}
catch
(
ExcInfo
e
)
{
setCAPIException
(
e
);
return
NULL
;
}
if
(
name
!=
None
)
func_set_name
(
f
,
name
,
NULL
);
return
f
;
}
static
Box
*
builtin_function_or_method_name
(
Box
*
b
,
void
*
)
noexcept
{
// In CPython, these guys just store char*, and it gets wrapped here
// But we already share the BoxedString* field with BoxedFunctions...
...
...
@@ -4340,6 +4418,12 @@ void setupRuntime() {
setupCode
();
setupFrame
();
function_cls
->
giveAttr
(
"__new__"
,
new
BoxedFunction
(
FunctionMetadata
::
create
((
void
*
)
function_new
,
UNKNOWN
,
6
,
false
,
false
,
ParamNames
({
""
,
"code"
,
"globals"
,
"name"
,
"argdefs"
,
"closure"
},
""
,
""
),
CAPI
),
{
None
,
None
,
None
}));
function_cls
->
giveAttrBorrowed
(
"__dict__"
,
dict_descr
);
function_cls
->
giveAttrDescriptor
(
"__name__"
,
func_name
,
func_set_name
);
function_cls
->
giveAttr
(
"__repr__"
,
new
BoxedFunction
(
FunctionMetadata
::
create
((
void
*
)
functionRepr
,
STR
,
1
)));
...
...
@@ -4358,6 +4442,8 @@ void setupRuntime() {
function_cls
->
giveAttrDescriptor
(
"func_defaults"
,
function_defaults
,
function_set_defaults
);
function_cls
->
giveAttrBorrowed
(
"__defaults__"
,
function_cls
->
getattr
(
getStaticString
(
"func_defaults"
)));
function_cls
->
giveAttrBorrowed
(
"func_globals"
,
function_cls
->
getattr
(
getStaticString
(
"__globals__"
)));
function_cls
->
giveAttrMember
(
"__closure__"
,
T_OBJECT
,
offsetof
(
BoxedFunction
,
closure
),
true
);
function_cls
->
giveAttrMember
(
"func_closure"
,
T_OBJECT
,
offsetof
(
BoxedFunction
,
closure
),
true
);
function_cls
->
freeze
();
function_cls
->
tp_descr_get
=
function_descr_get
;
...
...
src/runtime/types.h
View file @
255e7875
...
...
@@ -940,6 +940,8 @@ public:
static
void
dealloc
(
PyTupleObject
*
op
)
noexcept
;
friend
int
PyTuple_ClearFreeList
()
noexcept
;
operator
llvm
::
ArrayRef
<
Box
*>
()
const
{
return
llvm
::
ArrayRef
<
Box
*>
(
this
->
elts
,
size
());
}
};
static_assert
(
sizeof
(
BoxedTuple
)
==
sizeof
(
PyTupleObject
),
""
);
static_assert
(
offsetof
(
BoxedTuple
,
ob_size
)
==
offsetof
(
PyTupleObject
,
ob_size
),
""
);
...
...
@@ -1081,7 +1083,7 @@ public:
BoxedString
*
name
;
// __name__ (should be here or in one of the derived classes?)
Box
*
doc
;
// __doc__
BoxedFunctionBase
(
FunctionMetadata
*
md
,
std
::
initializer_list
<
Box
*>
defaults
,
BoxedClosure
*
closure
=
NULL
,
BoxedFunctionBase
(
FunctionMetadata
*
md
,
llvm
::
ArrayRef
<
Box
*>
defaults
,
BoxedClosure
*
closure
=
NULL
,
Box
*
globals
=
NULL
,
bool
can_change_defaults
=
false
);
ParamReceiveSpec
getParamspec
()
{
...
...
@@ -1094,7 +1096,7 @@ public:
HCAttrs
attrs
;
BoxedFunction
(
FunctionMetadata
*
md
);
BoxedFunction
(
FunctionMetadata
*
md
,
std
::
initializer_list
<
Box
*>
defaults
,
BoxedClosure
*
closure
=
NULL
,
BoxedFunction
(
FunctionMetadata
*
md
,
llvm
::
ArrayRef
<
Box
*>
defaults
,
BoxedClosure
*
closure
=
NULL
,
Box
*
globals
=
NULL
,
bool
can_change_defaults
=
false
);
DEFAULT_CLASS
(
function_cls
);
...
...
test/tests/function_ctor_closure_checking.py
0 → 100644
View file @
255e7875
# expected: fail
# - we haven't implemented closure-checking (making sure when you set a closure that it is the right shape)
# Copied from https://github.com/networkx/networkx/blob/master/networkx/algorithms/isomorphism/matchhelpers.py
import
types
def
copyfunc
(
f
,
name
=
None
):
"""Returns a deepcopy of a function."""
try
:
# Python <3
return
types
.
FunctionType
(
f
.
func_code
,
f
.
func_globals
,
name
or
f
.
__name__
,
f
.
func_defaults
,
f
.
func_closure
)
except
AttributeError
:
# Python >=3
return
types
.
FunctionType
(
f
.
__code__
,
f
.
__globals__
,
name
or
f
.
__name__
,
f
.
__defaults__
,
f
.
__closure__
)
def
f
(
x
,
y
):
def
g
(
z
=
[]):
z
.
append
(
x
)
z
.
append
(
y
)
print
z
return
g
g1
=
f
(
5
,
6
)
def
f
(
x
):
def
g
(
z
=
[]):
z
.
append
(
x
)
print
z
return
g
g2
=
f
(
5
)
def
f
(
a
,
b
):
def
g
(
z
=
[]):
z
.
append
(
a
)
z
.
append
(
b
)
print
z
return
g
g3
=
f
(
5
,
7
)
c1
=
types
.
FunctionType
(
g1
.
func_code
,
g1
.
func_globals
,
g1
.
func_name
,
g1
.
func_defaults
,
g1
.
func_closure
)
c1
()
g1
()
try
:
# No closure:
types
.
FunctionType
(
g1
.
func_code
,
g1
.
func_globals
,
g1
.
func_name
,
g1
.
func_defaults
,
None
)
assert
0
except
Exception
as
e
:
print
e
try
:
# Wrong closure:
types
.
FunctionType
(
g1
.
func_code
,
g1
.
func_globals
,
g1
.
func_name
,
g1
.
func_defaults
,
g2
.
func_closure
)
assert
0
except
Exception
as
e
:
print
e
# Different names are fine since they get erased from the closure:
c3
=
types
.
FunctionType
(
g1
.
func_code
,
g1
.
func_globals
,
g1
.
func_name
,
g1
.
func_defaults
,
g3
.
func_closure
)
c3
()
test/tests/functions.py
View file @
255e7875
...
...
@@ -72,3 +72,28 @@ for i in xrange(1000):
if
not
i
%
100
:
foo
.
func_code
,
bar
.
func_code
=
bar
.
func_code
,
foo
.
func_code
print
s
# Copied from https://github.com/networkx/networkx/blob/master/networkx/algorithms/isomorphism/matchhelpers.py
import
types
def
copyfunc
(
f
,
name
=
None
):
"""Returns a deepcopy of a function."""
try
:
# Python <3
return
types
.
FunctionType
(
f
.
func_code
,
f
.
func_globals
,
name
or
f
.
__name__
,
f
.
func_defaults
,
f
.
func_closure
)
except
AttributeError
:
# Python >=3
return
types
.
FunctionType
(
f
.
__code__
,
f
.
__globals__
,
name
or
f
.
__name__
,
f
.
__defaults__
,
f
.
__closure__
)
def
g
(
x
,
z
=
[]):
z
.
append
(
x
)
print
z
print
g
.
func_closure
g2
=
copyfunc
(
g
)
assert
g
.
func_defaults
==
g2
.
func_defaults
,
(
g
.
func_defaults
,
g2
.
func_defaults
)
g
(
1
)
g2
(
2
)
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment