; RUN: opt %loadPolly %defaultOpts -polly-prepare -polly-ast -analyze  %s | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-pc-linux-gnu"

@nrm = common global double 0.000000e+00, align 8
@A = common global [512 x [512 x double]] zeroinitializer, align 16
@R = common global [512 x [512 x double]] zeroinitializer, align 16
@Q = common global [512 x [512 x double]] zeroinitializer, align 16

define void @scop_func() nounwind {
bb:
  br label %bb1

bb1:                                              ; preds = %bb51, %bb
  %tmp2 = phi i64 [ 0, %bb ], [ %tmp52, %bb51 ]
  %tmp49 = mul i64 %tmp2, 513
  %tmp50 = add i64 %tmp49, 1
  %tmp53 = add i64 %tmp2, 1
  %tmp57 = mul i64 %tmp2, -1
  %tmp28 = add i64 %tmp57, 511
  %scevgep39 = getelementptr [512 x [512 x double]]* @R, i64 0, i64 0, i64 %tmp49
  %exitcond48 = icmp ne i64 %tmp2, 512
  br i1 %exitcond48, label %bb3, label %bb53

bb3:                                              ; preds = %bb1
  store double 0.000000e+00, double* @nrm, align 8
  br label %bb4

bb4:                                              ; preds = %bb11, %bb3
  %i.0 = phi i64 [ 0, %bb3 ], [ %tmp12, %bb11 ]
  %scevgep = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.0, i64 %tmp2
  %exitcond2 = icmp ne i64 %i.0, 512
  br i1 %exitcond2, label %bb5, label %bb13

bb5:                                              ; preds = %bb4
  %tmp6 = load double* %scevgep
  %tmp7 = load double* %scevgep
  %tmp8 = fmul double %tmp6, %tmp7
  %tmp9 = load double* @nrm, align 8
  %tmp10 = fadd double %tmp9, %tmp8
  store double %tmp10, double* @nrm, align 8
  br label %bb11

bb11:                                             ; preds = %bb5
  %tmp12 = add nsw i64 %i.0, 1
  br label %bb4

bb13:                                             ; preds = %bb4
  %tmp15 = load double* @nrm, align 8
  %tmp16 = call double @sqrt(double %tmp15)
  store double %tmp16, double* %scevgep39
  br label %bb17

bb17:                                             ; preds = %bb22, %bb13
  %i.1 = phi i64 [ 0, %bb13 ], [ %tmp23, %bb22 ]
  %scevgep3 = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.1, i64 %tmp2
  %scevgep2 = getelementptr [512 x [512 x double]]* @Q, i64 0, i64 %i.1, i64 %tmp2
  %exitcond = icmp ne i64 %i.1, 512
  br i1 %exitcond, label %bb18, label %bb24

bb18:                                             ; preds = %bb17
  %tmp19 = load double* %scevgep3
  %tmp20 = load double* %scevgep39
  %tmp21 = fdiv double %tmp19, %tmp20
  store double %tmp21, double* %scevgep2
  br label %bb22

bb22:                                             ; preds = %bb18
  %tmp23 = add nsw i64 %i.1, 1
  br label %bb17

bb24:                                             ; preds = %bb17
  br label %bb25

bb25:                                             ; preds = %bb49, %bb24
  %indvar = phi i64 [ %indvar.next, %bb49 ], [ 0, %bb24 ]
  %tmp51 = add i64 %tmp50, %indvar
  %scevgep23 = getelementptr [512 x [512 x double]]* @R, i64 0, i64 0, i64 %tmp51
  %tmp54 = add i64 %tmp53, %indvar
  %exitcond29 = icmp ne i64 %indvar, %tmp28
  br i1 %exitcond29, label %bb26, label %bb50

bb26:                                             ; preds = %bb25
  store double 0.000000e+00, double* %scevgep23
  br label %bb27

bb27:                                             ; preds = %bb36, %bb26
  %i.2 = phi i64 [ 0, %bb26 ], [ %tmp37, %bb36 ]
  %scevgep6 = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.2, i64 %tmp54
  %scevgep7 = getelementptr [512 x [512 x double]]* @Q, i64 0, i64 %i.2, i64 %tmp2
  %exitcond9 = icmp ne i64 %i.2, 512
  br i1 %exitcond9, label %bb28, label %bb38

bb28:                                             ; preds = %bb27
  %tmp30 = load double* %scevgep7
  %tmp31 = load double* %scevgep6
  %tmp33 = fmul double %tmp30, %tmp31
  %tmp34 = load double* %scevgep23
  %tmp35 = fadd double %tmp34, %tmp33
  store double %tmp35, double* %scevgep23
  br label %bb36

bb36:                                             ; preds = %bb28
  %tmp37 = add nsw i64 %i.2, 1
  br label %bb27

bb38:                                             ; preds = %bb27
  br label %bb39

bb39:                                             ; preds = %bb46, %bb38
  %i.3 = phi i64 [ 0, %bb38 ], [ %tmp47, %bb46 ]
  %scevgep11 = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.3, i64 %tmp54
  %scevgep12 = getelementptr [512 x [512 x double]]* @Q, i64 0, i64 %i.3, i64 %tmp2
  %exitcond16 = icmp ne i64 %i.3, 512
  br i1 %exitcond16, label %bb40, label %bb48

bb40:                                             ; preds = %bb39
  %tmp41 = load double* %scevgep11
  %tmp42 = load double* %scevgep12
  %tmp43 = load double* %scevgep23
  %tmp44 = fmul double %tmp42, %tmp43
  %tmp45 = fsub double %tmp41, %tmp44
  store double %tmp45, double* %scevgep11
  br label %bb46

bb46:                                             ; preds = %bb40
  %tmp47 = add nsw i64 %i.3, 1
  br label %bb39

bb48:                                             ; preds = %bb39
  br label %bb49

bb49:                                             ; preds = %bb48
  %indvar.next = add i64 %indvar, 1
  br label %bb25

bb50:                                             ; preds = %bb25
  br label %bb51

bb51:                                             ; preds = %bb50
  %tmp52 = add nsw i64 %tmp2, 1
  br label %bb1

bb53:                                             ; preds = %bb1
  ret void
}

declare double @sqrt(double) nounwind readnone

define i32 @main(i32 %argc, i8** %argv) nounwind {
bb:
  call void (...)* @init_array()
  call void @scop_func()
  call void @print_array(i32 %argc, i8** %argv)
  ret i32 0
}

declare void @init_array(...)

declare void @print_array(i32, i8**)
; CHECK: for region: 'bb1 => bb53' in function 'scop_func':