diff --git a/test/Transforms/IndVarSimplify/addrec-gep.ll b/test/Transforms/LoopStrengthReduce/addrec-gep.ll similarity index 89% rename from test/Transforms/IndVarSimplify/addrec-gep.ll rename to test/Transforms/LoopStrengthReduce/addrec-gep.ll index b62d093960c..3e4e369657b 100644 --- a/test/Transforms/IndVarSimplify/addrec-gep.ll +++ b/test/Transforms/LoopStrengthReduce/addrec-gep.ll @@ -1,13 +1,17 @@ -; RUN: opt < %s -indvars -S -enable-iv-rewrite | FileCheck %s -; CHECK: getelementptr -; CHECK: mul {{.*}}, 37 -; CHECK: add {{.*}}, 5203 +; RUN: opt < %s -loop-reduce -S | FileCheck %s +; CHECK: bb1: +; CHECK: load double* [[IV:%[^,]+]] +; CHECK: store double {{.*}}, double* [[IV]] +; CHECK: getelementptr double* ; CHECK-NOT: cast +; CHECK: br {{.*}} label %bb1 ; This test tests several things. The load and store should use the ; same address instead of having it computed twice, and SCEVExpander should ; be able to reconstruct the full getelementptr, despite it having a few ; obstacles set in its way. +; We only check that the inner loop (bb1-bb2) is "reduced" because LSR +; currently only operates on inner loops. target datalayout = "e-p:64:64:64-n32:64" diff --git a/test/Transforms/IndVarSimplify/preserve-gep-loop-variant.ll b/test/Transforms/LoopStrengthReduce/preserve-gep-loop-variant.ll similarity index 94% rename from test/Transforms/IndVarSimplify/preserve-gep-loop-variant.ll rename to test/Transforms/LoopStrengthReduce/preserve-gep-loop-variant.ll index 251d34ec383..f90d0308005 100644 --- a/test/Transforms/IndVarSimplify/preserve-gep-loop-variant.ll +++ b/test/Transforms/LoopStrengthReduce/preserve-gep-loop-variant.ll @@ -1,4 +1,4 @@ -; RUN: opt < %s -indvars -S -enable-iv-rewrite | FileCheck %s +; RUN: opt < %s -loop-reduce -S | FileCheck %s ; CHECK-NOT: {{inttoptr|ptrtoint}} ; CHECK: scevgep ; CHECK-NOT: {{inttoptr|ptrtoint}}