Add HasSSATemp and an assert to ssa_temp_idnex setter.

runtime/vm/flow_graph_allocator.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/flow_graph_allocator.h"
 
 #include "vm/bit_vector.h"
 #include "vm/intermediate_language.h"
 #include "vm/il_printer.h"
 #include "vm/flow_graph_builder.h"
@@ skipping 94 matching lines @@
         for (intptr_t j = 0; j < values.length(); j++) {
           Value* val = values[j];
           if (val->IsUse()) {
             const intptr_t use = val->AsUse()->definition()->ssa_temp_index();
             if (!kill->Contains(use)) live_in->Add(use);
           }
         }
       }
 
       Definition* current_def = current->AsDefinition();
-      if ((current_def != NULL) && (current_def->ssa_temp_index() >= 0)) {
+      if ((current_def != NULL) && (current_def->HasSSATemp())) {
         kill->Add(current_def->ssa_temp_index());
       }
     }
   }
 
   // Update initial live_in sets to match live_out sets. Has to be
   // done in a separate path because of backwards branches.
   for (intptr_t i = 0; i < block_count; i++) {
     UpdateLiveIn(*postorder_[i]);
   }
@@ skipping 385 matching lines @@
           BlockLocation(Location::RegisterLocation(static_cast<Register>(reg)),
                         pos);
         }
       }
 
       if (locs->out().IsRegister()) {
         builder_->Bailout("ssa allocator: fixed outputs are not supported");
       }
 
       Definition* def = current->AsDefinition();
-      if ((def != NULL) && (def->ssa_temp_index() >= 0)) {
+      if ((def != NULL) && (def->HasSSATemp())) {
         Define(output_same_as_first_input ? current : NULL,
                pos,
                def->ssa_temp_index(),
                locs->out_slot());
       }
 
       current = current->previous();
       pos -= 2;
     }
 
@@ skipping 416 matching lines @@
 
   if (FLAG_trace_ssa_allocator) {
     OS::Print("-- ir after allocation -------------------------\n");
     FlowGraphPrinter printer(Function::Handle(), block_order_, true);
     printer.PrintBlocks();
   }
 }
 
 
 }  // namespace dart