Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Dr. Michael Petter
LLVM-abstractinterpretation
Commits
8ce950a3
Commit
8ce950a3
authored
May 15, 2020
by
Dr. Michael Petter
Browse files
even got function names right
parent
8e9e5cfa
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/fixpoint.cpp
View file @
8ce950a3
...
...
@@ -356,17 +356,24 @@ void executeFixpointAlgorithm(Module const& M) {
std
::
error_code
ErrInfo
;
llvm
::
raw_fd_ostream
Result
(
OutputFilename
.
c_str
(),
ErrInfo
,
llvm
::
sys
::
fs
::
F_None
);
StringRef
sofar
(
""
);
Result
<<
"{
\n
"
;
for
(
auto
const
&
[
key
,
node
]
:
nodes
){
Result
<<
"
\"
"
<<
*
node
.
basic_block
<<
"
\"
"
<<
":{
\n
"
;
StringRef
name
=
(
*
node
.
basic_block
).
getParent
()
->
getName
();
if
(
!
sofar
.
equals
(
name
))
{
if
(
sofar
.
size
()
!=
0
)
Result
<<
"},
\n
"
;
Result
<<
"
\"
"
<<
name
<<
"
\"
:{
\n
"
;
sofar
=
name
;
}
Result
<<
"
\"
"
<<
(
*
node
.
basic_block
).
getName
()
<<
"
\"
"
<<
":{
\n
"
;
node
.
state
.
printOutgoing
(
*
node
.
basic_block
,
Result
,
4
);
Result
<<
" }"
;
if
(
y
++
!=
nodes
.
size
()
-
1
)
Result
<<
","
;
Result
<<
"
\n
"
;
}
Result
<<
"}
\n
"
;
Result
<<
"}
}
\n
"
;
Result
.
flush
();
}
...
...
Write
Preview
Supports
Markdown
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