1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
IMPORT_IMPL(void, Z_envZ_log_executionZ_vi, (u32 loc), {
printf("log_execution %d\n", loc);
});
IMPORT_IMPL(u32, Z_envZ_get_i32Z_iiii, (u32 loc, u32 index, u32 value), {
printf("get_i32 %d,%d,%d\n", loc, index, value);
return value;
});
IMPORT_IMPL(u32, Z_envZ_get_i64Z_iiiii, (u32 loc, u32 index, u32 low, u32 high), {
printf("get_i64 %d,%d,%d,%d\n", loc, index, low, high);
tempRet0 = high;
return low;
});
IMPORT_IMPL(f32, Z_envZ_get_f32Z_fiif, (u32 loc, u32 index, f32 value), {
printf("get_f32 %d,%d,%f\n", loc, index, value);
return value;
});
IMPORT_IMPL(f64, Z_envZ_get_f64Z_diid, (u32 loc, u32 index, f64 value), {
printf("get_f64 %d,%d,%f\n", loc, index, value);
return value;
});
IMPORT_IMPL(u32, Z_envZ_set_i32Z_iiii, (u32 loc, u32 index, u32 value), {
printf("set_i32 %d,%d,%d\n", loc, index, value);
return value;
});
IMPORT_IMPL(u32, Z_envZ_set_i64Z_iiiii, (u32 loc, u32 index, u32 low, u32 high), {
printf("set_i64 %d,%d,%d,%d\n", loc, index, low, high);
tempRet0 = high;
return low;
});
IMPORT_IMPL(f32, Z_envZ_set_f32Z_fiif, (u32 loc, u32 index, f32 value), {
printf("set_f32 %d,%d,%f\n", loc, index, value);
return value;
});
IMPORT_IMPL(f64, Z_envZ_set_f64Z_diid, (u32 loc, u32 index, f64 value), {
printf("set_f64 %d,%d,%f\n", loc, index, value);
return value;
});
IMPORT_IMPL(u32, Z_envZ_load_ptrZ_iiiii, (u32 loc, u32 bytes, u32 offset, u32 ptr), {
printf("load_ptr %d,%d,%d,%d\n", loc, bytes, offset, ptr);
return ptr;
});
IMPORT_IMPL(u32, Z_envZ_load_val_i32Z_iii, (u32 loc, u32 value), {
printf("load_val_i32 %d,%d\n", loc, value);
return value;
});
IMPORT_IMPL(u32, Z_envZ_load_val_i64Z_iiii, (u32 loc, u32 low, u32 high), {
printf("load_val_i64 %d,%d,%d\n", loc, low, high);
tempRet0 = high;
return low;
});
IMPORT_IMPL(u64, Z_envZ_load_val_i64Z_jij, (u32 loc, u64 value), {
printf("load_val_i64 %d,%d,%d\n", loc, (u32)value, (u32)(value >> 32));
return value;
});
IMPORT_IMPL(f32, Z_envZ_load_val_f32Z_fif, (u32 loc, f32 value), {
printf("load_val_f32 %d,%f\n", loc, value);
return value;
});
IMPORT_IMPL(f64, Z_envZ_load_val_f64Z_did, (u32 loc, f64 value), {
printf("load_val_f64 %d,%f\n", loc, value);
return value;
});
IMPORT_IMPL(u32, Z_envZ_store_ptrZ_iiiii, (u32 loc, u32 bytes, u32 offset, u32 ptr), {
printf("store_ptr %d,%d,%d,%d\n", loc, bytes, offset, ptr);
return ptr;
});
IMPORT_IMPL(u32, Z_envZ_store_val_i32Z_iii, (u32 loc, u32 value), {
printf("store_val_i32 %d,%d\n", loc, value);
return value;
});
IMPORT_IMPL(u32, Z_envZ_store_val_i64Z_iiii, (u32 loc, u32 low, u32 high), {
printf("store_val_i64 %d,%d,%d\n", loc, low, high);
tempRet0 = high;
return low;
});
IMPORT_IMPL(u64, Z_envZ_store_val_i64Z_jij, (u32 loc, u64 value), {
printf("store_val_i64 %d,%d,%d\n", loc, (u32)value, (u32)(value >> 32));
return value;
});
IMPORT_IMPL(f32, Z_envZ_store_val_f32Z_fif, (u32 loc, f32 value), {
printf("store_val_f32 %d,%f\n", loc, value);
return value;
});
IMPORT_IMPL(f64, Z_envZ_store_val_f64Z_did, (u32 loc, f64 value), {
printf("store_val_f64 %d,%f\n", loc, value);
return value;
});
|
