digraph "Scop Graph for 'mat_3D_add' function" {
	label="Scop Graph for 'mat_3D_add' function";

	Node0x4dcfee0 [shape=record,label="{%3:\l  br label %4, !dbg !22\l}"];
	Node0x4dcfee0 -> Node0x4dd3480;
	Node0x4dd3480 [shape=record,label="{%4:\l\l  tail call void @llvm.dbg.value(metadata i32 %0, i64 0, metadata !16,\l... metadata !23), !dbg !22\l  tail call void @llvm.dbg.value(metadata i8* %1, i64 0, metadata !17,\l... metadata !23), !dbg !24\l  tail call void @llvm.dbg.value(metadata i8* %2, i64 0, metadata !18,\l... metadata !23), !dbg !25\l  %5 = zext i32 %0 to i64\l  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !19, metadata\l... !23), !dbg !26\l  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !19, metadata\l... !23), !dbg !26\l  %6 = icmp sgt i32 %0, 0, !dbg !27\l  br i1 %6, label %7, label %44, !dbg !30\l}"];
	Node0x4dd3480 -> Node0x4dcfde0;
	Node0x4dd3480 -> Node0x4dd24c0;
	Node0x4dcfde0 [shape=record,label="{%7:\l\l  br label %8, !dbg !30\l}"];
	Node0x4dcfde0 -> Node0x4dd46a0;
	Node0x4dd46a0 [shape=record,label="{%8:\l\l  %9 = phi i64 [ 0, %7 ], [ %40, %39 ]\l  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !20, metadata\l... !23), !dbg !31\l  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !19,\l... metadata !23), !dbg !26\l  %10 = icmp sgt i32 %0, 0, !dbg !32\l  br i1 %10, label %11, label %39, !dbg !35\l}"];
	Node0x4dd46a0 -> Node0x4dd4650;
	Node0x4dd46a0 -> Node0x4dd2360;
	Node0x4dd4650 [shape=record,label="{%11:\l\l  br label %12, !dbg !35\l}"];
	Node0x4dd4650 -> Node0x4dd23c0;
	Node0x4dd23c0 [shape=record,label="{%12:\l\l  %13 = phi i64 [ 0, %11 ], [ %35, %34 ]\l  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !21, metadata\l... !23), !dbg !36\l  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !20,\l... metadata !23), !dbg !31\l  %14 = icmp sgt i32 %0, 0, !dbg !37\l  br i1 %14, label %15, label %34, !dbg !40\l}"];
	Node0x4dd23c0 -> Node0x4dd4630;
	Node0x4dd23c0 -> Node0x4dd4670;
	Node0x4dd4630 [shape=record,label="{%15:\l\l  br label %16, !dbg !40\l}"];
	Node0x4dd4630 -> Node0x4dd4b10;
	Node0x4dd4b10 [shape=record,label="{%16:\l\l  %17 = phi i64 [ 0, %15 ], [ %30, %16 ]\l  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !21,\l... metadata !23), !dbg !36\l  %18 = mul nuw i64 %5, %5, !dbg !41\l  %19 = mul nsw i64 %18, %9, !dbg !41\l  %20 = getelementptr inbounds i8, i8* %2, i64 %19, !dbg !41\l  %21 = mul nuw nsw i64 %13, %5, !dbg !41\l  %22 = getelementptr inbounds i8, i8* %20, i64 %21, !dbg !41\l  %23 = getelementptr inbounds i8, i8* %22, i64 %17, !dbg !41\l  %24 = load i8, i8* %23, align 1, !dbg !41, !tbaa !42\l  %25 = getelementptr inbounds i8, i8* %1, i64 %19, !dbg !45\l  %26 = getelementptr inbounds i8, i8* %25, i64 %21, !dbg !45\l  %27 = getelementptr inbounds i8, i8* %26, i64 %17, !dbg !45\l  %28 = load i8, i8* %27, align 1, !dbg !46, !tbaa !42\l  %29 = add i8 %28, %24, !dbg !46\l  store i8 %29, i8* %27, align 1, !dbg !46, !tbaa !42\l  %30 = add nuw nsw i64 %17, 1, !dbg !47\l  tail call void @llvm.dbg.value(metadata !2, i64 0, metadata !21, metadata\l... !23), !dbg !36\l  tail call void @llvm.dbg.value(metadata !2, i64 0, metadata !21, metadata\l... !23), !dbg !36\l  %31 = zext i32 %0 to i64, !dbg !37\l  %32 = icmp ne i64 %30, %31, !dbg !37\l  br i1 %32, label %16, label %33, !dbg !40, !llvm.loop !48\l}"];
	Node0x4dd4b10 -> Node0x4dd4b10[constraint=false];
	Node0x4dd4b10 -> Node0x4dd4b30;
	Node0x4dd4b30 [shape=record,label="{%33:\l\l  br label %34, !dbg !40\l}"];
	Node0x4dd4b30 -> Node0x4dd4670;
	Node0x4dd4670 [shape=record,label="{%34:\l\l  %35 = add nuw nsw i64 %13, 1, !dbg !50\l  tail call void @llvm.dbg.value(metadata !2, i64 0, metadata !20, metadata\l... !23), !dbg !31\l  tail call void @llvm.dbg.value(metadata !2, i64 0, metadata !20, metadata\l... !23), !dbg !31\l  %36 = zext i32 %0 to i64, !dbg !32\l  %37 = icmp ne i64 %35, %36, !dbg !32\l  br i1 %37, label %12, label %38, !dbg !35, !llvm.loop !51\l}"];
	Node0x4dd4670 -> Node0x4dd23c0[constraint=false];
	Node0x4dd4670 -> Node0x4dd4740;
	Node0x4dd4740 [shape=record,label="{%38:\l\l  br label %39, !dbg !35\l}"];
	Node0x4dd4740 -> Node0x4dd2360;
	Node0x4dd2360 [shape=record,label="{%39:\l\l  %40 = add nuw nsw i64 %9, 1, !dbg !53\l  tail call void @llvm.dbg.value(metadata !2, i64 0, metadata !19, metadata\l... !23), !dbg !26\l  tail call void @llvm.dbg.value(metadata !2, i64 0, metadata !19, metadata\l... !23), !dbg !26\l  %41 = zext i32 %0 to i64, !dbg !27\l  %42 = icmp ne i64 %40, %41, !dbg !27\l  br i1 %42, label %8, label %43, !dbg !30, !llvm.loop !54\l}"];
	Node0x4dd2360 -> Node0x4dd46a0[constraint=false];
	Node0x4dd2360 -> Node0x4dd47a0;
	Node0x4dd47a0 [shape=record,label="{%43:\l\l  br label %44, !dbg !30\l}"];
	Node0x4dd47a0 -> Node0x4dd24c0;
	Node0x4dd24c0 [shape=record,label="{%44:\l\l  ret void, !dbg !56\l}"];
	colorscheme = "paired12"
        subgraph cluster_0x4d92b80 {
          label = "kernels.c:18-25
";
          style = solid;
          color = 1
          subgraph cluster_0x4dbc190 {
            label = "kernels.c:18-24
Non affine access function: {{{0,+,((zext i32 %0 to i64) * (zext i32 %0 to i64))}<%8>,+,(zext i32 %0 to i64)}<%12>,+,1}<nw><%16>";
            style = solid;
            color = 6
            subgraph cluster_0x4dbc110 {
              label = "kernels.c:20-24
Non affine access function: {{{0,+,((zext i32 %0 to i64) * (zext i32 %0 to i64))}<%8>,+,(zext i32 %0 to i64)}<%12>,+,1}<nw><%16>";
              style = solid;
              color = 5
              subgraph cluster_0x4dbc090 {
                label = "kernels.c:20-24
Non affine access function: {{{0,+,((zext i32 %0 to i64) * (zext i32 %0 to i64))}<%8>,+,(zext i32 %0 to i64)}<%12>,+,1}<nw><%16>";
                style = solid;
                color = 7
                subgraph cluster_0x4dbc010 {
                  label = "kernels.c:20-24
Non affine access function: {{{0,+,((zext i32 %0 to i64) * (zext i32 %0 to i64))}<%8>,+,(zext i32 %0 to i64)}<%12>,+,1}<nw><%16>";
                  style = solid;
                  color = 9
                  subgraph cluster_0x4d92c00 {
                    label = "kernels.c:20-24
Region can not profitably be optimized!";
                    style = solid;
                    color = 11
                    subgraph cluster_0x4dbbf90 {
                      label = "kernels.c:20-24
";
                      style = solid;
                      color = 1
                      Node0x4dd4b10;
                    }
                    Node0x4dd23c0;
                    Node0x4dd4630;
                    Node0x4dd4b30;
                  }
                  Node0x4dd4670;
                }
                Node0x4dd46a0;
                Node0x4dd4650;
                Node0x4dd4740;
              }
              Node0x4dd2360;
            }
            Node0x4dd3480;
            Node0x4dcfde0;
            Node0x4dd47a0;
          }
          Node0x4dcfee0;
          Node0x4dd24c0;
        }
}