; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -O3 -S                                        | FileCheck %s --check-prefixes=CHECK,OLDPM
; RUN: opt < %s -passes='default<O3>' -aa-pipeline=default -S | FileCheck %s --check-prefixes=CHECK,NEWPM

; This is based on the following most basic C++ code:
;
; #include <array>
; void use(int);
; void foo(int cnt) {
;   std::array<int, 6> arr;
;   for(int& elt : arr)
;     elt = ++cnt;
;   for(int& elt : arr)
;     use(elt);
; }
;
; Not only should the loops be unrolled, no alloca's should be left there.

target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

%"struct.std::array" = type { [6 x i32] }

define dso_local void @_Z3fooi(i32 %cnt) {
; CHECK-LABEL: @_Z3fooi(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[INC:%.*]] = add nsw i32 [[CNT:%.*]], 1
; CHECK-NEXT:    [[INC_1:%.*]] = add nsw i32 [[CNT]], 2
; CHECK-NEXT:    [[INC_2:%.*]] = add nsw i32 [[CNT]], 3
; CHECK-NEXT:    [[INC_3:%.*]] = add nsw i32 [[CNT]], 4
; CHECK-NEXT:    [[INC_4:%.*]] = add nsw i32 [[CNT]], 5
; CHECK-NEXT:    [[INC_5:%.*]] = add nsw i32 [[CNT]], 6
; CHECK-NEXT:    call void @_Z3usei(i32 [[INC]])
; CHECK-NEXT:    call void @_Z3usei(i32 [[INC_1]])
; CHECK-NEXT:    call void @_Z3usei(i32 [[INC_2]])
; CHECK-NEXT:    call void @_Z3usei(i32 [[INC_3]])
; CHECK-NEXT:    call void @_Z3usei(i32 [[INC_4]])
; CHECK-NEXT:    call void @_Z3usei(i32 [[INC_5]])
; CHECK-NEXT:    ret void
;
entry:
  %cnt.addr = alloca i32
  %arr = alloca %"struct.std::array"
  %__range1 = alloca %"struct.std::array"*
  %__begin1 = alloca i32*
  %__end1 = alloca i32*
  %elt = alloca i32*
  %__range12 = alloca %"struct.std::array"*
  %__begin13 = alloca i32*
  %__end15 = alloca i32*
  %elt11 = alloca i32*
  store i32 %cnt, i32* %cnt.addr
  %0 = bitcast %"struct.std::array"* %arr to i8*
  call void @llvm.lifetime.start.p0i8(i64 24, i8* %0)
  %1 = bitcast %"struct.std::array"** %__range1 to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %1)
  store %"struct.std::array"* %arr, %"struct.std::array"** %__range1
  %2 = bitcast i32** %__begin1 to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %2)
  %3 = load %"struct.std::array"*, %"struct.std::array"** %__range1
  %call = call i32* @_ZNSt5arrayIiLm6EE5beginEv(%"struct.std::array"* %3)
  store i32* %call, i32** %__begin1
  %4 = bitcast i32** %__end1 to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %4)
  %5 = load %"struct.std::array"*, %"struct.std::array"** %__range1
  %call1 = call i32* @_ZNSt5arrayIiLm6EE3endEv(%"struct.std::array"* %5)
  store i32* %call1, i32** %__end1
  br label %for.cond

for.cond:
  %6 = load i32*, i32** %__begin1
  %7 = load i32*, i32** %__end1
  %cmp = icmp ne i32* %6, %7
  br i1 %cmp, label %for.body, label %for.cond.cleanup

for.cond.cleanup:
  %8 = bitcast i32** %__end1 to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %8)
  %9 = bitcast i32** %__begin1 to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %9)
  %10 = bitcast %"struct.std::array"** %__range1 to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %10)
  br label %for.end

for.body:
  %11 = bitcast i32** %elt to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %11)
  %12 = load i32*, i32** %__begin1
  store i32* %12, i32** %elt
  %13 = load i32, i32* %cnt.addr
  %inc = add nsw i32 %13, 1
  store i32 %inc, i32* %cnt.addr
  %14 = load i32*, i32** %elt
  store i32 %inc, i32* %14
  %15 = bitcast i32** %elt to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %15)
  br label %for.inc

for.inc:
  %16 = load i32*, i32** %__begin1
  %incdec.ptr = getelementptr inbounds i32, i32* %16, i32 1
  store i32* %incdec.ptr, i32** %__begin1
  br label %for.cond

for.end:
  %17 = bitcast %"struct.std::array"** %__range12 to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %17)
  store %"struct.std::array"* %arr, %"struct.std::array"** %__range12
  %18 = bitcast i32** %__begin13 to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %18)
  %19 = load %"struct.std::array"*, %"struct.std::array"** %__range12
  %call4 = call i32* @_ZNSt5arrayIiLm6EE5beginEv(%"struct.std::array"* %19)
  store i32* %call4, i32** %__begin13
  %20 = bitcast i32** %__end15 to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %20)
  %21 = load %"struct.std::array"*, %"struct.std::array"** %__range12
  %call6 = call i32* @_ZNSt5arrayIiLm6EE3endEv(%"struct.std::array"* %21)
  store i32* %call6, i32** %__end15
  br label %for.cond7

for.cond7:
  %22 = load i32*, i32** %__begin13
  %23 = load i32*, i32** %__end15
  %cmp8 = icmp ne i32* %22, %23
  br i1 %cmp8, label %for.body10, label %for.cond.cleanup9

for.cond.cleanup9:
  %24 = bitcast i32** %__end15 to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %24)
  %25 = bitcast i32** %__begin13 to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %25)
  %26 = bitcast %"struct.std::array"** %__range12 to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %26)
  br label %for.end14

for.body10:
  %27 = bitcast i32** %elt11 to i8*
  call void @llvm.lifetime.start.p0i8(i64 8, i8* %27)
  %28 = load i32*, i32** %__begin13
  store i32* %28, i32** %elt11
  %29 = load i32*, i32** %elt11
  %30 = load i32, i32* %29
  call void @_Z3usei(i32 %30)
  %31 = bitcast i32** %elt11 to i8*
  call void @llvm.lifetime.end.p0i8(i64 8, i8* %31)
  br label %for.inc12

for.inc12:
  %32 = load i32*, i32** %__begin13
  %incdec.ptr13 = getelementptr inbounds i32, i32* %32, i32 1
  store i32* %incdec.ptr13, i32** %__begin13
  br label %for.cond7

for.end14:
  %33 = bitcast %"struct.std::array"* %arr to i8*
  call void @llvm.lifetime.end.p0i8(i64 24, i8* %33)
  ret void
}

declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture)

define linkonce_odr dso_local i32* @_ZNSt5arrayIiLm6EE5beginEv(%"struct.std::array"* %this) {
entry:
  %this.addr = alloca %"struct.std::array"*
  store %"struct.std::array"* %this, %"struct.std::array"** %this.addr
  %this1 = load %"struct.std::array"*, %"struct.std::array"** %this.addr
  %call = call i32* @_ZNSt5arrayIiLm6EE4dataEv(%"struct.std::array"* %this1)
  ret i32* %call
}

define linkonce_odr dso_local i32* @_ZNSt5arrayIiLm6EE3endEv(%"struct.std::array"* %this) {
entry:
  %this.addr = alloca %"struct.std::array"*
  store %"struct.std::array"* %this, %"struct.std::array"** %this.addr
  %this1 = load %"struct.std::array"*, %"struct.std::array"** %this.addr
  %call = call i32* @_ZNSt5arrayIiLm6EE4dataEv(%"struct.std::array"* %this1)
  %add.ptr = getelementptr inbounds i32, i32* %call, i64 6
  ret i32* %add.ptr
}

declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture)

declare dso_local void @_Z3usei(i32)

define linkonce_odr dso_local i32* @_ZNSt5arrayIiLm6EE4dataEv(%"struct.std::array"* %this) {
entry:
  %this.addr = alloca %"struct.std::array"*
  store %"struct.std::array"* %this, %"struct.std::array"** %this.addr
  %this1 = load %"struct.std::array"*, %"struct.std::array"** %this.addr
  %_M_elems = getelementptr inbounds %"struct.std::array", %"struct.std::array"* %this1, i32 0, i32 0
  %call = call i32* @_ZNSt14__array_traitsIiLm6EE6_S_ptrERA6_Ki([6 x i32]* nonnull align 4 dereferenceable(24) %_M_elems)
  ret i32* %call
}

define linkonce_odr dso_local i32* @_ZNSt14__array_traitsIiLm6EE6_S_ptrERA6_Ki([6 x i32]* nonnull align 4 dereferenceable(24) %__t) {
entry:
  %__t.addr = alloca [6 x i32]*
  store [6 x i32]* %__t, [6 x i32]** %__t.addr
  %0 = load [6 x i32]*, [6 x i32]** %__t.addr
  %arraydecay = getelementptr inbounds [6 x i32], [6 x i32]* %0, i64 0, i64 0
  ret i32* %arraydecay
}