1digraph "Scop Graph for 'print_array' function" {
2	label="Scop Graph for 'print_array' function";
3
4	Node0x5ae5e30 [shape=record,label="{entry}"];
5	Node0x5ae5e30 -> Node0x5ae5f50;
6	Node0x5ae5f50 [shape=record,label="{entry.split}"];
7	Node0x5ae5f50 -> Node0x5ae7d90;
8	Node0x5ae7d90 [shape=record,label="{for.cond1.preheader}"];
9	Node0x5ae7d90 -> Node0x5ae7f20;
10	Node0x5ae7f20 [shape=record,label="{for.body3}"];
11	Node0x5ae7f20 -> Node0x5ae7f40;
12	Node0x5ae7f20 -> Node0x5ae7f60;
13	Node0x5ae7f40 [shape=record,label="{if.then}"];
14	Node0x5ae7f40 -> Node0x5ae7f60;
15	Node0x5ae7f60 [shape=record,label="{for.inc}"];
16	Node0x5ae7f60 -> Node0x5ae7f20[constraint=false];
17	Node0x5ae7f60 -> Node0x5ae7e30;
18	Node0x5ae7e30 [shape=record,label="{for.end}"];
19	Node0x5ae7e30 -> Node0x5ae7d90[constraint=false];
20	Node0x5ae7e30 -> Node0x5ae8110;
21	Node0x5ae8110 [shape=record,label="{for.end12}"];
22	colorscheme = "paired12"
23        subgraph cluster_0x5abb9a0 {
24          label = "";
25          style = solid;
26          color = 1
27          subgraph cluster_0x5ae32c0 {
28            label = "Call instruction:   %call = tail call i32 (%struct._IO_FILE*, i8*, ...) @fprintf(%struct._IO_FILE* %1, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), double %conv) #2";
29            style = solid;
30            color = 6
31            subgraph cluster_0x5ae3240 {
32              label = "Call instruction:   %call = tail call i32 (%struct._IO_FILE*, i8*, ...) @fprintf(%struct._IO_FILE* %1, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str, i64 0, i64 0), double %conv) #2";
33              style = solid;
34              color = 5
35              subgraph cluster_0x5abba20 {
36                label = "Region can not profitably be optimized!";
37                style = solid;
38                color = 7
39                Node0x5ae7f20;
40                Node0x5ae7f40;
41              }
42              Node0x5ae7f60;
43            }
44            Node0x5ae7d90;
45            Node0x5ae7e30;
46          }
47          Node0x5ae5e30;
48          Node0x5ae5f50;
49          Node0x5ae8110;
50        }
51}
52