[turbofan] Only use Tagged machine representation for tagged state values.

test/mjsunit/compiler/regress-675704.js

Index: test/mjsunit/compiler/regress-675704.js
diff --git a/test/mjsunit/compiler/regress-675704.js b/test/mjsunit/compiler/regress-675704.js
new file mode 100644
index 0000000000000000000000000000000000000000..788f92e5302255e370c9d4009b428a1041b9db96
--- /dev/null
+++ b/test/mjsunit/compiler/regress-675704.js
@@ -0,0 +1,26 @@
+// Copyright 2017 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.
+
+// Flags: --allow-natives-syntax
+
+function foo(a) {
+  this.a = a;
+  // Note that any call would do, it doesn't need to be %MaxSmi()
+  this.x = this.a + %MaxSmi();
+}
+
+function g(x) {
+  new foo(2);
+
+  if (x) {
+    for (var i = 0.1; i < 1.1; i++) {
+      new foo(i);
+    }
+  }
+}
+
+g(false);
+g(false);
+%OptimizeFunctionOnNextCall(g);
+g(true);