| ; RUN: opt %loadPolly %defaultOpts -polly-prepare -polly-cloog -analyze %s | FileCheck %s |
| ; XFAIL: * |
| 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(i64 %m, i64 %n) nounwind { |
| bb: |
| %tmp3 = icmp sgt i64 %m, 0 |
| %smax4 = select i1 %tmp3, i64 %m, i64 0 |
| %tmp = icmp sgt i64 %m, 0 |
| %smax = select i1 %tmp, i64 %m, i64 0 |
| %tmp12 = icmp sgt i64 %m, 0 |
| %smax13 = select i1 %tmp12, i64 %m, i64 0 |
| %tmp25 = icmp sgt i64 %m, 0 |
| %smax26 = select i1 %tmp25, i64 %m, i64 0 |
| %tmp40 = add i64 %n, -1 |
| %tmp60 = icmp sgt i64 %n, 0 |
| %smax61 = select i1 %tmp60, i64 %n, i64 0 |
| br label %bb1 |
| |
| bb1: ; preds = %bb58, %bb |
| %tmp2 = phi i64 [ 0, %bb ], [ %tmp59, %bb58 ] |
| %tmp63 = mul i64 %tmp2, 513 |
| %tmp64 = add i64 %tmp63, 1 |
| %tmp67 = add i64 %tmp2, 1 |
| %tmp71 = mul i64 %tmp2, -1 |
| %tmp45 = add i64 %tmp40, %tmp71 |
| %scevgep50 = getelementptr [512 x [512 x double]]* @R, i64 0, i64 0, i64 %tmp63 |
| %exitcond62 = icmp ne i64 %tmp2, %smax61 |
| br i1 %exitcond62, label %bb3, label %bb60 |
| |
| bb3: ; preds = %bb1 |
| store double 0.000000e+00, double* @nrm, align 8 |
| br label %bb4 |
| |
| bb4: ; preds = %bb12, %bb3 |
| %i.0 = phi i64 [ 0, %bb3 ], [ %tmp14, %bb12 ] |
| %scevgep = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.0, i64 %tmp2 |
| %exitcond5 = icmp ne i64 %i.0, %smax4 |
| br i1 %exitcond5, label %bb5, label %bb15 |
| |
| bb5: ; preds = %bb4 |
| %tmp7 = load double* %scevgep |
| %tmp8 = load double* %scevgep |
| %tmp9 = fmul double %tmp7, %tmp8 |
| %tmp10 = load double* @nrm, align 8 |
| %tmp11 = fadd double %tmp10, %tmp9 |
| store double %tmp11, double* @nrm, align 8 |
| br label %bb12 |
| |
| bb12: ; preds = %bb5 |
| %tmp14 = add nsw i64 %i.0, 1 |
| br label %bb4 |
| |
| bb15: ; preds = %bb4 |
| %tmp16 = load double* @nrm, align 8 |
| %tmp17 = call double @sqrt(double %tmp16) |
| store double %tmp17, double* %scevgep50 |
| br label %bb18 |
| |
| bb18: ; preds = %bb25, %bb15 |
| %i.1 = phi i64 [ 0, %bb15 ], [ %tmp26, %bb25 ] |
| %scevgep5 = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.1, i64 %tmp2 |
| %scevgep4 = getelementptr [512 x [512 x double]]* @Q, i64 0, i64 %i.1, i64 %tmp2 |
| %exitcond = icmp ne i64 %i.1, %smax |
| br i1 %exitcond, label %bb19, label %bb27 |
| |
| bb19: ; preds = %bb18 |
| %tmp21 = load double* %scevgep5 |
| %tmp23 = load double* %scevgep50 |
| %tmp24 = fdiv double %tmp21, %tmp23 |
| store double %tmp24, double* %scevgep4 |
| br label %bb25 |
| |
| bb25: ; preds = %bb19 |
| %tmp26 = add nsw i64 %i.1, 1 |
| br label %bb18 |
| |
| bb27: ; preds = %bb18 |
| br label %bb28 |
| |
| bb28: ; preds = %bb56, %bb27 |
| %indvar = phi i64 [ %indvar.next, %bb56 ], [ 0, %bb27 ] |
| %tmp65 = add i64 %tmp64, %indvar |
| %scevgep31 = getelementptr [512 x [512 x double]]* @R, i64 0, i64 0, i64 %tmp65 |
| %tmp68 = add i64 %tmp67, %indvar |
| %exitcond46 = icmp ne i64 %indvar, %tmp45 |
| br i1 %exitcond46, label %bb29, label %bb57 |
| |
| bb29: ; preds = %bb28 |
| store double 0.000000e+00, double* %scevgep31 |
| br label %bb30 |
| |
| bb30: ; preds = %bb43, %bb29 |
| %i.2 = phi i64 [ 0, %bb29 ], [ %tmp44, %bb43 ] |
| %scevgep11 = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.2, i64 %tmp68 |
| %scevgep12 = getelementptr [512 x [512 x double]]* @Q, i64 0, i64 %i.2, i64 %tmp2 |
| %exitcond14 = icmp ne i64 %i.2, %smax13 |
| br i1 %exitcond14, label %bb31, label %bb45 |
| |
| bb31: ; preds = %bb30 |
| %tmp33 = load double* %scevgep12 |
| %tmp34 = load double* %scevgep11 |
| %tmp38 = fmul double %tmp33, %tmp34 |
| %tmp41 = load double* %scevgep31 |
| %tmp42 = fadd double %tmp41, %tmp38 |
| store double %tmp42, double* %scevgep31 |
| br label %bb43 |
| |
| bb43: ; preds = %bb31 |
| %tmp44 = add nsw i64 %i.2, 1 |
| br label %bb30 |
| |
| bb45: ; preds = %bb30 |
| br label %bb46 |
| |
| bb46: ; preds = %bb53, %bb45 |
| %i.3 = phi i64 [ 0, %bb45 ], [ %tmp54, %bb53 ] |
| %scevgep18 = getelementptr [512 x [512 x double]]* @A, i64 0, i64 %i.3, i64 %tmp68 |
| %scevgep19 = getelementptr [512 x [512 x double]]* @Q, i64 0, i64 %i.3, i64 %tmp2 |
| %exitcond27 = icmp ne i64 %i.3, %smax26 |
| br i1 %exitcond27, label %bb47, label %bb55 |
| |
| bb47: ; preds = %bb46 |
| %tmp48 = load double* %scevgep18 |
| %tmp49 = load double* %scevgep19 |
| %tmp50 = load double* %scevgep31 |
| %tmp51 = fmul double %tmp49, %tmp50 |
| %tmp52 = fsub double %tmp48, %tmp51 |
| store double %tmp52, double* %scevgep18 |
| br label %bb53 |
| |
| bb53: ; preds = %bb47 |
| %tmp54 = add nsw i64 %i.3, 1 |
| br label %bb46 |
| |
| bb55: ; preds = %bb46 |
| br label %bb56 |
| |
| bb56: ; preds = %bb55 |
| %indvar.next = add i64 %indvar, 1 |
| br label %bb28 |
| |
| bb57: ; preds = %bb28 |
| br label %bb58 |
| |
| bb58: ; preds = %bb57 |
| %tmp59 = add nsw i64 %tmp2, 1 |
| br label %bb1 |
| |
| bb60: ; preds = %bb1 |
| ret void |
| } |
| |
| declare double @sqrt(double) nounwind readnone |
| |
| define i32 @main(i32 %argc, i8** %argv) nounwind { |
| bb: |
| call void (...)* @init_array() |
| %tmp = sext i32 512 to i64 |
| %tmp1 = sext i32 512 to i64 |
| call void @scop_func(i64 %tmp, i64 %tmp1) |
| call void @print_array(i32 %argc, i8** %argv) |
| ret i32 0 |
| } |
| |
| declare void @init_array(...) |
| |
| declare void @print_array(i32, i8**) |