[Isolates] Merge crankshaft (r5922 from bleeding_edge).

src/v8utils.h

 // Copyright 2010 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 49 matching lines @@
 // char* needs to be disposed off with DeleteArray by the caller.
 char* ReadLine(const char* prompt);
 
 
 // Read and return the raw bytes in a file. the size of the buffer is returned
 // in size.
 // The returned buffer must be freed by the caller.
 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,
                const char* str,
                int size,
                bool verbose = true);
 
 
 // Write size bytes to the file given by filename.
 // The file is overwritten. Returns the number of bytes written.
@@ skipping 130 matching lines @@
   // compute the length of the input string.
   void AddString(const char* s);
 
   // Add the first 'n' characters of the given string 's' to the
   // builder. The input string must have enough characters.
   void AddSubstring(const char* s, int n);
 
   // 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);
 
   // Finalize the string by 0-terminating it and returning the buffer.
   char* Finalize();
 
  private:
   Vector<char> buffer_;
   int position_;
@@ skipping 62 matching lines @@
   }
 #endif
   while (dest < limit) {
     *dest++ = static_cast<sinkchar>(*src++);
   }
 }
 
 } }  // namespace v8::internal
 
 #endif  // V8_V8UTILS_H_