63 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<optree>' -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines2;3; Test support for (synthesizable) inducation variables.4;5; for (int j = 0; j < n; j += 1) {6; bodyA:7; double val = j;8;9; bodyB:10; A[0] = val;11; }12;13define void @func(i32 %n, ptr noalias nonnull %A) {14entry:15 br label %for16 17for:18 %j = phi i32 [0, %entry], [%j.inc, %inc]19 %j.cmp = icmp slt i32 %j, %n20 br i1 %j.cmp, label %bodyA, label %exit21 22 bodyA:23 %val = sitofp i32 %j to double24 br label %bodyB25 26 bodyB:27 store double %val, ptr %A28 br label %inc29 30inc:31 %j.inc = add nuw nsw i32 %j, 132 br label %for33 34exit:35 br label %return36 37return:38 ret void39}40 41 42; CHECK: Statistics {43; CHECK: Instructions copied: 144; CHECK: Operand trees forwarded: 145; CHECK: Statements with forwarded operand trees: 146; CHECK: }47 48; CHECK: After statements {49; CHECK-NEXT: Stmt_bodyA50; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]51; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_val[] };52; CHECK-NEXT: Instructions {53; CHECK-NEXT: %val = sitofp i32 %j to double54; CHECK-NEXT: }55; CHECK-NEXT: Stmt_bodyB56; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]57; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[0] };58; CHECK-NEXT: Instructions {59; CHECK-NEXT: %val = sitofp i32 %j to double60; CHECK-NEXT: store double %val, ptr %A, align 861; CHECK-NEXT: }62; CHECK-NEXT: }63