[polly] 1139d89 - [polly] Unbreak buildbot.

[Michael Kruse via llvm-commits]

Author: Michael Kruse
Date: 2020-08-06T21:17:27-05:00
New Revision: 1139d899d58916a0662c76e1847b3b12c5a4a5dc

URL: https://github.com/llvm/llvm-project/commit/1139d899d58916a0662c76e1847b3b12c5a4a5dc
DIFF: https://github.com/llvm/llvm-project/commit/1139d899d58916a0662c76e1847b3b12c5a4a5dc.diff

LOG: [polly] Unbreak buildbot.

The test failed since commit
bc10888dc "DomTree: Make PostDomTree indifferent to block successors swap"
which is a re-commit of
c35585e20 "DomTree: Make PostDomTree immune to block successors swap"

Added: 
    

Modified: 
    polly/test/Isl/Ast/alias_checks_with_empty_context.ll

Removed: 
    


################################################################################
diff  --git a/polly/test/Isl/Ast/alias_checks_with_empty_context.ll b/polly/test/Isl/Ast/alias_checks_with_empty_context.ll
index 2372deb0441e..a05309dcf4bf 100644
--- a/polly/test/Isl/Ast/alias_checks_with_empty_context.ll
+++ b/polly/test/Isl/Ast/alias_checks_with_empty_context.ll
@@ -56,16 +56,12 @@ bb19:                                             ; preds = %bb18, %bb17
   br label %bb1
 }
 
-; CHECK: if (1 && (&MemRef_global_1[1] <= &MemRef_tmp3[0] || &MemRef_tmp3[1] <= &MemRef_global_1[0]) && 1 && 1)
+; CHECK: if (1 && (&MemRef_global_1[1] <= &MemRef_tmp3[0] || &MemRef_tmp3[1] <= &MemRef_global_1[0]) && (&MemRef_tmp[1] <= &MemRef_tmp3[0] || &MemRef_tmp3[1] <= &MemRef_tmp[0]) && (&MemRef_tmp[1] <= &MemRef_global_1[0] || &MemRef_global_1[1] <= &MemRef_tmp[0]))
 
-; CHECK:     {
-; CHECK-NEXT:       for (int c0 = 0; c0 <= 64; c0 += 1) {
+; CHECK:            for (int c0 = 0; c0 <= 64; c0 += 1) {
 ; CHECK-NEXT:         Stmt_bb7(c0);
 ; CHECK-NEXT:         Stmt_bb10(c0);
 ; CHECK-NEXT:       }
-; CHECK-NEXT:       if (p_0 == 0)
-; CHECK-NEXT:         Stmt_bb15();
-; CHECK-NEXT:     }
 
 ; CHECK: else
 ; CHECK-NEXT:     {  /* original code */ }