aboutsummaryrefslogtreecommitdiff
path: root/etc/compile-by-zinc/femulData0.dot
diff options
context:
space:
mode:
Diffstat (limited to 'etc/compile-by-zinc/femulData0.dot')
-rw-r--r--etc/compile-by-zinc/femulData0.dot244
1 files changed, 122 insertions, 122 deletions
diff --git a/etc/compile-by-zinc/femulData0.dot b/etc/compile-by-zinc/femulData0.dot
index 2bc6416f7..4691509f1 100644
--- a/etc/compile-by-zinc/femulData0.dot
+++ b/etc/compile-by-zinc/femulData0.dot
@@ -1,131 +1,131 @@
digraph G {
- x5 [label="x5 (rx5)" , style="filled", fillcolor="red"];
- x7 [label="x7 (rx7)" , style="filled", fillcolor="red"];
- x9 [label="x9 (rx9)" , style="filled", fillcolor="red"];
- x10 [label="x10 (rx10)" , style="filled", fillcolor="red"];
- x11 [label="x11 (rx11)" , style="filled", fillcolor="red"];
- x13 [label="x13 (rx13)" , style="filled", fillcolor="red"];
- x15 [label="x15 (rx15)" , style="filled", fillcolor="red"];
- x17 [label="x17 (rx17)" , style="filled", fillcolor="red"];
- x18 [label="x18 (rx18)" , style="filled", fillcolor="red"];
- x19 [label="x19 (rx19)" , style="filled", fillcolor="red"];
- x20_128_high [label="x20_128_high (r11)" , style="filled", fillcolor="red"];
- x20_128_low [label="x20_128_low (r10)" , style="filled", fillcolor="red"];
- x20_128_tmp [label="x20_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x21_128_high [label="x21_128_high (r10)" , style="filled", fillcolor="red"];
- x21_128_low [label="x21_128_low (r11)" , style="filled", fillcolor="red"];
- x21_128_tmp [label="x21_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x22_128_high [label="x22_128_high (r11)" , style="filled", fillcolor="red"];
- x22_128_low [label="x22_128_low (r10)" , style="filled", fillcolor="red"];
- x22_128_tmp [label="x22_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x24_128_high [label="x24_128_high (r11)" , style="filled", fillcolor="red"];
- x24_128_low [label="x24_128_low (r10)" , style="filled", fillcolor="red"];
- x24_128_tmp [label="x24_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x25_128_high [label="x25_128_high (r10)" , style="filled", fillcolor="red"];
- x25_128_low [label="x25_128_low (r11)" , style="filled", fillcolor="red"];
- x25_128_tmp [label="x25_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x27_128_high [label="x27_128_high (r10)" , style="filled", fillcolor="red"];
- x27_128_low [label="x27_128_low (r11)" , style="filled", fillcolor="red"];
- x27_128_tmp [label="x27_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x29_128_high [label="x29_128_high (r10)" , style="filled", fillcolor="red"];
- x29_128_low [label="x29_128_low (r11)" , style="filled", fillcolor="red"];
- x29_128_tmp [label="x29_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x30_128_high [label="x30_128_high (r11)" , style="filled", fillcolor="red"];
- x30_128_low [label="x30_128_low (r10)" , style="filled", fillcolor="red"];
- x30_128_tmp [label="x30_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x32_128_high [label="x32_128_high (r11)" , style="filled", fillcolor="red"];
- x32_128_low [label="x32_128_low (r10)" , style="filled", fillcolor="red"];
- x32_128_tmp [label="x32_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x34_128_high [label="x34_128_high (r10)" , style="filled", fillcolor="red"];
- x34_128_low [label="x34_128_low (r11)" , style="filled", fillcolor="red"];
- x34_128_tmp [label="x34_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x36_128_high [label="x36_128_high (r11)" , style="filled", fillcolor="red"];
- x36_128_low [label="x36_128_low (r10)" , style="filled", fillcolor="red"];
- x36_128_tmp [label="x36_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x37_128_high [label="x37_128_high (r10)" , style="filled", fillcolor="red"];
- x37_128_low [label="x37_128_low (r11)" , style="filled", fillcolor="red"];
- x37_128_tmp [label="x37_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x39_128_high [label="x39_128_high (r10)" , style="filled", fillcolor="red"];
- x39_128_low [label="x39_128_low (r11)" , style="filled", fillcolor="red"];
- x39_128_tmp [label="x39_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x41_128_high [label="x41_128_high (r11)" , style="filled", fillcolor="red"];
- x41_128_low [label="x41_128_low (r10)" , style="filled", fillcolor="red"];
- x41_128_tmp [label="x41_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x43_128_high [label="x43_128_high (r10)" , style="filled", fillcolor="red"];
- x43_128_low [label="x43_128_low (r11)" , style="filled", fillcolor="red"];
- x43_128_tmp [label="x43_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x45 [label="x45 (r6)" , style="filled", fillcolor="red"];
- x46 [label="x46 (r6)" , style="filled", fillcolor="red"];
- x47 [label="x47 (r7)" , style="filled", fillcolor="red"];
- x48 [label="x48 (r12)" , style="filled", fillcolor="red"];
- x49_128_high [label="x49_128_high (r10)" , style="filled", fillcolor="red"];
- x49_128_low [label="x49_128_low (r11)" , style="filled", fillcolor="red"];
- x49_128_tmp [label="x49_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x51_128_high [label="x51_128_high (r10)" , style="filled", fillcolor="red"];
- x51_128_low [label="x51_128_low (r11)" , style="filled", fillcolor="red"];
- x51_128_tmp [label="x51_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x53_128_high [label="x53_128_high (r11)" , style="filled", fillcolor="red"];
- x53_128_low [label="x53_128_low (r10)" , style="filled", fillcolor="red"];
- x53_128_tmp [label="x53_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x55_128_high [label="x55_128_high (r10)" , style="filled", fillcolor="red"];
- x55_128_low [label="x55_128_low (r11)" , style="filled", fillcolor="red"];
- x55_128_tmp [label="x55_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
+ x5 [label="x5 (mx5)" , style="filled", fillcolor="red"];
+ x7 [label="x7 (mx7)" , style="filled", fillcolor="red"];
+ x9 [label="x9 (mx9)" , style="filled", fillcolor="red"];
+ x10 [label="x10 (mx10)" , style="filled", fillcolor="red"];
+ x11 [label="x11 (mx11)" , style="filled", fillcolor="red"];
+ x13 [label="x13 (mx13)" , style="filled", fillcolor="red"];
+ x15 [label="x15 (mx15)" , style="filled", fillcolor="red"];
+ x17 [label="x17 (mx17)" , style="filled", fillcolor="red"];
+ x18 [label="x18 (mx18)" , style="filled", fillcolor="red"];
+ x19 [label="x19 (mx19)" , style="filled", fillcolor="red"];
+ x20_128_high [label="x20_128_high (reg11)" , style="filled", fillcolor="red"];
+ x20_128_low [label="x20_128_low (reg10)" , style="filled", fillcolor="red"];
+ x20_128_tmp [label="x20_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x21_128_high [label="x21_128_high (reg10)" , style="filled", fillcolor="red"];
+ x21_128_low [label="x21_128_low (reg11)" , style="filled", fillcolor="red"];
+ x21_128_tmp [label="x21_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x22_128_high [label="x22_128_high (reg11)" , style="filled", fillcolor="red"];
+ x22_128_low [label="x22_128_low (reg10)" , style="filled", fillcolor="red"];
+ x22_128_tmp [label="x22_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x24_128_high [label="x24_128_high (reg11)" , style="filled", fillcolor="red"];
+ x24_128_low [label="x24_128_low (reg10)" , style="filled", fillcolor="red"];
+ x24_128_tmp [label="x24_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x25_128_high [label="x25_128_high (reg10)" , style="filled", fillcolor="red"];
+ x25_128_low [label="x25_128_low (reg11)" , style="filled", fillcolor="red"];
+ x25_128_tmp [label="x25_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x27_128_high [label="x27_128_high (reg10)" , style="filled", fillcolor="red"];
+ x27_128_low [label="x27_128_low (reg11)" , style="filled", fillcolor="red"];
+ x27_128_tmp [label="x27_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x29_128_high [label="x29_128_high (reg10)" , style="filled", fillcolor="red"];
+ x29_128_low [label="x29_128_low (reg11)" , style="filled", fillcolor="red"];
+ x29_128_tmp [label="x29_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x30_128_high [label="x30_128_high (reg11)" , style="filled", fillcolor="red"];
+ x30_128_low [label="x30_128_low (reg10)" , style="filled", fillcolor="red"];
+ x30_128_tmp [label="x30_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x32_128_high [label="x32_128_high (reg11)" , style="filled", fillcolor="red"];
+ x32_128_low [label="x32_128_low (reg10)" , style="filled", fillcolor="red"];
+ x32_128_tmp [label="x32_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x34_128_high [label="x34_128_high (reg10)" , style="filled", fillcolor="red"];
+ x34_128_low [label="x34_128_low (reg11)" , style="filled", fillcolor="red"];
+ x34_128_tmp [label="x34_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x36_128_high [label="x36_128_high (reg11)" , style="filled", fillcolor="red"];
+ x36_128_low [label="x36_128_low (reg10)" , style="filled", fillcolor="red"];
+ x36_128_tmp [label="x36_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x37_128_high [label="x37_128_high (reg10)" , style="filled", fillcolor="red"];
+ x37_128_low [label="x37_128_low (reg11)" , style="filled", fillcolor="red"];
+ x37_128_tmp [label="x37_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x39_128_high [label="x39_128_high (reg10)" , style="filled", fillcolor="red"];
+ x39_128_low [label="x39_128_low (reg11)" , style="filled", fillcolor="red"];
+ x39_128_tmp [label="x39_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x41_128_high [label="x41_128_high (reg11)" , style="filled", fillcolor="red"];
+ x41_128_low [label="x41_128_low (reg10)" , style="filled", fillcolor="red"];
+ x41_128_tmp [label="x41_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x43_128_high [label="x43_128_high (reg10)" , style="filled", fillcolor="red"];
+ x43_128_low [label="x43_128_low (reg11)" , style="filled", fillcolor="red"];
+ x43_128_tmp [label="x43_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x45 [label="x45 (reg6)" , style="filled", fillcolor="red"];
+ x46 [label="x46 (reg6)" , style="filled", fillcolor="red"];
+ x47 [label="x47 (reg7)" , style="filled", fillcolor="red"];
+ x48 [label="x48 (reg12)" , style="filled", fillcolor="red"];
+ x49_128_high [label="x49_128_high (reg10)" , style="filled", fillcolor="red"];
+ x49_128_low [label="x49_128_low (reg11)" , style="filled", fillcolor="red"];
+ x49_128_tmp [label="x49_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x51_128_high [label="x51_128_high (reg10)" , style="filled", fillcolor="red"];
+ x51_128_low [label="x51_128_low (reg11)" , style="filled", fillcolor="red"];
+ x51_128_tmp [label="x51_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x53_128_high [label="x53_128_high (reg11)" , style="filled", fillcolor="red"];
+ x53_128_low [label="x53_128_low (reg10)" , style="filled", fillcolor="red"];
+ x53_128_tmp [label="x53_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x55_128_high [label="x55_128_high (reg10)" , style="filled", fillcolor="red"];
+ x55_128_low [label="x55_128_low (reg11)" , style="filled", fillcolor="red"];
+ x55_128_tmp [label="x55_128_tmp (reg11:reg10)" , 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 (r8:r9)" , style="filled", fillcolor="red"];
- x56_128_high [label="x50_128_high + x52_128_high + x54_128_high + x56_128_high (r9)" , style="filled", fillcolor="red"];
- x56_128_low [label="x50_128_low + x52_128_low + x54_128_low + x56_128_low (r8)" , style="filled", fillcolor="red"];
- x57_128_high [label="x57_128_high (r11)" , style="filled", fillcolor="red"];
- x57_128_low [label="x57_128_low (r10)" , style="filled", fillcolor="red"];
- x57_128_tmp [label="x57_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x59_128_high [label="x59_128_high (r10)" , style="filled", fillcolor="red"];
- x59_128_low [label="x59_128_low (r11)" , style="filled", fillcolor="red"];
- x59_128_tmp [label="x59_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x61_128_high [label="x61_128_high (r11)" , style="filled", fillcolor="red"];
- x61_128_low [label="x61_128_low (r10)" , style="filled", fillcolor="red"];
- x61_128_tmp [label="x61_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x63_128_high [label="x63_128_high (r11)" , style="filled", fillcolor="red"];
- x63_128_low [label="x63_128_low (r10)" , style="filled", fillcolor="red"];
- x63_128_tmp [label="x63_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x65_128_high [label="x65_128_high (r10)" , style="filled", fillcolor="red"];
- x65_128_low [label="x65_128_low (r11)" , style="filled", fillcolor="red"];
- x65_128_tmp [label="x65_128_tmp (r11:r10)" , style="filled", fillcolor="red"];
- x67_128_high [label="x67_128_high (r11)" , style="filled", fillcolor="red"];
- x67_128_low [label="x67_128_low (r10)" , style="filled", fillcolor="red"];
- x67_128_tmp [label="x67_128_tmp (r10:r11)" , style="filled", fillcolor="red"];
- x69 [label="x69 (r9)" , style="filled", fillcolor="red"];
- x70 [label="x70 (r8)" , style="filled", fillcolor="red"];
+ x56_128 [label="x50_128 + x52_128 + x54_128 + x56_128 (reg8:reg9)" , style="filled", fillcolor="red"];
+ x56_128_high [label="x50_128_high + x52_128_high + x54_128_high + x56_128_high (reg9)" , style="filled", fillcolor="red"];
+ x56_128_low [label="x50_128_low + x52_128_low + x54_128_low + x56_128_low (reg8)" , style="filled", fillcolor="red"];
+ x57_128_high [label="x57_128_high (reg11)" , style="filled", fillcolor="red"];
+ x57_128_low [label="x57_128_low (reg10)" , style="filled", fillcolor="red"];
+ x57_128_tmp [label="x57_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x59_128_high [label="x59_128_high (reg10)" , style="filled", fillcolor="red"];
+ x59_128_low [label="x59_128_low (reg11)" , style="filled", fillcolor="red"];
+ x59_128_tmp [label="x59_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x61_128_high [label="x61_128_high (reg11)" , style="filled", fillcolor="red"];
+ x61_128_low [label="x61_128_low (reg10)" , style="filled", fillcolor="red"];
+ x61_128_tmp [label="x61_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x63_128_high [label="x63_128_high (reg11)" , style="filled", fillcolor="red"];
+ x63_128_low [label="x63_128_low (reg10)" , style="filled", fillcolor="red"];
+ x63_128_tmp [label="x63_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x65_128_high [label="x65_128_high (reg10)" , style="filled", fillcolor="red"];
+ x65_128_low [label="x65_128_low (reg11)" , style="filled", fillcolor="red"];
+ x65_128_tmp [label="x65_128_tmp (reg11:reg10)" , style="filled", fillcolor="red"];
+ x67_128_high [label="x67_128_high (reg11)" , style="filled", fillcolor="red"];
+ x67_128_low [label="x67_128_low (reg10)" , style="filled", fillcolor="red"];
+ x67_128_tmp [label="x67_128_tmp (reg10:reg11)" , style="filled", fillcolor="red"];
+ x69 [label="x69 (reg9)" , style="filled", fillcolor="red"];
+ x70 [label="x70 (reg8)" , 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 (r4:r5)" , style="filled", fillcolor="red"];
- x71_128_high [label="x23_128_high + x58_128_high + x60_128_high + x62_128_high + x71_128_high (r5)" , style="filled", fillcolor="red"];
- x71_128_low [label="x23_128_low + x58_128_low + x60_128_low + x62_128_low + x71_128_low (r4)" , style="filled", fillcolor="red"];
- x72 [label="x72 (r5)" , style="filled", fillcolor="red"];
- x73 [label="x73 (r4)" , style="filled", fillcolor="red"];
+ x71_128 [label="x23_128 + x58_128 + x60_128 + x62_128 + x71_128 (reg4:reg5)" , style="filled", fillcolor="red"];
+ x71_128_high [label="x23_128_high + x58_128_high + x60_128_high + x62_128_high + x71_128_high (reg5)" , style="filled", fillcolor="red"];
+ x71_128_low [label="x23_128_low + x58_128_low + x60_128_low + x62_128_low + x71_128_low (reg4)" , style="filled", fillcolor="red"];
+ x72 [label="x72 (reg5)" , style="filled", fillcolor="red"];
+ x73 [label="x73 (reg4)" , 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 (r9:r12)" , style="filled", fillcolor="red"];
- x74_128_high [label="x26_128_high + x28_128_high + x64_128_high + x66_128_high + x74_128_high (r12)" , style="filled", fillcolor="red"];
- x74_128_low [label="x26_128_low + x28_128_low + x64_128_low + x66_128_low + x74_128_low (r9)" , style="filled", fillcolor="red"];
- x75 [label="x75 (r12)" , style="filled", fillcolor="red"];
- x76 [label="x76 (r9)" , style="filled", fillcolor="red"];
+ x74_128 [label="x26_128 + x28_128 + x64_128 + x66_128 + x74_128 (reg9:reg12)" , style="filled", fillcolor="red"];
+ x74_128_high [label="x26_128_high + x28_128_high + x64_128_high + x66_128_high + x74_128_high (reg12)" , style="filled", fillcolor="red"];
+ x74_128_low [label="x26_128_low + x28_128_low + x64_128_low + x66_128_low + x74_128_low (reg9)" , style="filled", fillcolor="red"];
+ x75 [label="x75 (reg12)" , style="filled", fillcolor="red"];
+ x76 [label="x76 (reg9)" , 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 (r5:r6)" , style="filled", fillcolor="red"];
- x77_128_high [label="x31_128_high + x33_128_high + x35_128_high + x68_128_high + x77_128_high (r6)" , style="filled", fillcolor="red"];
- x77_128_low [label="x31_128_low + x33_128_low + x35_128_low + x68_128_low + x77_128_low (r5)" , style="filled", fillcolor="red"];
- x78 [label="x78 (r6)" , style="filled", fillcolor="red"];
- x79 [label="x79 (r5)" , style="filled", fillcolor="red"];
+ x77_128 [label="x31_128 + x33_128 + x35_128 + x68_128 + x77_128 (reg5:reg6)" , style="filled", fillcolor="red"];
+ x77_128_high [label="x31_128_high + x33_128_high + x35_128_high + x68_128_high + x77_128_high (reg6)" , style="filled", fillcolor="red"];
+ x77_128_low [label="x31_128_low + x33_128_low + x35_128_low + x68_128_low + x77_128_low (reg5)" , style="filled", fillcolor="red"];
+ x78 [label="x78 (reg6)" , style="filled", fillcolor="red"];
+ x79 [label="x79 (reg5)" , 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 (r7:r12)" , style="filled", fillcolor="red"];
- x80_128_high [label="x38_128_high + x40_128_high + x42_128_high + x44_128_high + x80_128_high (r12)" , style="filled", fillcolor="red"];
- x80_128_low [label="x38_128_low + x40_128_low + x42_128_low + x44_128_low + x80_128_low (r7)" , style="filled", fillcolor="red"];
- x81 [label="x81 (r12)" , style="filled", fillcolor="red"];
- x82 [label="x82 (r7)" , style="filled", fillcolor="red"];
- x83 [label="x83 (r12)" , style="filled", fillcolor="red"];
- x84 [label="x84 (r8)" , style="filled", fillcolor="red"];
- x85 [label="x85 (r8)" , style="filled", fillcolor="red"];
- x86 [label="x86 (r12)" , style="filled", fillcolor="red"];
- x87 [label="x87 (r8)" , style="filled", fillcolor="red"];
- x88 [label="x88 (r8)" , style="filled", fillcolor="red"];
- x89 [label="x89 (r4)" , style="filled", fillcolor="red"];
- x90 [label="x90 (r8)" , style="filled", fillcolor="red"];
+ x80_128 [label="x38_128 + x40_128 + x42_128 + x44_128 + x80_128 (reg7:reg12)" , style="filled", fillcolor="red"];
+ x80_128_high [label="x38_128_high + x40_128_high + x42_128_high + x44_128_high + x80_128_high (reg12)" , style="filled", fillcolor="red"];
+ x80_128_low [label="x38_128_low + x40_128_low + x42_128_low + x44_128_low + x80_128_low (reg7)" , style="filled", fillcolor="red"];
+ x81 [label="x81 (reg12)" , style="filled", fillcolor="red"];
+ x82 [label="x82 (reg7)" , style="filled", fillcolor="red"];
+ x83 [label="x83 (reg12)" , style="filled", fillcolor="red"];
+ x84 [label="x84 (reg8)" , style="filled", fillcolor="red"];
+ x85 [label="x85 (reg8)" , style="filled", fillcolor="red"];
+ x86 [label="x86 (reg12)" , style="filled", fillcolor="red"];
+ x87 [label="x87 (reg8)" , style="filled", fillcolor="red"];
+ x88 [label="x88 (reg8)" , style="filled", fillcolor="red"];
+ x89 [label="x89 (reg4)" , style="filled", fillcolor="red"];
+ x90 [label="x90 (reg8)" , 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" ] ;
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-09 22:17:37 +0000