diff options
author | Jason Gross <jgross@mit.edu> | 2017-09-05 01:49:00 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-09-05 01:49:00 -0400 |
commit | 7703626d4f78590489c99688ca3f427518089544 (patch) | |
tree | 3f78366f5590d5e6d581da60dd9f89df7485c6b8 /etc/compile-by-zinc/femulData0.dot | |
parent | c75ed478fa1d3d2fc8336818cdefe0b1c0ba72ef (diff) |
Fix schedule
Diffstat (limited to 'etc/compile-by-zinc/femulData0.dot')
-rw-r--r-- | etc/compile-by-zinc/femulData0.dot | 244 |
1 files changed, 122 insertions, 122 deletions
diff --git a/etc/compile-by-zinc/femulData0.dot b/etc/compile-by-zinc/femulData0.dot index df4261daa..630f3a2cd 100644 --- a/etc/compile-by-zinc/femulData0.dot +++ b/etc/compile-by-zinc/femulData0.dot @@ -1,131 +1,131 @@ digraph G { - x5 [label="x5 (r9)" , style="filled", fillcolor="red"]; - x7 [label="x7 (r15)" , style="filled", fillcolor="red"]; + x5 [label="x5 (RDX)" , style="filled", fillcolor="red"]; + x7 [label="x7 (RDX)" , style="filled", fillcolor="red"]; x9 [label="x9 (RDX)" , style="filled", fillcolor="red"]; - x10 [label="x10" ]; - x11 [label="x11" ]; - x13 [label="x13 (r8)" , style="filled", fillcolor="red"]; - x15 [label="x15 (RSI)" , style="filled", fillcolor="red"]; - x17 [label="x17" ]; - x18 [label="x18 (r13)" , style="filled", fillcolor="red"]; - x19 [label="x19 (RBX)" , style="filled", fillcolor="red"]; - x20_128_high [label="x20_128_high (r11)" , style="filled", fillcolor="red"]; - x20_128_low [label="x20_128_low (r12)" , style="filled", fillcolor="red"]; - x20_128_tmp [label="x20_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x21_128_high [label="x21_128_high (r11)" , style="filled", fillcolor="red"]; + x10 [label="x10 (r15)" , style="filled", fillcolor="red"]; + x11 [label="x11 (RDX)" , style="filled", fillcolor="red"]; + x13 [label="x13 (r14)" , style="filled", fillcolor="red"]; + x15 [label="x15 (r11)" , style="filled", fillcolor="red"]; + x17 [label="x17 (r10)" , style="filled", fillcolor="red"]; + x18 [label="x18 (RDI)" , style="filled", fillcolor="red"]; + x19 [label="x19 (r8)" , style="filled", fillcolor="red"]; + x20_128_high [label="x20_128_high (r12)" , style="filled", fillcolor="red"]; + x20_128_low [label="x20_128_low (r13)" , style="filled", fillcolor="red"]; + x20_128_tmp [label="x20_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x21_128_high [label="x21_128_high (r13)" , style="filled", fillcolor="red"]; x21_128_low [label="x21_128_low (r12)" , style="filled", fillcolor="red"]; - x21_128_tmp [label="x21_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x22_128_high [label="x22_128_high (r11)" , style="filled", fillcolor="red"]; + x21_128_tmp [label="x21_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x22_128_high [label="x22_128_high (r13)" , style="filled", fillcolor="red"]; x22_128_low [label="x22_128_low (r12)" , style="filled", fillcolor="red"]; - x22_128_tmp [label="x22_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x24_128_high [label="x24_128_high" ]; - x24_128_low [label="x24_128_low" ]; - x24_128_tmp [label="x24_128_tmp" ]; - x25_128_high [label="x25_128_high (r11)" , style="filled", fillcolor="red"]; - x25_128_low [label="x25_128_low (r12)" , style="filled", fillcolor="red"]; - x25_128_tmp [label="x25_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x27_128_high [label="x27_128_high (r11)" , style="filled", fillcolor="red"]; - x27_128_low [label="x27_128_low (r12)" , style="filled", fillcolor="red"]; - x27_128_tmp [label="x27_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x29_128_high [label="x29_128_high" ]; - x29_128_low [label="x29_128_low" ]; - x29_128_tmp [label="x29_128_tmp" ]; - x30_128_high [label="x30_128_high" ]; - x30_128_low [label="x30_128_low" ]; - x30_128_tmp [label="x30_128_tmp" ]; - x32_128_high [label="x32_128_high" ]; - x32_128_low [label="x32_128_low" ]; - x32_128_tmp [label="x32_128_tmp" ]; - x34_128_high [label="x34_128_high" ]; - x34_128_low [label="x34_128_low" ]; - x34_128_tmp [label="x34_128_tmp" ]; - x36_128_high [label="x36_128_high" ]; - x36_128_low [label="x36_128_low" ]; - x36_128_tmp [label="x36_128_tmp" ]; - x37_128_high [label="x37_128_high" ]; - x37_128_low [label="x37_128_low" ]; - x37_128_tmp [label="x37_128_tmp" ]; - x39_128_high [label="x39_128_high" ]; - x39_128_low [label="x39_128_low" ]; - x39_128_tmp [label="x39_128_tmp" ]; - x41_128_high [label="x41_128_high" ]; - x41_128_low [label="x41_128_low" ]; - x41_128_tmp [label="x41_128_tmp" ]; - x43_128_high [label="x43_128_high" ]; - x43_128_low [label="x43_128_low" ]; - x43_128_tmp [label="x43_128_tmp" ]; - x45 [label="x45" ]; - x46 [label="x46 (r14)" , style="filled", fillcolor="red"]; - x47 [label="x47 (RCX)" , style="filled", fillcolor="red"]; - x48 [label="x48" ]; - x49_128_high [label="x49_128_high" ]; - x49_128_low [label="x49_128_low" ]; - x49_128_tmp [label="x49_128_tmp" ]; - x51_128_high [label="x51_128_high (r11)" , style="filled", fillcolor="red"]; + x22_128_tmp [label="x22_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x24_128_high [label="x24_128_high (r12)" , style="filled", fillcolor="red"]; + x24_128_low [label="x24_128_low (r13)" , style="filled", fillcolor="red"]; + x24_128_tmp [label="x24_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x25_128_high [label="x25_128_high (r12)" , style="filled", fillcolor="red"]; + x25_128_low [label="x25_128_low (r13)" , style="filled", fillcolor="red"]; + x25_128_tmp [label="x25_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x27_128_high [label="x27_128_high (r12)" , style="filled", fillcolor="red"]; + x27_128_low [label="x27_128_low (r13)" , style="filled", fillcolor="red"]; + x27_128_tmp [label="x27_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x29_128_high [label="x29_128_high (r13)" , style="filled", fillcolor="red"]; + x29_128_low [label="x29_128_low (r12)" , style="filled", fillcolor="red"]; + x29_128_tmp [label="x29_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x30_128_high [label="x30_128_high (r13)" , style="filled", fillcolor="red"]; + x30_128_low [label="x30_128_low (r12)" , style="filled", fillcolor="red"]; + x30_128_tmp [label="x30_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x32_128_high [label="x32_128_high (r13)" , style="filled", fillcolor="red"]; + x32_128_low [label="x32_128_low (r12)" , style="filled", fillcolor="red"]; + x32_128_tmp [label="x32_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x34_128_high [label="x34_128_high (r13)" , style="filled", fillcolor="red"]; + x34_128_low [label="x34_128_low (r12)" , style="filled", fillcolor="red"]; + x34_128_tmp [label="x34_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x36_128_high [label="x36_128_high (r12)" , style="filled", fillcolor="red"]; + x36_128_low [label="x36_128_low (r13)" , style="filled", fillcolor="red"]; + x36_128_tmp [label="x36_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x37_128_high [label="x37_128_high (r12)" , style="filled", fillcolor="red"]; + x37_128_low [label="x37_128_low (r13)" , style="filled", fillcolor="red"]; + x37_128_tmp [label="x37_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x39_128_high [label="x39_128_high (r12)" , style="filled", fillcolor="red"]; + x39_128_low [label="x39_128_low (r13)" , style="filled", fillcolor="red"]; + x39_128_tmp [label="x39_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x41_128_high [label="x41_128_high (r12)" , style="filled", fillcolor="red"]; + x41_128_low [label="x41_128_low (r13)" , style="filled", fillcolor="red"]; + x41_128_tmp [label="x41_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x43_128_high [label="x43_128_high (r12)" , style="filled", fillcolor="red"]; + x43_128_low [label="x43_128_low (r13)" , style="filled", fillcolor="red"]; + x43_128_tmp [label="x43_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x45 [label="x45 (r15)" , style="filled", fillcolor="red"]; + x46 [label="x46 (RDX)" , style="filled", fillcolor="red"]; + x47 [label="x47 (RDX)" , style="filled", fillcolor="red"]; + x48 [label="x48 (RDX)" , style="filled", fillcolor="red"]; + x49_128_high [label="x49_128_high (r13)" , style="filled", fillcolor="red"]; + x49_128_low [label="x49_128_low (r12)" , style="filled", fillcolor="red"]; + x49_128_tmp [label="x49_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x51_128_high [label="x51_128_high (r13)" , style="filled", fillcolor="red"]; x51_128_low [label="x51_128_low (r12)" , style="filled", fillcolor="red"]; - x51_128_tmp [label="x51_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x53_128_high [label="x53_128_high (r11)" , style="filled", fillcolor="red"]; + x51_128_tmp [label="x51_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x53_128_high [label="x53_128_high (r13)" , style="filled", fillcolor="red"]; x53_128_low [label="x53_128_low (r12)" , style="filled", fillcolor="red"]; - x53_128_tmp [label="x53_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x55_128_high [label="x55_128_high" ]; - x55_128_low [label="x55_128_low" ]; - x55_128_tmp [label="x55_128_tmp" ]; - cx56_128 [label="cx56_128" ]; - x56_128 [label="x50_128 + x52_128 + x54_128 + x56_128" ]; - x56_128_high [label="x50_128_high + x52_128_high + x54_128_high + x56_128_high (r10)" , style="filled", fillcolor="red"]; - x56_128_low [label="x50_128_low + x52_128_low + x54_128_low + x56_128_low (r14)" , style="filled", fillcolor="red"]; - x57_128_high [label="x57_128_high" ]; - x57_128_low [label="x57_128_low" ]; - x57_128_tmp [label="x57_128_tmp" ]; - x59_128_high [label="x59_128_high (r11)" , style="filled", fillcolor="red"]; - x59_128_low [label="x59_128_low (r12)" , style="filled", fillcolor="red"]; - x59_128_tmp [label="x59_128_tmp (r12:r11)" , style="filled", fillcolor="red"]; - x61_128_high [label="x61_128_high" ]; - x61_128_low [label="x61_128_low" ]; - x61_128_tmp [label="x61_128_tmp" ]; - x63_128_high [label="x63_128_high" ]; - x63_128_low [label="x63_128_low" ]; - x63_128_tmp [label="x63_128_tmp" ]; - x65_128_high [label="x65_128_high" ]; - x65_128_low [label="x65_128_low" ]; - x65_128_tmp [label="x65_128_tmp" ]; - x67_128_high [label="x67_128_high" ]; - x67_128_low [label="x67_128_low" ]; - x67_128_tmp [label="x67_128_tmp" ]; - x69 [label="x69" ]; - x70 [label="x70" ]; - cx71_128 [label="cx71_128" ]; - x71_128 [label="x23_128 + x58_128 + x60_128 + x62_128 + x71_128" ]; - x71_128_high [label="x23_128_high + x58_128_high + x60_128_high + x62_128_high + x71_128_high (RDI)" , style="filled", fillcolor="red"]; - x71_128_low [label="x23_128_low + x58_128_low + x60_128_low + x62_128_low + x71_128_low (RBP)" , style="filled", fillcolor="red"]; - x72 [label="x72" ]; - x73 [label="x73" ]; - cx74_128 [label="cx74_128" ]; - x74_128 [label="x26_128 + x28_128 + x64_128 + x66_128 + x74_128" ]; - x74_128_high [label="x26_128_high + x28_128_high + x64_128_high + x66_128_high + x74_128_high (RAX)" , style="filled", fillcolor="red"]; - x74_128_low [label="x26_128_low + x28_128_low + x64_128_low + x66_128_low + x74_128_low (RCX)" , style="filled", fillcolor="red"]; - x75 [label="x75" ]; - x76 [label="x76" ]; - cx77_128 [label="cx77_128" ]; - x77_128 [label="x31_128 + x33_128 + x35_128 + x68_128 + x77_128" ]; - x77_128_high [label="x31_128_high + x33_128_high + x35_128_high + x68_128_high + x77_128_high" ]; - x77_128_low [label="x31_128_low + x33_128_low + x35_128_low + x68_128_low + x77_128_low" ]; - x78 [label="x78" ]; - x79 [label="x79" ]; - cx80_128 [label="cx80_128" ]; - x80_128 [label="x38_128 + x40_128 + x42_128 + x44_128 + x80_128" ]; - x80_128_high [label="x38_128_high + x40_128_high + x42_128_high + x44_128_high + x80_128_high" ]; - x80_128_low [label="x38_128_low + x40_128_low + x42_128_low + x44_128_low + x80_128_low" ]; - x81 [label="x81" ]; - x82 [label="x82" ]; - x83 [label="x83" ]; - x84 [label="x84" ]; - x85 [label="x85" ]; - x86 [label="x86" ]; - x87 [label="x87" ]; - x88 [label="x88" ]; - x89 [label="x89" ]; - x90 [label="x90" ]; + x53_128_tmp [label="x53_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x55_128_high [label="x55_128_high (r13)" , style="filled", fillcolor="red"]; + x55_128_low [label="x55_128_low (r12)" , style="filled", fillcolor="red"]; + x55_128_tmp [label="x55_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + cx56_128 [label="cx56_128 (c0)" , style="filled", fillcolor="red"]; + x56_128 [label="x50_128 + x52_128 + x54_128 + x56_128 (r15:r11)" , style="filled", fillcolor="red"]; + x56_128_high [label="x50_128_high + x52_128_high + x54_128_high + x56_128_high (r11)" , style="filled", fillcolor="red"]; + x56_128_low [label="x50_128_low + x52_128_low + x54_128_low + x56_128_low (r15)" , style="filled", fillcolor="red"]; + x57_128_high [label="x57_128_high (r12)" , style="filled", fillcolor="red"]; + x57_128_low [label="x57_128_low (r13)" , style="filled", fillcolor="red"]; + x57_128_tmp [label="x57_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x59_128_high [label="x59_128_high (r12)" , style="filled", fillcolor="red"]; + x59_128_low [label="x59_128_low (r13)" , style="filled", fillcolor="red"]; + x59_128_tmp [label="x59_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x61_128_high [label="x61_128_high (r12)" , style="filled", fillcolor="red"]; + x61_128_low [label="x61_128_low (r13)" , style="filled", fillcolor="red"]; + x61_128_tmp [label="x61_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x63_128_high [label="x63_128_high (r13)" , style="filled", fillcolor="red"]; + x63_128_low [label="x63_128_low (r12)" , style="filled", fillcolor="red"]; + x63_128_tmp [label="x63_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x65_128_high [label="x65_128_high (r13)" , style="filled", fillcolor="red"]; + x65_128_low [label="x65_128_low (r12)" , style="filled", fillcolor="red"]; + x65_128_tmp [label="x65_128_tmp (r12:r13)" , style="filled", fillcolor="red"]; + x67_128_high [label="x67_128_high (r12)" , style="filled", fillcolor="red"]; + x67_128_low [label="x67_128_low (r13)" , style="filled", fillcolor="red"]; + x67_128_tmp [label="x67_128_tmp (r13:r12)" , style="filled", fillcolor="red"]; + x69 [label="x69 (r11)" , style="filled", fillcolor="red"]; + x70 [label="x70 (r15)" , style="filled", fillcolor="red"]; + cx71_128 [label="cx71_128 (c0)" , style="filled", fillcolor="red"]; + x71_128 [label="x23_128 + x58_128 + x60_128 + x62_128 + x71_128 (r9:r10)" , style="filled", fillcolor="red"]; + x71_128_high [label="x23_128_high + x58_128_high + x60_128_high + x62_128_high + x71_128_high (r10)" , style="filled", fillcolor="red"]; + x71_128_low [label="x23_128_low + x58_128_low + x60_128_low + x62_128_low + x71_128_low (r9)" , style="filled", fillcolor="red"]; + x72 [label="x72 (r10)" , style="filled", fillcolor="red"]; + x73 [label="x73 (r9)" , style="filled", fillcolor="red"]; + cx74_128 [label="cx74_128 (c0)" , style="filled", fillcolor="red"]; + x74_128 [label="x26_128 + x28_128 + x64_128 + x66_128 + x74_128 (RBP:r8)" , style="filled", fillcolor="red"]; + x74_128_high [label="x26_128_high + x28_128_high + x64_128_high + x66_128_high + x74_128_high (r8)" , style="filled", fillcolor="red"]; + x74_128_low [label="x26_128_low + x28_128_low + x64_128_low + x66_128_low + x74_128_low (RBP)" , style="filled", fillcolor="red"]; + x75 [label="x75 (r8)" , style="filled", fillcolor="red"]; + x76 [label="x76 (RBP)" , style="filled", fillcolor="red"]; + cx77_128 [label="cx77_128 (c0)" , style="filled", fillcolor="red"]; + x77_128 [label="x31_128 + x33_128 + x35_128 + x68_128 + x77_128 (RSI:RDI)" , style="filled", fillcolor="red"]; + x77_128_high [label="x31_128_high + x33_128_high + x35_128_high + x68_128_high + x77_128_high (RDI)" , style="filled", fillcolor="red"]; + x77_128_low [label="x31_128_low + x33_128_low + x35_128_low + x68_128_low + x77_128_low (RSI)" , style="filled", fillcolor="red"]; + x78 [label="x78 (RDI)" , style="filled", fillcolor="red"]; + x79 [label="x79 (RSI)" , style="filled", fillcolor="red"]; + cx80_128 [label="cx80_128 (c0)" , style="filled", fillcolor="red"]; + x80_128 [label="x38_128 + x40_128 + x42_128 + x44_128 + x80_128 (r15:r14)" , style="filled", fillcolor="red"]; + x80_128_high [label="x38_128_high + x40_128_high + x42_128_high + x44_128_high + x80_128_high (r14)" , style="filled", fillcolor="red"]; + x80_128_low [label="x38_128_low + x40_128_low + x42_128_low + x44_128_low + x80_128_low (r15)" , style="filled", fillcolor="red"]; + x81 [label="x81 (r14)" , style="filled", fillcolor="red"]; + x82 [label="x82 (r15)" , style="filled", fillcolor="red"]; + x83 [label="x83 (r14)" , style="filled", fillcolor="red"]; + x84 [label="x84 (r15)" , style="filled", fillcolor="red"]; + x85 [label="x85 (r15)" , style="filled", fillcolor="red"]; + x86 [label="x86 (r14)" , style="filled", fillcolor="red"]; + x87 [label="x87 (r15)" , style="filled", fillcolor="red"]; + x88 [label="x88 (r15)" , style="filled", fillcolor="red"]; + x89 [label="x89 (r9)" , style="filled", fillcolor="red"]; + x90 [label="x90 (r15)" , style="filled", fillcolor="red"]; x56_128_low -> cx56_128 [ label="GET_CARRY" ] ; x71_128_low -> cx71_128 [ label="GET_CARRY" ] ; x74_128_low -> cx74_128 [ label="GET_CARRY" ] ; |