; ModuleID = 'kernels.c'
source_filename = "kernels.c"
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: nounwind uwtable
define void @mat_3D_add(i32, i8* nocapture, i8* nocapture readonly) local_unnamed_addr #0 !dbg !6 {
  tail call void @llvm.dbg.value(metadata i32 %0, i64 0, metadata !16, metadata !22), !dbg !23
  tail call void @llvm.dbg.value(metadata i8* %1, i64 0, metadata !17, metadata !22), !dbg !24
  tail call void @llvm.dbg.value(metadata i8* %2, i64 0, metadata !18, metadata !22), !dbg !25
  %4 = zext i32 %0 to i64
  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !19, metadata !22), !dbg !26
  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !19, metadata !22), !dbg !26
  %5 = icmp sgt i32 %0, 0, !dbg !27
  br i1 %5, label %6, label %114, !dbg !30

; <label>:6:                                      ; preds = %3
  %7 = mul nuw i64 %4, %4
  %8 = mul nuw i64 %4, %4
  %9 = add nsw i64 %4, -1, !dbg !31
  %10 = icmp ult i32 %0, 32
  %11 = and i32 %0, 31
  %12 = zext i32 %11 to i64
  %13 = sub nsw i64 %4, %12
  %14 = icmp eq i64 %13, 0
  %15 = icmp eq i32 %11, 0
  br label %16, !dbg !36

; <label>:16:                                     ; preds = %111, %6
  %17 = phi i64 [ %112, %111 ], [ 0, %6 ]
  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !20, metadata !22), !dbg !37
  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !19, metadata !22), !dbg !26
  %18 = mul i64 %8, %17
  %19 = add i64 %18, %4
  %20 = mul nsw i64 %7, %17
  %21 = getelementptr inbounds i8, i8* %2, i64 %20
  %22 = getelementptr inbounds i8, i8* %1, i64 %20
  br label %23, !dbg !38

; <label>:23:                                     ; preds = %16, %81
  %24 = phi i64 [ %82, %81 ], [ 0, %16 ]
  tail call void @llvm.dbg.value(metadata i32 0, i64 0, metadata !21, metadata !22), !dbg !39
  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !20, metadata !22), !dbg !37
  %25 = mul i64 %24, %4
  %26 = add i64 %18, %25
  %27 = getelementptr i8, i8* %1, i64 %26
  %28 = add i64 %19, %25
  %29 = getelementptr i8, i8* %1, i64 %28
  %30 = getelementptr i8, i8* %2, i64 %26
  %31 = getelementptr i8, i8* %2, i64 %28
  %32 = mul nuw nsw i64 %24, %4
  %33 = getelementptr inbounds i8, i8* %21, i64 %32
  %34 = getelementptr inbounds i8, i8* %22, i64 %32
  %35 = or i1 %10, %14, !dbg !31
  br i1 %35, label %36, label %56, !dbg !31

; <label>:36:                                     ; preds = %23, %80, %56
  %37 = phi i64 [ 0, %56 ], [ 0, %23 ], [ %13, %80 ]
  %38 = sub nsw i64 %4, %37, !dbg !31
  %39 = sub nsw i64 %9, %37, !dbg !31
  %40 = and i64 %38, 3, !dbg !31
  %41 = icmp eq i64 %40, 0, !dbg !31
  br i1 %41, label %53, label %42, !dbg !31

; <label>:42:                                     ; preds = %36, %42
  %43 = phi i64 [ %50, %42 ], [ %37, %36 ]
  %44 = phi i64 [ %51, %42 ], [ %40, %36 ]
  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !21, metadata !22), !dbg !39
  %45 = getelementptr inbounds i8, i8* %33, i64 %43, !dbg !31
  %46 = load i8, i8* %45, align 1, !dbg !31, !tbaa !40
  %47 = getelementptr inbounds i8, i8* %34, i64 %43, !dbg !43
  %48 = load i8, i8* %47, align 1, !dbg !44, !tbaa !40
  %49 = add i8 %48, %46, !dbg !44
  store i8 %49, i8* %47, align 1, !dbg !44, !tbaa !40
  %50 = add nuw nsw i64 %43, 1, !dbg !45
  %51 = add i64 %44, -1, !dbg !38
  %52 = icmp eq i64 %51, 0, !dbg !38
  br i1 %52, label %53, label %42, !dbg !38, !llvm.loop !46

; <label>:53:                                     ; preds = %42, %36
  %54 = phi i64 [ %37, %36 ], [ %50, %42 ]
  %55 = icmp ult i64 %39, 3, !dbg !31
  br i1 %55, label %81, label %84, !dbg !31

; <label>:56:                                     ; preds = %23
  %57 = icmp ult i8* %27, %31, !dbg !31
  %58 = icmp ult i8* %30, %29, !dbg !31
  %59 = and i1 %57, %58, !dbg !31
  br i1 %59, label %36, label %60, !dbg !31

; <label>:60:                                     ; preds = %56, %60
  %61 = phi i64 [ %78, %60 ], [ 0, %56 ], !dbg !45
  %62 = getelementptr inbounds i8, i8* %33, i64 %61, !dbg !31
  %63 = bitcast i8* %62 to <16 x i8>*, !dbg !31
  %64 = load <16 x i8>, <16 x i8>* %63, align 1, !dbg !31, !tbaa !40, !alias.scope !48
  %65 = getelementptr i8, i8* %62, i64 16, !dbg !31
  %66 = bitcast i8* %65 to <16 x i8>*, !dbg !31
  %67 = load <16 x i8>, <16 x i8>* %66, align 1, !dbg !31, !tbaa !40, !alias.scope !48
  %68 = getelementptr inbounds i8, i8* %34, i64 %61, !dbg !43
  %69 = bitcast i8* %68 to <16 x i8>*, !dbg !44
  %70 = load <16 x i8>, <16 x i8>* %69, align 1, !dbg !44, !tbaa !40, !alias.scope !51, !noalias !48
  %71 = getelementptr i8, i8* %68, i64 16, !dbg !44
  %72 = bitcast i8* %71 to <16 x i8>*, !dbg !44
  %73 = load <16 x i8>, <16 x i8>* %72, align 1, !dbg !44, !tbaa !40, !alias.scope !51, !noalias !48
  %74 = add <16 x i8> %70, %64, !dbg !44
  %75 = add <16 x i8> %73, %67, !dbg !44
  %76 = bitcast i8* %68 to <16 x i8>*, !dbg !44
  store <16 x i8> %74, <16 x i8>* %76, align 1, !dbg !44, !tbaa !40, !alias.scope !51, !noalias !48
  %77 = bitcast i8* %71 to <16 x i8>*, !dbg !44
  store <16 x i8> %75, <16 x i8>* %77, align 1, !dbg !44, !tbaa !40, !alias.scope !51, !noalias !48
  %78 = add i64 %61, 32, !dbg !45
  %79 = icmp eq i64 %78, %13, !dbg !45
  br i1 %79, label %80, label %60, !dbg !45, !llvm.loop !53

; <label>:80:                                     ; preds = %60
  br i1 %15, label %81, label %36, !dbg !31

; <label>:81:                                     ; preds = %53, %84, %80
  %82 = add nuw nsw i64 %24, 1, !dbg !57
  %83 = icmp eq i64 %82, %4, !dbg !58
  br i1 %83, label %111, label %23, !dbg !36, !llvm.loop !59

; <label>:84:                                     ; preds = %53, %84
  %85 = phi i64 [ %109, %84 ], [ %54, %53 ]
  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !21, metadata !22), !dbg !39
  %86 = getelementptr inbounds i8, i8* %33, i64 %85, !dbg !31
  %87 = load i8, i8* %86, align 1, !dbg !31, !tbaa !40
  %88 = getelementptr inbounds i8, i8* %34, i64 %85, !dbg !43
  %89 = load i8, i8* %88, align 1, !dbg !44, !tbaa !40
  %90 = add i8 %89, %87, !dbg !44
  store i8 %90, i8* %88, align 1, !dbg !44, !tbaa !40
  %91 = add nuw nsw i64 %85, 1, !dbg !45
  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !21, metadata !22), !dbg !39
  %92 = getelementptr inbounds i8, i8* %33, i64 %91, !dbg !31
  %93 = load i8, i8* %92, align 1, !dbg !31, !tbaa !40
  %94 = getelementptr inbounds i8, i8* %34, i64 %91, !dbg !43
  %95 = load i8, i8* %94, align 1, !dbg !44, !tbaa !40
  %96 = add i8 %95, %93, !dbg !44
  store i8 %96, i8* %94, align 1, !dbg !44, !tbaa !40
  %97 = add nsw i64 %85, 2, !dbg !45
  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !21, metadata !22), !dbg !39
  %98 = getelementptr inbounds i8, i8* %33, i64 %97, !dbg !31
  %99 = load i8, i8* %98, align 1, !dbg !31, !tbaa !40
  %100 = getelementptr inbounds i8, i8* %34, i64 %97, !dbg !43
  %101 = load i8, i8* %100, align 1, !dbg !44, !tbaa !40
  %102 = add i8 %101, %99, !dbg !44
  store i8 %102, i8* %100, align 1, !dbg !44, !tbaa !40
  %103 = add nsw i64 %85, 3, !dbg !45
  tail call void @llvm.dbg.value(metadata i32 undef, i64 0, metadata !21, metadata !22), !dbg !39
  %104 = getelementptr inbounds i8, i8* %33, i64 %103, !dbg !31
  %105 = load i8, i8* %104, align 1, !dbg !31, !tbaa !40
  %106 = getelementptr inbounds i8, i8* %34, i64 %103, !dbg !43
  %107 = load i8, i8* %106, align 1, !dbg !44, !tbaa !40
  %108 = add i8 %107, %105, !dbg !44
  store i8 %108, i8* %106, align 1, !dbg !44, !tbaa !40
  %109 = add nsw i64 %85, 4, !dbg !45
  %110 = icmp eq i64 %109, %4, !dbg !61
  br i1 %110, label %81, label %84, !dbg !38, !llvm.loop !62

; <label>:111:                                    ; preds = %81
  %112 = add nuw nsw i64 %17, 1, !dbg !63
  %113 = icmp eq i64 %112, %4, !dbg !27
  br i1 %113, label %114, label %16, !dbg !30, !llvm.loop !64

; <label>:114:                                    ; preds = %111, %3
  ret void, !dbg !66
}

; Function Attrs: nounwind readnone
declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1

attributes #0 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
attributes #1 = { nounwind readnone }

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!3, !4}
!llvm.ident = !{!5}

!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 5.0.0 (http://llvm.org/git/clang.git b3dc14e34032cb815476530ccb266c5149adcbcf) (http://llvm.org/git/llvm.git 78b412f427f84d570aab92fe78e4236e95a5b951)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
!1 = !DIFile(filename: "kernels.c", directory: "/home/sanjay/Programs/C/Polyhedral_Tests")
!2 = !{}
!3 = !{i32 2, !"Dwarf Version", i32 4}
!4 = !{i32 2, !"Debug Info Version", i32 3}
!5 = !{!"clang version 5.0.0 (http://llvm.org/git/clang.git b3dc14e34032cb815476530ccb266c5149adcbcf) (http://llvm.org/git/llvm.git 78b412f427f84d570aab92fe78e4236e95a5b951)"}
!6 = distinct !DISubprogram(name: "mat_3D_add", scope: !1, file: !1, line: 18, type: !7, isLocal: false, isDefinition: true, scopeLine: 19, flags: DIFlagPrototyped, isOptimized: true, unit: !0, variables: !15)
!7 = !DISubroutineType(types: !8)
!8 = !{null, !9, !10, !10}
!9 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!10 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !11, size: 64)
!11 = !DICompositeType(tag: DW_TAG_array_type, baseType: !12, elements: !13)
!12 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)
!13 = !{!14, !14}
!14 = !DISubrange(count: -1)
!15 = !{!16, !17, !18, !19, !20, !21}
!16 = !DILocalVariable(name: "N", arg: 1, scope: !6, file: !1, line: 18, type: !9)
!17 = !DILocalVariable(name: "a", arg: 2, scope: !6, file: !1, line: 18, type: !10)
!18 = !DILocalVariable(name: "b", arg: 3, scope: !6, file: !1, line: 18, type: !10)
!19 = !DILocalVariable(name: "i", scope: !6, file: !1, line: 20, type: !9)
!20 = !DILocalVariable(name: "j", scope: !6, file: !1, line: 20, type: !9)
!21 = !DILocalVariable(name: "k", scope: !6, file: !1, line: 20, type: !9)
!22 = !DIExpression()
!23 = !DILocation(line: 18, column: 22, scope: !6)
!24 = !DILocation(line: 18, column: 30, scope: !6)
!25 = !DILocation(line: 18, column: 47, scope: !6)
!26 = !DILocation(line: 20, column: 6, scope: !6)
!27 = !DILocation(line: 21, column: 11, scope: !28)
!28 = distinct !DILexicalBlock(scope: !29, file: !1, line: 21, column: 2)
!29 = distinct !DILexicalBlock(scope: !6, file: !1, line: 21, column: 2)
!30 = !DILocation(line: 21, column: 2, scope: !29)
!31 = !DILocation(line: 24, column: 19, scope: !32)
!32 = distinct !DILexicalBlock(scope: !33, file: !1, line: 23, column: 4)
!33 = distinct !DILexicalBlock(scope: !34, file: !1, line: 23, column: 4)
!34 = distinct !DILexicalBlock(scope: !35, file: !1, line: 22, column: 3)
!35 = distinct !DILexicalBlock(scope: !28, file: !1, line: 22, column: 3)
!36 = !DILocation(line: 22, column: 3, scope: !35)
!37 = !DILocation(line: 20, column: 8, scope: !6)
!38 = !DILocation(line: 23, column: 4, scope: !33)
!39 = !DILocation(line: 20, column: 10, scope: !6)
!40 = !{!41, !41, i64 0}
!41 = !{!"omnipotent char", !42, i64 0}
!42 = !{!"Simple C/C++ TBAA"}
!43 = !DILocation(line: 24, column: 5, scope: !32)
!44 = !DILocation(line: 24, column: 16, scope: !32)
!45 = !DILocation(line: 23, column: 17, scope: !32)
!46 = distinct !{!46, !47}
!47 = !{!"llvm.loop.unroll.disable"}
!48 = !{!49}
!49 = distinct !{!49, !50}
!50 = distinct !{!50, !"LVerDomain"}
!51 = !{!52}
!52 = distinct !{!52, !50}
!53 = distinct !{!53, !38, !54, !55, !56}
!54 = !DILocation(line: 24, column: 28, scope: !33)
!55 = !{!"llvm.loop.vectorize.width", i32 1}
!56 = !{!"llvm.loop.interleave.count", i32 1}
!57 = !DILocation(line: 22, column: 16, scope: !34)
!58 = !DILocation(line: 22, column: 12, scope: !34)
!59 = distinct !{!59, !36, !60}
!60 = !DILocation(line: 24, column: 28, scope: !35)
!61 = !DILocation(line: 23, column: 13, scope: !32)
!62 = distinct !{!62, !38, !54, !55, !56}
!63 = !DILocation(line: 21, column: 15, scope: !28)
!64 = distinct !{!64, !30, !65}
!65 = !DILocation(line: 24, column: 28, scope: !29)
!66 = !DILocation(line: 25, column: 1, scope: !6)