112 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<scops>' -polly-print-scops -polly-invariant-load-hoisting=true -disable-output < %s 2>&1 | FileCheck %s2; RUN: opt %loadNPMPolly '-passes=polly<no-default-opts>' -polly-invariant-load-hoisting=true -disable-output < %s3 4; CHECK: Statements {5; CHECK-NEXT: Stmt_L_46; CHECK-NEXT: Domain :=7; CHECK-NEXT: [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] : 0 <= i0 < tmp8 and 0 <= i1 < tmp8 and 0 <= i2 < tmp8 };8; CHECK-NEXT: Schedule :=9; CHECK-NEXT: [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> [i0, i1, i2] };10; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]11; CHECK-NEXT: [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp19[i1, i0] };12; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]13; CHECK-NEXT: [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp5[i2, i0] };14; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]15; CHECK-NEXT: [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp12[i2, i1] };16; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]17; CHECK-NEXT: [tmp8, tmp22, tmp15] -> { Stmt_L_4[i0, i1, i2] -> MemRef_tmp19[i1, i0] };18; CHECK-NEXT: }19 20target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"21 22%jl_value_t = type { ptr }23 24define ptr @julia_gemm_22583(ptr, ptr %tmp1, i32) {25top:26 br label %top.split27 28top.split: ; preds = %top29 %tmp3 = load ptr, ptr %tmp1, align 830 %tmp5 = load ptr, ptr %tmp3, align 831 %tmp6 = getelementptr inbounds %jl_value_t, ptr %tmp3, i64 3, i32 032 %tmp8 = load i64, ptr %tmp6, align 833 %tmp9 = getelementptr ptr, ptr %tmp1, i64 134 %tmp10 = load ptr, ptr %tmp9, align 835 %tmp12 = load ptr, ptr %tmp10, align 836 %tmp13 = getelementptr inbounds %jl_value_t, ptr %tmp10, i64 3, i32 037 %tmp15 = load i64, ptr %tmp13, align 838 %tmp16 = getelementptr ptr, ptr %tmp1, i64 239 %tmp17 = load ptr, ptr %tmp16, align 840 %tmp19 = load ptr, ptr %tmp17, align 841 %tmp20 = getelementptr inbounds %jl_value_t, ptr %tmp17, i64 3, i32 042 %tmp22 = load i64, ptr %tmp20, align 843 %tmp23 = icmp sgt i64 %tmp8, 044 %tmp24 = select i1 %tmp23, i64 %tmp8, i64 045 %tmp25 = add i64 %tmp24, 146 %tmp26 = icmp eq i64 %tmp24, 047 br i1 %tmp26, label %L.11, label %L.preheader48 49L.preheader: ; preds = %top.split50 br label %L51 52L: ; preds = %L.preheader, %L.953 %"#s5.0" = phi i64 [ %tmp27, %L.9 ], [ 1, %L.preheader ]54 %tmp27 = add i64 %"#s5.0", 155 br i1 %tmp26, label %L.9, label %L.2.preheader56 57L.2.preheader: ; preds = %L58 br label %L.259 60L.2: ; preds = %L.2.preheader, %L.761 %"#s4.0" = phi i64 [ %tmp28, %L.7 ], [ 1, %L.2.preheader ]62 %tmp28 = add i64 %"#s4.0", 163 br i1 %tmp26, label %L.7, label %L.4.preheader64 65L.4.preheader: ; preds = %L.266 br label %L.467 68L.4: ; preds = %L.4.preheader, %L.469 %"#s3.0" = phi i64 [ %tmp29, %L.4 ], [ 1, %L.4.preheader ]70 %tmp29 = add i64 %"#s3.0", 171 %tmp30 = add i64 %"#s5.0", -172 %tmp31 = add i64 %"#s4.0", -173 %tmp32 = mul i64 %tmp31, %tmp2274 %tmp33 = add i64 %tmp32, %tmp3075 %tmp34 = getelementptr double, ptr %tmp19, i64 %tmp3376 %tmp35 = load double, ptr %tmp34, align 877 %tmp36 = add i64 %"#s3.0", -178 %tmp37 = mul i64 %tmp36, %tmp879 %tmp38 = add i64 %tmp37, %tmp3080 %tmp39 = getelementptr double, ptr %tmp5, i64 %tmp3881 %tmp40 = load double, ptr %tmp39, align 882 %tmp41 = mul i64 %tmp36, %tmp1583 %tmp42 = add i64 %tmp41, %tmp3184 %tmp43 = getelementptr double, ptr %tmp12, i64 %tmp4285 %tmp44 = load double, ptr %tmp43, align 886 %tmp45 = fmul double %tmp40, %tmp4487 %tmp46 = fadd double %tmp35, %tmp4588 store double %tmp46, ptr %tmp34, align 889 %tmp47 = icmp eq i64 %tmp29, %tmp2590 br i1 %tmp47, label %L.7.loopexit, label %L.491 92L.7.loopexit: ; preds = %L.493 br label %L.794 95L.7: ; preds = %L.7.loopexit, %L.296 %tmp48 = icmp eq i64 %tmp28, %tmp2597 br i1 %tmp48, label %L.9.loopexit, label %L.298 99L.9.loopexit: ; preds = %L.7100 br label %L.9101 102L.9: ; preds = %L.9.loopexit, %L103 %tmp49 = icmp eq i64 %tmp27, %tmp25104 br i1 %tmp49, label %L.11.loopexit, label %L105 106L.11.loopexit: ; preds = %L.9107 br label %L.11108 109L.11: ; preds = %L.11.loopexit, %top.split110 ret ptr inttoptr (i64 140220477440016 to ptr)111}112