; LLVM IR from amritansh22/Data-Structures-and-Algorithms-in-cpp :: Graph/Travelling Salesman Problem(branch and Bound Algorithm).ll (Z6TSPRecPA4_iiiiPi)

; Unoptimized IR (clang -disable-llvm-passes):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@visited = external dso_local global [4 x i8], align 1
@final_res = external dso_local global i32, align 4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_Z11copyToFinalPi(ptr noundef) #0

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: nocallback nofree nosync nounwind willreturn memory(argmem: readwrite)
declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #1

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z8firstMinPA4_ii(ptr noundef, i32 noundef) #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z9secondMinPA4_ii(ptr noundef, i32 noundef) #0

; Function Attrs: mustprogress uwtable
define dso_local void @_Z6TSPRecPA4_iiiiPi(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, ptr noundef %4) #2 {
  %6 = alloca ptr, align 8
  %7 = alloca i32, align 4
  %8 = alloca i32, align 4
  %9 = alloca i32, align 4
  %10 = alloca ptr, align 8
  %11 = alloca i32, align 4
  %12 = alloca i32, align 4
  %13 = alloca i32, align 4
  %14 = alloca i32, align 4
  %15 = alloca i32, align 4
  store ptr %0, ptr %6, align 8, !tbaa !5
  store i32 %1, ptr %7, align 4, !tbaa !9
  store i32 %2, ptr %8, align 4, !tbaa !9
  store i32 %3, ptr %9, align 4, !tbaa !9
  store ptr %4, ptr %10, align 8, !tbaa !5
  %16 = load i32, ptr %9, align 4, !tbaa !9
  %17 = icmp eq i32 %16, 4
  br i1 %17, label %18, label %61

18:                                               ; preds = %5
  %19 = load ptr, ptr %6, align 8, !tbaa !5
  %20 = load ptr, ptr %10, align 8, !tbaa !5
  %21 = load i32, ptr %9, align 4, !tbaa !9
  %22 = sub nsw i32 %21, 1
  %23 = sext i32 %22 to i64
  %24 = getelementptr inbounds i32, ptr %20, i64 %23
  %25 = load i32, ptr %24, align 4, !tbaa !9
  %26 = sext i32 %25 to i64
  %27 = getelementptr inbounds [4 x i32], ptr %19, i64 %26
  %28 = load ptr, ptr %10, align 8, !tbaa !5
  %29 = getelementptr inbounds i32, ptr %28, i64 0
  %30 = load i32, ptr %29, align 4, !tbaa !9
  %31 = sext i32 %30 to i64
  %32 = getelementptr inbounds [4 x i32], ptr %27, i64 0, i64 %31
  %33 = load i32, ptr %32, align 4, !tbaa !9
  %34 = icmp ne i32 %33, 0
  br i1 %34, label %35, label %60

35:                                               ; preds = %18
  call void @llvm.lifetime.start.p0(i64 4, ptr %11) #4
  %36 = load i32, ptr %8, align 4, !tbaa !9
  %37 = load ptr, ptr %6, align 8, !tbaa !5
  %38 = load ptr, ptr %10, align 8, !tbaa !5
  %39 = load i32, ptr %9, align 4, !tbaa !9
  %40 = sub nsw i32 %39, 1
  %41 = sext i32 %40 to i64
  %42 = getelementptr inbounds i32, ptr %38, i64 %41
  %43 = load i32, ptr %42, align 4, !tbaa !9
  %44 = sext i32 %43 to i64
  %45 = getelementptr inbounds [4 x i32], ptr %37, i64 %44
  %46 = load ptr, ptr %10, align 8, !tbaa !5
  %47 = getelementptr inbounds i32, ptr %46, i64 0
  %48 = load i32, ptr %47, align 4, !tbaa !9
  %49 = sext i32 %48 to i64
  %50 = getelementptr inbounds [4 x i32], ptr %45, i64 0, i64 %49
  %51 = load i32, ptr %50, align 4, !tbaa !9
  %52 = add nsw i32 %36, %51
  store i32 %52, ptr %11, align 4, !tbaa !9
  %53 = load i32, ptr %11, align 4, !tbaa !9
  %54 = load i32, ptr @final_res, align 4, !tbaa !9
  %55 = icmp slt i32 %53, %54
  br i1 %55, label %56, label %59

56:                                               ; preds = %35
  %57 = load ptr, ptr %10, align 8, !tbaa !5
  call void @_Z11copyToFinalPi(ptr noundef %57)
  %58 = load i32, ptr %11, align 4, !tbaa !9
  store i32 %58, ptr @final_res, align 4, !tbaa !9
  br label %59

59:                                               ; preds = %56, %35
  call void @llvm.lifetime.end.p0(i64 4, ptr %11) #4
  br label %60

60:                                               ; preds = %59, %18
  br label %200

61:                                               ; preds = %5
  call void @llvm.lifetime.start.p0(i64 4, ptr %12) #4
  store i32 0, ptr %12, align 4, !tbaa !9
  br label %62

62:                                               ; preds = %197, %61
  %63 = load i32, ptr %12, align 4, !tbaa !9
  %64 = icmp slt i32 %63, 4
  br i1 %64, label %66, label %65

65:                                               ; preds = %62
  store i32 2, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %12) #4
  br label %200

66:                                               ; preds = %62
  %67 = load ptr, ptr %6, align 8, !tbaa !5
  %68 = load ptr, ptr %10, align 8, !tbaa !5
  %69 = load i32, ptr %9, align 4, !tbaa !9
  %70 = sub nsw i32 %69, 1
  %71 = sext i32 %70 to i64
  %72 = getelementptr inbounds i32, ptr %68, i64 %71
  %73 = load i32, ptr %72, align 4, !tbaa !9
  %74 = sext i32 %73 to i64
  %75 = getelementptr inbounds [4 x i32], ptr %67, i64 %74
  %76 = load i32, ptr %12, align 4, !tbaa !9
  %77 = sext i32 %76 to i64
  %78 = getelementptr inbounds [4 x i32], ptr %75, i64 0, i64 %77
  %79 = load i32, ptr %78, align 4, !tbaa !9
  %80 = icmp ne i32 %79, 0
  br i1 %80, label %81, label %196

81:                                               ; preds = %66
  %82 = load i32, ptr %12, align 4, !tbaa !9
  %83 = sext i32 %82 to i64
  %84 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %83
  %85 = load i8, ptr %84, align 1, !tbaa !11, !range !13, !noundef !14
  %86 = trunc i8 %85 to i1
  %87 = zext i1 %86 to i32
  %88 = icmp eq i32 %87, 0
  br i1 %88, label %89, label %196

89:                                               ; preds = %81
  call void @llvm.lifetime.start.p0(i64 4, ptr %14) #4
  %90 = load i32, ptr %7, align 4, !tbaa !9
  store i32 %90, ptr %14, align 4, !tbaa !9
  %91 = load ptr, ptr %6, align 8, !tbaa !5
  %92 = load ptr, ptr %10, align 8, !tbaa !5
  %93 = load i32, ptr %9, align 4, !tbaa !9
  %94 = sub nsw i32 %93, 1
  %95 = sext i32 %94 to i64
  %96 = getelementptr inbounds i32, ptr %92, i64 %95
  %97 = load i32, ptr %96, align 4, !tbaa !9
  %98 = sext i32 %97 to i64
  %99 = getelementptr inbounds [4 x i32], ptr %91, i64 %98
  %100 = load i32, ptr %12, align 4, !tbaa !9
  %101 = sext i32 %100 to i64
  %102 = getelementptr inbounds [4 x i32], ptr %99, i64 0, i64 %101
  %103 = load i32, ptr %102, align 4, !tbaa !9
  %104 = load i32, ptr %8, align 4, !tbaa !9
  %105 = add nsw i32 %104, %103
  store i32 %105, ptr %8, align 4, !tbaa !9
  %106 = load i32, ptr %9, align 4, !tbaa !9
  %107 = icmp eq i32 %106, 1
  br i1 %107, label %108, label %124

108:                                              ; preds = %89
  %109 = load ptr, ptr %6, align 8, !tbaa !5
  %110 = load ptr, ptr %10, align 8, !tbaa !5
  %111 = load i32, ptr %9, align 4, !tbaa !9
  %112 = sub nsw i32 %111, 1
  %113 = sext i32 %112 to i64
  %114 = getelementptr inbounds i32, ptr %110, i64 %113
  %115 = load i32, ptr %114, align 4, !tbaa !9
  %116 = call noundef i32 @_Z8firstMinPA4_ii(ptr noundef %109, i32 noundef %115)
  %117 = load ptr, ptr %6, align 8, !tbaa !5
  %118 = load i32, ptr %12, align 4, !tbaa !9
  %119 = call noundef i32 @_Z8firstMinPA4_ii(ptr noundef %117, i32 noundef %118)
  %120 = add nsw i32 %116, %119
  %121 = sdiv i32 %120, 2
  %122 = load i32, ptr %7, align 4, !tbaa !9
  %123 = sub nsw i32 %122, %121
  store i32 %123, ptr %7, align 4, !tbaa !9
  br label %140

124:                                              ; preds = %89
  %125 = load ptr, ptr %6, align 8, !tbaa !5
  %126 = load ptr, ptr %10, align 8, !tbaa !5
  %127 = load i32, ptr %9, align 4, !tbaa !9
  %128 = sub nsw i32 %127, 1
  %129 = sext i32 %128 to i64
  %130 = getelementptr inbounds i32, ptr %126, i64 %129
  %131 = load i32, ptr %130, align 4, !tbaa !9
  %132 = call noundef i32 @_Z9secondMinPA4_ii(ptr noundef %125, i32 noundef %131)
  %133 = load ptr, ptr %6, align 8, !tbaa !5
  %134 = load i32, ptr %12, align 4, !tbaa !9
  %135 = call noundef i32 @_Z8firstMinPA4_ii(ptr noundef %133, i32 noundef %134)
  %136 = add nsw i32 %132, %135
  %137 = sdiv i32 %136, 2
  %138 = load i32, ptr %7, align 4, !tbaa !9
  %139 = sub nsw i32 %138, %137
  store i32 %139, ptr %7, align 4, !tbaa !9
  br label %140

140:                                              ; preds = %124, %108
  %141 = load i32, ptr %7, align 4, !tbaa !9
  %142 = load i32, ptr %8, align 4, !tbaa !9
  %143 = add nsw i32 %141, %142
  %144 = load i32, ptr @final_res, align 4, !tbaa !9
  %145 = icmp slt i32 %143, %144
  br i1 %145, label %146, label %161

146:                                              ; preds = %140
  %147 = load i32, ptr %12, align 4, !tbaa !9
  %148 = load ptr, ptr %10, align 8, !tbaa !5
  %149 = load i32, ptr %9, align 4, !tbaa !9
  %150 = sext i32 %149 to i64
  %151 = getelementptr inbounds i32, ptr %148, i64 %150
  store i32 %147, ptr %151, align 4, !tbaa !9
  %152 = load i32, ptr %12, align 4, !tbaa !9
  %153 = sext i32 %152 to i64
  %154 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %153
  store i8 1, ptr %154, align 1, !tbaa !11
  %155 = load ptr, ptr %6, align 8, !tbaa !5
  %156 = load i32, ptr %7, align 4, !tbaa !9
  %157 = load i32, ptr %8, align 4, !tbaa !9
  %158 = load i32, ptr %9, align 4, !tbaa !9
  %159 = add nsw i32 %158, 1
  %160 = load ptr, ptr %10, align 8, !tbaa !5
  call void @_Z6TSPRecPA4_iiiiPi(ptr noundef %155, i32 noundef %156, i32 noundef %157, i32 noundef %159, ptr noundef %160)
  br label %161

161:                                              ; preds = %146, %140
  %162 = load ptr, ptr %6, align 8, !tbaa !5
  %163 = load ptr, ptr %10, align 8, !tbaa !5
  %164 = load i32, ptr %9, align 4, !tbaa !9
  %165 = sub nsw i32 %164, 1
  %166 = sext i32 %165 to i64
  %167 = getelementptr inbounds i32, ptr %163, i64 %166
  %168 = load i32, ptr %167, align 4, !tbaa !9
  %169 = sext i32 %168 to i64
  %170 = getelementptr inbounds [4 x i32], ptr %162, i64 %169
  %171 = load i32, ptr %12, align 4, !tbaa !9
  %172 = sext i32 %171 to i64
  %173 = getelementptr inbounds [4 x i32], ptr %170, i64 0, i64 %172
  %174 = load i32, ptr %173, align 4, !tbaa !9
  %175 = load i32, ptr %8, align 4, !tbaa !9
  %176 = sub nsw i32 %175, %174
  store i32 %176, ptr %8, align 4, !tbaa !9
  %177 = load i32, ptr %14, align 4, !tbaa !9
  store i32 %177, ptr %7, align 4, !tbaa !9
  call void @llvm.memset.p0.i64(ptr align 1 @visited, i8 0, i64 4, i1 false)
  call void @llvm.lifetime.start.p0(i64 4, ptr %15) #4
  store i32 0, ptr %15, align 4, !tbaa !9
  br label %178

178:                                              ; preds = %192, %161
  %179 = load i32, ptr %15, align 4, !tbaa !9
  %180 = load i32, ptr %9, align 4, !tbaa !9
  %181 = sub nsw i32 %180, 1
  %182 = icmp sle i32 %179, %181
  br i1 %182, label %184, label %183

183:                                              ; preds = %178
  store i32 5, ptr %13, align 4
  call void @llvm.lifetime.end.p0(i64 4, ptr %15) #4
  br label %195

184:                                              ; preds = %178
  %185 = load ptr, ptr %10, align 8, !tbaa !5
  %186 = load i32, ptr %15, align 4, !tbaa !9
  %187 = sext i32 %186 to i64
  %188 = getelementptr inbounds i32, ptr %185, i64 %187
  %189 = load i32, ptr %188, align 4, !tbaa !9
  %190 = sext i32 %189 to i64
  %191 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %190
  store i8 1, ptr %191, align 1, !tbaa !11
  br label %192

192:                                              ; preds = %184
  %193 = load i32, ptr %15, align 4, !tbaa !9
  %194 = add nsw i32 %193, 1
  store i32 %194, ptr %15, align 4, !tbaa !9
  br label %178, !llvm.loop !15

195:                                              ; preds = %183
  call void @llvm.lifetime.end.p0(i64 4, ptr %14) #4
  br label %196

196:                                              ; preds = %195, %81, %66
  br label %197

197:                                              ; preds = %196
  %198 = load i32, ptr %12, align 4, !tbaa !9
  %199 = add nsw i32 %198, 1
  store i32 %199, ptr %12, align 4, !tbaa !9
  br label %62, !llvm.loop !17

200:                                              ; preds = %65, %60
  ret void
}

; Function Attrs: nocallback nofree nounwind willreturn memory(argmem: write)
declare void @llvm.memset.p0.i64(ptr nocapture writeonly, i8, i64, i1 immarg) #3

attributes #0 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
attributes #2 = { mustprogress uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
attributes #3 = { nocallback nofree nounwind willreturn memory(argmem: write) }
attributes #4 = { nounwind }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"any pointer", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{!10, !10, i64 0}
!10 = !{!"int", !7, i64 0}
!11 = !{!12, !12, i64 0}
!12 = !{!"bool", !7, i64 0}
!13 = !{i8 0, i8 2}
!14 = !{}
!15 = distinct !{!15, !16}
!16 = !{!"llvm.loop.mustprogress"}
!17 = distinct !{!17, !16}


; Optimized IR (opt -passes='default<O3>'):
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@visited = external dso_local local_unnamed_addr global [4 x i8], align 1
@final_res = external dso_local local_unnamed_addr global i32, align 4

; Function Attrs: mustprogress nounwind uwtable
declare dso_local void @_Z11copyToFinalPi(ptr noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z8firstMinPA4_ii(ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nounwind uwtable
declare dso_local noundef i32 @_Z9secondMinPA4_ii(ptr noundef, i32 noundef) local_unnamed_addr #0

; Function Attrs: mustprogress nounwind uwtable
define dso_local void @_Z6TSPRecPA4_iiiiPi(ptr noundef %0, i32 noundef %1, i32 noundef %2, i32 noundef %3, ptr noundef %4) local_unnamed_addr #0 {
  %6 = icmp eq i32 %3, 4
  br i1 %6, label %253, label %.preheader

.preheader:                                       ; preds = %5
  %7 = sext i32 %3 to i64
  %8 = getelementptr i32, ptr %4, i64 %7
  %9 = getelementptr i8, ptr %8, i64 -4
  %10 = icmp eq i32 %3, 1
  %11 = add nsw i32 %3, 1
  br i1 %10, label %.preheader.split.us.split.us.preheader, label %.preheader.split

.preheader.split.us.split.us.preheader:           ; preds = %.preheader
  %12 = load i32, ptr %9, align 4, !tbaa !5
  %13 = sext i32 %12 to i64
  %14 = getelementptr inbounds [4 x i32], ptr %0, i64 %13, i64 0
  %15 = load i32, ptr %14, align 4, !tbaa !5
  %.not.us.us = icmp ne i32 %15, 0
  %16 = load i8, ptr @visited, align 1, !range !9
  %17 = icmp eq i8 %16, 0
  %or.cond = select i1 %.not.us.us, i1 %17, i1 false
  br i1 %or.cond, label %18, label %..loopexit_crit_edge.us.us

18:                                               ; preds = %.preheader.split.us.split.us.preheader
  %19 = add nsw i32 %15, %2
  %20 = load i32, ptr %4, align 4, !tbaa !5
  %21 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef %20)
  %22 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 0)
  %23 = add nsw i32 %22, %21
  %.neg69.pn.us.us = sdiv i32 %23, -2
  %.1.us.us = add i32 %.neg69.pn.us.us, %1
  %24 = add nsw i32 %.1.us.us, %19
  %25 = load i32, ptr @final_res, align 4, !tbaa !5
  %26 = icmp slt i32 %24, %25
  br i1 %26, label %27, label %.lr.ph.us.us

27:                                               ; preds = %18
  store i32 0, ptr %8, align 4, !tbaa !5
  store i8 1, ptr @visited, align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us.us, i32 noundef %19, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us.us

.lr.ph.us.us:                                     ; preds = %27, %18
  %28 = load i32, ptr %9, align 4, !tbaa !5
  %29 = sext i32 %28 to i64
  %30 = getelementptr inbounds [4 x i32], ptr %0, i64 %29, i64 0
  %31 = load i32, ptr %30, align 4, !tbaa !5
  store i32 0, ptr @visited, align 1
  %32 = load i32, ptr %4, align 4, !tbaa !5
  %33 = sext i32 %32 to i64
  %34 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %33
  store i8 1, ptr %34, align 1, !tbaa !10
  %35 = sub nsw i32 %19, %31
  %.pre109 = load i32, ptr %9, align 4, !tbaa !5
  %.pre123 = sext i32 %.pre109 to i64
  br label %..loopexit_crit_edge.us.us

..loopexit_crit_edge.us.us:                       ; preds = %.lr.ph.us.us, %.preheader.split.us.split.us.preheader
  %.pre-phi124 = phi i64 [ %.pre123, %.lr.ph.us.us ], [ %13, %.preheader.split.us.split.us.preheader ]
  %.163.us.us = phi i32 [ %35, %.lr.ph.us.us ], [ %2, %.preheader.split.us.split.us.preheader ]
  %36 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi124, i64 1
  %37 = load i32, ptr %36, align 4, !tbaa !5
  %.not.us.us.1 = icmp ne i32 %37, 0
  %38 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 1), align 1, !range !9
  %39 = icmp eq i8 %38, 0
  %or.cond131 = select i1 %.not.us.us.1, i1 %39, i1 false
  br i1 %or.cond131, label %40, label %..loopexit_crit_edge.us.us.1

40:                                               ; preds = %..loopexit_crit_edge.us.us
  %41 = add nsw i32 %37, %.163.us.us
  %42 = load i32, ptr %4, align 4, !tbaa !5
  %43 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef %42)
  %44 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 1)
  %45 = add nsw i32 %44, %43
  %.neg69.pn.us.us.1 = sdiv i32 %45, -2
  %.1.us.us.1 = add i32 %.neg69.pn.us.us.1, %1
  %46 = add nsw i32 %.1.us.us.1, %41
  %47 = load i32, ptr @final_res, align 4, !tbaa !5
  %48 = icmp slt i32 %46, %47
  br i1 %48, label %49, label %.lr.ph.us.us.1

49:                                               ; preds = %40
  store i32 1, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 1), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us.us.1, i32 noundef %41, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us.us.1

.lr.ph.us.us.1:                                   ; preds = %49, %40
  %50 = load i32, ptr %9, align 4, !tbaa !5
  %51 = sext i32 %50 to i64
  %52 = getelementptr inbounds [4 x i32], ptr %0, i64 %51, i64 1
  %53 = load i32, ptr %52, align 4, !tbaa !5
  store i32 0, ptr @visited, align 1
  %54 = load i32, ptr %4, align 4, !tbaa !5
  %55 = sext i32 %54 to i64
  %56 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %55
  store i8 1, ptr %56, align 1, !tbaa !10
  %57 = sub nsw i32 %41, %53
  %.pre110 = load i32, ptr %9, align 4, !tbaa !5
  %.pre125 = sext i32 %.pre110 to i64
  br label %..loopexit_crit_edge.us.us.1

..loopexit_crit_edge.us.us.1:                     ; preds = %.lr.ph.us.us.1, %..loopexit_crit_edge.us.us
  %.pre-phi126 = phi i64 [ %.pre125, %.lr.ph.us.us.1 ], [ %.pre-phi124, %..loopexit_crit_edge.us.us ]
  %.163.us.us.1 = phi i32 [ %57, %.lr.ph.us.us.1 ], [ %.163.us.us, %..loopexit_crit_edge.us.us ]
  %58 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi126, i64 2
  %59 = load i32, ptr %58, align 4, !tbaa !5
  %.not.us.us.2 = icmp ne i32 %59, 0
  %60 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 2), align 1, !range !9
  %61 = icmp eq i8 %60, 0
  %or.cond133 = select i1 %.not.us.us.2, i1 %61, i1 false
  br i1 %or.cond133, label %62, label %..loopexit_crit_edge.us.us.2

62:                                               ; preds = %..loopexit_crit_edge.us.us.1
  %63 = add nsw i32 %59, %.163.us.us.1
  %64 = load i32, ptr %4, align 4, !tbaa !5
  %65 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef %64)
  %66 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 2)
  %67 = add nsw i32 %66, %65
  %.neg69.pn.us.us.2 = sdiv i32 %67, -2
  %.1.us.us.2 = add i32 %.neg69.pn.us.us.2, %1
  %68 = add nsw i32 %.1.us.us.2, %63
  %69 = load i32, ptr @final_res, align 4, !tbaa !5
  %70 = icmp slt i32 %68, %69
  br i1 %70, label %71, label %.lr.ph.us.us.2

71:                                               ; preds = %62
  store i32 2, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 2), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us.us.2, i32 noundef %63, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us.us.2

.lr.ph.us.us.2:                                   ; preds = %71, %62
  %72 = load i32, ptr %9, align 4, !tbaa !5
  %73 = sext i32 %72 to i64
  %74 = getelementptr inbounds [4 x i32], ptr %0, i64 %73, i64 2
  %75 = load i32, ptr %74, align 4, !tbaa !5
  store i32 0, ptr @visited, align 1
  %76 = load i32, ptr %4, align 4, !tbaa !5
  %77 = sext i32 %76 to i64
  %78 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %77
  store i8 1, ptr %78, align 1, !tbaa !10
  %79 = sub nsw i32 %63, %75
  %.pre111 = load i32, ptr %9, align 4, !tbaa !5
  %.pre127 = sext i32 %.pre111 to i64
  br label %..loopexit_crit_edge.us.us.2

..loopexit_crit_edge.us.us.2:                     ; preds = %.lr.ph.us.us.2, %..loopexit_crit_edge.us.us.1
  %.pre-phi128 = phi i64 [ %.pre127, %.lr.ph.us.us.2 ], [ %.pre-phi126, %..loopexit_crit_edge.us.us.1 ]
  %.163.us.us.2 = phi i32 [ %79, %.lr.ph.us.us.2 ], [ %.163.us.us.1, %..loopexit_crit_edge.us.us.1 ]
  %80 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi128, i64 3
  %81 = load i32, ptr %80, align 4, !tbaa !5
  %.not.us.us.3 = icmp ne i32 %81, 0
  %82 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 3), align 1, !range !9
  %83 = icmp eq i8 %82, 0
  %or.cond135 = select i1 %.not.us.us.3, i1 %83, i1 false
  br i1 %or.cond135, label %84, label %.loopexit72

84:                                               ; preds = %..loopexit_crit_edge.us.us.2
  %85 = add nsw i32 %81, %.163.us.us.2
  %86 = load i32, ptr %4, align 4, !tbaa !5
  %87 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef %86)
  %88 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 3)
  %89 = add nsw i32 %88, %87
  %.neg69.pn.us.us.3 = sdiv i32 %89, -2
  %.1.us.us.3 = add i32 %.neg69.pn.us.us.3, %1
  %90 = add nsw i32 %.1.us.us.3, %85
  %91 = load i32, ptr @final_res, align 4, !tbaa !5
  %92 = icmp slt i32 %90, %91
  br i1 %92, label %93, label %.lr.ph.us.us.3

93:                                               ; preds = %84
  store i32 3, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 3), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us.us.3, i32 noundef %85, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us.us.3

.lr.ph.us.us.3:                                   ; preds = %93, %84
  store i32 0, ptr @visited, align 1
  %94 = load i32, ptr %4, align 4, !tbaa !5
  %95 = sext i32 %94 to i64
  %96 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %95
  store i8 1, ptr %96, align 1, !tbaa !10
  br label %.loopexit72

.preheader.split:                                 ; preds = %.preheader
  %.not70.not73 = icmp sgt i32 %3, 0
  %97 = load i32, ptr %9, align 4, !tbaa !5
  %98 = sext i32 %97 to i64
  %99 = getelementptr inbounds [4 x i32], ptr %0, i64 %98, i64 0
  %100 = load i32, ptr %99, align 4, !tbaa !5
  %.not.us80 = icmp ne i32 %100, 0
  %101 = load i8, ptr @visited, align 1, !range !9
  %102 = icmp eq i8 %101, 0
  %or.cond137 = select i1 %.not.us80, i1 %102, i1 false
  br i1 %.not70.not73, label %.preheader.split.split.us.preheader, label %.preheader.split.split.preheader

.preheader.split.split.preheader:                 ; preds = %.preheader.split
  br i1 %or.cond137, label %266, label %.preheader.split.split.1

.preheader.split.split.us.preheader:              ; preds = %.preheader.split
  br i1 %or.cond137, label %103, label %..loopexit_crit_edge.us88

103:                                              ; preds = %.preheader.split.split.us.preheader
  %104 = add nsw i32 %100, %2
  %105 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %97)
  %106 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 0)
  %107 = add nsw i32 %106, %105
  %.neg69.pn.us81 = sdiv i32 %107, -2
  %.1.us82 = add i32 %.neg69.pn.us81, %1
  %108 = add nsw i32 %.1.us82, %104
  %109 = load i32, ptr @final_res, align 4, !tbaa !5
  %110 = icmp slt i32 %108, %109
  br i1 %110, label %111, label %.lr.ph.us87

111:                                              ; preds = %103
  store i32 0, ptr %8, align 4, !tbaa !5
  store i8 1, ptr @visited, align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us82, i32 noundef %104, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us87

.lr.ph.us87:                                      ; preds = %111, %103
  %112 = load i32, ptr %9, align 4, !tbaa !5
  %113 = sext i32 %112 to i64
  %114 = getelementptr inbounds [4 x i32], ptr %0, i64 %113, i64 0
  %115 = load i32, ptr %114, align 4, !tbaa !5
  store i32 0, ptr @visited, align 1
  %wide.trip.count = zext nneg i32 %3 to i64
  %xtraiter = and i64 %wide.trip.count, 3
  %116 = icmp ult i32 %3, 4
  br i1 %116, label %..loopexit_crit_edge.us88.loopexit.unr-lcssa, label %.lr.ph.us87.new

.lr.ph.us87.new:                                  ; preds = %.lr.ph.us87
  %unroll_iter = and i64 %wide.trip.count, 2147483644
  br label %117

117:                                              ; preds = %117, %.lr.ph.us87.new
  %indvars.iv = phi i64 [ 0, %.lr.ph.us87.new ], [ %indvars.iv.next.3158, %117 ]
  %niter = phi i64 [ 0, %.lr.ph.us87.new ], [ %niter.next.3, %117 ]
  %118 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv
  %119 = load i32, ptr %118, align 4, !tbaa !5
  %120 = sext i32 %119 to i64
  %121 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %120
  store i8 1, ptr %121, align 1, !tbaa !10
  %indvars.iv.next = or disjoint i64 %indvars.iv, 1
  %122 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next
  %123 = load i32, ptr %122, align 4, !tbaa !5
  %124 = sext i32 %123 to i64
  %125 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %124
  store i8 1, ptr %125, align 1, !tbaa !10
  %indvars.iv.next.1154 = or disjoint i64 %indvars.iv, 2
  %126 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.1154
  %127 = load i32, ptr %126, align 4, !tbaa !5
  %128 = sext i32 %127 to i64
  %129 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %128
  store i8 1, ptr %129, align 1, !tbaa !10
  %indvars.iv.next.2156 = or disjoint i64 %indvars.iv, 3
  %130 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.2156
  %131 = load i32, ptr %130, align 4, !tbaa !5
  %132 = sext i32 %131 to i64
  %133 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %132
  store i8 1, ptr %133, align 1, !tbaa !10
  %indvars.iv.next.3158 = add nuw nsw i64 %indvars.iv, 4
  %niter.next.3 = add i64 %niter, 4
  %niter.ncmp.3 = icmp eq i64 %niter.next.3, %unroll_iter
  br i1 %niter.ncmp.3, label %..loopexit_crit_edge.us88.loopexit.unr-lcssa, label %117, !llvm.loop !12

..loopexit_crit_edge.us88.loopexit.unr-lcssa:     ; preds = %117, %.lr.ph.us87
  %indvars.iv.unr = phi i64 [ 0, %.lr.ph.us87 ], [ %indvars.iv.next.3158, %117 ]
  %lcmp.mod.not = icmp eq i64 %xtraiter, 0
  br i1 %lcmp.mod.not, label %..loopexit_crit_edge.us88.loopexit, label %.epil.preheader

.epil.preheader:                                  ; preds = %..loopexit_crit_edge.us88.loopexit.unr-lcssa, %.epil.preheader
  %indvars.iv.epil = phi i64 [ %indvars.iv.next.epil, %.epil.preheader ], [ %indvars.iv.unr, %..loopexit_crit_edge.us88.loopexit.unr-lcssa ]
  %epil.iter = phi i64 [ %epil.iter.next, %.epil.preheader ], [ 0, %..loopexit_crit_edge.us88.loopexit.unr-lcssa ]
  %134 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.epil
  %135 = load i32, ptr %134, align 4, !tbaa !5
  %136 = sext i32 %135 to i64
  %137 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %136
  store i8 1, ptr %137, align 1, !tbaa !10
  %indvars.iv.next.epil = add nuw nsw i64 %indvars.iv.epil, 1
  %epil.iter.next = add i64 %epil.iter, 1
  %epil.iter.cmp.not = icmp eq i64 %epil.iter.next, %xtraiter
  br i1 %epil.iter.cmp.not, label %..loopexit_crit_edge.us88.loopexit, label %.epil.preheader, !llvm.loop !14

..loopexit_crit_edge.us88.loopexit:               ; preds = %.epil.preheader, %..loopexit_crit_edge.us88.loopexit.unr-lcssa
  %138 = sub nsw i32 %104, %115
  %.pre106 = load i32, ptr %9, align 4, !tbaa !5
  %.pre117 = sext i32 %.pre106 to i64
  br label %..loopexit_crit_edge.us88

..loopexit_crit_edge.us88:                        ; preds = %..loopexit_crit_edge.us88.loopexit, %.preheader.split.split.us.preheader
  %.pre-phi118 = phi i64 [ %.pre117, %..loopexit_crit_edge.us88.loopexit ], [ %98, %.preheader.split.split.us.preheader ]
  %139 = phi i32 [ %.pre106, %..loopexit_crit_edge.us88.loopexit ], [ %97, %.preheader.split.split.us.preheader ]
  %.163.us85 = phi i32 [ %138, %..loopexit_crit_edge.us88.loopexit ], [ %2, %.preheader.split.split.us.preheader ]
  %140 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi118, i64 1
  %141 = load i32, ptr %140, align 4, !tbaa !5
  %.not.us80.1 = icmp ne i32 %141, 0
  %142 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 1), align 1, !range !9
  %143 = icmp eq i8 %142, 0
  %or.cond139 = select i1 %.not.us80.1, i1 %143, i1 false
  br i1 %or.cond139, label %144, label %..loopexit_crit_edge.us88.1

144:                                              ; preds = %..loopexit_crit_edge.us88
  %145 = add nsw i32 %141, %.163.us85
  %146 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %139)
  %147 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 1)
  %148 = add nsw i32 %147, %146
  %.neg69.pn.us81.1 = sdiv i32 %148, -2
  %.1.us82.1 = add i32 %.neg69.pn.us81.1, %1
  %149 = add nsw i32 %.1.us82.1, %145
  %150 = load i32, ptr @final_res, align 4, !tbaa !5
  %151 = icmp slt i32 %149, %150
  br i1 %151, label %152, label %.lr.ph.us87.1

152:                                              ; preds = %144
  store i32 1, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 1), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us82.1, i32 noundef %145, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us87.1

.lr.ph.us87.1:                                    ; preds = %152, %144
  %153 = load i32, ptr %9, align 4, !tbaa !5
  %154 = sext i32 %153 to i64
  %155 = getelementptr inbounds [4 x i32], ptr %0, i64 %154, i64 1
  %156 = load i32, ptr %155, align 4, !tbaa !5
  store i32 0, ptr @visited, align 1
  %wide.trip.count.1 = zext nneg i32 %3 to i64
  %xtraiter160 = and i64 %wide.trip.count.1, 3
  %157 = icmp ult i32 %3, 4
  br i1 %157, label %..loopexit_crit_edge.us88.loopexit.1.unr-lcssa, label %.lr.ph.us87.1.new

.lr.ph.us87.1.new:                                ; preds = %.lr.ph.us87.1
  %unroll_iter163 = and i64 %wide.trip.count.1, 2147483644
  br label %158

158:                                              ; preds = %158, %.lr.ph.us87.1.new
  %indvars.iv.1 = phi i64 [ 0, %.lr.ph.us87.1.new ], [ %indvars.iv.next.1.3, %158 ]
  %niter164 = phi i64 [ 0, %.lr.ph.us87.1.new ], [ %niter164.next.3, %158 ]
  %159 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.1
  %160 = load i32, ptr %159, align 4, !tbaa !5
  %161 = sext i32 %160 to i64
  %162 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %161
  store i8 1, ptr %162, align 1, !tbaa !10
  %indvars.iv.next.1 = or disjoint i64 %indvars.iv.1, 1
  %163 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.1
  %164 = load i32, ptr %163, align 4, !tbaa !5
  %165 = sext i32 %164 to i64
  %166 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %165
  store i8 1, ptr %166, align 1, !tbaa !10
  %indvars.iv.next.1.1 = or disjoint i64 %indvars.iv.1, 2
  %167 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.1.1
  %168 = load i32, ptr %167, align 4, !tbaa !5
  %169 = sext i32 %168 to i64
  %170 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %169
  store i8 1, ptr %170, align 1, !tbaa !10
  %indvars.iv.next.1.2 = or disjoint i64 %indvars.iv.1, 3
  %171 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.1.2
  %172 = load i32, ptr %171, align 4, !tbaa !5
  %173 = sext i32 %172 to i64
  %174 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %173
  store i8 1, ptr %174, align 1, !tbaa !10
  %indvars.iv.next.1.3 = add nuw nsw i64 %indvars.iv.1, 4
  %niter164.next.3 = add i64 %niter164, 4
  %niter164.ncmp.3 = icmp eq i64 %niter164.next.3, %unroll_iter163
  br i1 %niter164.ncmp.3, label %..loopexit_crit_edge.us88.loopexit.1.unr-lcssa, label %158, !llvm.loop !12

..loopexit_crit_edge.us88.loopexit.1.unr-lcssa:   ; preds = %158, %.lr.ph.us87.1
  %indvars.iv.1.unr = phi i64 [ 0, %.lr.ph.us87.1 ], [ %indvars.iv.next.1.3, %158 ]
  %lcmp.mod162.not = icmp eq i64 %xtraiter160, 0
  br i1 %lcmp.mod162.not, label %..loopexit_crit_edge.us88.loopexit.1, label %.epil.preheader159

.epil.preheader159:                               ; preds = %..loopexit_crit_edge.us88.loopexit.1.unr-lcssa, %.epil.preheader159
  %indvars.iv.1.epil = phi i64 [ %indvars.iv.next.1.epil, %.epil.preheader159 ], [ %indvars.iv.1.unr, %..loopexit_crit_edge.us88.loopexit.1.unr-lcssa ]
  %epil.iter161 = phi i64 [ %epil.iter161.next, %.epil.preheader159 ], [ 0, %..loopexit_crit_edge.us88.loopexit.1.unr-lcssa ]
  %175 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.1.epil
  %176 = load i32, ptr %175, align 4, !tbaa !5
  %177 = sext i32 %176 to i64
  %178 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %177
  store i8 1, ptr %178, align 1, !tbaa !10
  %indvars.iv.next.1.epil = add nuw nsw i64 %indvars.iv.1.epil, 1
  %epil.iter161.next = add i64 %epil.iter161, 1
  %epil.iter161.cmp.not = icmp eq i64 %epil.iter161.next, %xtraiter160
  br i1 %epil.iter161.cmp.not, label %..loopexit_crit_edge.us88.loopexit.1, label %.epil.preheader159, !llvm.loop !16

..loopexit_crit_edge.us88.loopexit.1:             ; preds = %.epil.preheader159, %..loopexit_crit_edge.us88.loopexit.1.unr-lcssa
  %179 = sub nsw i32 %145, %156
  %.pre107 = load i32, ptr %9, align 4, !tbaa !5
  %.pre119 = sext i32 %.pre107 to i64
  br label %..loopexit_crit_edge.us88.1

..loopexit_crit_edge.us88.1:                      ; preds = %..loopexit_crit_edge.us88.loopexit.1, %..loopexit_crit_edge.us88
  %.pre-phi120 = phi i64 [ %.pre119, %..loopexit_crit_edge.us88.loopexit.1 ], [ %.pre-phi118, %..loopexit_crit_edge.us88 ]
  %180 = phi i32 [ %.pre107, %..loopexit_crit_edge.us88.loopexit.1 ], [ %139, %..loopexit_crit_edge.us88 ]
  %.163.us85.1 = phi i32 [ %179, %..loopexit_crit_edge.us88.loopexit.1 ], [ %.163.us85, %..loopexit_crit_edge.us88 ]
  %181 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi120, i64 2
  %182 = load i32, ptr %181, align 4, !tbaa !5
  %.not.us80.2 = icmp ne i32 %182, 0
  %183 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 2), align 1, !range !9
  %184 = icmp eq i8 %183, 0
  %or.cond141 = select i1 %.not.us80.2, i1 %184, i1 false
  br i1 %or.cond141, label %185, label %..loopexit_crit_edge.us88.2

185:                                              ; preds = %..loopexit_crit_edge.us88.1
  %186 = add nsw i32 %182, %.163.us85.1
  %187 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %180)
  %188 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 2)
  %189 = add nsw i32 %188, %187
  %.neg69.pn.us81.2 = sdiv i32 %189, -2
  %.1.us82.2 = add i32 %.neg69.pn.us81.2, %1
  %190 = add nsw i32 %.1.us82.2, %186
  %191 = load i32, ptr @final_res, align 4, !tbaa !5
  %192 = icmp slt i32 %190, %191
  br i1 %192, label %193, label %.lr.ph.us87.2

193:                                              ; preds = %185
  store i32 2, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 2), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us82.2, i32 noundef %186, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us87.2

.lr.ph.us87.2:                                    ; preds = %193, %185
  %194 = load i32, ptr %9, align 4, !tbaa !5
  %195 = sext i32 %194 to i64
  %196 = getelementptr inbounds [4 x i32], ptr %0, i64 %195, i64 2
  %197 = load i32, ptr %196, align 4, !tbaa !5
  store i32 0, ptr @visited, align 1
  %wide.trip.count.2 = zext nneg i32 %3 to i64
  %xtraiter166 = and i64 %wide.trip.count.2, 3
  %198 = icmp ult i32 %3, 4
  br i1 %198, label %..loopexit_crit_edge.us88.loopexit.2.unr-lcssa, label %.lr.ph.us87.2.new

.lr.ph.us87.2.new:                                ; preds = %.lr.ph.us87.2
  %unroll_iter169 = and i64 %wide.trip.count.2, 2147483644
  br label %199

199:                                              ; preds = %199, %.lr.ph.us87.2.new
  %indvars.iv.2 = phi i64 [ 0, %.lr.ph.us87.2.new ], [ %indvars.iv.next.2.3, %199 ]
  %niter170 = phi i64 [ 0, %.lr.ph.us87.2.new ], [ %niter170.next.3, %199 ]
  %200 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.2
  %201 = load i32, ptr %200, align 4, !tbaa !5
  %202 = sext i32 %201 to i64
  %203 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %202
  store i8 1, ptr %203, align 1, !tbaa !10
  %indvars.iv.next.2 = or disjoint i64 %indvars.iv.2, 1
  %204 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.2
  %205 = load i32, ptr %204, align 4, !tbaa !5
  %206 = sext i32 %205 to i64
  %207 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %206
  store i8 1, ptr %207, align 1, !tbaa !10
  %indvars.iv.next.2.1 = or disjoint i64 %indvars.iv.2, 2
  %208 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.2.1
  %209 = load i32, ptr %208, align 4, !tbaa !5
  %210 = sext i32 %209 to i64
  %211 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %210
  store i8 1, ptr %211, align 1, !tbaa !10
  %indvars.iv.next.2.2 = or disjoint i64 %indvars.iv.2, 3
  %212 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.2.2
  %213 = load i32, ptr %212, align 4, !tbaa !5
  %214 = sext i32 %213 to i64
  %215 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %214
  store i8 1, ptr %215, align 1, !tbaa !10
  %indvars.iv.next.2.3 = add nuw nsw i64 %indvars.iv.2, 4
  %niter170.next.3 = add i64 %niter170, 4
  %niter170.ncmp.3 = icmp eq i64 %niter170.next.3, %unroll_iter169
  br i1 %niter170.ncmp.3, label %..loopexit_crit_edge.us88.loopexit.2.unr-lcssa, label %199, !llvm.loop !12

..loopexit_crit_edge.us88.loopexit.2.unr-lcssa:   ; preds = %199, %.lr.ph.us87.2
  %indvars.iv.2.unr = phi i64 [ 0, %.lr.ph.us87.2 ], [ %indvars.iv.next.2.3, %199 ]
  %lcmp.mod168.not = icmp eq i64 %xtraiter166, 0
  br i1 %lcmp.mod168.not, label %..loopexit_crit_edge.us88.loopexit.2, label %.epil.preheader165

.epil.preheader165:                               ; preds = %..loopexit_crit_edge.us88.loopexit.2.unr-lcssa, %.epil.preheader165
  %indvars.iv.2.epil = phi i64 [ %indvars.iv.next.2.epil, %.epil.preheader165 ], [ %indvars.iv.2.unr, %..loopexit_crit_edge.us88.loopexit.2.unr-lcssa ]
  %epil.iter167 = phi i64 [ %epil.iter167.next, %.epil.preheader165 ], [ 0, %..loopexit_crit_edge.us88.loopexit.2.unr-lcssa ]
  %216 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.2.epil
  %217 = load i32, ptr %216, align 4, !tbaa !5
  %218 = sext i32 %217 to i64
  %219 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %218
  store i8 1, ptr %219, align 1, !tbaa !10
  %indvars.iv.next.2.epil = add nuw nsw i64 %indvars.iv.2.epil, 1
  %epil.iter167.next = add i64 %epil.iter167, 1
  %epil.iter167.cmp.not = icmp eq i64 %epil.iter167.next, %xtraiter166
  br i1 %epil.iter167.cmp.not, label %..loopexit_crit_edge.us88.loopexit.2, label %.epil.preheader165, !llvm.loop !17

..loopexit_crit_edge.us88.loopexit.2:             ; preds = %.epil.preheader165, %..loopexit_crit_edge.us88.loopexit.2.unr-lcssa
  %220 = sub nsw i32 %186, %197
  %.pre108 = load i32, ptr %9, align 4, !tbaa !5
  %.pre121 = sext i32 %.pre108 to i64
  br label %..loopexit_crit_edge.us88.2

..loopexit_crit_edge.us88.2:                      ; preds = %..loopexit_crit_edge.us88.loopexit.2, %..loopexit_crit_edge.us88.1
  %.pre-phi122 = phi i64 [ %.pre121, %..loopexit_crit_edge.us88.loopexit.2 ], [ %.pre-phi120, %..loopexit_crit_edge.us88.1 ]
  %221 = phi i32 [ %.pre108, %..loopexit_crit_edge.us88.loopexit.2 ], [ %180, %..loopexit_crit_edge.us88.1 ]
  %.163.us85.2 = phi i32 [ %220, %..loopexit_crit_edge.us88.loopexit.2 ], [ %.163.us85.1, %..loopexit_crit_edge.us88.1 ]
  %222 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi122, i64 3
  %223 = load i32, ptr %222, align 4, !tbaa !5
  %.not.us80.3 = icmp ne i32 %223, 0
  %224 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 3), align 1, !range !9
  %225 = icmp eq i8 %224, 0
  %or.cond143 = select i1 %.not.us80.3, i1 %225, i1 false
  br i1 %or.cond143, label %226, label %.loopexit72

226:                                              ; preds = %..loopexit_crit_edge.us88.2
  %227 = add nsw i32 %223, %.163.us85.2
  %228 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %221)
  %229 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 3)
  %230 = add nsw i32 %229, %228
  %.neg69.pn.us81.3 = sdiv i32 %230, -2
  %.1.us82.3 = add i32 %.neg69.pn.us81.3, %1
  %231 = add nsw i32 %.1.us82.3, %227
  %232 = load i32, ptr @final_res, align 4, !tbaa !5
  %233 = icmp slt i32 %231, %232
  br i1 %233, label %234, label %.lr.ph.us87.3

234:                                              ; preds = %226
  store i32 3, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 3), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.us82.3, i32 noundef %227, i32 noundef %11, ptr noundef nonnull %4)
  br label %.lr.ph.us87.3

.lr.ph.us87.3:                                    ; preds = %234, %226
  store i32 0, ptr @visited, align 1
  %wide.trip.count.3 = zext nneg i32 %3 to i64
  %xtraiter172 = and i64 %wide.trip.count.3, 3
  %235 = icmp ult i32 %3, 4
  br i1 %235, label %.loopexit72.loopexit.unr-lcssa, label %.lr.ph.us87.3.new

.lr.ph.us87.3.new:                                ; preds = %.lr.ph.us87.3
  %unroll_iter175 = and i64 %wide.trip.count.3, 2147483644
  br label %236

236:                                              ; preds = %236, %.lr.ph.us87.3.new
  %indvars.iv.3 = phi i64 [ 0, %.lr.ph.us87.3.new ], [ %indvars.iv.next.3.3, %236 ]
  %niter176 = phi i64 [ 0, %.lr.ph.us87.3.new ], [ %niter176.next.3, %236 ]
  %237 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.3
  %238 = load i32, ptr %237, align 4, !tbaa !5
  %239 = sext i32 %238 to i64
  %240 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %239
  store i8 1, ptr %240, align 1, !tbaa !10
  %indvars.iv.next.3 = or disjoint i64 %indvars.iv.3, 1
  %241 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.3
  %242 = load i32, ptr %241, align 4, !tbaa !5
  %243 = sext i32 %242 to i64
  %244 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %243
  store i8 1, ptr %244, align 1, !tbaa !10
  %indvars.iv.next.3.1 = or disjoint i64 %indvars.iv.3, 2
  %245 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.3.1
  %246 = load i32, ptr %245, align 4, !tbaa !5
  %247 = sext i32 %246 to i64
  %248 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %247
  store i8 1, ptr %248, align 1, !tbaa !10
  %indvars.iv.next.3.2 = or disjoint i64 %indvars.iv.3, 3
  %249 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.next.3.2
  %250 = load i32, ptr %249, align 4, !tbaa !5
  %251 = sext i32 %250 to i64
  %252 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %251
  store i8 1, ptr %252, align 1, !tbaa !10
  %indvars.iv.next.3.3 = add nuw nsw i64 %indvars.iv.3, 4
  %niter176.next.3 = add i64 %niter176, 4
  %niter176.ncmp.3 = icmp eq i64 %niter176.next.3, %unroll_iter175
  br i1 %niter176.ncmp.3, label %.loopexit72.loopexit.unr-lcssa, label %236, !llvm.loop !12

253:                                              ; preds = %5
  %254 = getelementptr inbounds i8, ptr %4, i64 12
  %255 = load i32, ptr %254, align 4, !tbaa !5
  %256 = sext i32 %255 to i64
  %257 = load i32, ptr %4, align 4, !tbaa !5
  %258 = sext i32 %257 to i64
  %259 = getelementptr inbounds [4 x i32], ptr %0, i64 %256, i64 %258
  %260 = load i32, ptr %259, align 4, !tbaa !5
  %.not71 = icmp eq i32 %260, 0
  br i1 %.not71, label %.loopexit72, label %261

261:                                              ; preds = %253
  %262 = add nsw i32 %260, %2
  %263 = load i32, ptr @final_res, align 4, !tbaa !5
  %264 = icmp slt i32 %262, %263
  br i1 %264, label %265, label %.loopexit72

265:                                              ; preds = %261
  tail call void @_Z11copyToFinalPi(ptr noundef nonnull %4)
  store i32 %262, ptr @final_res, align 4, !tbaa !5
  br label %.loopexit72

266:                                              ; preds = %.preheader.split.split.preheader
  %267 = add nsw i32 %100, %2
  %268 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %97)
  %269 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 0)
  %270 = add nsw i32 %269, %268
  %.neg69.pn = sdiv i32 %270, -2
  %.1 = add i32 %.neg69.pn, %1
  %271 = add nsw i32 %.1, %267
  %272 = load i32, ptr @final_res, align 4, !tbaa !5
  %273 = icmp slt i32 %271, %272
  br i1 %273, label %274, label %.loopexit

274:                                              ; preds = %266
  store i32 0, ptr %8, align 4, !tbaa !5
  store i8 1, ptr @visited, align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1, i32 noundef %267, i32 noundef %11, ptr noundef nonnull %4)
  br label %.loopexit

.loopexit:                                        ; preds = %274, %266
  %275 = load i32, ptr %9, align 4, !tbaa !5
  %276 = sext i32 %275 to i64
  %277 = getelementptr inbounds [4 x i32], ptr %0, i64 %276, i64 0
  %278 = load i32, ptr %277, align 4, !tbaa !5
  %279 = sub nsw i32 %267, %278
  store i32 0, ptr @visited, align 1
  %.pre = load i32, ptr %9, align 4, !tbaa !5
  %.pre112 = sext i32 %.pre to i64
  br label %.preheader.split.split.1

.preheader.split.split.1:                         ; preds = %.loopexit, %.preheader.split.split.preheader
  %.pre-phi = phi i64 [ %.pre112, %.loopexit ], [ %98, %.preheader.split.split.preheader ]
  %280 = phi i32 [ %.pre, %.loopexit ], [ %97, %.preheader.split.split.preheader ]
  %.163 = phi i32 [ %279, %.loopexit ], [ %2, %.preheader.split.split.preheader ]
  %281 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi, i64 1
  %282 = load i32, ptr %281, align 4, !tbaa !5
  %.not.1 = icmp ne i32 %282, 0
  %283 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 1), align 1, !range !9
  %284 = icmp eq i8 %283, 0
  %or.cond148 = select i1 %.not.1, i1 %284, i1 false
  br i1 %or.cond148, label %285, label %.preheader.split.split.2

285:                                              ; preds = %.preheader.split.split.1
  %286 = add nsw i32 %282, %.163
  %287 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %280)
  %288 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 1)
  %289 = add nsw i32 %288, %287
  %.neg69.pn.1 = sdiv i32 %289, -2
  %.1.1 = add i32 %.neg69.pn.1, %1
  %290 = add nsw i32 %.1.1, %286
  %291 = load i32, ptr @final_res, align 4, !tbaa !5
  %292 = icmp slt i32 %290, %291
  br i1 %292, label %293, label %.loopexit.1

293:                                              ; preds = %285
  store i32 1, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 1), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.1, i32 noundef %286, i32 noundef %11, ptr noundef nonnull %4)
  br label %.loopexit.1

.loopexit.1:                                      ; preds = %293, %285
  %294 = load i32, ptr %9, align 4, !tbaa !5
  %295 = sext i32 %294 to i64
  %296 = getelementptr inbounds [4 x i32], ptr %0, i64 %295, i64 1
  %297 = load i32, ptr %296, align 4, !tbaa !5
  %298 = sub nsw i32 %286, %297
  store i32 0, ptr @visited, align 1
  %.pre104 = load i32, ptr %9, align 4, !tbaa !5
  %.pre113 = sext i32 %.pre104 to i64
  br label %.preheader.split.split.2

.preheader.split.split.2:                         ; preds = %.loopexit.1, %.preheader.split.split.1
  %.pre-phi114 = phi i64 [ %.pre113, %.loopexit.1 ], [ %.pre-phi, %.preheader.split.split.1 ]
  %299 = phi i32 [ %.pre104, %.loopexit.1 ], [ %280, %.preheader.split.split.1 ]
  %.163.1 = phi i32 [ %298, %.loopexit.1 ], [ %.163, %.preheader.split.split.1 ]
  %300 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi114, i64 2
  %301 = load i32, ptr %300, align 4, !tbaa !5
  %.not.2 = icmp ne i32 %301, 0
  %302 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 2), align 1, !range !9
  %303 = icmp eq i8 %302, 0
  %or.cond150 = select i1 %.not.2, i1 %303, i1 false
  br i1 %or.cond150, label %304, label %.preheader.split.split.3

304:                                              ; preds = %.preheader.split.split.2
  %305 = add nsw i32 %301, %.163.1
  %306 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %299)
  %307 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 2)
  %308 = add nsw i32 %307, %306
  %.neg69.pn.2 = sdiv i32 %308, -2
  %.1.2 = add i32 %.neg69.pn.2, %1
  %309 = add nsw i32 %.1.2, %305
  %310 = load i32, ptr @final_res, align 4, !tbaa !5
  %311 = icmp slt i32 %309, %310
  br i1 %311, label %312, label %.loopexit.2

312:                                              ; preds = %304
  store i32 2, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 2), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.2, i32 noundef %305, i32 noundef %11, ptr noundef nonnull %4)
  br label %.loopexit.2

.loopexit.2:                                      ; preds = %312, %304
  %313 = load i32, ptr %9, align 4, !tbaa !5
  %314 = sext i32 %313 to i64
  %315 = getelementptr inbounds [4 x i32], ptr %0, i64 %314, i64 2
  %316 = load i32, ptr %315, align 4, !tbaa !5
  %317 = sub nsw i32 %305, %316
  store i32 0, ptr @visited, align 1
  %.pre105 = load i32, ptr %9, align 4, !tbaa !5
  %.pre115 = sext i32 %.pre105 to i64
  br label %.preheader.split.split.3

.preheader.split.split.3:                         ; preds = %.loopexit.2, %.preheader.split.split.2
  %.pre-phi116 = phi i64 [ %.pre115, %.loopexit.2 ], [ %.pre-phi114, %.preheader.split.split.2 ]
  %318 = phi i32 [ %.pre105, %.loopexit.2 ], [ %299, %.preheader.split.split.2 ]
  %.163.2 = phi i32 [ %317, %.loopexit.2 ], [ %.163.1, %.preheader.split.split.2 ]
  %319 = getelementptr inbounds [4 x i32], ptr %0, i64 %.pre-phi116, i64 3
  %320 = load i32, ptr %319, align 4, !tbaa !5
  %.not.3 = icmp ne i32 %320, 0
  %321 = load i8, ptr getelementptr inbounds (i8, ptr @visited, i64 3), align 1, !range !9
  %322 = icmp eq i8 %321, 0
  %or.cond152 = select i1 %.not.3, i1 %322, i1 false
  br i1 %or.cond152, label %323, label %.loopexit72

323:                                              ; preds = %.preheader.split.split.3
  %324 = add nsw i32 %320, %.163.2
  %325 = tail call noundef i32 @_Z9secondMinPA4_ii(ptr noundef nonnull %0, i32 noundef %318)
  %326 = tail call noundef i32 @_Z8firstMinPA4_ii(ptr noundef nonnull %0, i32 noundef 3)
  %327 = add nsw i32 %326, %325
  %.neg69.pn.3 = sdiv i32 %327, -2
  %.1.3 = add i32 %.neg69.pn.3, %1
  %328 = add nsw i32 %.1.3, %324
  %329 = load i32, ptr @final_res, align 4, !tbaa !5
  %330 = icmp slt i32 %328, %329
  br i1 %330, label %331, label %.loopexit.3

331:                                              ; preds = %323
  store i32 3, ptr %8, align 4, !tbaa !5
  store i8 1, ptr getelementptr inbounds (i8, ptr @visited, i64 3), align 1, !tbaa !10
  tail call void @_Z6TSPRecPA4_iiiiPi(ptr noundef nonnull %0, i32 noundef %.1.3, i32 noundef %324, i32 noundef %11, ptr noundef nonnull %4)
  br label %.loopexit.3

.loopexit.3:                                      ; preds = %331, %323
  store i32 0, ptr @visited, align 1
  br label %.loopexit72

.loopexit72.loopexit.unr-lcssa:                   ; preds = %236, %.lr.ph.us87.3
  %indvars.iv.3.unr = phi i64 [ 0, %.lr.ph.us87.3 ], [ %indvars.iv.next.3.3, %236 ]
  %lcmp.mod174.not = icmp eq i64 %xtraiter172, 0
  br i1 %lcmp.mod174.not, label %.loopexit72, label %.epil.preheader171

.epil.preheader171:                               ; preds = %.loopexit72.loopexit.unr-lcssa, %.epil.preheader171
  %indvars.iv.3.epil = phi i64 [ %indvars.iv.next.3.epil, %.epil.preheader171 ], [ %indvars.iv.3.unr, %.loopexit72.loopexit.unr-lcssa ]
  %epil.iter173 = phi i64 [ %epil.iter173.next, %.epil.preheader171 ], [ 0, %.loopexit72.loopexit.unr-lcssa ]
  %332 = getelementptr inbounds i32, ptr %4, i64 %indvars.iv.3.epil
  %333 = load i32, ptr %332, align 4, !tbaa !5
  %334 = sext i32 %333 to i64
  %335 = getelementptr inbounds [4 x i8], ptr @visited, i64 0, i64 %334
  store i8 1, ptr %335, align 1, !tbaa !10
  %indvars.iv.next.3.epil = add nuw nsw i64 %indvars.iv.3.epil, 1
  %epil.iter173.next = add i64 %epil.iter173, 1
  %epil.iter173.cmp.not = icmp eq i64 %epil.iter173.next, %xtraiter172
  br i1 %epil.iter173.cmp.not, label %.loopexit72, label %.epil.preheader171, !llvm.loop !18

.loopexit72:                                      ; preds = %.loopexit72.loopexit.unr-lcssa, %.epil.preheader171, %.preheader.split.split.3, %.loopexit.3, %..loopexit_crit_edge.us88.2, %..loopexit_crit_edge.us.us.2, %.lr.ph.us.us.3, %261, %265, %253
  ret void
}

attributes #0 = { mustprogress nounwind uwtable "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cmov,+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }

!llvm.module.flags = !{!0, !1, !2, !3}
!llvm.ident = !{!4}

!0 = !{i32 1, !"wchar_size", i32 4}
!1 = !{i32 8, !"PIC Level", i32 2}
!2 = !{i32 7, !"PIE Level", i32 2}
!3 = !{i32 7, !"uwtable", i32 2}
!4 = !{!"clang version 19.1.0 (git@github.com:llvm/llvm-project.git a4bf6cd7cfb1a1421ba92bca9d017b49936c55e4)"}
!5 = !{!6, !6, i64 0}
!6 = !{!"int", !7, i64 0}
!7 = !{!"omnipotent char", !8, i64 0}
!8 = !{!"Simple C++ TBAA"}
!9 = !{i8 0, i8 2}
!10 = !{!11, !11, i64 0}
!11 = !{!"bool", !7, i64 0}
!12 = distinct !{!12, !13}
!13 = !{!"llvm.loop.mustprogress"}
!14 = distinct !{!14, !15}
!15 = !{!"llvm.loop.unroll.disable"}
!16 = distinct !{!16, !15}
!17 = distinct !{!17, !15}
!18 = distinct !{!18, !15}


; Effective O3 passes: BDCEPass,CorrelatedValuePropagationPass,EarlyCSEPass,GVNPass,GlobalOptPass,IPSCCPPass,IndVarSimplifyPass,InferFunctionAttrsPass,InstCombinePass,InstSimplifyPass,JumpThreadingPass,LCSSAPass,LICMPass,LoopInstSimplifyPass,LoopRotatePass,LoopSimplifyCFGPass,LoopSimplifyPass,LoopUnrollPass,PostOrderFunctionAttrsPass,ReassociatePass,SROAPass,SimplifyCFGPass,TailCallElimPass