diff options
| author | Andrew Trick <atrick@apple.com> | 2011-11-16 00:52:40 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2011-11-16 00:52:40 +0000 |
| commit | 79f0bfcc20135844d260a20c359222cd90481f78 (patch) | |
| tree | 61d3fdae812525fe5437c0112988368d9009cf32 /test/Transforms/IndVarSimplify/loop_evaluate9.ll | |
| parent | f56c60b5713c57a3f9223d4ed3d9c88088132fad (diff) | |
Fix SCEV overly optimistic back edge taken count for multi-exit loops.
Fixes PR11375: Different results for 'clang++ huh.cpp'...
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@144746 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/IndVarSimplify/loop_evaluate9.ll')
| -rw-r--r-- | test/Transforms/IndVarSimplify/loop_evaluate9.ll | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/Transforms/IndVarSimplify/loop_evaluate9.ll b/test/Transforms/IndVarSimplify/loop_evaluate9.ll index 8184a73f89..9f3bcaf21b 100644 --- a/test/Transforms/IndVarSimplify/loop_evaluate9.ll +++ b/test/Transforms/IndVarSimplify/loop_evaluate9.ll @@ -2,8 +2,13 @@ ; RUN: grep {\[%\]tmp7 = icmp eq i8 -28, -28} %t ; RUN: grep {\[%\]tmp8 = icmp eq i8 63, 63} %t ; PR4477 - ; Indvars should compute the exit values in loop. +; +; XFAIL: * +; Indvars does not currently replace loop invariant values unless all +; loop exits have the same exit value. We could handle some cases, +; such as this, by making getSCEVAtScope() sensitive to a particular +; loop exit. See PR11388. target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32" target triple = "i386-pc-linux-gnu" |