test19.crx CFG

digraph Program {
  node [shape=rectangle];
  subgraph cluster_global_var {
    color=grey;
    label = "Global Variable";
    x [label="%x = allocate int, 15"];
    x;
  }

  subgraph cluster_main {
    style=filled;color=lightgrey;node [style=filled, color=white];
    label="function %main() -> void";
    main_n0 [label="$t0 = 0"];
    main_n1 [label="$canary_begin = $t0"];
    main_n2 [label="$t1 = 0"];
    main_n3 [label="$canary_end = $t1"];
    main_n4 [label="$t2 = 4"];
    main_n5 [label="$outer = $t2"];
    main_n6 [label="$t3 = 2"];
    main_n7 [label="$inner = $t3"];
    main_n8 [label="$t4 = $outer"];
    main_n9 [label="$t5 = 0"];
    main_n10 [label="$t6 = $t4 >= $t5"];
    main_n11 [label="jump $t6"];
    main_n12 [label="$t7 = $inner"];
    main_n13 [label="$t8 = 0"];
    main_n14 [label="$t9 = $t7 >= $t8"];
    main_n15 [label="jump $t9"];
    main_n16 [label="$t10 = $inner"];
    main_n17 [label="$t11 = 5"];
    main_n18 [label="$t10 = $t10 * $t11"];
    main_n19 [label="$t12 = $outer"];
    main_n20 [label="$t12 = $t12 + $t10"];
    main_n21 [label="%t0 = addressAt %x, $t12"];
    main_n22 [label="$t13 = $inner"];
    main_n23 [label="$t14 = 1000"];
    main_n24 [label="$t15 = $t13 * $t14"];
    main_n25 [label="$t16 = $outer"];
    main_n26 [label="$t17 = 100"];
    main_n27 [label="$t18 = $t16 * $t17"];
    main_n28 [label="$t19 = $t15 + $t18"];
    main_n29 [label="$t20 = 99"];
    main_n30 [label="$t21 = $t19 + $t20"];
    main_n31 [label="store $t21, %t0"];
    main_n32 [label="$t22 = $inner"];
    main_n33 [label="$t23 = 1"];
    main_n34 [label="$t24 = $t22 - $t23"];
    main_n35 [label="$inner = $t24"];
    main_n36 [label="nop"];
    main_n37 [label="$t25 = 2"];
    main_n38 [label="$inner = $t25"];
    main_n39 [label="$t26 = $outer"];
    main_n40 [label="$t27 = 1"];
    main_n41 [label="$t28 = $t26 - $t27"];
    main_n42 [label="$outer = $t28"];
    main_n43 [label="nop"];
    main_n44 [label="$t29 = 0"];
    main_n45 [label="$inner = $t29"];
    main_n46 [label="$t30 = 0"];
    main_n47 [label="$outer = $t30"];
    main_n48 [label="$t31 = $outer"];
    main_n49 [label="$t32 = 5"];
    main_n50 [label="$t33 = $t31 < $t32"];
    main_n51 [label="jump $t33"];
    main_n52 [label="$t34 = $inner"];
    main_n53 [label="$t35 = 3"];
    main_n54 [label="$t36 = $t34 < $t35"];
    main_n55 [label="jump $t36"];
    main_n56 [label="$t37 = $inner"];
    main_n57 [label="$t37 = $t37 + $t10"];
    main_n58 [label="$t38 = 5"];
    main_n59 [label="$t37 = $t37 * $t38"];
    main_n60 [label="$t39 = $outer"];
    main_n61 [label="$t39 = $t39 + $t37"];
    main_n62 [label="%t1 = addressAt %x, $t39"];
    main_n63 [label="$t40 = load %t1"];
    main_n64 [label="$t41 = call %printInt ($t40)"];
    main_n65 [label="$t42 = $inner"];
    main_n66 [label="$t43 = 1"];
    main_n67 [label="$t44 = $t42 + $t43"];
    main_n68 [label="$inner = $t44"];
    main_n69 [label="nop"];
    main_n70 [label="$t45 = call %println ()"];
    main_n71 [label="$t46 = 0"];
    main_n72 [label="$inner = $t46"];
    main_n73 [label="$t47 = $outer"];
    main_n74 [label="$t48 = 1"];
    main_n75 [label="$t49 = $t47 + $t48"];
    main_n76 [label="$outer = $t49"];
    main_n77 [label="nop"];
    main_n78 [label="$t50 = $canary_begin"];
    main_n79 [label="$t51 = call %printInt ($t50)"];
    main_n80 [label="$t52 = $canary_end"];
    main_n81 [label="$t53 = call %printInt ($t52)"];
    main_n0 -> main_n1;
    main_n1 -> main_n2;
    main_n2 -> main_n3;
    main_n3 -> main_n4;
    main_n4 -> main_n5;
    main_n5 -> main_n6;
    main_n6 -> main_n7;
    main_n7 -> main_n8;
    main_n8 -> main_n9;
    main_n9 -> main_n10;
    main_n10 -> main_n11;
    main_n11 -> main_n12 [label="  True  "];
    main_n11 -> main_n43 [label="  False  "];
    main_n12 -> main_n13;
    main_n13 -> main_n14;
    main_n14 -> main_n15;
    main_n15 -> main_n36 [label="  False  "];
    main_n15 -> main_n16 [label="  True  "];
    main_n16 -> main_n17;
    main_n17 -> main_n18;
    main_n18 -> main_n19;
    main_n19 -> main_n20;
    main_n20 -> main_n21;
    main_n21 -> main_n22;
    main_n22 -> main_n23;
    main_n23 -> main_n24;
    main_n24 -> main_n25;
    main_n25 -> main_n26;
    main_n26 -> main_n27;
    main_n27 -> main_n28;
    main_n28 -> main_n29;
    main_n29 -> main_n30;
    main_n30 -> main_n31;
    main_n31 -> main_n32;
    main_n32 -> main_n33;
    main_n33 -> main_n34;
    main_n34 -> main_n35;
    main_n35 -> main_n12;
    main_n36 -> main_n37;
    main_n37 -> main_n38;
    main_n38 -> main_n39;
    main_n39 -> main_n40;
    main_n40 -> main_n41;
    main_n41 -> main_n42;
    main_n42 -> main_n8;
    main_n43 -> main_n44;
    main_n44 -> main_n45;
    main_n45 -> main_n46;
    main_n46 -> main_n47;
    main_n47 -> main_n48;
    main_n48 -> main_n49;
    main_n49 -> main_n50;
    main_n50 -> main_n51;
    main_n51 -> main_n77 [label="  False  "];
    main_n51 -> main_n52 [label="  True  "];
    main_n52 -> main_n53;
    main_n53 -> main_n54;
    main_n54 -> main_n55;
    main_n55 -> main_n56 [label="  True  "];
    main_n55 -> main_n69 [label="  False  "];
    main_n56 -> main_n57;
    main_n57 -> main_n58;
    main_n58 -> main_n59;
    main_n59 -> main_n60;
    main_n60 -> main_n61;
    main_n61 -> main_n62;
    main_n62 -> main_n63;
    main_n63 -> main_n64;
    main_n64 -> main_n65;
    main_n65 -> main_n66;
    main_n66 -> main_n67;
    main_n67 -> main_n68;
    main_n68 -> main_n52;
    main_n69 -> main_n70;
    main_n70 -> main_n71;
    main_n71 -> main_n72;
    main_n72 -> main_n73;
    main_n73 -> main_n74;
    main_n74 -> main_n75;
    main_n75 -> main_n76;
    main_n76 -> main_n48;
    main_n77 -> main_n78;
    main_n78 -> main_n79;
    main_n79 -> main_n80;
    main_n80 -> main_n81;
  }

}