76 lines · plain
1; RUN: opt %loadNPMPolly '-passes=polly-custom<optree>' -polly-print-optree -disable-output < %s | FileCheck %s -match-full-lines2;3; Forward an operand tree consisting of a speculatable instruction (%add)4; and a load (%val).5;6; for (int j = 0; j < n; j += 1) {7; bodyA:8; double val = B[j];9; double add = val + 42.0;10;11; bodyB:12; A[j] = add;13; }14;15define void @func(i32 %n, ptr noalias nonnull %A, ptr noalias nonnull %B) {16entry:17 br label %for18 19for:20 %j = phi i32 [0, %entry], [%j.inc, %inc]21 %j.cmp = icmp slt i32 %j, %n22 br i1 %j.cmp, label %bodyA, label %exit23 24 bodyA:25 %B_idx = getelementptr inbounds double, ptr %B, i32 %j26 %val = load double, ptr %B_idx27 %add = fadd double %val, 42.028 br label %bodyB29 30 bodyB:31 %A_idx = getelementptr inbounds double, ptr %A, i32 %j32 store double %add, ptr %A_idx33 br label %inc34 35inc:36 %j.inc = add nuw nsw i32 %j, 137 br label %for38 39exit:40 br label %return41 42return:43 ret void44}45 46 47; CHECK: Statistics {48; CHECK: Instructions copied: 149; CHECK: Known loads forwarded: 150; CHECK: Operand trees forwarded: 151; CHECK: Statements with forwarded operand trees: 152; CHECK: }53 54; CHECK: After statements {55; CHECK-NEXT: Stmt_bodyA56; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]57; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_B[i0] };58; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 1]59; CHECK-NEXT: [n] -> { Stmt_bodyA[i0] -> MemRef_add[] };60; CHECK-NEXT: Instructions {61; CHECK-NEXT: %val = load double, ptr %B_idx, align 862; CHECK-NEXT: %add = fadd double %val, 4.200000e+0163; CHECK-NEXT: }64; CHECK-NEXT: Stmt_bodyB65; CHECK-NEXT: ReadAccess := [Reduction Type: NONE] [Scalar: 0]66; CHECK-NEXT: ;67; CHECK-NEXT: new: [n] -> { Stmt_bodyB[i0] -> MemRef_B[i0] };68; CHECK-NEXT: MustWriteAccess := [Reduction Type: NONE] [Scalar: 0]69; CHECK-NEXT: [n] -> { Stmt_bodyB[i0] -> MemRef_A[i0] };70; CHECK-NEXT: Instructions {71; CHECK-NEXT: %val = load double, ptr %B_idx, align 872; CHECK-NEXT: %add = fadd double %val, 4.200000e+0173; CHECK-NEXT: store double %add, ptr %A_idx, align 874; CHECK-NEXT: }75; CHECK-NEXT: }76