Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
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
371ad5aa
Verified
Commit
371ad5aa
authored
Mar 14, 2020
by
Tim Gymnich
Browse files
debug output formating
parent
783b3513
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/affine_relation.cpp
View file @
371ad5aa
...
...
@@ -323,9 +323,10 @@ void AffineRelation::printIncoming(BasicBlock const& bb, raw_ostream& out, int i
out
<<
"
\t
"
;
for
(
auto
[
val
,
idx
]
:
index
)
{
if
(
val
->
hasName
())
{
out
<<
val
->
getName
();
out
<<
val
->
getName
()
<<
"
\t\t
"
;
}
else
{
dbgs
(
3
)
<<
"<>"
<<
"
\t\t
"
;
}
out
<<
"
\t\t
"
;
}
out
<<
"
\n
"
<<
m
<<
"
\n
"
;
}
...
...
@@ -336,9 +337,10 @@ void AffineRelation::printOutgoing(BasicBlock const& bb, raw_ostream& out, int i
out
<<
"
\t
"
;
for
(
auto
[
val
,
idx
]
:
index
)
{
if
(
val
->
hasName
())
{
out
<<
val
->
getName
();
out
<<
val
->
getName
()
<<
"
\t\t
"
;
}
else
{
dbgs
(
3
)
<<
"<>"
<<
"
\t\t
"
;
}
out
<<
"
\t\t
"
;
}
out
<<
"
\n
"
<<
m
<<
"
\n
"
;
}
...
...
@@ -349,9 +351,10 @@ void AffineRelation::debug_output(Instruction const& inst, Matrix<int> operands)
dbgs
(
3
)
<<
"
\t
"
;
for
(
auto
[
val
,
idx
]
:
index
)
{
if
(
val
->
hasName
())
{
dbgs
(
3
)
<<
val
->
getName
();
dbgs
(
3
)
<<
val
->
getName
()
<<
"
\t\t
"
;
}
else
{
dbgs
(
3
)
<<
"<>"
<<
"
\t\t
"
;
}
dbgs
(
3
)
<<
"
\t\t
"
;
}
dbgs
(
3
)
<<
"
\n
"
<<
m
<<
"
\n
"
;
}
...
...
src/matrix.h
View file @
371ad5aa
...
...
@@ -374,7 +374,7 @@ llvm::raw_ostream& operator<<(llvm::raw_ostream& os, Matrix<T> matrix) {
for
(
int
row
=
0
;
row
<
matrix
.
getHeight
();
row
++
)
{
os
<<
"[
\t
"
;
for
(
int
column
=
0
;
column
<
matrix
.
getWidth
();
column
++
)
{
os
<<
matrix
(
row
,
column
)
<<
"
\t
"
;
os
<<
matrix
(
row
,
column
)
<<
"
\t
\t
"
;
}
os
<<
"]
\n
"
;
}
...
...
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