diff options
| author | Andrew Trick <atrick@apple.com> | 2011-06-28 06:34:10 +0000 |
|---|---|---|
| committer | Andrew Trick <atrick@apple.com> | 2011-06-28 06:34:10 +0000 |
| commit | 9083ef191808d7fcddd275ede15437b33447b522 (patch) | |
| tree | 23477c5560dc2eb0f7f516ee2a9d002d8858358b /llvm/test/Transforms/IndVarSimplify/ada-loops.ll | |
| parent | 74dd400410d318bd61ed3276820c0a246c5c436d (diff) | |
| download | bcm5719-llvm-9083ef191808d7fcddd275ede15437b33447b522.tar.gz bcm5719-llvm-9083ef191808d7fcddd275ede15437b33447b522.zip | |
FileCheckify and prepare for -disable-iv-rewrite.
llvm-svn: 133998
Diffstat (limited to 'llvm/test/Transforms/IndVarSimplify/ada-loops.ll')
| -rw-r--r-- | llvm/test/Transforms/IndVarSimplify/ada-loops.ll | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/llvm/test/Transforms/IndVarSimplify/ada-loops.ll b/llvm/test/Transforms/IndVarSimplify/ada-loops.ll index 4a07d997e7d..9e635fdc006 100644 --- a/llvm/test/Transforms/IndVarSimplify/ada-loops.ll +++ b/llvm/test/Transforms/IndVarSimplify/ada-loops.ll @@ -1,14 +1,18 @@ -; RUN: opt < %s -indvars -S > %t -; RUN: grep phi %t | count 4 -; RUN: grep {= phi i32} %t | count 4 -; RUN: not grep {sext i} %t -; RUN: not grep {zext i} %t -; RUN: not grep {trunc i} %t -; RUN: not grep {add i8} %t +; RUN: opt < %s -indvars -S | FileCheck %s +; RUN: opt < %s -indvars -disable-iv-rewrite -S | FileCheck %s +; ; PR1301 ; Do a bunch of analysis and prove that the loops can use an i32 trip ; count without casting. +; +; Note that all four functions should actually be converted to +; memset. However, this test case validates indvars behavior. We +; don't check that phis are "folded together" because that is a job +; for loop strength reduction. But indvars must remove sext, zext, +; trunc, and add i8. +; +; CHECK-NOT: {{sext|zext|trunc|add i8}} ; ModuleID = 'ada.bc' 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-n:8:16:32" |
