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
d8a02b3d
Commit
d8a02b3d
authored
Sep 21, 2014
by
Travis Hance
Committed by
Travis Hance
Oct 29, 2014
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
replaced unordered_map
parent
2369013b
Changes
2
Show whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
93 additions
and
8 deletions
+93
-8
src/asm_writing/rewriter.cpp
src/asm_writing/rewriter.cpp
+5
-6
src/asm_writing/rewriter.h
src/asm_writing/rewriter.h
+88
-2
No files found.
src/asm_writing/rewriter.cpp
View file @
d8a02b3d
...
...
@@ -557,11 +557,10 @@ void Rewriter::_call(RewriterVar* result, bool can_call_into_python, void* func_
// check_reg.dump();
assert
(
check_reg
.
isClobberedByCall
());
auto
it
=
vars_by_location
.
find
(
check_reg
)
;
if
(
it
==
vars_by_location
.
end
()
)
RewriterVar
*&
var
=
vars_by_location
[
check_reg
]
;
if
(
var
==
NULL
)
continue
;
RewriterVar
*
var
=
it
->
second
;
bool
need_to_spill
=
true
;
for
(
Location
l
:
var
->
locations
)
{
if
(
!
l
.
isClobberedByCall
())
{
...
...
@@ -597,7 +596,7 @@ void Rewriter::_call(RewriterVar* result, bool can_call_into_python, void* func_
}
#ifndef NDEBUG
for
(
const
auto
&
p
:
vars_by_location
)
{
for
(
const
auto
&
p
:
vars_by_location
.
getAsMap
()
)
{
Location
l
=
p
.
first
;
// l.dump();
if
(
l
.
isClobberedByCall
())
{
...
...
@@ -807,7 +806,7 @@ void Rewriter::commit() {
// At this point, all real variables should have been removed. Check that
// anything left is the fake LOCATION_PLACEHOLDER.
for
(
std
::
pair
<
Location
,
RewriterVar
*>
p
:
vars_by_location
)
{
for
(
std
::
pair
<
Location
,
RewriterVar
*>
p
:
vars_by_location
.
getAsMap
()
)
{
assert
(
p
.
second
==
LOCATION_PLACEHOLDER
);
}
#endif
...
...
@@ -882,7 +881,7 @@ int Rewriter::_allocate(RewriterVar* result, int n) {
// This won't get collected, but that's fine.
for
(
int
j
=
a
;
j
<=
b
;
j
++
)
{
Location
m
(
Location
::
Scratch
,
j
*
8
);
vars_by_location
.
emplace
(
m
,
LOCATION_PLACEHOLDER
)
;
vars_by_location
[
m
]
=
LOCATION_PLACEHOLDER
;
}
return
a
;
...
...
src/asm_writing/rewriter.h
View file @
d8a02b3d
...
...
@@ -114,6 +114,92 @@ template <> struct hash<pyston::Location> {
namespace
pyston
{
// Replacement for unordered_map<Location, T>
template
<
class
T
>
class
LocMap
{
private:
static
const
int
N_REGS
=
16
;
static
const
int
N_XMM
=
16
;
static
const
int
N_SCRATCH
=
16
;
static
const
int
N_STACK
=
16
;
T
map_reg
[
N_REGS
];
T
map_xmm
[
N_XMM
];
T
map_scratch
[
N_SCRATCH
];
T
map_stack
[
N_STACK
];
std
::
unordered_map
<
int32_t
,
T
>
map_const
;
public:
LocMap
()
{
memset
(
map_reg
,
0
,
sizeof
(
map_reg
));
memset
(
map_xmm
,
0
,
sizeof
(
map_xmm
));
memset
(
map_scratch
,
0
,
sizeof
(
map_scratch
));
memset
(
map_stack
,
0
,
sizeof
(
map_stack
));
}
T
&
operator
[](
Location
l
)
{
switch
(
l
.
type
)
{
case
Location
:
:
Register
:
assert
(
0
<=
l
.
regnum
);
assert
(
l
.
regnum
<
N_REGS
);
return
map_reg
[
l
.
regnum
];
case
Location
:
:
XMMRegister
:
assert
(
0
<=
l
.
regnum
);
assert
(
l
.
regnum
<
N_XMM
);
return
map_xmm
[
l
.
regnum
];
case
Location
:
:
Stack
:
assert
(
0
<=
l
.
stack_offset
/
8
);
assert
(
l
.
stack_offset
/
8
<
N_STACK
);
return
map_stack
[
l
.
stack_offset
/
8
];
case
Location
:
:
Scratch
:
assert
(
0
<=
l
.
scratch_offset
/
8
);
assert
(
l
.
scratch_offset
/
8
<
N_SCRATCH
);
return
map_scratch
[
l
.
scratch_offset
/
8
];
case
Location
:
:
Constant
:
return
map_const
[
l
.
constant_val
];
default:
RELEASE_ASSERT
(
0
,
"%d"
,
l
.
type
);
}
};
const
T
&
operator
[](
Location
l
)
const
{
return
const_cast
<
T
&>
(
*
this
)[
l
];
};
size_t
count
(
Location
l
)
{
return
((
*
this
)[
l
]
!=
NULL
?
1
:
0
);
}
void
erase
(
Location
l
)
{
(
*
this
)[
l
]
=
NULL
;
}
#ifndef NDEBUG
// For iterating
// Slow so only use it in debug mode plz
std
::
unordered_map
<
Location
,
T
>
getAsMap
()
{
std
::
unordered_map
<
Location
,
T
>
m
;
for
(
int
i
=
0
;
i
<
N_REGS
;
i
++
)
{
if
(
map_reg
[
i
]
!=
NULL
)
{
m
.
emplace
(
Location
(
Location
::
Register
,
i
),
map_reg
[
i
]);
}
}
for
(
int
i
=
0
;
i
<
N_XMM
;
i
++
)
{
if
(
map_xmm
[
i
]
!=
NULL
)
{
m
.
emplace
(
Location
(
Location
::
XMMRegister
,
i
),
map_xmm
[
i
]);
}
}
for
(
int
i
=
0
;
i
<
N_SCRATCH
;
i
++
)
{
if
(
map_scratch
[
i
]
!=
NULL
)
{
m
.
emplace
(
Location
(
Location
::
Scratch
,
i
*
8
),
map_scratch
[
i
]);
}
}
for
(
int
i
=
0
;
i
<
N_STACK
;
i
++
)
{
if
(
map_stack
[
i
]
!=
NULL
)
{
m
.
emplace
(
Location
(
Location
::
Stack
,
i
*
8
),
map_stack
[
i
]);
}
}
for
(
std
::
pair
<
int32_t
,
RewriterVar
*>
p
:
map_const
)
{
m
.
emplace
(
Location
(
Location
::
Constant
,
p
.
first
),
p
.
second
);
}
return
m
;
}
#endif
};
class
Rewriter
;
class
RewriterVar
;
class
RewriterAction
;
...
...
@@ -210,7 +296,7 @@ private:
std
::
vector
<
int
>
live_out_regs
;
std
::
unordered_map
<
Location
,
RewriterVar
*>
vars_by_location
;
LocMap
<
RewriterVar
*>
vars_by_location
;
std
::
vector
<
RewriterVar
*>
args
;
std
::
vector
<
RewriterVar
*>
live_outs
;
...
...
@@ -287,7 +373,7 @@ private:
assert
(
vars_by_location
[
l
]
==
var
);
}
}
for
(
std
::
pair
<
Location
,
RewriterVar
*>
p
:
vars_by_location
)
{
for
(
std
::
pair
<
Location
,
RewriterVar
*>
p
:
vars_by_location
.
getAsMap
()
)
{
assert
(
p
.
second
!=
NULL
);
if
(
p
.
second
!=
LOCATION_PLACEHOLDER
)
{
assert
(
std
::
find
(
vars
.
begin
(),
vars
.
end
(),
p
.
second
)
!=
vars
.
end
());
...
...
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