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
9f169433
Verified
Commit
9f169433
authored
Mar 15, 2020
by
Tim Gymnich
Browse files
better debug log
parent
747c6eb2
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/affine_relation.cpp
View file @
9f169433
...
...
@@ -327,6 +327,10 @@ unordered_map<int,Value const*> reverseMap(unordered_map<Value const*, int> cons
void
AffineRelation
::
printIncoming
(
BasicBlock
const
&
bb
,
raw_ostream
&
out
,
int
indentation
)
const
{
auto
reversed
=
reverseMap
(
index
);
if
(
basis
.
empty
())
{
dbgs
(
3
)
<<
"[]"
;
return
;
}
for
(
auto
m
:
basis
)
{
out
<<
llvm
::
left_justify
(
""
,
8
);
for
(
int
i
=
1
;
i
<=
getNumberOfVariables
();
i
++
)
{
...
...
@@ -343,6 +347,10 @@ void AffineRelation::printIncoming(BasicBlock const& bb, raw_ostream& out, int i
void
AffineRelation
::
printOutgoing
(
BasicBlock
const
&
bb
,
raw_ostream
&
out
,
int
indentation
)
const
{
auto
reversed
=
reverseMap
(
index
);
if
(
basis
.
empty
())
{
dbgs
(
3
)
<<
"[]"
;
return
;
}
for
(
auto
m
:
basis
)
{
out
<<
llvm
::
left_justify
(
""
,
8
);
for
(
int
i
=
1
;
i
<=
getNumberOfVariables
();
i
++
)
{
...
...
@@ -359,6 +367,10 @@ void AffineRelation::printOutgoing(BasicBlock const& bb, raw_ostream& out, int i
void
AffineRelation
::
debug_output
(
Instruction
const
&
inst
,
Matrix
<
int
>
operands
)
{
auto
reversed
=
reverseMap
(
index
);
if
(
basis
.
empty
())
{
dbgs
(
3
)
<<
"[]"
;
return
;
}
for
(
auto
m
:
basis
)
{
dbgs
(
3
)
<<
llvm
::
left_justify
(
""
,
8
);
for
(
int
i
=
1
;
i
<=
getNumberOfVariables
();
i
++
)
{
...
...
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