ARM: Track Smis on top 4 stack positions and Smi loop variables....

src/data-flow.cc

 // Copyright 2010 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 300 matching lines @@
     return NULL;
   }
   // The initialization statement has to be a simple assignment.
   Assignment* init = stmt->init()->StatementAsSimpleAssignment();
   if (init == NULL) return NULL;
 
   // We only deal with local variables.
   Variable* loop_var = init->target()->AsVariableProxy()->AsVariable();
   if (loop_var == NULL || !loop_var->IsStackAllocated()) return NULL;
 
+  // Don't try to get clever with const or dynamic variables.
+  if (loop_var->mode() != Variable::VAR) return NULL;
+
   // The initial value has to be a smi.
   Literal* init_lit = init->value()->AsLiteral();
   if (init_lit == NULL || !init_lit->handle()->IsSmi()) return NULL;
   int init_value = Smi::cast(*init_lit->handle())->value();
 
   // The condition must be a compare of variable with <, <=, >, or >=.
   CompareOperation* cond = stmt->cond()->AsCompareOperation();
   if (cond == NULL) return NULL;
   if (cond->op() != Token::LT
       && cond->op() != Token::LTE
@@ skipping 415 matching lines @@
   ASSERT(av_.IsEmpty());
 }
 
 
 void AssignedVariablesAnalyzer::VisitDeclaration(Declaration* decl) {
   UNREACHABLE();
 }
 
 
 } }  // namespace v8::internal