Commit 0c850a74 authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl

use abc instruction load_module_name in modules graph_copy_with_names and...

use abc instruction load_module_name in modules graph_copy_with_names and graph_to_string_and_descriptors
parent 905d7b3f
......@@ -116,22 +116,14 @@ get_D_name d = code {
.o 1 0
}
get_D_cons_module d :== IF_INT_64_OR_32 (get_D_cons_module_64 d) (get_D_cons_module_32 d);
get_D_cons_module_32 :: !Int -> Int;
get_D_cons_module_32 d = code {
get_D_cons_module :: !Int -> Int;
get_D_cons_module d = code {
push_b 0
load_si16 0
addI
load_i 6
}
get_D_cons_module_64 :: !Int -> Int;
get_D_cons_module_64 d = code {
push_b 0
load_si16 0
pushI 6
addI
load_si32 6
load_module_name
}
get_D_cons_flag d :== IF_INT_64_OR_32 (get_D_cons_flag_64 d) (get_D_cons_flag_32 d);
......@@ -158,16 +150,11 @@ get_record_type_char a i = code {
load_ui8 2
}
get_D_record_module d :== IF_INT_64_OR_32 (get_D_record_module_64 d) (get_D_record_module_32 d);
get_D_record_module_32 :: !Int -> Int;
get_D_record_module_32 d = code {
load_i -10
}
get_D_record_module_64 :: !Int -> Int;
get_D_record_module_64 d = code {
load_si32 -10
get_D_record_module :: !Int -> Int;
get_D_record_module d = code {
pushI -10
addI
load_module_name
}
get_module_name_size a :== IF_INT_64_OR_32 (get_module_name_size_64 a) (get_module_name_size_32 a);
......
......@@ -118,34 +118,21 @@ get_D_name d = code {
.o 1 0
}
get_D_cons_module d :== IF_INT_64_OR_32 (get_D_cons_module_64 d) (get_D_cons_module_32 d);
get_D_cons_module_32 :: !Int -> Int;
get_D_cons_module_32 d = code {
get_D_cons_module :: !Int -> Int;
get_D_cons_module d = code {
push_b 0
load_si16 0
addI
load_i 6
}
get_D_cons_module_64 :: !Int -> Int;
get_D_cons_module_64 d = code {
push_b 0
load_si16 0
pushI 6
addI
load_si32 6
load_module_name
}
get_D_record_module d :== IF_INT_64_OR_32 (get_D_record_module_64 d) (get_D_record_module_32 d);
get_D_record_module_32 :: !Int -> Int;
get_D_record_module_32 d = code {
load_i -10
}
get_D_record_module_64 :: !Int -> Int;
get_D_record_module_64 d = code {
load_si32 -10
get_D_record_module :: !Int -> Int;
get_D_record_module d = code {
pushI -10
addI
load_module_name
}
get_module_name_size a :== IF_INT_64_OR_32 (get_module_name_size_64 a) (get_module_name_size_32 a);
......
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