41 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes='print<delinearization>' -disable-output 2>&1 | FileCheck %s3 4; void foo(char A[], long i2, bool c) {5; for (long i = 0; ; ++i) {6; char *tmp = &A[i * i2];7; if (c)8; while (1)9; *((float*)&tmp[arg << arg]) = 0;10; }11; }12 13define void @foo(ptr %A, i64 %i2, i64 %arg, i1 %c) {14; CHECK-LABEL: 'foo'15; CHECK-NEXT: Inst: store float 0.000000e+00, ptr %arrayidx, align 416; CHECK-NEXT: AccessFunction: ({0,+,%i2}<%outer.loop> + %unknown)17; CHECK-NEXT: failed to delinearize18;19entry:20 br label %outer.loop21 22outer.loop:23 %outer.iv = phi i64 [ 0, %entry ], [ %outer.iv.next, %outer.latch ]24 %i414 = mul nsw i64 %outer.iv, %i225 %tmp = getelementptr inbounds i8, ptr %A, i64 %i41426 br i1 %c, label %inner.preheader, label %outer.latch27 28inner.preheader:29 %unknown = shl i64 %arg, %arg30 %arrayidx = getelementptr inbounds i8, ptr %tmp, i64 %unknown31 br label %inner.loop32 33inner.loop:34 store float 0.000000e+00, ptr %arrayidx, align 435 br label %inner.loop36 37outer.latch:38 %outer.iv.next = add nuw nsw i64 %outer.iv, 139 br label %outer.loop40}41