Speculate on bitwise operators.

runtime/vm/redundancy_elimination.cc

Index: runtime/vm/redundancy_elimination.cc
diff --git a/runtime/vm/redundancy_elimination.cc b/runtime/vm/redundancy_elimination.cc
index 3e5e123dc69632cb421b4ddeda213eecfa6deb23..e8ffd2cb0bcacadb6246c643946f93b570716de2 100644
--- a/runtime/vm/redundancy_elimination.cc
+++ b/runtime/vm/redundancy_elimination.cc
@@ -1003,7 +1003,8 @@ class AliasedSet : public ZoneAllocated {
     for (Value* use = defn->input_use_list(); use != NULL;
          use = use->next_use()) {
       Instruction* instr = use->instruction();
-      if (instr->IsPushArgument() ||
+      if (instr->IsPushArgument() || instr->IsCheckedSmiOp() ||
+          instr->IsCheckedSmiComparison() ||

[Vyacheslav Egorov (Google), 2016/11/15 21:58:34]

We should consider making this a flag / function on a Instruction. 

If we decide to add a new instruction with a slow path that can call arbitrary
Dart code we might forget to add a rule here again.

           (instr->IsStoreIndexed() &&
            (use->use_index() == StoreIndexedInstr::kValuePos)) ||
           instr->IsStoreStaticField() || instr->IsPhi()) {