Created
November 29, 2023 13:51
-
-
Save Mistuke/c2d632498ceeb10e24a9057bafd87412 to your computer and use it in GitHub Desktop.
vect-early-break_16.c
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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