Skip to content

Instantly share code, notes, and snippets.

@Mistuke
Created November 29, 2023 13:51
Show Gist options
  • Save Mistuke/c2d632498ceeb10e24a9057bafd87412 to your computer and use it in GitHub Desktop.
Save Mistuke/c2d632498ceeb10e24a9057bafd87412 to your computer and use it in GitHub Desktop.
vect-early-break_16.c
digraph "vect-early-break_16.c.176t.vect" {
overlap=false;
subgraph "cluster_test4" {
style="dashed";
color="black";
label="test4 ()";
subgraph cluster_0_2 {
style="filled";
color="darkgreen";
fillcolor="grey88";
label="loop 2";
labeljust=l;
penwidth=2;
fn_0_basic_block_11 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:823828415\<bb\ 11\>:\l\
|#\ ret_22\ =\ PHI\ \<ret_32(12),\ ret_37(14)\>\l\
|#\ #\ RANGE\ [irange]\ int\ [0,\ 1023]\l\
i_23\ =\ PHI\ \<i_33(12),\ i_38(14)\>\l\
|#\ .MEM_24\ =\ PHI\ \<.MEM_30(12),\ .MEM_39(14)\>\l\
|#\ ivtmp_25\ =\ PHI\ \<ivtmp_34(12),\ ivtmp_40(14)\>\l\
|#\ RANGE\ [irange]\ unsigned\ int\ [0,\ 1023]\ MASK\ 0x3ff\ VALUE\ 0x0\l\
i.0_26\ =\ (unsigned\ intD.10)\ i_23;\l\
|_27\ =\ i.0_26\ +\ x_12(D);\l\
|#\ .MEM_28\ =\ VDEF\ \<.MEM_24\>\l\
vect_bD.4398[i_23]\ =\ _27;\l\
|#\ VUSE\ \<.MEM_28\>\l\
_29\ =\ vect_aD.4397[i_23];\l\
|if\ (_29\ \>\ x_12(D))\l\
\ \ goto\ \<bb\ 7\>;\ [5.50%]\l\
else\l\
\ \ goto\ \<bb\ 13\>;\ [94.50%]\l\
}"];
fn_0_basic_block_13 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:778517852\<bb\ 13\>:\l\
|#\ .MEM_30\ =\ VDEF\ \<.MEM_28\>\l\
vect_aD.4397[i_23]\ =\ x_12(D);\l\
|_31\ =\ x_12(D)\ +\ ret_22;\l\
|ret_32\ =\ _27\ +\ _31;\l\
|#\ RANGE\ [irange]\ int\ [1,\ 1024]\l\
i_33\ =\ i_23\ +\ 1;\l\
|ivtmp_34\ =\ ivtmp_25\ -\ 1;\l\
|if\ (ivtmp_34\ !=\ 0)\l\
\ \ goto\ \<bb\ 12\>;\ [98.93%]\l\
else\l\
\ \ goto\ \<bb\ 8\>;\ [1.07%]\l\
}"];
fn_0_basic_block_12 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:770196352\<bb\ 12\>:\l\
goto\ \<bb\ 11\>;\ [100.00%]\l\
}"];
}
subgraph cluster_0_1 {
style="filled";
color="darkgreen";
fillcolor="grey88";
label="loop 1";
labeljust=l;
penwidth=2;
fn_0_basic_block_3 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:1063004408\<bb\ 3\>:\l\
|#\ ret_19\ =\ PHI\ \<ret_15(6),\ 0(2)\>\l\
|#\ #\ RANGE\ [irange]\ int\ [0,\ 1023]\l\
i_20\ =\ PHI\ \<i_16(6),\ 0(2)\>\l\
|#\ .MEM_21\ =\ PHI\ \<.MEM_14(6),\ .MEM_11(D)(2)\>\l\
|#\ ivtmp_4\ =\ PHI\ \<ivtmp_17(6),\ 1024(2)\>\l\
|#\ RANGE\ [irange]\ unsigned\ int\ [0,\ 1023]\ MASK\ 0x3ff\ VALUE\ 0x0\l\
i.0_1\ =\ (unsigned\ intD.10)\ i_20;\l\
|_2\ =\ i.0_1\ +\ x_12(D);\l\
|#\ .MEM_13\ =\ VDEF\ \<.MEM_21\>\l\
vect_bD.4398[i_20]\ =\ _2;\l\
|#\ VUSE\ \<.MEM_13\>\l\
_3\ =\ vect_aD.4397[i_20];\l\
|if\ (_3\ \>\ x_12(D))\l\
\ \ goto\ \<bb\ 15\>;\ [5.50%]\l\
else\l\
\ \ goto\ \<bb\ 4\>;\ [94.50%]\l\
}"];
fn_0_basic_block_4 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:1004539166\<bb\ 4\>:\l\
|#\ .MEM_14\ =\ VDEF\ \<.MEM_13\>\l\
vect_aD.4397[i_20]\ =\ x_12(D);\l\
|_9\ =\ x_12(D)\ +\ ret_19;\l\
|ret_15\ =\ _2\ +\ _9;\l\
|#\ RANGE\ [irange]\ int\ [1,\ 1024]\l\
i_16\ =\ i_20\ +\ 1;\l\
|ivtmp_17\ =\ ivtmp_4\ -\ 1;\l\
|if\ (ivtmp_17\ !=\ 0)\l\
\ \ goto\ \<bb\ 6\>;\ [98.93%]\l\
else\l\
\ \ goto\ \<bb\ 10\>;\ [1.07%]\l\
}"];
fn_0_basic_block_6 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:993801746\<bb\ 6\>:\l\
goto\ \<bb\ 3\>;\ [100.00%]\l\
}"];
}
fn_0_basic_block_0 [shape=Mdiamond,style=filled,fillcolor=white,label="ENTRY"];
fn_0_basic_block_1 [shape=Mdiamond,style=filled,fillcolor=white,label="EXIT"];
fn_0_basic_block_2 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:69202658\<bb\ 2\>:\l\
}"];
fn_0_basic_block_8 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:10737420\<bb\ 8\>:\l\
|#\ .MEM_5\ =\ PHI\ \<.MEM_30(13),\ .MEM_35(10)\>\l\
|#\ ret_18\ =\ PHI\ \<ret_32(13),\ ret_36(10)\>\l\
goto\ \<bb\ 5\>;\ [100.00%]\l\
}"];
fn_0_basic_block_10 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:10737420\<bb\ 10\>:\l\
|#\ .MEM_35\ =\ PHI\ \<.MEM_14(4)\>\l\
|#\ ret_36\ =\ PHI\ \<ret_15(4)\>\l\
|if\ (1\ !=\ 0)\l\
\ \ goto\ \<bb\ 8\>;\ [25.00%]\l\
else\l\
\ \ goto\ \<bb\ 14\>;\ [75.00%]\l\
}"];
fn_0_basic_block_14 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:53632060\<bb\ 14\>:\l\
|#\ ret_37\ =\ PHI\ \<ret_36(10),\ ret_19(15)\>\l\
|#\ i_38\ =\ PHI\ \<1024(10),\ i_20(15)\>\l\
|#\ .MEM_39\ =\ PHI\ \<.MEM_35(10),\ .MEM_21(15)\>\l\
|#\ ivtmp_40\ =\ PHI\ \<0(10),\ ivtmp_4(15)\>\l\
}"];
fn_0_basic_block_15 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:58465242\<bb\ 15\>:\l\
goto\ \<bb\ 14\>;\ [100.00%]\l\
}"];
fn_0_basic_block_7 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:58465242\<bb\ 7\>:\l\
|#\ _7\ =\ PHI\ \<_29(11)\>\l\
|#\ .MEM_6\ =\ PHI\ \<.MEM_28(11)\>\l\
}"];
fn_0_basic_block_5 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:69202658\<bb\ 5\>:\l\
|#\ _8\ =\ PHI\ \<_7(7),\ ret_18(8)\>\l\
|#\ .MEM_10\ =\ PHI\ \<.MEM_6(7),\ .MEM_5(8)\>\l\
|#\ VUSE\ \<.MEM_10\>\l\
return\ _8;\l\
}"];
fn_0_basic_block_0:s -> fn_0_basic_block_2:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_2:s -> fn_0_basic_block_3:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_3:s -> fn_0_basic_block_15:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[5%]"];
fn_0_basic_block_3:s -> fn_0_basic_block_4:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[94%]"];
fn_0_basic_block_4:s -> fn_0_basic_block_6:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[98%]"];
fn_0_basic_block_4:s -> fn_0_basic_block_10:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[1%]"];
fn_0_basic_block_8:s -> fn_0_basic_block_5:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_6:s -> fn_0_basic_block_3:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"];
fn_0_basic_block_10:s -> fn_0_basic_block_14:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[75%]"];
fn_0_basic_block_10:s -> fn_0_basic_block_8:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[25%]"];
fn_0_basic_block_14:s -> fn_0_basic_block_11:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_11:s -> fn_0_basic_block_7:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[5%]"];
fn_0_basic_block_11:s -> fn_0_basic_block_13:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[94%]"];
fn_0_basic_block_12:s -> fn_0_basic_block_11:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"];
fn_0_basic_block_13:s -> fn_0_basic_block_12:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[98%]"];
fn_0_basic_block_13:s -> fn_0_basic_block_8:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[1%]"];
fn_0_basic_block_15:s -> fn_0_basic_block_14:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_7:s -> fn_0_basic_block_5:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_5:s -> fn_0_basic_block_1:n [style="solid,bold",color=black,weight=10,constraint=true,label="[100%]"];
fn_0_basic_block_0:s -> fn_0_basic_block_1:n [style="invis",constraint=true];
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment