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

%"class.std::__1::vector" = type { %"class.std::__1::__vector_base" }
%"class.std::__1::__vector_base" = type { i32*, i32*, %"class.std::__1::__compressed_pair" }
%"class.std::__1::__compressed_pair" = type { %"class.std::__1::__libcpp_compressed_pair_imp" }
%"class.std::__1::__libcpp_compressed_pair_imp" = type { i32* }

; Function Attrs: norecurse nounwind readonly uwtable
define i32 @_Z3sumRNSt3__16vectorIiNS_9allocatorIiEEEE(%"class.std::__1::vector"* nocapture readonly dereferenceable(24) %v) #0 {
  %1 = getelementptr inbounds %"class.std::__1::vector", %"class.std::__1::vector"* %v, i64 0, i32 0, i32 0
  %2 = load i32*, i32** %1, align 8, !tbaa !1
  %3 = getelementptr inbounds %"class.std::__1::vector", %"class.std::__1::vector"* %v, i64 0, i32 0, i32 1
  %4 = load i32*, i32** %3, align 8, !tbaa !7
  %5 = icmp eq i32* %2, %4
  br i1 %5, label %._crit_edge, label %.lr.ph.preheader

.lr.ph.preheader:                                 ; preds = %0
  %6 = ptrtoint i32* %2 to i64
  %scevgep = getelementptr i32, i32* %4, i64 -1
  %7 = ptrtoint i32* %scevgep to i64
  %8 = sub i64 %7, %6
  %9 = lshr i64 %8, 2
  %10 = add nuw nsw i64 %9, 1
  %min.iters.check = icmp ult i64 %10, 16
  br i1 %min.iters.check, label %.lr.ph.preheader46, label %min.iters.checked

.lr.ph.preheader46:                               ; preds = %middle.block, %min.iters.checked, %.lr.ph.preheader
  %x.02.ph = phi i32 [ 0, %min.iters.checked ], [ 0, %.lr.ph.preheader ], [ %49, %middle.block ]
  %__begin.sroa.0.01.ph = phi i32* [ %2, %min.iters.checked ], [ %2, %.lr.ph.preheader ], [ %ind.end, %middle.block ]
  br label %.lr.ph

min.iters.checked:                                ; preds = %.lr.ph.preheader
  %n.vec = and i64 %10, 9223372036854775792
  %cmp.zero = icmp eq i64 %n.vec, 0
  %ind.end = getelementptr i32, i32* %2, i64 %n.vec
  br i1 %cmp.zero, label %.lr.ph.preheader46, label %vector.body.preheader

vector.body.preheader:                            ; preds = %min.iters.checked
  %11 = sub i64 %7, %6
  %12 = lshr i64 %11, 2
  %13 = add nuw nsw i64 %12, 1
  %14 = and i64 %13, 9223372036854775792
  %15 = add nsw i64 %14, -16
  %16 = lshr exact i64 %15, 4
  %17 = and i64 %16, 1
  %lcmp.mod = icmp eq i64 %17, 0
  br i1 %lcmp.mod, label %vector.body.prol, label %vector.body.preheader.split

vector.body.prol:                                 ; preds = %vector.body.preheader
  %18 = bitcast i32* %2 to <4 x i32>*
  %wide.load.prol = load <4 x i32>, <4 x i32>* %18, align 4, !tbaa !8
  %19 = getelementptr i32, i32* %2, i64 4
  %20 = bitcast i32* %19 to <4 x i32>*
  %wide.load38.prol = load <4 x i32>, <4 x i32>* %20, align 4, !tbaa !8
  %21 = getelementptr i32, i32* %2, i64 8
  %22 = bitcast i32* %21 to <4 x i32>*
  %wide.load39.prol = load <4 x i32>, <4 x i32>* %22, align 4, !tbaa !8
  %23 = getelementptr i32, i32* %2, i64 12
  %24 = bitcast i32* %23 to <4 x i32>*
  %wide.load40.prol = load <4 x i32>, <4 x i32>* %24, align 4, !tbaa !8
  br label %vector.body.preheader.split

vector.body.preheader.split:                      ; preds = %vector.body.prol, %vector.body.preheader
  %.lcssa50.unr = phi <4 x i32> [ undef, %vector.body.preheader ], [ %wide.load40.prol, %vector.body.prol ]
  %.lcssa49.unr = phi <4 x i32> [ undef, %vector.body.preheader ], [ %wide.load39.prol, %vector.body.prol ]
  %.lcssa48.unr = phi <4 x i32> [ undef, %vector.body.preheader ], [ %wide.load38.prol, %vector.body.prol ]
  %.lcssa47.unr = phi <4 x i32> [ undef, %vector.body.preheader ], [ %wide.load.prol, %vector.body.prol ]
  %index.unr = phi i64 [ 0, %vector.body.preheader ], [ 16, %vector.body.prol ]
  %vec.phi.unr = phi <4 x i32> [ zeroinitializer, %vector.body.preheader ], [ %wide.load.prol, %vector.body.prol ]
  %vec.phi5.unr = phi <4 x i32> [ zeroinitializer, %vector.body.preheader ], [ %wide.load38.prol, %vector.body.prol ]
  %vec.phi6.unr = phi <4 x i32> [ zeroinitializer, %vector.body.preheader ], [ %wide.load39.prol, %vector.body.prol ]
  %vec.phi7.unr = phi <4 x i32> [ zeroinitializer, %vector.body.preheader ], [ %wide.load40.prol, %vector.body.prol ]
  %25 = icmp eq i64 %16, 0
  br i1 %25, label %middle.block, label %vector.body.preheader.split.split

vector.body.preheader.split.split:                ; preds = %vector.body.preheader.split
  br label %vector.body