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
d3fb236b
Commit
d3fb236b
authored
Aug 22, 2015
by
Kevin Modzelewski
Browse files
Options
Browse Files
Download
Plain Diff
Merge pull request #856 from kmod/perf4
Don't malloc-allocate rewriter lambdas
parents
08fe3815
841234f6
Changes
5
Hide whitespace changes
Inline
Side-by-side
Showing
5 changed files
with
124 additions
and
26 deletions
+124
-26
Makefile
Makefile
+1
-1
src/asm_writing/rewriter.cpp
src/asm_writing/rewriter.cpp
+35
-5
src/asm_writing/rewriter.h
src/asm_writing/rewriter.h
+77
-16
src/codegen/baseline_jit.cpp
src/codegen/baseline_jit.cpp
+10
-3
src/codegen/baseline_jit.h
src/codegen/baseline_jit.h
+1
-1
No files found.
Makefile
View file @
d3fb236b
...
...
@@ -961,7 +961,7 @@ test_cpp_dwarf:
objdump
-W
test_asm | less
rm
test_asm
test_cpp_ll
:
$(CLANGPP_EXE)
$(TEST_DIR)
/test.cpp
-o
test.ll
-c
-O3
-emit-llvm
-S
-std
=
c++11
-g
$(CLANGPP_EXE)
$(TEST_DIR)
/test.cpp
-o
test.ll
-c
-O3
-emit-llvm
-S
-std
=
c++11
less test.ll
rm
test.ll
.PHONY
:
bench_exceptions
...
...
src/asm_writing/rewriter.cpp
View file @
d3fb236b
...
...
@@ -816,12 +816,30 @@ RewriterVar* Rewriter::call(bool has_side_effects, void* func_addr, const Rewrit
type
=
ActionType
::
MUTATION
;
else
type
=
ActionType
::
NORMAL
;
addAction
([
=
]()
{
this
->
_call
(
result
,
has_side_effects
,
func_addr
,
args
,
args_xmm
);
},
uses
,
type
);
// It's not nice to pass llvm::SmallVectors through a closure, especially with our SmallFunction
// optimization, so just regionAlloc them and copy the data in:
RewriterVar
**
_args
=
(
RewriterVar
**
)
this
->
regionAlloc
(
sizeof
(
RewriterVar
*
)
*
args
.
size
());
memcpy
(
_args
,
args
.
begin
(),
sizeof
(
RewriterVar
*
)
*
args
.
size
());
RewriterVar
**
_args_xmm
=
(
RewriterVar
**
)
this
->
regionAlloc
(
sizeof
(
RewriterVar
*
)
*
args_xmm
.
size
());
memcpy
(
_args_xmm
,
args_xmm
.
begin
(),
sizeof
(
RewriterVar
*
)
*
args_xmm
.
size
());
int
args_size
=
args
.
size
();
assert
(
args_xmm
.
size
()
<=
0x7fff
);
// Hack: pack this into a short to make sure it fits in the closure
short
xmm_args_size
=
args_xmm
.
size
();
// Hack: explicitly order the closure arguments so they pad nicer
addAction
([
args_size
,
xmm_args_size
,
has_side_effects
,
this
,
result
,
func_addr
,
_args
,
_args_xmm
]()
{
this
->
_call
(
result
,
has_side_effects
,
func_addr
,
llvm
::
ArrayRef
<
RewriterVar
*>
(
_args
,
args_size
),
llvm
::
ArrayRef
<
RewriterVar
*>
(
_args_xmm
,
xmm_args_size
));
},
uses
,
type
);
return
result
;
}
void
Rewriter
::
_setupCall
(
bool
has_side_effects
,
const
RewriterVar
::
SmallVector
&
args
,
const
RewriterVar
::
SmallVector
&
args_xmm
)
{
void
Rewriter
::
_setupCall
(
bool
has_side_effects
,
llvm
::
ArrayRef
<
RewriterVar
*>
args
,
llvm
::
ArrayRef
<
RewriterVar
*>
args_xmm
)
{
if
(
has_side_effects
)
assert
(
done_guarding
);
...
...
@@ -966,8 +984,8 @@ void Rewriter::_setupCall(bool has_side_effects, const RewriterVar::SmallVector&
#endif
}
void
Rewriter
::
_call
(
RewriterVar
*
result
,
bool
has_side_effects
,
void
*
func_addr
,
const
RewriterVar
::
SmallVector
&
args
,
const
RewriterVar
::
SmallVector
&
args_xmm
)
{
void
Rewriter
::
_call
(
RewriterVar
*
result
,
bool
has_side_effects
,
void
*
func_addr
,
llvm
::
ArrayRef
<
RewriterVar
*>
args
,
llvm
::
ArrayRef
<
RewriterVar
*>
args_xmm
)
{
assembler
->
comment
(
"_call"
);
// RewriterVarUsage scratch = createNewVar(Location::any());
...
...
@@ -2128,4 +2146,16 @@ PatchpointInitializationInfo initializePatchpoint3(void* slowpath_func, uint8_t*
return
PatchpointInitializationInfo
(
slowpath_start
,
slowpath_rtn_addr
,
continue_addr
,
std
::
move
(
live_outs_for_slot
));
}
void
*
Rewriter
::
RegionAllocator
::
alloc
(
size_t
bytes
)
{
assert
(
bytes
<=
BLOCK_SIZE
);
if
(
cur_offset
+
bytes
>
BLOCK_SIZE
)
{
blocks
.
emplace_back
();
cur_offset
=
0
;
}
char
*
rtn
=
blocks
.
back
()
+
cur_offset
;
cur_offset
+=
bytes
;
return
rtn
;
}
}
src/asm_writing/rewriter.h
View file @
d3fb236b
...
...
@@ -69,13 +69,9 @@ public:
int32_t
_data
;
};
constexpr
Location
()
:
type
(
Uninitialized
),
_data
(
-
1
)
{}
constexpr
Location
(
const
Location
&
r
)
:
type
(
r
.
type
),
_data
(
r
.
_data
)
{}
Location
operator
=
(
const
Location
&
r
)
{
type
=
r
.
type
;
_data
=
r
.
_data
;
return
*
this
;
}
constexpr
Location
()
noexcept
:
type
(
Uninitialized
),
_data
(
-
1
)
{}
constexpr
Location
(
const
Location
&
r
)
=
default
;
Location
&
operator
=
(
const
Location
&
r
)
=
default
;
constexpr
Location
(
LocationType
type
,
int32_t
data
)
:
type
(
type
),
_data
(
data
)
{}
...
...
@@ -283,11 +279,50 @@ public:
friend
class
JitFragmentWriter
;
};
// A utility class that is similar to std::function, but stores any closure data inline rather
// than in a separate allocation. It's similar to SmallVector, but will just fail to compile if
// you try to put more bytes in than you allocated.
// Currently, it only works for functions with the signature "void()"
template
<
int
N
=
24
>
class
SmallFunction
{
private:
void
(
*
func
)(
void
*
);
char
data
[
N
];
template
<
typename
Functor
>
struct
Caller
{
static
void
call
(
void
*
data
)
{
(
*
(
Functor
*
)
data
)();
}
};
public:
template
<
typename
Functor
>
SmallFunction
(
Functor
&&
f
)
noexcept
{
static_assert
(
std
::
has_trivial_copy_constructor
<
typename
std
::
remove_reference
<
Functor
>::
type
>::
value
,
"SmallFunction currently only works with simple types"
);
static_assert
(
std
::
is_trivially_destructible
<
typename
std
::
remove_reference
<
Functor
>::
type
>::
value
,
"SmallFunction currently only works with simple types"
);
static_assert
(
sizeof
(
Functor
)
<=
sizeof
(
data
),
"Please increase N"
);
new
(
data
)
typename
std
::
remove_reference
<
Functor
>::
type
(
std
::
forward
<
Functor
>
(
f
));
func
=
Caller
<
Functor
>::
call
;
}
SmallFunction
()
=
default
;
SmallFunction
(
const
SmallFunction
<
N
>&
rhs
)
=
default
;
SmallFunction
(
SmallFunction
<
N
>&&
rhs
)
=
default
;
SmallFunction
&
operator
=
(
const
SmallFunction
<
N
>&
rhs
)
=
default
;
SmallFunction
&
operator
=
(
SmallFunction
<
N
>&&
rhs
)
=
default
;
void
operator
()()
{
func
(
data
);
}
};
class
RewriterAction
{
public:
std
::
function
<
void
()
>
action
;
SmallFunction
<
48
>
action
;
template
<
typename
F
>
RewriterAction
(
F
&&
action
)
:
action
(
std
::
forward
<
F
>
(
action
))
{}
RewriterAction
(
std
::
function
<
void
()
>
f
)
:
action
(
std
::
move
(
f
))
{}
RewriterAction
()
=
default
;
RewriterAction
(
const
RewriterAction
&
rhs
)
=
default
;
RewriterAction
(
RewriterAction
&&
rhs
)
=
default
;
RewriterAction
&
operator
=
(
const
RewriterAction
&
rhs
)
=
default
;
RewriterAction
&
operator
=
(
RewriterAction
&&
rhs
)
=
default
;
};
enum
class
ActionType
{
NORMAL
,
GUARD
,
MUTATION
};
...
...
@@ -296,7 +331,34 @@ enum class ActionType { NORMAL, GUARD, MUTATION };
#define LOCATION_PLACEHOLDER ((RewriterVar*)1)
class
Rewriter
:
public
ICSlotRewrite
::
CommitHook
{
private:
class
RegionAllocator
{
public:
static
const
int
BLOCK_SIZE
=
200
;
// reserve a bit of space for list/malloc overhead
std
::
list
<
char
[
BLOCK_SIZE
]
>
blocks
;
int
cur_offset
=
BLOCK_SIZE
+
1
;
void
*
alloc
(
size_t
bytes
);
};
template
<
typename
T
>
class
RegionAllocatorAdaptor
:
public
std
::
allocator
<
T
>
{
private:
RegionAllocator
*
allocator
;
public:
T
*
allocate
(
size_t
n
)
{
return
(
T
*
)
allocator
->
alloc
(
n
);
}
void
deallocate
(
T
*
p
,
size_t
n
)
{
// do nothing
}
};
// This needs to be the first member:
RegionAllocator
allocator
;
protected:
// Allocates `bytes` bytes of data. The allocation will get freed when the rewriter gets freed.
void
*
regionAlloc
(
size_t
bytes
)
{
return
allocator
.
alloc
(
bytes
);
}
// Helps generating the best code for loading a const integer value.
// By keeping track of the last known value of every register and reusing it.
class
ConstLoader
{
...
...
@@ -357,8 +419,8 @@ protected:
Rewriter
(
std
::
unique_ptr
<
ICSlotRewrite
>
rewrite
,
int
num_args
,
const
std
::
vector
<
int
>&
live_outs
);
llvm
::
SmallVector
<
RewriterAction
,
32
>
actions
;
void
addAction
(
std
::
function
<
void
()
>
action
,
llvm
::
ArrayRef
<
RewriterVar
*>
vars
,
ActionType
type
)
{
std
::
deque
<
RewriterAction
,
RegionAllocatorAdaptor
<
RewriterAction
>
>
actions
;
template
<
typename
F
>
void
addAction
(
F
&&
action
,
llvm
::
ArrayRef
<
RewriterVar
*>
vars
,
ActionType
type
)
{
assertPhaseCollecting
();
for
(
RewriterVar
*
var
:
vars
)
{
assert
(
var
!=
NULL
);
...
...
@@ -377,7 +439,7 @@ protected:
assert
(
!
added_changing_action
);
last_guard_action
=
(
int
)
actions
.
size
();
}
actions
.
emplace_back
(
std
::
move
(
action
));
actions
.
emplace_back
(
std
::
forward
<
F
>
(
action
));
}
bool
added_changing_action
;
bool
marked_inside_ic
;
...
...
@@ -422,10 +484,9 @@ protected:
void
_trap
();
void
_loadConst
(
RewriterVar
*
result
,
int64_t
val
);
void
_setupCall
(
bool
has_side_effects
,
const
RewriterVar
::
SmallVector
&
args
,
const
RewriterVar
::
SmallVector
&
args_xmm
);
void
_call
(
RewriterVar
*
result
,
bool
has_side_effects
,
void
*
func_addr
,
const
RewriterVar
::
SmallVector
&
args
,
const
RewriterVar
::
SmallVector
&
args_xmm
);
void
_setupCall
(
bool
has_side_effects
,
llvm
::
ArrayRef
<
RewriterVar
*>
args
,
llvm
::
ArrayRef
<
RewriterVar
*>
args_xmm
);
void
_call
(
RewriterVar
*
result
,
bool
has_side_effects
,
void
*
func_addr
,
llvm
::
ArrayRef
<
RewriterVar
*>
args
,
llvm
::
ArrayRef
<
RewriterVar
*>
args_xmm
);
void
_add
(
RewriterVar
*
result
,
RewriterVar
*
a
,
int64_t
b
,
Location
dest
);
int
_allocate
(
RewriterVar
*
result
,
int
n
);
void
_allocateAndCopy
(
RewriterVar
*
result
,
RewriterVar
*
array
,
int
n
);
...
...
src/codegen/baseline_jit.cpp
View file @
d3fb236b
...
...
@@ -668,8 +668,15 @@ RewriterVar* JitFragmentWriter::emitPPCall(void* func_addr, llvm::ArrayRef<Rewri
RewriterVar
::
SmallVector
args_vec
(
args
.
begin
(),
args
.
end
());
#if ENABLE_BASELINEJIT_ICS
RewriterVar
*
result
=
createNewVar
();
addAction
([
=
]()
{
this
->
_emitPPCall
(
result
,
func_addr
,
args_vec
,
num_slots
,
slot_size
);
},
args
,
ActionType
::
NORMAL
);
int
args_size
=
args
.
size
();
RewriterVar
**
_args
=
(
RewriterVar
**
)
regionAlloc
(
sizeof
(
RewriterVar
*
)
*
args_size
);
memcpy
(
_args
,
args
.
begin
(),
sizeof
(
RewriterVar
*
)
*
args_size
);
addAction
([
=
]()
{
this
->
_emitPPCall
(
result
,
func_addr
,
llvm
::
ArrayRef
<
RewriterVar
*>
(
_args
,
args_size
),
num_slots
,
slot_size
);
},
args
,
ActionType
::
NORMAL
);
if
(
type_recorder
)
{
RewriterVar
*
type_recorder_var
=
imm
(
type_recorder
);
RewriterVar
*
obj_cls_var
=
result
->
getAttr
(
offsetof
(
Box
,
cls
));
...
...
@@ -813,7 +820,7 @@ void JitFragmentWriter::_emitOSRPoint(RewriterVar* result, RewriterVar* node_var
assertConsistent
();
}
void
JitFragmentWriter
::
_emitPPCall
(
RewriterVar
*
result
,
void
*
func_addr
,
const
RewriterVar
::
SmallVector
&
args
,
void
JitFragmentWriter
::
_emitPPCall
(
RewriterVar
*
result
,
void
*
func_addr
,
llvm
::
ArrayRef
<
RewriterVar
*>
args
,
int
num_slots
,
int
slot_size
)
{
assembler
::
Register
r
=
allocReg
(
assembler
::
R11
);
...
...
src/codegen/baseline_jit.h
View file @
d3fb236b
...
...
@@ -294,7 +294,7 @@ private:
void
_emitGetLocal
(
RewriterVar
*
val_var
,
const
char
*
name
);
void
_emitJump
(
CFGBlock
*
b
,
RewriterVar
*
block_next
,
int
&
size_of_exit_to_interp
);
void
_emitOSRPoint
(
RewriterVar
*
result
,
RewriterVar
*
node_var
);
void
_emitPPCall
(
RewriterVar
*
result
,
void
*
func_addr
,
const
RewriterVar
::
SmallVector
&
args
,
int
num_slots
,
void
_emitPPCall
(
RewriterVar
*
result
,
void
*
func_addr
,
llvm
::
ArrayRef
<
RewriterVar
*>
args
,
int
num_slots
,
int
slot_size
);
void
_emitRecordType
(
RewriterVar
*
type_recorder_var
,
RewriterVar
*
obj_cls_var
);
void
_emitReturn
(
RewriterVar
*
v
);
...
...
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