73 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes='print<delinearization>' -disable-output < %s 2>&1 | FileCheck %s3;4; void foo(float *A, long *p) {5; for (long i = 0; i < 100; i++)6; for (long j = 0; j < 100; j++)7; A[i * (*p) + j] += i + j;8; }9target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"10 11define void @foo(ptr %A, ptr %p) {12; CHECK-LABEL: 'foo'13; CHECK-NEXT: Inst: %pval = load i64, ptr %p, align 814; CHECK-NEXT: AccessFunction: 015; CHECK-NEXT: failed to delinearize16; CHECK-EMPTY:17; CHECK-NEXT: Inst: %tmp11 = load float, ptr %tmp10, align 418; CHECK-NEXT: AccessFunction: (4 * (({0,+,1}<nuw><nsw><%bb2> * %pval)<nsw> + {0,+,1}<nuw><nsw><%bb4>)<nsw>)<nsw>19; CHECK-NEXT: Base offset: %A20; CHECK-NEXT: ArrayDecl[UnknownSize][%pval] with elements of 4 bytes.21; CHECK-NEXT: ArrayRef[{0,+,1}<nuw><nsw><%bb2>][{0,+,1}<nuw><nsw><%bb4>]22; CHECK-NEXT: Delinearization validation: Failed23; CHECK-EMPTY:24; CHECK-NEXT: Inst: store float %tmp12, ptr %tmp10, align 425; CHECK-NEXT: AccessFunction: (4 * (({0,+,1}<nuw><nsw><%bb2> * %pval)<nsw> + {0,+,1}<nuw><nsw><%bb4>)<nsw>)<nsw>26; CHECK-NEXT: Base offset: %A27; CHECK-NEXT: ArrayDecl[UnknownSize][%pval] with elements of 4 bytes.28; CHECK-NEXT: ArrayRef[{0,+,1}<nuw><nsw><%bb2>][{0,+,1}<nuw><nsw><%bb4>]29; CHECK-NEXT: Delinearization validation: Failed30;31bb:32 br label %bb233 34bb2: ; preds = %bb16, %bb35 %i.0 = phi i64 [ 0, %bb ], [ %tmp17, %bb16 ]36 %exitcond1 = icmp ne i64 %i.0, 10037 br i1 %exitcond1, label %bb3, label %bb1838 39bb3: ; preds = %bb240 br label %bb441 42bb4: ; preds = %bb13, %bb343 %j.0 = phi i64 [ 0, %bb3 ], [ %tmp14, %bb13 ]44 %exitcond = icmp ne i64 %j.0, 10045 br i1 %exitcond, label %bb5, label %bb1546 47bb5: ; preds = %bb448 %tmp = add nuw nsw i64 %i.0, %j.049 %tmp6 = sitofp i64 %tmp to float50 %pval = load i64, ptr %p, align 851 %tmp8 = mul nsw i64 %i.0, %pval52 %tmp9 = add nsw i64 %tmp8, %j.053 %tmp10 = getelementptr inbounds float, ptr %A, i64 %tmp954 %tmp11 = load float, ptr %tmp10, align 455 %tmp12 = fadd float %tmp11, %tmp656 store float %tmp12, ptr %tmp10, align 457 br label %bb1358 59bb13: ; preds = %bb560 %tmp14 = add nuw nsw i64 %j.0, 161 br label %bb462 63bb15: ; preds = %bb464 br label %bb1665 66bb16: ; preds = %bb1567 %tmp17 = add nuw nsw i64 %i.0, 168 br label %bb269 70bb18: ; preds = %bb271 ret void72}73