[polly] r218581 - Build domtree of new loops correctly

Tobias Grosser tobias at grosser.es
Sun Sep 28 15:40:36 PDT 2014


Author: grosser
Date: Sun Sep 28 17:40:36 2014
New Revision: 218581

URL: http://llvm.org/viewvc/llvm-project?rev=218581&view=rev
Log:
Build domtree of new loops correctly

This fixes a bug introduced in r217525.

Modified:
    polly/trunk/lib/CodeGen/LoopGenerators.cpp
    polly/trunk/test/Isl/CodeGen/no_guard_bb.ll

Modified: polly/trunk/lib/CodeGen/LoopGenerators.cpp
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/lib/CodeGen/LoopGenerators.cpp?rev=218581&r1=218580&r2=218581&view=diff
==============================================================================
--- polly/trunk/lib/CodeGen/LoopGenerators.cpp (original)
+++ polly/trunk/lib/CodeGen/LoopGenerators.cpp Sun Sep 28 17:40:36 2014
@@ -127,7 +127,7 @@ Value *polly::createLoop(Value *LB, Valu
   if (GuardBB)
     DT.changeImmediateDominator(ExitBB, GuardBB);
   else
-    DT.changeImmediateDominator(ExitBB, BeforeBB);
+    DT.changeImmediateDominator(ExitBB, HeaderBB);
 
   // The loop body should be added here.
   Builder.SetInsertPoint(HeaderBB->getFirstNonPHI());

Modified: polly/trunk/test/Isl/CodeGen/no_guard_bb.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/no_guard_bb.ll?rev=218581&r1=218580&r2=218581&view=diff
==============================================================================
--- polly/trunk/test/Isl/CodeGen/no_guard_bb.ll (original)
+++ polly/trunk/test/Isl/CodeGen/no_guard_bb.ll Sun Sep 28 17:40:36 2014
@@ -1,4 +1,4 @@
-; RUN: opt %loadPolly -polly-codegen-isl -S < %s | FileCheck %s
+; RUN: opt %loadPolly -polly-codegen-isl -S -verify-dom-info < %s | FileCheck %s
 ;
 ; CHECK-NOT: br i1 true, label %polly.{{.*}}, label %polly.{{.*}}
 ;





More information about the llvm-commits mailing list