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 16e1117dd5b6..632a21d3378d 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 @@ -20,7 +20,6 @@ loop: ; CHECK-NEXT: store float %p_val0, float* %merge.phiops ; CHECK-NEXT: store float %p_val1, float* %val1.s2a ; CHECK-NEXT: store float %p_val2, float* %val2.s2a -; CHECK-NEXT: br ; FIXME -> The last two writes are not really needed and can be dropped if the ; incoming block of the PHI and the value that is used share the same @@ -31,14 +30,12 @@ branch1: ; CHECK-LABEL: polly.stmt.branch1: ; CHECK-NEXT: store float %p_val1, float* %merge.phiops -; CHECK-NEXT: br branch2: br label %backedge ; CHECK-LABEL: polly.stmt.branch2: ; CHECK-NEXT: store float %p_val2, float* %merge.phiops -; CHECK-NEXT: br 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 12b1747f6212..e2c11f6ee607 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 @@ -17,7 +17,6 @@ loop: ; CHECK-NEXT: %p_val1 = fadd float 1.000000e+00, 2.000000e+00 ; CHECK-NEXT: store float %p_val0, float* %merge.phiops ; CHECK-NEXT: store float %p_val1, float* %val1.s2a -; CHECK-NEXT: br ; 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. @@ -43,7 +42,6 @@ branch2: ; CHECK-LABEL: polly.stmt.branch2: ; CHECK-NEXT: store float %p_val2, float* %merge.phiops -; CHECK-NEXT: br backedge: %merge = phi float [%val0, %loop], [%val1, %branch1], [%val2, %branch2]