xref: /llvm-project/polly/docs/experiments/matmul/scops.init_array.dot (revision 3b4d331d8cbd72078ae9fff1b81ca96c0d55ecb8)
1fe7bd34bSMichael Krusedigraph "Scop Graph for 'init_array' function" {
2fe7bd34bSMichael Kruse	label="Scop Graph for 'init_array' function";
3fe7bd34bSMichael Kruse
4*3b4d331dSMichael Kruse	Node0x7fffc6c46ea0 [shape=record,label="{entry:\l  br label %entry.split\l}"];
5*3b4d331dSMichael Kruse	Node0x7fffc6c46ea0 -> Node0x7fffc6c46f20;
6*3b4d331dSMichael Kruse	Node0x7fffc6c46f20 [shape=record,label="{entry.split:                                      \l  br label %for.cond1.preheader\l}"];
7*3b4d331dSMichael Kruse	Node0x7fffc6c46f20 -> Node0x7fffc6c47000;
8*3b4d331dSMichael Kruse	Node0x7fffc6c47000 [shape=record,label="{for.cond1.preheader:                              \l  %indvars.iv4 = phi i64 [ 0, %entry.split ], [ %indvars.iv.next5, %for.inc17 ]\l  br label %for.body3\l}"];
9*3b4d331dSMichael Kruse	Node0x7fffc6c47000 -> Node0x7fffc6c47290;
10*3b4d331dSMichael Kruse	Node0x7fffc6c47290 [shape=record,label="{for.body3:                                        \l  %indvars.iv = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next,\l... %for.body3 ]\l  %0 = mul nuw nsw i64 %indvars.iv, %indvars.iv4\l  %1 = trunc i64 %0 to i32\l  %rem = and i32 %1, 1023\l  %add = add nuw nsw i32 %rem, 1\l  %conv = sitofp i32 %add to double\l  %div = fmul double %conv, 5.000000e-01\l  %conv4 = fptrunc double %div to float\l  %arrayidx6 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536 x\l... float]]* @A, i64 0, i64 %indvars.iv4, i64 %indvars.iv\l  store float %conv4, float* %arrayidx6, align 4\l  %arrayidx16 = getelementptr inbounds [1536 x [1536 x float]], [1536 x [1536\l... x float]]* @B, i64 0, i64 %indvars.iv4, i64 %indvars.iv\l  store float %conv4, float* %arrayidx16, align 4\l  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1\l  %exitcond = icmp ne i64 %indvars.iv.next, 1536\l  br i1 %exitcond, label %for.body3, label %for.inc17\l}"];
11*3b4d331dSMichael Kruse	Node0x7fffc6c47290 -> Node0x7fffc6c47290[constraint=false];
12*3b4d331dSMichael Kruse	Node0x7fffc6c47290 -> Node0x7fffc6c47b10;
13*3b4d331dSMichael Kruse	Node0x7fffc6c47b10 [shape=record,label="{for.inc17:                                        \l  %indvars.iv.next5 = add nuw nsw i64 %indvars.iv4, 1\l  %exitcond6 = icmp ne i64 %indvars.iv.next5, 1536\l  br i1 %exitcond6, label %for.cond1.preheader, label %for.end19\l}"];
14*3b4d331dSMichael Kruse	Node0x7fffc6c47b10 -> Node0x7fffc6c47000[constraint=false];
15*3b4d331dSMichael Kruse	Node0x7fffc6c47b10 -> Node0x7fffc6c48b10;
16*3b4d331dSMichael Kruse	Node0x7fffc6c48b10 [shape=record,label="{for.end19:                                        \l  ret void\l}"];
17fe7bd34bSMichael Kruse	colorscheme = "paired12"
18*3b4d331dSMichael Kruse        subgraph cluster_0x7fffc6c32540 {
19fe7bd34bSMichael Kruse          label = "";
20fe7bd34bSMichael Kruse          style = solid;
21fe7bd34bSMichael Kruse          color = 1
22*3b4d331dSMichael Kruse          subgraph cluster_0x7fffc6c32f30 {
23fe7bd34bSMichael Kruse            label = "Region can not profitably be optimized!";
24fe7bd34bSMichael Kruse            style = solid;
25fe7bd34bSMichael Kruse            color = 6
26*3b4d331dSMichael Kruse            subgraph cluster_0x7fffc6c32690 {
27fe7bd34bSMichael Kruse              label = "";
28fe7bd34bSMichael Kruse              style = solid;
29fe7bd34bSMichael Kruse              color = 5
30*3b4d331dSMichael Kruse              Node0x7fffc6c47290;
31fe7bd34bSMichael Kruse            }
32*3b4d331dSMichael Kruse            Node0x7fffc6c47000;
33*3b4d331dSMichael Kruse            Node0x7fffc6c47b10;
34fe7bd34bSMichael Kruse          }
35*3b4d331dSMichael Kruse          Node0x7fffc6c46ea0;
36*3b4d331dSMichael Kruse          Node0x7fffc6c46f20;
37*3b4d331dSMichael Kruse          Node0x7fffc6c48b10;
38fe7bd34bSMichael Kruse        }
39fe7bd34bSMichael Kruse}
40