[Isolates] Merge crankshaft (r5922 from bleeding_edge).

src/v8utils.h

Index: src/v8utils.h
diff --git a/src/v8utils.h b/src/v8utils.h
index a907c9f55632d2a7cfc04d77e94c005bdf8d1b14..f6ed5202f09f966c79a7c66237278e8fcbcc2fa3 100644
--- a/src/v8utils.h
+++ b/src/v8utils.h
@@ -67,6 +67,14 @@ char* ReadLine(const char* prompt);
 byte* ReadBytes(const char* filename, int* size, bool verbose = true);
 
 
+// Append size chars from str to the file given by filename.
+// The file is overwritten. Returns the number of chars written.
+int AppendChars(const char* filename,
+                const char* str,
+                int size,
+                bool verbose = true);
+
+
 // Write size chars from str to the file given by filename.
 // The file is overwritten. Returns the number of chars written.
 int WriteChars(const char* filename,
@@ -217,6 +225,9 @@ class StringBuilder {
   // Add formatted contents to the builder just like printf().
   void AddFormatted(const char* format, ...);
 
+  // Add formatted contents like printf based on a va_list.
+  void AddFormattedList(const char* format, va_list list);
+
   // Add character padding to the builder. If count is non-positive,
   // nothing is added to the builder.
   void AddPadding(char c, int count);