Created
November 13, 2023 20:04
-
-
Save Mistuke/66f14fe5c1be32b91ce149bd9b8bb35f to your computer and use it in GitHub Desktop.
vect-early-break_70.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_70.c.176t.vect" { | |
overlap=false; | |
subgraph "cluster_my_clz" { | |
style="dashed"; | |
color="black"; | |
label="my_clz ()"; | |
subgraph cluster_0_1 { | |
style="filled"; | |
color="darkgreen"; | |
fillcolor="grey88"; | |
label="loop 1"; | |
labeljust=l; | |
penwidth=2; | |
fn_0_basic_block_4 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:983941040\<bb\ 4\>:\l\ | |
|#\ i_13\ =\ PHI\ \<i_7(7),\ 0(6)\>\l\ | |
|#\ ivtmp_9\ =\ PHI\ \<ivtmp_10(7),\ 32(6)\>\l\ | |
|i_7\ =\ i_13\ +\ 1;\l\ | |
|i.1_4\ =\ (unsigned\ int)\ i_7;\l\ | |
|ivtmp_10\ =\ ivtmp_9\ -\ 1;\l\ | |
|if\ (ivtmp_10\ !=\ 0)\l\ | |
\ \ goto\ \<bb\ 3\>;\ [96.69%]\l\ | |
else\l\ | |
\ \ goto\ \<bb\ 10\>;\ [3.31%]\l\ | |
}"]; | |
fn_0_basic_block_3 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:951406664\<bb\ 3\>:\l\ | |
|_2\ =\ 2147483648\ \>\>\ i.1_4;\l\ | |
|_3\ =\ _2\ &\ x_6(D);\l\ | |
|if\ (_3\ !=\ 0)\l\ | |
\ \ goto\ \<bb\ 9\>;\ [5.50%]\l\ | |
else\l\ | |
\ \ goto\ \<bb\ 7\>;\ [94.50%]\l\ | |
}"]; | |
fn_0_basic_block_7 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:899079298\<bb\ 7\>:\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:89800784\<bb\ 2\>:\l\ | |
|_5\ =\ (signed\ int)\ x_6(D);\l\ | |
|if\ (_5\ \<\ 0)\l\ | |
\ \ goto\ \<bb\ 8\>;\ [5.50%]\l\ | |
else\l\ | |
\ \ goto\ \<bb\ 6\>;\ [94.50%]\l\ | |
}"]; | |
fn_0_basic_block_8 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:4939043\<bb\ 8\>:\l\ | |
goto\ \<bb\ 5\>;\ [100.00%]\l\ | |
}"]; | |
fn_0_basic_block_6 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:84861741\<bb\ 6\>:\l\ | |
goto\ \<bb\ 4\>;\ [100.00%]\l\ | |
}"]; | |
fn_0_basic_block_9 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:52327366\<bb\ 9\>:\l\ | |
|#\ i_12\ =\ PHI\ \<i_7(3)\>\l\ | |
goto\ \<bb\ 5\>;\ [100.00%]\l\ | |
}"]; | |
fn_0_basic_block_10 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:32534376\<bb\ 10\>:\l\ | |
}"]; | |
fn_0_basic_block_5 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:89800785\<bb\ 5\>:\l\ | |
|#\ i_1\ =\ PHI\ \<i_12(9),\ 32(10),\ 0(8)\>\l\ | |
|return\ i_1;\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_8:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[5%]"]; | |
fn_0_basic_block_2:s -> fn_0_basic_block_6:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[94%]"]; | |
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_4:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"]; | |
fn_0_basic_block_3:s -> fn_0_basic_block_9:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[5%]"]; | |
fn_0_basic_block_3:s -> fn_0_basic_block_7:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[94%]"]; | |
fn_0_basic_block_9:s -> fn_0_basic_block_5:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"]; | |
fn_0_basic_block_7:s -> fn_0_basic_block_4:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"]; | |
fn_0_basic_block_4:s -> fn_0_basic_block_3:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[96%]"]; | |
fn_0_basic_block_4:s -> fn_0_basic_block_10:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[3%]"]; | |
fn_0_basic_block_10: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]; | |
} | |
subgraph "cluster_main" { | |
style="dashed"; | |
color="black"; | |
label="main ()"; | |
subgraph cluster_1_1 { | |
style="filled"; | |
color="darkgreen"; | |
fillcolor="grey88"; | |
label="loop 1"; | |
labeljust=l; | |
penwidth=2; | |
fn_1_basic_block_3 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:997076656\<bb\ 3\>:\l\ | |
|#\ i_12\ =\ PHI\ \<i_9(8),\ 0(2)\>\l\ | |
|#\ ivtmp_14\ =\ PHI\ \<ivtmp_13(8),\ 13(2)\>\l\ | |
|_1\ =\ ints[i_12];\l\ | |
|if\ (_1\ !=\ 0)\l\ | |
\ \ goto\ \<bb\ 4\>;\ [50.00%]\l\ | |
else\l\ | |
\ \ goto\ \<bb\ 11\>;\ [50.00%]\l\ | |
}"]; | |
fn_1_basic_block_4 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:498538328\<bb\ 4\>:\l\ | |
|_2\ =\ __builtin_clz\ (_1);\l\ | |
|_3\ =\ my_clz\ (_1);\l\ | |
|if\ (_2\ !=\ _3)\l\ | |
\ \ goto\ \<bb\ 5\>;\ [0.00%]\l\ | |
else\l\ | |
\ \ goto\ \<bb\ 12\>;\ [100.00%]\l\ | |
}"]; | |
fn_1_basic_block_11 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:498538328\<bb\ 11\>:\l\ | |
}"]; | |
fn_1_basic_block_12 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:498538328\<bb\ 12\>:\l\ | |
goto\ \<bb\ 9\>;\ [100.00%]\l\ | |
}"]; | |
fn_1_basic_block_9 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:997076656\<bb\ 9\>:\l\ | |
}"]; | |
fn_1_basic_block_6 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:997076656\<bb\ 6\>:\l\ | |
|i_9\ =\ i_12\ +\ 1;\l\ | |
|ivtmp_13\ =\ ivtmp_14\ -\ 1;\l\ | |
|if\ (ivtmp_13\ !=\ 0)\l\ | |
\ \ goto\ \<bb\ 8\>;\ [92.31%]\l\ | |
else\l\ | |
\ \ goto\ \<bb\ 7\>;\ [7.69%]\l\ | |
}"]; | |
fn_1_basic_block_8 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:920411485\<bb\ 8\>:\l\ | |
goto\ \<bb\ 3\>;\ [100.00%]\l\ | |
}"]; | |
} | |
fn_1_basic_block_0 [shape=Mdiamond,style=filled,fillcolor=white,label="ENTRY"]; | |
fn_1_basic_block_1 [shape=Mdiamond,style=filled,fillcolor=white,label="EXIT"]; | |
fn_1_basic_block_2 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:76665168\<bb\ 2\>:\l\ | |
}"]; | |
fn_1_basic_block_5 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:0\<bb\ 5\>:\l\ | |
|abort\ ();\l\ | |
}"]; | |
fn_1_basic_block_7 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:76665168\<bb\ 7\>:\l\ | |
|exit\ (0);\l\ | |
}"]; | |
fn_1_basic_block_0:s -> fn_1_basic_block_2:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"]; | |
fn_1_basic_block_2:s -> fn_1_basic_block_3:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"]; | |
fn_1_basic_block_3:s -> fn_1_basic_block_4:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[50%]"]; | |
fn_1_basic_block_3:s -> fn_1_basic_block_11:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[50%]"]; | |
fn_1_basic_block_4:s -> fn_1_basic_block_5:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[0%]"]; | |
fn_1_basic_block_4:s -> fn_1_basic_block_12:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[100%]"]; | |
fn_1_basic_block_12:s -> fn_1_basic_block_9:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"]; | |
fn_1_basic_block_11:s -> fn_1_basic_block_9:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"]; | |
fn_1_basic_block_9:s -> fn_1_basic_block_6:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"]; | |
fn_1_basic_block_6:s -> fn_1_basic_block_8:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[92%]"]; | |
fn_1_basic_block_6:s -> fn_1_basic_block_7:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[7%]"]; | |
fn_1_basic_block_8:s -> fn_1_basic_block_3:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"]; | |
fn_1_basic_block_0:s -> fn_1_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