utils.h 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299
  1. // Copyright 2010 the V8 project authors. All rights reserved.
  2. // Redistribution and use in source and binary forms, with or without
  3. // modification, are permitted provided that the following conditions are
  4. // met:
  5. //
  6. // * Redistributions of source code must retain the above copyright
  7. // notice, this list of conditions and the following disclaimer.
  8. // * Redistributions in binary form must reproduce the above
  9. // copyright notice, this list of conditions and the following
  10. // disclaimer in the documentation and/or other materials provided
  11. // with the distribution.
  12. // * Neither the name of Google Inc. nor the names of its
  13. // contributors may be used to endorse or promote products derived
  14. // from this software without specific prior written permission.
  15. //
  16. // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  17. // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  18. // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  19. // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  20. // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  21. // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  22. // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23. // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24. // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25. // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  26. // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27. #ifndef DOUBLE_CONVERSION_UTILS_H_
  28. #define DOUBLE_CONVERSION_UTILS_H_
  29. #include <stdlib.h>
  30. #include <string.h>
  31. #include "mozilla/Assertions.h"
  32. #ifndef ASSERT
  33. #define ASSERT(condition) MOZ_ASSERT(condition)
  34. #endif
  35. #ifndef UNIMPLEMENTED
  36. #define UNIMPLEMENTED() MOZ_CRASH()
  37. #endif
  38. #ifndef UNREACHABLE
  39. #define UNREACHABLE() MOZ_CRASH()
  40. #endif
  41. // Double operations detection based on target architecture.
  42. // Linux uses a 80bit wide floating point stack on x86. This induces double
  43. // rounding, which in turn leads to wrong results.
  44. // An easy way to test if the floating-point operations are correct is to
  45. // evaluate: 89255.0/1e22. If the floating-point stack is 64 bits wide then
  46. // the result is equal to 89255e-22.
  47. // The best way to test this, is to create a division-function and to compare
  48. // the output of the division with the expected result. (Inlining must be
  49. // disabled.)
  50. // On Linux,x86 89255e-22 != Div_double(89255.0/1e22)
  51. #if defined(_M_X64) || defined(__x86_64__) || \
  52. defined(__ARMEL__) || defined(__avr32__) || \
  53. defined(__hppa__) || defined(__ia64__) || \
  54. defined(__mips__) || \
  55. defined(__powerpc__) || defined(__ppc__) || defined(__ppc64__) || \
  56. defined(__sparc__) || defined(__sparc) || defined(__s390__) || \
  57. defined(__SH4__) || defined(__alpha__) || \
  58. defined(_MIPS_ARCH_MIPS32R2) || \
  59. defined(__AARCH64EL__) || defined(__aarch64__)
  60. #define DOUBLE_CONVERSION_CORRECT_DOUBLE_OPERATIONS 1
  61. #elif defined(_M_IX86) || defined(__i386__) || defined(__i386)
  62. #if defined(_WIN32)
  63. // Windows uses a 64bit wide floating point stack.
  64. #define DOUBLE_CONVERSION_CORRECT_DOUBLE_OPERATIONS 1
  65. #else
  66. #undef DOUBLE_CONVERSION_CORRECT_DOUBLE_OPERATIONS
  67. #endif // _WIN32
  68. #else
  69. #error Target architecture was not detected as supported by Double-Conversion.
  70. #endif
  71. #include <stdint.h>
  72. // The following macro works on both 32 and 64-bit platforms.
  73. // Usage: instead of writing 0x1234567890123456
  74. // write UINT64_2PART_C(0x12345678,90123456);
  75. #define UINT64_2PART_C(a, b) (((static_cast<uint64_t>(a) << 32) + 0x##b##u))
  76. // The expression ARRAY_SIZE(a) is a compile-time constant of type
  77. // size_t which represents the number of elements of the given
  78. // array. You should only use ARRAY_SIZE on statically allocated
  79. // arrays.
  80. #ifndef ARRAY_SIZE
  81. #define ARRAY_SIZE(a) \
  82. ((sizeof(a) / sizeof(*(a))) / \
  83. static_cast<size_t>(!(sizeof(a) % sizeof(*(a)))))
  84. #endif
  85. // A macro to disallow the evil copy constructor and operator= functions
  86. // This should be used in the private: declarations for a class
  87. #ifndef DISALLOW_COPY_AND_ASSIGN
  88. #define DISALLOW_COPY_AND_ASSIGN(TypeName) \
  89. TypeName(const TypeName&); \
  90. void operator=(const TypeName&)
  91. #endif
  92. // A macro to disallow all the implicit constructors, namely the
  93. // default constructor, copy constructor and operator= functions.
  94. //
  95. // This should be used in the private: declarations for a class
  96. // that wants to prevent anyone from instantiating it. This is
  97. // especially useful for classes containing only static methods.
  98. #ifndef DISALLOW_IMPLICIT_CONSTRUCTORS
  99. #define DISALLOW_IMPLICIT_CONSTRUCTORS(TypeName) \
  100. TypeName(); \
  101. DISALLOW_COPY_AND_ASSIGN(TypeName)
  102. #endif
  103. namespace double_conversion {
  104. static const int kCharSize = sizeof(char);
  105. // Returns the maximum of the two parameters.
  106. template <typename T>
  107. static T Max(T a, T b) {
  108. return a < b ? b : a;
  109. }
  110. // Returns the minimum of the two parameters.
  111. template <typename T>
  112. static T Min(T a, T b) {
  113. return a < b ? a : b;
  114. }
  115. inline int StrLength(const char* string) {
  116. size_t length = strlen(string);
  117. ASSERT(length == static_cast<size_t>(static_cast<int>(length)));
  118. return static_cast<int>(length);
  119. }
  120. // This is a simplified version of V8's Vector class.
  121. template <typename T>
  122. class Vector {
  123. public:
  124. Vector() : start_(NULL), length_(0) {}
  125. Vector(T* data, int len) : start_(data), length_(len) {
  126. ASSERT(len == 0 || (len > 0 && data != NULL));
  127. }
  128. // Returns a vector using the same backing storage as this one,
  129. // spanning from and including 'from', to but not including 'to'.
  130. Vector<T> SubVector(int from, int to) {
  131. ASSERT(to <= length_);
  132. ASSERT(from < to);
  133. ASSERT(0 <= from);
  134. return Vector<T>(start() + from, to - from);
  135. }
  136. // Returns the length of the vector.
  137. int length() const { return length_; }
  138. // Returns whether or not the vector is empty.
  139. bool is_empty() const { return length_ == 0; }
  140. // Returns the pointer to the start of the data in the vector.
  141. T* start() const { return start_; }
  142. // Access individual vector elements - checks bounds in debug mode.
  143. T& operator[](int index) const {
  144. ASSERT(0 <= index && index < length_);
  145. return start_[index];
  146. }
  147. T& first() { return start_[0]; }
  148. T& last() { return start_[length_ - 1]; }
  149. private:
  150. T* start_;
  151. int length_;
  152. };
  153. // Helper class for building result strings in a character buffer. The
  154. // purpose of the class is to use safe operations that checks the
  155. // buffer bounds on all operations in debug mode.
  156. class StringBuilder {
  157. public:
  158. StringBuilder(char* buffer, int buffer_size)
  159. : buffer_(buffer, buffer_size), position_(0) { }
  160. ~StringBuilder() { if (!is_finalized()) Finalize(); }
  161. int size() const { return buffer_.length(); }
  162. // Get the current position in the builder.
  163. int position() const {
  164. ASSERT(!is_finalized());
  165. return position_;
  166. }
  167. // Reset the position.
  168. void Reset() { position_ = 0; }
  169. // Add a single character to the builder. It is not allowed to add
  170. // 0-characters; use the Finalize() method to terminate the string
  171. // instead.
  172. void AddCharacter(char c) {
  173. ASSERT(c != '\0');
  174. ASSERT(!is_finalized() && position_ < buffer_.length());
  175. buffer_[position_++] = c;
  176. }
  177. // Add an entire string to the builder. Uses strlen() internally to
  178. // compute the length of the input string.
  179. void AddString(const char* s) {
  180. AddSubstring(s, StrLength(s));
  181. }
  182. // Add the first 'n' characters of the given string 's' to the
  183. // builder. The input string must have enough characters.
  184. void AddSubstring(const char* s, int n) {
  185. ASSERT(!is_finalized() && position_ + n < buffer_.length());
  186. ASSERT(static_cast<size_t>(n) <= strlen(s));
  187. memmove(&buffer_[position_], s, n * kCharSize);
  188. position_ += n;
  189. }
  190. // Add character padding to the builder. If count is non-positive,
  191. // nothing is added to the builder.
  192. void AddPadding(char c, int count) {
  193. for (int i = 0; i < count; i++) {
  194. AddCharacter(c);
  195. }
  196. }
  197. // Finalize the string by 0-terminating it and returning the buffer.
  198. char* Finalize() {
  199. ASSERT(!is_finalized() && position_ < buffer_.length());
  200. buffer_[position_] = '\0';
  201. // Make sure nobody managed to add a 0-character to the
  202. // buffer while building the string.
  203. ASSERT(strlen(buffer_.start()) == static_cast<size_t>(position_));
  204. position_ = -1;
  205. ASSERT(is_finalized());
  206. return buffer_.start();
  207. }
  208. private:
  209. Vector<char> buffer_;
  210. int position_;
  211. bool is_finalized() const { return position_ < 0; }
  212. DISALLOW_IMPLICIT_CONSTRUCTORS(StringBuilder);
  213. };
  214. // The type-based aliasing rule allows the compiler to assume that pointers of
  215. // different types (for some definition of different) never alias each other.
  216. // Thus the following code does not work:
  217. //
  218. // float f = foo();
  219. // int fbits = *(int*)(&f);
  220. //
  221. // The compiler 'knows' that the int pointer can't refer to f since the types
  222. // don't match, so the compiler may cache f in a register, leaving random data
  223. // in fbits. Using C++ style casts makes no difference, however a pointer to
  224. // char data is assumed to alias any other pointer. This is the 'memcpy
  225. // exception'.
  226. //
  227. // Bit_cast uses the memcpy exception to move the bits from a variable of one
  228. // type of a variable of another type. Of course the end result is likely to
  229. // be implementation dependent. Most compilers (gcc-4.2 and MSVC 2005)
  230. // will completely optimize BitCast away.
  231. //
  232. // There is an additional use for BitCast.
  233. // Recent gccs will warn when they see casts that may result in breakage due to
  234. // the type-based aliasing rule. If you have checked that there is no breakage
  235. // you can use BitCast to cast one pointer type to another. This confuses gcc
  236. // enough that it can no longer see that you have cast one pointer type to
  237. // another thus avoiding the warning.
  238. template <class Dest, class Source>
  239. inline Dest BitCast(const Source& source) {
  240. static_assert(sizeof(Dest) == sizeof(Source),
  241. "BitCast's source and destination types must be the same size");
  242. Dest dest;
  243. memmove(&dest, &source, sizeof(dest));
  244. return dest;
  245. }
  246. template <class Dest, class Source>
  247. inline Dest BitCast(Source* source) {
  248. return BitCast<Dest>(reinterpret_cast<uintptr_t>(source));
  249. }
  250. } // namespace double_conversion
  251. #endif // DOUBLE_CONVERSION_UTILS_H_