diff options
author | Chris Lattner <sabre@nondot.org> | 2009-10-20 20:27:49 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2009-10-20 20:27:49 +0000 |
commit | b95f0ead66316dc45e05b35edd21ab8069146255 (patch) | |
tree | e8cfa16cbd8c20a0304d8cfa3bb4d13575f86053 | |
parent | 860507d1bbced055f324e91a18de4f5ddd650a4f (diff) | |
download | external_llvm-b95f0ead66316dc45e05b35edd21ab8069146255.zip external_llvm-b95f0ead66316dc45e05b35edd21ab8069146255.tar.gz external_llvm-b95f0ead66316dc45e05b35edd21ab8069146255.tar.bz2 |
alternate fix for PR5258 which avoids worklist problems, with reduced testcase.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@84667 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Transforms/Utils/SSAUpdater.cpp | 17 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/2009-10-20-jumpthreading-phi.ll | 348 | ||||
-rw-r--r-- | test/Transforms/JumpThreading/crash.ll | 35 |
3 files changed, 41 insertions, 359 deletions
diff --git a/lib/Transforms/Utils/SSAUpdater.cpp b/lib/Transforms/Utils/SSAUpdater.cpp index ed9c0ee..8a07c35 100644 --- a/lib/Transforms/Utils/SSAUpdater.cpp +++ b/lib/Transforms/Utils/SSAUpdater.cpp @@ -177,19 +177,14 @@ Value *SSAUpdater::GetValueInMiddleOfBlock(BasicBlock *BB) { /// which use their value in the corresponding predecessor. void SSAUpdater::RewriteUse(Use &U) { Instruction *User = cast<Instruction>(U.getUser()); - BasicBlock *UseBB = User->getParent(); - PHINode *UserPN = dyn_cast<PHINode>(User); - if (UserPN) - UseBB = UserPN->getIncomingBlock(U); + + Value *V; + if (PHINode *UserPN = dyn_cast<PHINode>(User)) + V = GetValueAtEndOfBlock(UserPN->getIncomingBlock(U)); + else + V = GetValueInMiddleOfBlock(User->getParent()); - Value *V = GetValueInMiddleOfBlock(UseBB); U.set(V); - if (UserPN) { - // Incoming value from the same BB must be consistent - for (unsigned i=0;i<UserPN->getNumIncomingValues();i++) - if (UserPN->getIncomingBlock(i) == UseBB) - UserPN->setIncomingValue(i, V); - } } diff --git a/test/Transforms/JumpThreading/2009-10-20-jumpthreading-phi.ll b/test/Transforms/JumpThreading/2009-10-20-jumpthreading-phi.ll deleted file mode 100644 index b5440c2..0000000 --- a/test/Transforms/JumpThreading/2009-10-20-jumpthreading-phi.ll +++ /dev/null @@ -1,348 +0,0 @@ -; RUN: opt -jump-threading -verify %s -disable-output -; PR5258 -target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128" -target triple = "x86_64-unknown-linux-gnu" - -%0 = type { i64, [12 x i32] } -%1 = type { %2 } -%2 = type { i32, i32, i32, i32, i32, i32, %3 } -%3 = type { %3*, %3* } -%4 = type { i32 } -%5 = type { %6*, %84, %87, %89, %92, %95, %69, %79*, %102*, %69, %69, %69 } -%6 = type { %7* } -%7 = type { %8, %10, %28, %34, %38, %40, %40, %40, %40, %40, %40, %40, %21*, %21*, %45, %46, %45, %45, %15, %15, %15, %15, %15, %15, %15, %15, %49, %49, %49, %49, %49, %9, %9, %51, %51, %51, %51, %51, %51, %53, %56 } -%8 = type { %9, i32, i32 } -%9 = type { i8* } -%10 = type { i32, %11*, i32, i32 } -%11 = type { %12, %21* } -%12 = type { %13, %15* } -%13 = type { i32, %14 } -%14 = type { i64 } -%15 = type { %16, i8, [3 x i8], i32, %6*, %15*, %17, i32, %20* } -%16 = type { i32 (...)** } -%17 = type { %18 } -%18 = type { %19 } -%19 = type { %16**, %16**, %16** } -%20 = type { %15*, %16* } -%21 = type { %22, %13 } -%22 = type { %23 } -%23 = type { %24, %26*, i32 } -%24 = type { i32 (...)**, i8, i8, i8, i16, %25, %26*, %27* } -%25 = type { %15* } -%26 = type { %24*, %26*, %14 } -%27 = type { %4, %24* } -%28 = type { i32, %29*, i32, i32 } -%29 = type { %30, %33* } -%30 = type { %31 } -%31 = type { %32*, %14, i16, i16 } -%32 = type { i16, i16, i32, i32 } -%33 = type { %22, %31 } -%34 = type { %35, %37 } -%35 = type { %36*, i32, i32, i32, i32 } -%36 = type { i32, %4* } -%37 = type <{ i8 }> -%38 = type { %39 } -%39 = type { i32 (...)**, i8**, i32, i32 } -%40 = type { %16, %41, %41, %41, %45 } -%41 = type { %42 } -%42 = type { %43 } -%43 = type { %37, %44, i64 } -%44 = type { i32, %44*, %44*, %44* } -%45 = type { %9, i32, i8 } -%46 = type { %47, %24*, i8* } -%47 = type { %48, [8 x i8*] } -%48 = type { i8**, i32, i32, i32, [1 x i8*] } -%49 = type { %50 } -%50 = type { %15 } -%51 = type { %52, %41 } -%52 = type { %41 } -%53 = type { i32, %54*, i32, i32 } -%54 = type { %24*, %55* } -%55 = type { %14, %55*, %24* } -%56 = type { %57, %34 } -%57 = type { i32, %58*, i32, i32 } -%58 = type <{ %59*, [8 x i8], %83 }> -%59 = type { %23, %60, %62* } -%60 = type { %61, %59* } -%61 = type { %59* } -%62 = type { %24, %63, %65, %67* } -%63 = type { %64, %62* } -%64 = type { %62* } -%65 = type { %66, %59* } -%66 = type { %61 } -%67 = type { %68, %70, %72, %74, %79*, %80 } -%68 = type { %22, %5*, i32, %69 } -%69 = type { %9 } -%70 = type { %71, %67* } -%71 = type { %67* } -%72 = type { %73, %62* } -%73 = type { %64 } -%74 = type { %75, %77* } -%75 = type { %76 } -%76 = type { %77* } -%77 = type { %24, %78, %67* } -%78 = type { %76, %77* } -%79 = type { %34, i32 } -%80 = type { %81* } -%81 = type <{ %9, i32, [4 x i8], %82 }> -%82 = type <{ [33 x i8], [31 x i8] }> -%83 = type <{ [33 x i8], [63 x i8] }> -%84 = type { %85* } -%85 = type { %68, %86, i8 } -%86 = type { %84, %85* } -%87 = type { %88, %67* } -%88 = type { %70 } -%89 = type { %90* } -%90 = type { %68, %91 } -%91 = type { %89, %90* } -%92 = type { %93 } -%93 = type { %94 } -%94 = type { %69*, %69*, %69* } -%95 = type { %96, %99* } -%96 = type { %97 } -%97 = type { %98, %99* } -%98 = type { %99* } -%99 = type <{ %100, %97, %5*, %101 }> -%100 = type { [52 x i8], i32 } -%101 = type <{ [33 x i8], [95 x i8] }> -%102 = type { %16, %41, i32 } - -@_ZL20__gthrw_pthread_oncePiPFvvE = alias weak i32 (i32*, void ()*)* @pthread_once ; <i32 (i32*, void ()*)*> [#uses=0] -@_ZL27__gthrw_pthread_getspecificj = alias weak i8* (i32)* @pthread_getspecific ; <i8* (i32)*> [#uses=0] -@_ZL27__gthrw_pthread_setspecificjPKv = alias weak i32 (i32, i8*)* @pthread_setspecific ; <i32 (i32, i8*)*> [#uses=0] -@_ZL22__gthrw_pthread_createPmPK14pthread_attr_tPFPvS3_ES3_ = alias weak i32 (i64*, %0*, i8* (i8*)*, i8*)* @pthread_create ; <i32 (i64*, %0*, i8* (i8*)*, i8*)*> [#uses=0] -@_ZL22__gthrw_pthread_cancelm = alias weak i32 (i64)* @pthread_cancel ; <i32 (i64)*> [#uses=0] -@_ZL26__gthrw_pthread_mutex_lockP15pthread_mutex_t = alias weak i32 (%1*)* @pthread_mutex_lock ; <i32 (%1*)*> [#uses=0] -@_ZL29__gthrw_pthread_mutex_trylockP15pthread_mutex_t = alias weak i32 (%1*)* @pthread_mutex_trylock ; <i32 (%1*)*> [#uses=0] -@_ZL28__gthrw_pthread_mutex_unlockP15pthread_mutex_t = alias weak i32 (%1*)* @pthread_mutex_unlock ; <i32 (%1*)*> [#uses=0] -@_ZL26__gthrw_pthread_mutex_initP15pthread_mutex_tPK19pthread_mutexattr_t = alias weak i32 (%1*, %4*)* @pthread_mutex_init ; <i32 (%1*, %4*)*> [#uses=0] -@_ZL26__gthrw_pthread_key_createPjPFvPvE = alias weak i32 (i32*, void (i8*)*)* @pthread_key_create ; <i32 (i32*, void (i8*)*)*> [#uses=0] -@_ZL26__gthrw_pthread_key_deletej = alias weak i32 (i32)* @pthread_key_delete ; <i32 (i32)*> [#uses=0] -@_ZL30__gthrw_pthread_mutexattr_initP19pthread_mutexattr_t = alias weak i32 (%4*)* @pthread_mutexattr_init ; <i32 (%4*)*> [#uses=0] -@_ZL33__gthrw_pthread_mutexattr_settypeP19pthread_mutexattr_ti = alias weak i32 (%4*, i32)* @pthread_mutexattr_settype ; <i32 (%4*, i32)*> [#uses=0] -@_ZL33__gthrw_pthread_mutexattr_destroyP19pthread_mutexattr_t = alias weak i32 (%4*)* @pthread_mutexattr_destroy ; <i32 (%4*)*> [#uses=0] - -define fastcc zeroext i8 @_ZN4llvm6Linker11LinkModulesEPNS_6ModuleES2_PSs(%5*, %5*, %69*) nounwind align 2 { - br i1 false, label %4, label %5 - -; <label>:4 ; preds = %3 - unreachable - -; <label>:5 ; preds = %3 - br i1 false, label %6, label %7 - -; <label>:6 ; preds = %5 - unreachable - -; <label>:7 ; preds = %5 - br i1 false, label %8, label %11 - -; <label>:8 ; preds = %7 - br i1 undef, label %10, label %9 - -; <label>:9 ; preds = %8 - unreachable - -; <label>:10 ; preds = %8 - unreachable - -; <label>:11 ; preds = %7 - br i1 undef, label %13, label %12 - -; <label>:12 ; preds = %11 - unreachable - -; <label>:13 ; preds = %11 - br i1 undef, label %15, label %14 - -; <label>:14 ; preds = %13 - br label %15 - -; <label>:15 ; preds = %14, %13 - br i1 undef, label %17, label %16 - -; <label>:16 ; preds = %15 - unreachable - -; <label>:17 ; preds = %15 - br i1 undef, label %19, label %18 - -; <label>:18 ; preds = %17 - unreachable - -; <label>:19 ; preds = %17 - br i1 false, label %20, label %21 - -; <label>:20 ; preds = %19 - unreachable - -; <label>:21 ; preds = %19 - br i1 undef, label %22, label %23 - -; <label>:22 ; preds = %21 - br label %23 - -; <label>:23 ; preds = %22, %21 - br i1 false, label %24, label %25 - -; <label>:24 ; preds = %23 - unreachable - -; <label>:25 ; preds = %23 - br i1 undef, label %29, label %26 - -; <label>:26 ; preds = %25 - br i1 undef, label %28, label %27 - -; <label>:27 ; preds = %26 - unreachable - -; <label>:28 ; preds = %26 - unreachable - -; <label>:29 ; preds = %25 - br i1 undef, label %31, label %30 - -; <label>:30 ; preds = %29 - unreachable - -; <label>:31 ; preds = %29 - br i1 undef, label %32, label %33 - -; <label>:32 ; preds = %31 - br label %33 - -; <label>:33 ; preds = %32, %31 - br i1 false, label %34, label %35 - -; <label>:34 ; preds = %33 - unreachable - -; <label>:35 ; preds = %33 - br i1 undef, label %36, label %37 - -; <label>:36 ; preds = %35 - br label %37 - -; <label>:37 ; preds = %36, %35 - br i1 undef, label %39, label %38 - -; <label>:38 ; preds = %37 - br i1 false, label %39, label %40 - -; <label>:39 ; preds = %38, %37 - unreachable - -; <label>:40 ; preds = %38 - %41 = load i8* undef, align 8 ; <i8> [#uses=1] - switch i8 %41, label %42 [ - i8 4, label %43 - i8 2, label %43 - i8 3, label %43 - ] - -; <label>:42 ; preds = %40 - unreachable - -; <label>:43 ; preds = %40, %40, %40 - %44 = trunc i32 undef to i5 ; <i5> [#uses=1] - switch i5 %44, label %45 [ - i5 7, label %50 - i5 9, label %50 - ] - -; <label>:45 ; preds = %43 - br i1 undef, label %47, label %46 - -; <label>:46 ; preds = %45 - br label %47 - -; <label>:47 ; preds = %46, %45 - %48 = icmp eq %85* null, null ; <i1> [#uses=1] - br i1 %48, label %50, label %49 - -; <label>:49 ; preds = %47 - unreachable - -; <label>:50 ; preds = %47, %43, %43 - %51 = phi %68* [ null, %43 ], [ undef, %47 ], [ null, %43 ] ; <%68*> [#uses=4] - %52 = phi %68* [ null, %43 ], [ undef, %47 ], [ null, %43 ] ; <%68*> [#uses=1] - %53 = icmp eq %68* %52, null ; <i1> [#uses=1] - br i1 %53, label %54, label %59 - -; <label>:54 ; preds = %50 - %55 = trunc i32 undef to i5 ; <i5> [#uses=1] - switch i5 %55, label %56 [ - i5 7, label %59 - i5 8, label %59 - i5 9, label %59 - ] - -; <label>:56 ; preds = %54 - br i1 undef, label %58, label %57 - -; <label>:57 ; preds = %56 - br label %58 - -; <label>:58 ; preds = %57, %56 - br label %59 - -; <label>:59 ; preds = %58, %54, %54, %54, %50 - %60 = phi %68* [ %51, %50 ], [ %51, %54 ], [ %51, %54 ], [ %51, %54 ], [ undef, %58 ] ; <%68*> [#uses=0] - br i1 undef, label %62, label %61 - -; <label>:61 ; preds = %59 - br label %62 - -; <label>:62 ; preds = %61, %59 - switch i8 undef, label %64 [ - i8 3, label %63 - i8 2, label %65 - ] - -; <label>:63 ; preds = %62 - unreachable - -; <label>:64 ; preds = %62 - unreachable - -; <label>:65 ; preds = %62 - switch i8 undef, label %67 [ - i8 0, label %66 - i8 1, label %66 - ] - -; <label>:66 ; preds = %65, %65 - unreachable - -; <label>:67 ; preds = %65 - unreachable -} - -declare i32 @pthread_mutex_trylock(%1*) nounwind - -declare i32 @pthread_mutex_unlock(%1*) nounwind - -declare i32 @pthread_mutex_lock(%1*) nounwind - -declare i32 @pthread_mutexattr_init(%4*) nounwind - -declare i32 @pthread_mutexattr_settype(%4*, i32) nounwind - -declare i32 @pthread_mutex_init(%1*, %4*) nounwind - -declare i32 @pthread_mutexattr_destroy(%4*) nounwind - -declare i8* @pthread_getspecific(i32) nounwind - -declare i32 @pthread_setspecific(i32, i8*) nounwind - -declare i32 @pthread_key_delete(i32) nounwind - -declare i32 @pthread_key_create(i32*, void (i8*)*) nounwind - -declare i32 @pthread_once(i32*, void ()*) - -declare i32 @pthread_create(i64*, %0*, i8* (i8*)*, i8*) - -declare i32 @pthread_cancel(i64) diff --git a/test/Transforms/JumpThreading/crash.ll b/test/Transforms/JumpThreading/crash.ll index 0b6cd27..023c7d0 100644 --- a/test/Transforms/JumpThreading/crash.ll +++ b/test/Transforms/JumpThreading/crash.ll @@ -54,3 +54,38 @@ bb15: bb61: ret void } + + +; PR5258 +define i32 @test(i1 %cond, i1 %cond2, i32 %a) { +A: + br i1 %cond, label %F, label %A1 +F: + br label %A1 + +A1: + %d = phi i1 [false, %A], [true, %F] + %e = add i32 %a, %a + br i1 %d, label %B, label %G + +G: + br i1 %cond2, label %B, label %D + +B: + %f = phi i32 [%e, %G], [%e, %A1] + %b = add i32 0, 0 + switch i32 %a, label %C [ + i32 7, label %D + i32 8, label %D + i32 9, label %D + ] + +C: + br label %D + +D: + %c = phi i32 [%e, %B], [%e, %B], [%e, %B], [%f, %C], [%e, %G] + ret i32 %c +E: + ret i32 412 +}
\ No newline at end of file |