move check

Author: nikic

llvm/lib/Transforms/Scalar/LICM.cpp

@@ -2508,6 +2508,12 @@ static bool hoistGEP(Instruction &I, Loop &L, ICFLoopSafetyInfo &SafetyInfo,
   if (!GEP)
     return false;
 
+  // Do not try to hoist a constant GEP out of the loop via reassociation.
+  // Constant GEPs can often be folded into addressing modes, and reassociating
+  // them may inhibit CSE of a common base.
+  if (GEP->hasAllConstantIndices())
+    return false;
+
   auto *Src = dyn_cast<GetElementPtrInst>(GEP->getPointerOperand());
   if (!Src || !Src->hasOneUse() || !L.contains(Src))
     return false;
@@ -2517,12 +2523,6 @@ static bool hoistGEP(Instruction &I, Loop &L, ICFLoopSafetyInfo &SafetyInfo,
   if (!L.isLoopInvariant(SrcPtr) || !all_of(GEP->indices(), LoopInvariant))
     return false;
 
-  // Do not try to hoist a constant GEP out of the loop via reassociation.
-  // Constant GEPs can often be folded into addressing modes, and reassociating
-  // them may inhibit CSE of a common base.
-  if (GEP->hasAllConstantIndices())
-    return false;
-
   // This can only happen if !AllowSpeculation, otherwise this would already be
   // handled.
   // FIXME: Should we respect AllowSpeculation in these reassociation folds?