diff options
| -rw-r--r-- | polly/test/Isl/CodeGen/non-affine-phi-node-expansion-3.ll | 4 | ||||
| -rw-r--r-- | polly/test/Isl/CodeGen/non-affine-phi-node-expansion-4.ll | 4 |
2 files changed, 8 insertions, 0 deletions
diff --git a/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-3.ll b/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-3.ll index 63cd56263ab..a560f518aec 100644 --- a/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-3.ll +++ b/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-3.ll @@ -18,18 +18,22 @@ loop: ; CHECK-NEXT: %p_val1 = fadd float 1.000000e+00, 2.000000e+00 ; CHECK-NEXT: %p_val2 = fadd float 1.000000e+00, 2.000000e+00 ; CHECK-NEXT: store float %p_val0, float* %merge.phiops +; CHECK-NEXT: %polly.subregion.iv.inc = add i32 %polly.subregion.iv, 1 +; CHECK-NEXT: br i1 branch1: br i1 %cond1, label %branch2, label %backedge ; CHECK-LABEL: polly.stmt.branch1: ; CHECK-NEXT: store float %p_val1, float* %merge.phiops +; CHECK-NEXT: br i1 branch2: br label %backedge ; CHECK-LABEL: polly.stmt.branch2: ; CHECK-NEXT: store float %p_val2, float* %merge.phiops +; CHECK-NEXT: br label backedge: %merge = phi float [%val0, %loop], [%val1, %branch1], [%val2, %branch2] diff --git a/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-4.ll b/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-4.ll index de8b2adf555..955d4346c95 100644 --- a/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-4.ll +++ b/polly/test/Isl/CodeGen/non-affine-phi-node-expansion-4.ll @@ -16,6 +16,8 @@ loop: ; CHECK-NEXT: %p_val0 = fadd float 1.000000e+00, 2.000000e+00 ; CHECK-NEXT: %p_val1 = fadd float 1.000000e+00, 2.000000e+00 ; CHECK-NEXT: store float %p_val0, float* %merge.phiops +; CHECK-NEXT: %polly.subregion.iv.inc = add i32 %polly.subregion.iv, 1 +; CHECK-NEXT: br i1 ; The interesting instruction here is %val2, which does not dominate the exit of ; the non-affine region. Care needs to be taken when code-generating this write. @@ -28,12 +30,14 @@ branch1: ; CHECK-LABEL: polly.stmt.branch1: ; CHECK-NEXT: %p_val2 = fadd float 1.000000e+00, 2.000000e+00 ; CHECK-NEXT: store float %p_val1, float* %merge.phiops +; CHECK-NEXT: br i1 branch2: br label %backedge ; CHECK-LABEL: polly.stmt.branch2: ; CHECK-NEXT: store float %p_val2, float* %merge.phiops +; CHECK-NEXT: br label backedge: %merge = phi float [%val0, %loop], [%val1, %branch1], [%val2, %branch2] |
