Commit f9d6da65 authored by Julian Kranz's avatar Julian Kranz

int_t => long long unsigned int

parent f745158f
......@@ -10,7 +10,7 @@
/* data types used in decoder programs */
typedef void* obj_t;
typedef struct state* state_t;
typedef int64_t int_t;
typedef long long int int_t;
typedef char* string_t;
typedef uint64_t vec_data_t;
......
......@@ -12,7 +12,7 @@
#include <rreil/rreil_linear.h>
struct rreil_address {
uint64_t size;
long long unsigned int size;
struct rreil_linear *address;
};
......
......@@ -32,8 +32,8 @@ enum rreil_expr_type {
};
struct rreil_size_change {
uint64_t size;
uint64_t fromsize;
long long unsigned int size;
long long unsigned int fromsize;
struct rreil_linear *opnd;
};
......
......@@ -42,7 +42,7 @@ struct rreil_id {
uint32_t arch;
#endif
};
uint64_t temporary;
long long unsigned temporary;
};
};
......
......@@ -23,7 +23,7 @@ struct rreil_linear {
enum rreil_linear_type type;
union {
struct rreil_variable *variable;
uint64_t immediate;
long long unsigned int immediate;
struct {
struct rreil_linear *opnd1;
struct rreil_linear *opnd2;
......@@ -33,7 +33,7 @@ struct rreil_linear {
struct rreil_linear *opnd2;
} difference;
struct {
uint64_t imm;
long long unsigned int imm;
struct rreil_linear *opnd;
} scale;
};
......
......@@ -34,17 +34,17 @@ struct rreil_statement {
enum rreil_statement_type type;
union {
struct {
uint64_t size;
long long unsigned int size;
struct rreil_variable *lhs;
struct rreil_expr *rhs;
} assign;
struct {
uint64_t size;
long long unsigned int size;
struct rreil_variable *lhs;
struct rreil_address *address;
} load;
struct {
uint64_t size;
long long unsigned int size;
struct rreil_address *address;
struct rreil_expr *rhs;
} store;
......
......@@ -13,7 +13,7 @@
struct rreil_variable {
struct rreil_id *id;
uint64_t offset;
long long unsigned offset;
};
......
......@@ -13,8 +13,8 @@
struct rreil_variable_limited {
struct rreil_id *id;
uint64_t offset;
uint64_t size;
long long unsigned offset;
long long unsigned size;
};
struct rreil_variable_limited_tuple {
......
......@@ -46,11 +46,11 @@ static obj_t shared(state_t state, int_t con) {
return (obj_t)0;
}
static obj_t virt_t(state_t state, int_t t) {
printf("> t%ld\n", t);
printf("> t%lld\n", t);
return (obj_t)0;
}
static obj_t arch(state_t state, int_t con) {
printf("> arch#%ld\n", con);
printf("> arch#%lld\n", con);
return (obj_t)0;
}
......@@ -65,7 +65,7 @@ static obj_t exception_shared(state_t state, int_t con) {
return (obj_t)0;
}
static obj_t exception_arch(state_t state, int_t con) {
printf("> exception_arch#%ld\n", con);
printf("> exception_arch#%lld\n", con);
return (obj_t)0;
}
......@@ -330,14 +330,14 @@ static obj_t exception_arch(state_t state, int_t con) {
static obj_t sem_address(state_t state, int_t size,
obj_t address) {
obj_t indent = indent_unary(address);
printf("> sem_address {size=%lu}\n", size);
printf("> sem_address {size=%lld}\n", size);
return indent;
}
// sem_var
static obj_t sem_var(state_t state, obj_t id, int_t offset) {
obj_t indent = indent_unary(id);
printf("> var {offset=%lu}\n", offset);
printf("> var {offset=%lld}\n", offset);
return indent;
}
......@@ -348,7 +348,7 @@ static obj_t sem_lin_var(state_t state, obj_t this) {
return indent;
}
static obj_t sem_lin_imm(state_t state, int_t imm) {
printf("> sem_lin_imm {imm=%lu}\n", imm);
printf("> sem_lin_imm {imm=%lld}\n", imm);
return (obj_t)0;
}
static obj_t sem_lin_add(state_t state, obj_t opnd1,
......@@ -366,7 +366,7 @@ static obj_t sem_lin_sub(state_t state, obj_t opnd1,
static obj_t sem_lin_scale(state_t state, int_t imm,
obj_t opnd) {
obj_t indent = indent_unary(opnd);
printf("> sem_lin_scale {imm=%lu}\n", imm);
printf("> sem_lin_scale {imm=%lld}\n", imm);
return indent;
}
......@@ -500,20 +500,20 @@ static obj_t sem_xor(state_t state,
static obj_t sem_sx(state_t state, int_t fromsize,
obj_t opnd1) {
obj_t indent = indent_unary(opnd1);
printf("> sx {fromsize=%lu}\n", fromsize);
printf("> sx {fromsize=%lld}\n", fromsize);
return indent;
}
static obj_t sem_zx(state_t state, int_t fromsize,
obj_t opnd1) {
obj_t indent = indent_unary(opnd1);
printf("> zx {fromsize=%lu}\n", fromsize);
printf("> zx {fromsize=%lld}\n", fromsize);
return indent;
}
// sem_varl
static obj_t sem_varl(state_t state, obj_t id, int_t offset, int_t size) {
obj_t indent = indent_unary(id);
printf("> sem_varl {offset=%ld, size=%ld}\n", offset, size);
printf("> sem_varl {offset=%lld, size=%lld}\n", offset, size);
return indent;
}
......@@ -530,7 +530,7 @@ static obj_t sem_varls_init(state_t state, obj_t nothing) {
// sem_flop
static obj_t sem_flop(state_t state, int_t con) {
printf("> sem_flop %ld\n", con);
printf("> sem_flop %lld\n", con);
return (obj_t)0;
}
......@@ -552,19 +552,19 @@ static obj_t sem_flop(state_t state, int_t con) {
static obj_t sem_assign(state_t state, int_t size, obj_t lhs,
obj_t rhs) {
obj_t indent = indent_binary(lhs, rhs);
printf("> assign {size=%lu}\n", size);
printf("> assign {size=%lld}\n", size);
return indent;
}
static obj_t sem_load(state_t state, int_t size, obj_t lhs,
obj_t address) {
obj_t indent = indent_binary(lhs, address);
printf("> load {size=%lu}\n", size);
printf("> load {size=%lld}\n", size);
return indent;
}
static obj_t sem_store(state_t state, int_t size, obj_t address,
obj_t rhs) {
obj_t indent = indent_binary(address, rhs);
printf("> store {size=%lu}\n", size);
printf("> store {size=%lld}\n", size);
return indent;
}
static obj_t sem_ite(state_t state, obj_t cond,
......@@ -609,7 +609,7 @@ static obj_t sem_throw(state_t state, obj_t exception) {
// branch_hint
static obj_t branch_hint(state_t state, int_t con) {
printf("> branch_hint#%lu\n", con);
printf("> branch_hint#%lld\n", con);
return (obj_t)0;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment