Skip to content

Instantly share code, notes, and snippets.

@Mistuke
Created November 9, 2023 09:08
Show Gist options
  • Save Mistuke/65d476b18f991772fdec159a09b81869 to your computer and use it in GitHub Desktop.
Save Mistuke/65d476b18f991772fdec159a09b81869 to your computer and use it in GitHub Desktop.
digraph "./vect-early-break_9-vect-early-break_62.c.176t.vect" {
overlap=false;
subgraph "cluster_e" {
style="dashed";
color="black";
label="e ()";
subgraph cluster_0_3 {
style="filled";
color="darkgreen";
fillcolor="grey88";
label="loop 3";
labeljust=l;
penwidth=2;
fn_0_basic_block_9 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:955630224\<bb\ 9\>:\l\
}"];
fn_0_basic_block_13 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:955630224\<bb\ 13\>:\l\
goto\ \<bb\ 9\>;\ [100.00%]\l\
}"];
}
subgraph cluster_0_6 {
style="filled";
color="darkgreen";
fillcolor="grey88";
label="loop 6";
labeljust=l;
penwidth=2;
fn_0_basic_block_37 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:518429392\<bb\ 37\>:\l\
|#\ #\ RANGE\ [irange]\ int\ [0,\ 2147483646]\l\
d_65\ =\ PHI\ \<d_75(41),\ d_68(38)\>\l\
|#\ c_66\ =\ PHI\ \<c_76(41),\ c_67(38)\>\l\
|if\ (d_65\ !=\ 0)\l\
\ \ goto\ \<bb\ 40\>;\ [64.00%]\l\
else\l\
\ \ goto\ \<bb\ 39\>;\ [36.00%]\l\
}"];
fn_0_basic_block_40 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:331794812\<bb\ 40\>:\l\
|#\ RANGE\ [irange]\ int\ [-2147483647,\ +INF]\l\
c_69\ =\ c_66\ +\ 1;\l\
goto\ \<bb\ 39\>;\ [100.00%]\l\
}"];
fn_0_basic_block_39 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:518429393\<bb\ 39\>:\l\
|#\ c_67\ =\ PHI\ \<c_66(37),\ c_69(40)\>\l\
|#\ RANGE\ [irange]\ int\ [1,\ +INF]\l\
d_68\ =\ d_65\ +\ 1;\l\
|if\ (d_68\ \<\ b.0_17)\l\
\ \ goto\ \<bb\ 38\>;\ [89.00%]\l\
else\l\
\ \ goto\ \<bb\ 33\>;\ [11.00%]\l\
}"];
fn_0_basic_block_38 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:461402161\<bb\ 38\>:\l\
goto\ \<bb\ 37\>;\ [100.00%]\l\
}"];
}
subgraph cluster_0_5 {
style="filled";
color="darkgreen";
fillcolor="grey88";
label="loop 5";
labeljust=l;
penwidth=2;
fn_0_basic_block_29 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:666552080\<bb\ 29\>:\l\
|#\ #\ RANGE\ [irange]\ int\ [0,\ 2147483646]\l\
d_28\ =\ PHI\ \<d_33(30),\ d_39(34)\>\l\
|#\ c_29\ =\ PHI\ \<_32(30),\ c_40(34)\>\l\
|#\ vect_vec_iv_.24_84\ =\ PHI\ \<_85(30),\ _82(34)\>\l\
|#\ vect_c_29.25_90\ =\ PHI\ \<vect__32.28_96(30),\ _89(34)\>\l\
|#\ ivtmp_100\ =\ PHI\ \<ivtmp_101(30),\ 0(34)\>\l\
|_85\ =\ vect_vec_iv_.24_84\ +\ \{\ 2,\ 2\ \};\l\
|mask__30.26_92\ =\ vect_vec_iv_.24_84\ !=\ \{\ 0,\ 0\ \};\l\
|_30\ =\ d_28\ !=\ 0;\l\
|vect__ifc__31.27_95\ =\ VEC_COND_EXPR\ \<mask__30.26_92,\ \{\ 1,\ 1\ \},\ \{\ 0,\ 0\ \}\>;\l\
|_ifc__31\ =\ _30\ ?\ 1\ :\ 0;\l\
|vect__32.28_96\ =\ vect_c_29.25_90\ +\ vect__ifc__31.27_95;\l\
|_32\ =\ c_29\ +\ _ifc__31;\l\
|#\ RANGE\ [irange]\ int\ [1,\ +INF]\l\
d_33\ =\ d_28\ +\ 1;\l\
|ivtmp_101\ =\ ivtmp_100\ +\ 1;\l\
|if\ (ivtmp_101\ \<\ bnd.21_77)\l\
\ \ goto\ \<bb\ 30\>;\ [89.00%]\l\
else\l\
\ \ goto\ \<bb\ 36\>;\ [11.00%]\l\
}"];
fn_0_basic_block_30 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:593231352\<bb\ 30\>:\l\
goto\ \<bb\ 29\>;\ [100.00%]\l\
}"];
}
subgraph cluster_0_2 {
style="filled";
color="darkgreen";
fillcolor="grey88";
label="loop 2";
labeljust=l;
penwidth=2;
fn_0_basic_block_5 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:860067202\<bb\ 5\>:\l\
|#\ #\ RANGE\ [irange]\ int\ [0,\ 2147483646]\l\
d_20\ =\ PHI\ \<d_12(14),\ 0(26)\>\l\
|#\ c_21\ =\ PHI\ \<_8(14),\ c_10(D)(26)\>\l\
|#\ vect_vec_iv_.14_47\ =\ PHI\ \<_48(14),\ \{\ 0,\ 1,\ 2,\ 3\ \}(26)\>\l\
|#\ vect_c_21.15_49\ =\ PHI\ \<vect__8.18_55(14),\ \{\ 0,\ 0,\ 0,\ 0\ \}(26)\>\l\
|#\ ivtmp_59\ =\ PHI\ \<ivtmp_60(14),\ 0(26)\>\l\
|_48\ =\ vect_vec_iv_.14_47\ +\ \{\ 4,\ 4,\ 4,\ 4\ \};\l\
|mask__3.16_51\ =\ vect_vec_iv_.14_47\ !=\ \{\ 0,\ 0,\ 0,\ 0\ \};\l\
|_3\ =\ d_20\ !=\ 0;\l\
|vect__ifc__15.17_54\ =\ VEC_COND_EXPR\ \<mask__3.16_51,\ \{\ 1,\ 1,\ 1,\ 1\ \},\ \{\ 0,\ 0,\ 0,\ 0\ \}\>;\l\
|_ifc__15\ =\ _3\ ?\ 1\ :\ 0;\l\
|vect__8.18_55\ =\ vect_c_21.15_49\ +\ vect__ifc__15.17_54;\l\
|_8\ =\ c_21\ +\ _ifc__15;\l\
|#\ RANGE\ [irange]\ int\ [1,\ +INF]\l\
d_12\ =\ d_20\ +\ 1;\l\
|ivtmp_60\ =\ ivtmp_59\ +\ 1;\l\
|if\ (ivtmp_60\ \<\ bnd.11_41)\l\
\ \ goto\ \<bb\ 14\>;\ [89.00%]\l\
else\l\
\ \ goto\ \<bb\ 28\>;\ [11.00%]\l\
}"];
fn_0_basic_block_14 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:765459811\<bb\ 14\>:\l\
goto\ \<bb\ 5\>;\ [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:118111600\<bb\ 2\>:\l\
|#\ VUSE\ \<.MEM_9(D)\>\l\
b.0_17\ =\ bD.4392;\l\
|if\ (b.0_17\ \>\ 0)\l\
\ \ goto\ \<bb\ 3\>;\ [89.00%]\l\
else\l\
\ \ goto\ \<bb\ 8\>;\ [11.00%]\l\
}"];
fn_0_basic_block_3 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:955630224\<bb\ 3\>:\l\
|#\ .MEM_23\ =\ PHI\ \<.MEM_9(D)(2)\>\l\
|#\ .MEM_24\ =\ VDEF\ \<.MEM_23\>\l\
aD.4391\ =\ 0;\l\
|_19\ =\ 1;\l\
|niters.10_27\ =\ (unsigned\ int)\ b.0_17;\l\
|_37\ =\ (unsigned\ int)\ b.0_17;\l\
|_38\ =\ _37\ +\ 4294967295;\l\
|if\ (_38\ \<=\ 2)\l\
\ \ goto\ \<bb\ 31\>;\ [10.00%]\l\
else\l\
\ \ goto\ \<bb\ 26\>;\ [90.00%]\l\
}"];
fn_0_basic_block_26 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:860067200\<bb\ 26\>:\l\
|#\ RANGE\ [irange]\ unsigned\ int\ [1,\ 1073741823]\l\
bnd.11_41\ =\ niters.10_27\ \>\>\ 2;\l\
}"];
fn_0_basic_block_28 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:94607392\<bb\ 28\>:\l\
|#\ d_34\ =\ PHI\ \<d_12(5)\>\l\
|#\ c_35\ =\ PHI\ \<_8(5)\>\l\
|#\ .MEM_36\ =\ PHI\ \<.MEM_24(5)\>\l\
|#\ vect__8.18_56\ =\ PHI\ \<vect__8.18_55(5)\>\l\
|_57\ =\ .REDUC_PLUS\ (vect__8.18_56);\l\
|_58\ =\ _57\ +\ c_10(D);\l\
|niters_vector_mult_vf.12_42\ =\ bnd.11_41\ \<\<\ 2;\l\
|_45\ =\ niters_vector_mult_vf.12_42;\l\
|tmp.13_43\ =\ (intD.7)\ niters_vector_mult_vf.12_42;\l\
|_86\ =\ BIT_FIELD_REF\ \<vect__8.18_56,\ 64,\ 0\>;\l\
|_87\ =\ BIT_FIELD_REF\ \<vect__8.18_56,\ 64,\ 64\>;\l\
|_88\ =\ _86\ +\ _87;\l\
|if\ (niters.10_27\ ==\ niters_vector_mult_vf.12_42)\l\
\ \ goto\ \<bb\ 24\>;\ [25.00%]\l\
else\l\
\ \ goto\ \<bb\ 31\>;\ [75.00%]\l\
}"];
fn_0_basic_block_31 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:740613422\<bb\ 31\>:\l\
|#\ d_39\ =\ PHI\ \<tmp.13_43(28),\ 0(3)\>\l\
|#\ c_40\ =\ PHI\ \<_58(28),\ c_10(D)(3)\>\l\
|#\ _44\ =\ PHI\ \<_45(28),\ 0(3)\>\l\
|#\ _89\ =\ PHI\ \<_88(28),\ \{\ 0,\ 0\ \}(3)\>\l\
|_64\ =\ (unsigned\ int)\ b.0_17;\l\
|niters.20_63\ =\ _64\ -\ _44;\l\
|_73\ =\ (unsigned\ int)\ b.0_17;\l\
|_74\ =\ _73\ -\ _44;\l\
|if\ (_74\ ==\ 1)\l\
\ \ goto\ \<bb\ 41\>;\ [10.00%]\l\
else\l\
\ \ goto\ \<bb\ 34\>;\ [90.00%]\l\
}"];
fn_0_basic_block_34 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:666552079\<bb\ 34\>:\l\
|#\ RANGE\ [irange]\ unsigned\ int\ [1,\ 2147483647]\l\
bnd.21_77\ =\ niters.20_63\ \>\>\ 1;\l\
|_81\ =\ d_39\ +\ 1;\l\
|_82\ =\ \{d_39,\ _81\};\l\
}"];
fn_0_basic_block_36 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:73320728\<bb\ 36\>:\l\
|#\ d_70\ =\ PHI\ \<d_33(29)\>\l\
|#\ c_71\ =\ PHI\ \<_32(29)\>\l\
|#\ .MEM_72\ =\ PHI\ \<.MEM_24(29)\>\l\
|#\ vect__32.28_97\ =\ PHI\ \<vect__32.28_96(29)\>\l\
|_98\ =\ .REDUC_PLUS\ (vect__32.28_97);\l\
|_99\ =\ _98\ +\ c_10(D);\l\
|niters_vector_mult_vf.22_78\ =\ bnd.21_77\ \<\<\ 1;\l\
|_80\ =\ (intD.7)\ niters_vector_mult_vf.22_78;\l\
|tmp.23_79\ =\ d_39\ +\ _80;\l\
|if\ (niters.20_63\ ==\ niters_vector_mult_vf.22_78)\l\
\ \ goto\ \<bb\ 33\>;\ [33.33%]\l\
else\l\
\ \ goto\ \<bb\ 41\>;\ [66.67%]\l\
}"];
fn_0_basic_block_41 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:518429392\<bb\ 41\>:\l\
|#\ d_75\ =\ PHI\ \<tmp.23_79(36),\ d_39(31)\>\l\
|#\ c_76\ =\ PHI\ \<_99(36),\ c_40(31)\>\l\
}"];
fn_0_basic_block_33 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:81467476\<bb\ 33\>:\l\
|#\ c_61\ =\ PHI\ \<c_67(39),\ d_70(36)\>\l\
|#\ .MEM_62\ =\ PHI\ \<.MEM_24(39),\ .MEM_24(36)\>\l\
}"];
fn_0_basic_block_24 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:105119324\<bb\ 24\>:\l\
|#\ c_5\ =\ PHI\ \<c_61(33),\ d_34(28)\>\l\
|#\ .MEM_11\ =\ PHI\ \<.MEM_62(33),\ .MEM_24(28)\>\l\
}"];
fn_0_basic_block_8 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:118111600\<bb\ 8\>:\l\
|#\ c_22\ =\ PHI\ \<c_5(24),\ c_10(D)(2)\>\l\
|#\ .MEM_7\ =\ PHI\ \<.MEM_11(24),\ .MEM_9(D)(2)\>\l\
|if\ (c_22\ !=\ 0)\l\
\ \ goto\ \<bb\ 10\>;\ [100.00%]\l\
else\l\
\ \ goto\ \<bb\ 11\>;\ [0.00%]\l\
}"];
fn_0_basic_block_11 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:0\<bb\ 11\>:\l\
}"];
fn_0_basic_block_10 [shape=record,style=filled,fillcolor=lightgrey,label="{COUNT:118111600\<bb\ 10\>:\l\
|#\ VUSE\ \<.MEM_7\>\l\
return;\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=forestgreen,weight=10,constraint=true,label="[89%]"];
fn_0_basic_block_2:s -> fn_0_basic_block_8:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[11%]"];
fn_0_basic_block_3:s -> fn_0_basic_block_26:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[90%]"];
fn_0_basic_block_3:s -> fn_0_basic_block_31:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[10%]"];
fn_0_basic_block_26: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_14:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[89%]"];
fn_0_basic_block_5:s -> fn_0_basic_block_28:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[11%]"];
fn_0_basic_block_14:s -> fn_0_basic_block_5:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"];
fn_0_basic_block_28:s -> fn_0_basic_block_31:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[75%]"];
fn_0_basic_block_28:s -> fn_0_basic_block_24:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[25%]"];
fn_0_basic_block_31:s -> fn_0_basic_block_34:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[90%]"];
fn_0_basic_block_31:s -> fn_0_basic_block_41:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[10%]"];
fn_0_basic_block_34:s -> fn_0_basic_block_29:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_29:s -> fn_0_basic_block_30:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[89%]"];
fn_0_basic_block_29:s -> fn_0_basic_block_36:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[11%]"];
fn_0_basic_block_30:s -> fn_0_basic_block_29:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"];
fn_0_basic_block_36:s -> fn_0_basic_block_41:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[66%]"];
fn_0_basic_block_36:s -> fn_0_basic_block_33:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[33%]"];
fn_0_basic_block_41:s -> fn_0_basic_block_37:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_37:s -> fn_0_basic_block_40:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[64%]"];
fn_0_basic_block_37:s -> fn_0_basic_block_39:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[36%]"];
fn_0_basic_block_38:s -> fn_0_basic_block_37:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"];
fn_0_basic_block_39:s -> fn_0_basic_block_38:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[89%]"];
fn_0_basic_block_39:s -> fn_0_basic_block_33:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[11%]"];
fn_0_basic_block_40:s -> fn_0_basic_block_39:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_33:s -> fn_0_basic_block_24:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_24:s -> fn_0_basic_block_8:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_8:s -> fn_0_basic_block_10:n [style="solid,bold",color=forestgreen,weight=10,constraint=true,label="[100%]"];
fn_0_basic_block_8:s -> fn_0_basic_block_11:n [style="solid,bold",color=darkorange,weight=10,constraint=true,label="[0%]"];
fn_0_basic_block_11:s -> fn_0_basic_block_9:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_9:s -> fn_0_basic_block_13:n [style="solid,bold",color=black,weight=100,constraint=true,label="[100%]"];
fn_0_basic_block_13:s -> fn_0_basic_block_9:n [style="dotted,bold",color=blue,weight=10,constraint=false,label="[100%]"];
fn_0_basic_block_10: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