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
OTAWA-plugins
Polymalys
Commits
af6415de
Commit
af6415de
authored
Jul 13, 2018
by
Ballabriga Clément
Browse files
infos de debug
parent
72e14727
Changes
2
Hide whitespace changes
Inline
Side-by-side
include/PolyCommon.h
View file @
af6415de
...
...
@@ -11,7 +11,7 @@
#include
"MyHTable.h"
#define POLY_DEBUG 1
//
#define POLY_DEBUG 1
namespace
otawa
{
namespace
poly
{
...
...
poly_PPLDomain.cpp
View file @
af6415de
...
...
@@ -226,32 +226,44 @@ bool PPLDomain::equals(const PPLDomain &b) const {
* First, attempt to show that the states are different using quick checks.
*/
if
(
poly
.
variable_count
()
!=
b
.
poly
.
variable_count
())
{
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: pas le meme nombre de variables"
<<
endl
;
#endif
return
false
;
}
if
(
compare_reg
!=
b
.
compare_reg
)
{
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: pas le meme compare reg"
<<
endl
;
#endif
return
false
;
}
if
(
compare_op
!=
b
.
compare_op
)
{
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: pas le meme compare op"
<<
endl
;
#endif
return
false
;
}
if
(
idmap
.
count
()
!=
b
.
idmap
.
count
())
{
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: pas le meme idmap count"
<<
endl
;
#endif
return
false
;
}
if
(
victims
!=
b
.
victims
)
{
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: pas le meme victim map"
<<
endl
;
#endif
return
false
;
}
if
(
bounds
!=
b
.
bounds
)
{
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: pas le meme bounds"
<<
endl
;
#endif
return
false
;
}
...
...
@@ -267,7 +279,9 @@ bool PPLDomain::equals(const PPLDomain &b) const {
if
((
p
.
fst
.
getType
()
==
Ident
::
ID_MEM_VAL
)
||
(
p
.
fst
.
getType
()
==
Ident
::
ID_MEM_ADDR
)
||
(
p
.
fst
.
getType
()
==
Ident
::
ID_MEM_VAL_INPUT
))
{
continue
;
}
#ifdef POLY_DEBUG
cout
<<
"expect: "
<<
p
.
fst
<<
endl
;
#endif
expectedVarCount
++
;
}
...
...
@@ -275,7 +289,9 @@ bool PPLDomain::equals(const PPLDomain &b) const {
if
((
l
.
idmap
.
count
()
!=
expectedVarCount
))
{
/* There was some unmatched registers */
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: different ensemble de registres"
<<
endl
;
#endif
return
false
;
}
...
...
@@ -294,12 +310,16 @@ bool PPLDomain::equals(const PPLDomain &b) const {
if
((
l
.
idmap
.
count
()
!=
idmap
.
count
())
||
(
r
.
idmap
.
count
()
!=
b
.
idmap
.
count
()))
{
/* There was some unmatched memory locations */
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: different ensemble de memory locations"
<<
endl
;
#endif
return
false
;
}
if
(
l
.
poly
!=
r
.
poly
)
{
#ifdef POLY_DEBUG
cout
<<
"c est pas egal pcq: poly pas egal (mem)"
<<
endl
;
#endif
return
false
;
}
...
...
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