// Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
// Class for intrinsifying functions.

#ifndef VM_INTRINSIFIER_H_
#define VM_INTRINSIFIER_H_

#include "vm/allocation.h"

namespace dart {

// List of intrinsics:
// (class-name, function-name, intrinsification method, fingerprint).
//
// When adding a new function for intrinsification add a 0 as fingerprint,
// build and run to get the correct fingerprint from the mismatch error.
#define CORE_LIB_INTRINSIC_LIST(V)                                             \
  V(_IntegerImplementation, _addFromInteger, Integer_addFromInteger, 726019207)\
  V(_IntegerImplementation, +, Integer_add, 959303888)                         \
  V(_IntegerImplementation, _subFromInteger, Integer_subFromInteger, 726019207)\
  V(_IntegerImplementation, -, Integer_sub, 483122878)                         \
  V(_IntegerImplementation, _mulFromInteger, Integer_mulFromInteger, 726019207)\
  V(_IntegerImplementation, *, Integer_mul, 1043837343)                        \
  V(_IntegerImplementation, %, Integer_modulo, 2027609817)                     \
  V(_IntegerImplementation, ~/, Integer_truncDivide, 958840900)                \
  V(_IntegerImplementation, unary-, Integer_negate, 678480358)                 \
  V(_IntegerImplementation, _bitAndFromInteger,                                \
    Integer_bitAndFromInteger, 726019207)                                      \
  V(_IntegerImplementation, &, Integer_bitAnd, 1692486097)                     \
  V(_IntegerImplementation, _bitOrFromInteger,                                 \
    Integer_bitOrFromInteger, 726019207)                                       \
  V(_IntegerImplementation, |, Integer_bitOr, 66350242)                        \
  V(_IntegerImplementation, _bitXorFromInteger,                                \
    Integer_bitXorFromInteger, 726019207)                                      \
  V(_IntegerImplementation, ^, Integer_bitXor, 1620294403)                     \
  V(_IntegerImplementation,                                                    \
    _greaterThanFromInteger,                                                   \
    Integer_greaterThanFromInt, 79222670)                                      \
  V(_IntegerImplementation, >, Integer_greaterThan, 1800453857)                \
  V(_IntegerImplementation, ==, Integer_equal, 1540405784)                     \
  V(_IntegerImplementation, _equalToInteger, Integer_equalToInteger, 79222670) \
  V(_IntegerImplementation, <, Integer_lessThan, 1426685575)                   \
  V(_IntegerImplementation, <=, Integer_lessEqualThan, 1065121761)             \
  V(_IntegerImplementation, >=, Integer_greaterEqualThan, 1065151552)          \
  V(_IntegerImplementation, <<, Integer_shl, 386573125)                        \
  V(_IntegerImplementation, >>, Integer_sar, 1170883039)                       \
  V(_Smi, ~, Smi_bitNegate, 882629793)                                         \
  V(_Double, >, Double_greaterThan, 2056391997)                                \
  V(_Double, >=, Double_greaterEqualThan, 1300634558)                          \
  V(_Double, <, Double_lessThan, 1598098437)                                   \
  V(_Double, <=, Double_lessEqualThan, 1300604767)                             \
  V(_Double, ==, Double_equal, 1206706717)                                     \
  V(_Double, +, Double_add, 1965033293)                                        \
  V(_Double, -, Double_sub, 1212327731)                                        \
  V(_Double, *, Double_mul, 395243827)                                         \
  V(_Double, /, Double_div, 809804402)                                         \
  V(_Double, get:isNaN, Double_getIsNaN, 54462366)                             \
  V(_Double, get:isNegative, Double_getIsNegative, 54462366)                   \
  V(_Double, _mulFromInteger, Double_mulFromInteger, 815838159)                \
  V(_Double, .fromInteger, Double_fromInteger, 842078193)                      \
  V(_Double, toInt, Double_toInt, 362666636)                                   \
  V(_ObjectArray, ., ObjectArray_Allocate, 97987288)                           \
  V(_ObjectArray, get:length, Array_getLength, 405297088)                      \
  V(_ObjectArray, [], Array_getIndexed, 71937385)                              \
  V(_ObjectArray, []=, Array_setIndexed, 255863719)                            \
  V(_GrowableObjectArray, .withData, GrowableArray_Allocate, 816132033)        \
  V(_GrowableObjectArray, get:length, GrowableArray_getLength, 725548050)      \
  V(_GrowableObjectArray, get:_capacity, GrowableArray_getCapacity, 725548050) \
  V(_GrowableObjectArray, [], GrowableArray_getIndexed, 581838973)             \
  V(_GrowableObjectArray, []=, GrowableArray_setIndexed, 1048007636)           \
  V(_GrowableObjectArray, _setLength, GrowableArray_setLength, 796709584)      \
  V(_GrowableObjectArray, _setData, GrowableArray_setData, 629110947)          \
  V(_GrowableObjectArray, add, GrowableArray_add, 1367698386)                  \
  V(_ImmutableArray, [], ImmutableArray_getIndexed, 486821199)                 \
  V(_ImmutableArray, get:length, ImmutableArray_getLength, 433698233)          \
  V(Object, ==, Object_equal, 2126956595)                                      \
  V(_StringBase, get:hashCode, String_getHashCode, 320803993)                  \
  V(_StringBase, get:isEmpty, String_getIsEmpty, 711547329)                    \
  V(_StringBase, get:length, String_getLength, 320803993)                      \
  V(_StringBase, codeUnitAt, String_codeUnitAt, 984449525)                     \
  V(_OneByteString, get:hashCode, OneByteString_getHashCode, 682660413)        \


#define MATH_LIB_INTRINSIC_LIST(V)                                             \
  V(::, sqrt, Math_sqrt, 1662640002)                                           \
  V(::, sin, Math_sin, 1273932041)                                             \
  V(::, cos, Math_cos, 1749547468)                                             \


// Note that any intrinsified function is not inlined. Some optimizations
// rely on seeing the factories below instead of their inlined code.
#define SCALARLIST_LIB_INTRINSIC_LIST(V)                                       \
  V(_ByteArrayBase, get:length, ByteArrayBase_getLength, 1098081765)           \
  V(_Int64Array, [], Int64Array_getIndexed, 504894128)                         \
  V(_Uint64Array, [], Uint64Array_getIndexed, 31272531)                        \
  V(_Int8Array, _new, Int8Array_new, 535958453)                                \
  V(_Uint8Array, _new, Uint8Array_new, 604355565)                              \
  V(_Uint8ClampedArray, _new, Uint8ClampedArray_new, 1070949952)               \
  V(_Int16Array, _new, Int16Array_new, 903723993)                              \
  V(_Uint16Array, _new, Uint16Array_new, 133542762)                            \
  V(_Int32Array, _new, Int32Array_new, 8218286)                                \
  V(_Uint32Array, _new, Uint32Array_new, 469402161)                            \
  V(_Int64Array, _new, Int64Array_new, 60605075)                               \
  V(_Uint64Array, _new, Uint64Array_new, 624354107)                            \
  V(_Float32Array, _new, Float32Array_new, 109944959)                          \
  V(_Float64Array, _new, Float64Array_new, 147668392)                          \
  V(Int8List, ., Int8Array_factory, 817410959)                                 \
  V(Uint8List, ., Uint8Array_factory, 220896178)                               \
  V(Uint8ClampedList, ., Uint8ClampedArray_factory, 422034060)                 \
  V(Int16List, ., Int16Array_factory, 214246025)                               \
  V(Uint16List, ., Uint16Array_factory, 137929963)                             \
  V(Int32List, ., Int32Array_factory, 1977571010)                              \
  V(Uint32List, ., Uint32Array_factory, 407638944)                             \
  V(Int64List, ., Int64Array_factory, 885130273)                               \
  V(Uint64List, ., Uint64Array_factory, 1471017221)                            \
  V(Float32List, ., Float32Array_factory, 2035252095)                          \
  V(Float64List, ., Float64Array_factory, 1037441059)                          \

#define TYPEDDATA_LIB_INTRINSIC_LIST(V)                                        \
  V(_TypedList, get:length, TypedData_getLength, 231908172)                    \
  V(_Int8Array, _new, TypedData_Int8Array_new, 844274443)                      \
  V(_Uint8Array, _new, TypedData_Uint8Array_new, 997951645)                    \
  V(_Uint8ClampedArray, _new, TypedData_Uint8ClampedArray_new, 1025045044)     \
  V(_Int16Array, _new, TypedData_Int16Array_new, 1064563368)                   \
  V(_Uint16Array, _new, TypedData_Uint16Array_new, 110927177)                  \
  V(_Int32Array, _new, TypedData_Int32Array_new, 770802406)                    \
  V(_Uint32Array, _new, TypedData_Uint32Array_new, 856841876)                  \
  V(_Int64Array, _new, TypedData_Int64Array_new, 941769528)                    \
  V(_Uint64Array, _new, TypedData_Uint64Array_new, 977566635)                  \
  V(_Float32Array, _new, TypedData_Float32Array_new, 1053133615)               \
  V(_Float64Array, _new, TypedData_Float64Array_new, 936673303)                \
  V(_Int8Array, ., TypedData_Int8Array_factory, 1852699666)                    \
  V(_Uint8Array, ., TypedData_Uint8Array_factory, 1014667000)                  \
  V(_Uint8ClampedArray, ., TypedData_Uint8ClampedArray_factory, 519376744)     \
  V(_Int16Array, ., TypedData_Int16Array_factory, 1069515268)                  \
  V(_Uint16Array, ., TypedData_Uint16Array_factory, 1892182763)                \
  V(_Int32Array, ., TypedData_Int32Array_factory, 1724127394)                  \
  V(_Uint32Array, ., TypedData_Uint32Array_factory, 1251657079)                \
  V(_Int64Array, ., TypedData_Int64Array_factory, 1922050636)                  \
  V(_Uint64Array, ., TypedData_Uint64Array_factory, 1279581075)                \
  V(_Float32Array, ., TypedData_Float32Array_factory, 112704438)               \
  V(_Float64Array, ., TypedData_Float64Array_factory, 41426340)                \

// TODO(srdjan): Implement _FixedSizeArrayIterator, get:current and
//   _FixedSizeArrayIterator, moveNext.

// Forward declarations.
class Assembler;
class Function;

class Intrinsifier : public AllStatic {
 public:
  // Try to intrinsify 'function'. Returns true if the function intrinsified
  // completely and the code does not need to be generated (i.e., no slow
  // path possible).
  static bool Intrinsify(const Function& function, Assembler* assembler);
  static bool CanIntrinsify(const Function& function);
  static void InitializeState();

 private:
#define DECLARE_FUNCTION(test_class_name, test_function_name, destination, fp) \
  static bool destination(Assembler* assembler);

  CORE_LIB_INTRINSIC_LIST(DECLARE_FUNCTION)
  MATH_LIB_INTRINSIC_LIST(DECLARE_FUNCTION)
  SCALARLIST_LIB_INTRINSIC_LIST(DECLARE_FUNCTION)
  TYPEDDATA_LIB_INTRINSIC_LIST(DECLARE_FUNCTION)

#undef DECLARE_FUNCTION
};

}  // namespace dart

#endif  // VM_INTRINSIFIER_H_