Enable more tests for simplified lowering after assuming signed for word32.

test/cctest/compiler/test-simplified-lowering.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include <limits>
 
 #include "src/compiler/control-builders.h"
 #include "src/compiler/generic-node-inl.h"
 #include "src/compiler/graph-visualizer.h"
 #include "src/compiler/node-properties-inl.h"
@@ skipping 988 matching lines @@
   Node* in = t.ExampleWithOutput(from);
   Node* use = t.Use(in, to);
   t.Return(use);
   t.Lower();
   CHECK_EQ(expected, use->InputAt(0)->opcode());
   CHECK_EQ(in, use->InputAt(0)->InputAt(0));
 }
 
 
 TEST(InsertBasicChanges) {
-  if (false) {
-    // TODO(titzer): these changes need the output to have the right type.
-    CheckChangeInsertion(IrOpcode::kChangeFloat64ToInt32, rFloat64, tInt32);
-    CheckChangeInsertion(IrOpcode::kChangeFloat64ToUint32, rFloat64, tUint32);
-    CheckChangeInsertion(IrOpcode::kChangeTaggedToInt32, rTagged, tInt32);
-    CheckChangeInsertion(IrOpcode::kChangeTaggedToUint32, rTagged, tUint32);
-  }
+  CheckChangeInsertion(IrOpcode::kChangeFloat64ToInt32, rFloat64, tInt32);
+  CheckChangeInsertion(IrOpcode::kChangeFloat64ToUint32, rFloat64, tUint32);
+  CheckChangeInsertion(IrOpcode::kChangeTaggedToInt32, rTagged, tInt32);
+  CheckChangeInsertion(IrOpcode::kChangeTaggedToUint32, rTagged, tUint32);
 
   CheckChangeInsertion(IrOpcode::kChangeFloat64ToTagged, rFloat64, rTagged);
   CheckChangeInsertion(IrOpcode::kChangeTaggedToFloat64, rTagged, rFloat64);
 
   CheckChangeInsertion(IrOpcode::kChangeInt32ToFloat64, tInt32, rFloat64);
   CheckChangeInsertion(IrOpcode::kChangeInt32ToTagged, tInt32, rTagged);
 
   CheckChangeInsertion(IrOpcode::kChangeUint32ToFloat64, tUint32, rFloat64);
   CheckChangeInsertion(IrOpcode::kChangeUint32ToTagged, tUint32, rTagged);
 }
@@ skipping 337 matching lines @@
 
   Node* store = t.graph()->NewNode(t.simplified()->StoreField(access), t.p0,
                                    t.p1, t.start, t.start);
   t.Effect(store);
   t.Lower();
 
   CHECK_EQ(IrOpcode::kStore, store->opcode());
   CHECK_EQ(t.p0, store->InputAt(0));
   CheckChangeOf(IrOpcode::kChangeTaggedToFloat64, t.p1, store->InputAt(2));
 }