projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
2cf182d
)
isl_tab_add_row: add further explanation
author
Sven Verdoolaege
<skimo@kotnet.org>
Sat, 5 Feb 2011 19:02:44 +0000
(20:02 +0100)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Sat, 5 Feb 2011 20:04:11 +0000
(21:04 +0100)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab.c
patch
|
blob
|
history
diff --git
a/isl_tab.c
b/isl_tab.c
index
1cc8306
..
7674866
100644
(file)
--- a/
isl_tab.c
+++ b/
isl_tab.c
@@
-1630,6
+1630,9
@@
int isl_tab_allocate_var(struct isl_tab *tab)
* d_r d_r d_r d_x/g m
*
* with g the gcd of d_r and d_x and m the lcm of d_r and d_x.
+ *
+ * If tab->M is set, then, internally, each variable x is represented
+ * as x' - M. We then also need no subtract k d_r from the coefficient of M.
*/
int isl_tab_add_row(struct isl_tab *tab, isl_int *line)
{