summaryrefslogtreecommitdiffhomepage
path: root/ir/be/becopyilp2.c
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2012-01-10 13:59:20 +0100
committerMatthias Braun <matthias.braun@kit.edu>2012-03-01 16:02:00 +0100
commitc30e7f71ad349008caf3ef6bf6861024a0168926 (patch)
tree53bd2e43d473a19a24badfb4fccee53362a7af9f /ir/be/becopyilp2.c
parent7b753172312c75de5bc5e4562b3847a7d33b2606 (diff)
Clarify interpretation of limited for wide values
Diffstat (limited to 'ir/be/becopyilp2.c')
-rw-r--r--ir/be/becopyilp2.c9
1 files changed, 0 insertions, 9 deletions
diff --git a/ir/be/becopyilp2.c b/ir/be/becopyilp2.c
index 8527319..49f89b4 100644
--- a/ir/be/becopyilp2.c
+++ b/ir/be/becopyilp2.c
@@ -148,15 +148,6 @@ static void build_coloring_cstr(ilp_env_t *ienv)
&& (!has_alignment_cstr || ((col % req->width) == 0)))
continue;
- // If it is possible to have only a part of a large variable that
- // cannot be used, we should invalidate the whole piece.
- // Since we do not think this can happen, we did implemented the
- // support for that.
- assert((!has_alignment_cstr
- || rbitset_is_set(colors, col)
- || !rbitset_is_set(colors, col - (col % req->width)))
- && "Register constraints that invalidate just a part of "
- "a large variable is not yet supported");
make_color_var_name(buf, sizeof(buf), irn, col);
cst_idx = lpp_add_cst(ienv->lp, NULL, lpp_equal, 0.0);
var_idx = lpp_add_var(ienv->lp, buf, lpp_binary, 0.0);