summaryrefslogtreecommitdiffhomepage
path: root/ir/ana
diff options
context:
space:
mode:
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>2016-05-12 15:40:50 +0200
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>2016-05-12 15:40:50 +0200
commita8583be0d6ec050ff34853f4a0268894fac2b8a7 (patch)
tree64ab53eb666d541fcec7cd43ed1ba1c478b03f66 /ir/ana
parent52e16f28f53699f859eb2f8bdad65cd8caa07985 (diff)
Fix indentation
Diffstat (limited to 'ir/ana')
-rw-r--r--ir/ana/constbits.c8
-rw-r--r--ir/ana/dca.c8
-rw-r--r--ir/ana/irconsconfirm.c2
-rw-r--r--ir/ana/vrp.c29
4 files changed, 22 insertions, 25 deletions
diff --git a/ir/ana/constbits.c b/ir/ana/constbits.c
index 41afc4a..644af95 100644
--- a/ir/ana/constbits.c
+++ b/ir/ana/constbits.c
@@ -665,7 +665,7 @@ undefined:
switch (relation) {
case ir_relation_less_greater:
if (!tarval_is_null(tarval_andnot(ro, lz)) ||
- !tarval_is_null(tarval_andnot(lo, rz))) {
+ !tarval_is_null(tarval_andnot(lo, rz))) {
// At least one bit differs.
z = o = t;
} else if (lz == lo && rz == ro && lz == rz) {
@@ -677,7 +677,7 @@ undefined:
case ir_relation_equal:
if (!tarval_is_null(tarval_andnot(ro, lz)) ||
- !tarval_is_null(tarval_andnot(lo, rz))) {
+ !tarval_is_null(tarval_andnot(lo, rz))) {
// At least one bit differs.
z = o = f;
} else if (lz == lo && rz == ro && lz == rz) {
@@ -691,7 +691,7 @@ undefined:
case ir_relation_less:
/* TODO handle negative values */
if (tarval_is_negative(lz) || tarval_is_negative(lo) ||
- tarval_is_negative(rz) || tarval_is_negative(ro))
+ tarval_is_negative(rz) || tarval_is_negative(ro))
goto result_unknown;
if (tarval_cmp(lz, ro) & relation) {
@@ -709,7 +709,7 @@ undefined:
case ir_relation_greater:
/* TODO handle negative values */
if (tarval_is_negative(lz) || tarval_is_negative(lo) ||
- tarval_is_negative(rz) || tarval_is_negative(ro))
+ tarval_is_negative(rz) || tarval_is_negative(ro))
goto result_unknown;
if (!(tarval_cmp(lz, ro) & relation)) {
diff --git a/ir/ana/dca.c b/ir/ana/dca.c
index 15d4dc6..0fc89a6 100644
--- a/ir/ana/dca.c
+++ b/ir/ana/dca.c
@@ -170,8 +170,8 @@ static void dca_transfer(ir_node *irn)
* don't fit into the smaller mode. */
if (get_tarval_highest_bit(care) >= (int)pred_bits)
care = tarval_or(care,
- tarval_shl_unsigned(get_mode_one(mode),
- pred_bits - 1));
+ tarval_shl_unsigned(get_mode_one(mode),
+ pred_bits - 1));
} else {
/* Thwart sign extension as it doesn't make sense on
* our abstract tarvals. */
@@ -401,7 +401,7 @@ static void dca_init_node(ir_node *n, void *data)
ir_mode *m = get_irn_mode(n);
set_irn_link(n, (void *) (mode_is_int(m) ?
- get_mode_null(m) : tarval_b_false));
+ get_mode_null(m) : tarval_b_false));
}
void dca_analyze(ir_graph *irg)
@@ -413,7 +413,7 @@ void dca_analyze(ir_graph *irg)
assert(tarval_get_wrap_on_overflow());
assert(((ir_resources_reserved(irg) & IR_RESOURCE_IRN_LINK) != 0) &&
- "user of dc analysis must reserve links");
+ "user of dc analysis must reserve links");
irg_walk_graph(irg, dca_init_node, NULL, 0);
diff --git a/ir/ana/irconsconfirm.c b/ir/ana/irconsconfirm.c
index 0f36dde..7529a15 100644
--- a/ir/ana/irconsconfirm.c
+++ b/ir/ana/irconsconfirm.c
@@ -290,7 +290,7 @@ static void handle_if(ir_node *block, ir_node *cmp, ir_relation rel, env_t *env)
env->num_eq += 1;
} else if (block_dominates(blk, cond_block)
- && is_Const(right) && !get_irn_pinned(user)) {
+ && is_Const(right) && !get_irn_pinned(user)) {
/*
* left == Const and we found a movable user of left in a
* dominator of the Cond block
diff --git a/ir/ana/vrp.c b/ir/ana/vrp.c
index 3a1ef6b..504a256 100644
--- a/ir/ana/vrp.c
+++ b/ir/ana/vrp.c
@@ -227,14 +227,12 @@ static int vrp_update_node(ir_vrp_info *info, ir_node *node)
vrp_left = vrp_get_or_set_info(info, get_Eor_left(node));
vrp_right = vrp_get_or_set_info(info, get_Eor_right(node));
- new_bits_set = tarval_or(
- tarval_and(vrp_left->bits_set, tarval_not(vrp_right->bits_not_set)),
- tarval_and(tarval_not(vrp_left->bits_not_set), vrp_right->bits_set));
+ new_bits_set = tarval_or(tarval_and(vrp_left->bits_set, tarval_not(vrp_right->bits_not_set)),
+ tarval_and(tarval_not(vrp_left->bits_not_set), vrp_right->bits_set));
- new_bits_not_set = tarval_not(tarval_or(
- tarval_and(vrp_left->bits_set,vrp_right->bits_set),
- tarval_and(tarval_not(vrp_left->bits_not_set),
- tarval_not(vrp_right->bits_not_set))));
+ new_bits_not_set = tarval_not(tarval_or(tarval_and(vrp_left->bits_set,vrp_right->bits_set),
+ tarval_and(tarval_not(vrp_left->bits_not_set),
+ tarval_not(vrp_right->bits_not_set))));
break;
}
@@ -272,8 +270,8 @@ static int vrp_update_node(ir_vrp_info *info, ir_node *node)
/* The second and is needed if target type is smaller*/
new_bits_not_set = tarval_convert_to(get_mode_all_one(old_mode), new_mode);
new_bits_not_set = tarval_and(new_bits_not_set, tarval_convert_to(vrp_pred->bits_not_set, new_mode));
- new_bits_set = tarval_and(
- new_bits_not_set, tarval_convert_to(vrp_pred->bits_set, new_mode));
+ new_bits_set = tarval_and(new_bits_not_set,
+ tarval_convert_to(vrp_pred->bits_set, new_mode));
/* Matze: TODO, BUGGY, tarval_cmp never returns ir_relation_less_equal */
if (tarval_cmp(vrp_pred->range_top, get_mode_max(new_mode)) == ir_relation_less_equal) {
@@ -322,8 +320,7 @@ static int vrp_update_node(ir_vrp_info *info, ir_node *node)
for (int i = 1, num = get_Phi_n_preds(node); i < num; i++) {
pred = get_Phi_pred(node, i);
vrp_pred = vrp_get_or_set_info(info, pred);
- if (new_range_type == VRP_RANGE && vrp_pred->range_type ==
- VRP_RANGE) {
+ if (new_range_type == VRP_RANGE && vrp_pred->range_type == VRP_RANGE) {
ir_relation relation = tarval_cmp(new_range_top, vrp_pred->range_top);
if (relation == ir_relation_less) {
new_range_top = vrp_pred->range_top;
@@ -337,7 +334,7 @@ static int vrp_update_node(ir_vrp_info *info, ir_node *node)
}
new_bits_set = tarval_and(new_bits_set, vrp_pred->bits_set);
new_bits_not_set = tarval_or(new_bits_not_set,
- vrp_pred->bits_not_set);
+ vrp_pred->bits_not_set);
}
break;
@@ -397,7 +394,7 @@ static int vrp_update_node(ir_vrp_info *info, ir_node *node)
}
if (vrp->range_type == VRP_UNDEFINED &&
- new_range_type != VRP_UNDEFINED) {
+ new_range_type != VRP_UNDEFINED) {
something_changed = true;
vrp->range_type = new_range_type;
vrp->range_bottom = new_range_bottom;
@@ -419,12 +416,12 @@ static int vrp_update_node(ir_vrp_info *info, ir_node *node)
/* if they are overlapping, cut the range.*/
/* TODO: Maybe we can preserve more information here*/
if (tarval_cmp(vrp->range_bottom, new_range_top) == ir_relation_greater &&
- tarval_cmp(vrp->range_bottom, new_range_bottom) == ir_relation_greater) {
+ tarval_cmp(vrp->range_bottom, new_range_bottom) == ir_relation_greater) {
something_changed = true;
vrp->range_bottom = new_range_top;
} else if (tarval_cmp(vrp->range_top, new_range_bottom) == ir_relation_greater &&
- tarval_cmp(vrp->range_top, new_range_top) == ir_relation_less) {
+ tarval_cmp(vrp->range_top, new_range_top) == ir_relation_less) {
something_changed = true;
vrp->range_top = new_range_bottom;
}
@@ -567,7 +564,7 @@ ir_relation vrp_cmp(const ir_node *left, const ir_node *right)
}
if (!tarval_is_null(tarval_and(vrp_left->bits_set, tarval_not(vrp_right->bits_not_set))) ||
- !tarval_is_null(tarval_and(tarval_not(vrp_left->bits_not_set), vrp_right->bits_set))) {
+ !tarval_is_null(tarval_and(tarval_not(vrp_left->bits_not_set), vrp_right->bits_set))) {
return ir_relation_less_greater;
}