summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beverify.c
diff options
context:
space:
mode:
authorChristoph Mallon <mallon@cs.uni-saarland.de>2015-01-25 10:04:13 +0100
committerChristoph Mallon <mallon@cs.uni-saarland.de>2015-01-25 10:46:04 +0100
commite5e32183bc1e11ec1fbf28e8db11631f015754eb (patch)
tree979c00be62dbcc8467921d9b397507ccd23c3eef /ir/be/beverify.c
parent64790ad734834b052185c48479b846560fff9686 (diff)
beverify: Use the proper type for schedule time steps.
Diffstat (limited to 'ir/be/beverify.c')
-rw-r--r--ir/be/beverify.c9
1 files changed, 4 insertions, 5 deletions
diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 4bad7ec..378a3e3 100644
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -9,7 +9,6 @@
* @author Matthias Braun
* @date 05.05.2006
*/
-#include <limits.h>
#include <stdbool.h>
#include "bitset.h"
@@ -131,9 +130,6 @@ typedef struct be_verify_schedule_env_t_ {
static void verify_schedule_walker(ir_node *block, void *data)
{
be_verify_schedule_env_t *env = (be_verify_schedule_env_t*) data;
- ir_node *non_phi_found = NULL;
- ir_node *cfchange_found = NULL;
- int last_timestep = INT_MIN;
/*
* Tests for the following things:
@@ -141,6 +137,9 @@ static void verify_schedule_walker(ir_node *block, void *data)
* block
* 2. No value is defined after it has been used
*/
+ ir_node *non_phi_found = NULL;
+ ir_node *cfchange_found = NULL;
+ sched_timestep_t last_timestep = 0;
sched_foreach(block, node) {
/* this node is scheduled */
if (bitset_is_set(env->scheduled, get_irn_idx(node))) {
@@ -156,7 +155,7 @@ static void verify_schedule_walker(ir_node *block, void *data)
}
/* Check that timesteps are increasing */
- int timestep = sched_get_time_step(node);
+ sched_timestep_t timestep = sched_get_time_step(node);
if (timestep <= last_timestep) {
verify_warnf(block, "schedule timestep did not increase at %+F", node);
env->problem_found = true;