//===- subzero/src/IceInst.def - X-macros for ICE instructions  -*- C++ -*-===//
//
//                        The Subzero Code Generator
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// This file defines properties of ICE instructions in the form of x-macros.
//
//===----------------------------------------------------------------------===//

#ifndef SUBZERO_SRC_ICEINST_DEF
#define SUBZERO_SRC_ICEINST_DEF

// Floating point addition and multiplication are commutative.
// 1) non-special values and infinities are required to commute.
// 2) signed zeroes are handled by:
//    From IEEE standard 754-2008:
//      When the sum of two operands with opposite signs (or the difference of
//      two operands with like signs) is exactly zero, the sign of that sum
//      (or difference) shall be +0 in all rounding-direction attributes
//      except roundTowardNegative; under that attribute, the sign of an exact
//      zero sum (or difference) shall be −0.
// 3) NaNs are handled by:
//    http://grouper.ieee.org/groups/1788/email/msg03558.html
//      clause of 754 at work is 6.2.3 NaN propagation:
//      "If two or more inputs are NaN, then the payload of the resulting NaN
//      should be identical to the payload of one of the input NaNs if
//      representable in the destination format. This standard does not
//      specify which of the input NaNs will provide the payload."

#define ICEINSTARITHMETIC_TABLE                                                \
  /* enum value, printable string, commutative */                              \
  X(Add,         "add",            1)                                          \
  X(Fadd,        "fadd",           1)                                          \
  X(Sub,         "sub",            0)                                          \
  X(Fsub,        "fsub",           0)                                          \
  X(Mul,         "mul",            1)                                          \
  X(Fmul,        "fmul",           1)                                          \
  X(Udiv,        "udiv",           0)                                          \
  X(Sdiv,        "sdiv",           0)                                          \
  X(Fdiv,        "fdiv",           0)                                          \
  X(Urem,        "urem",           0)                                          \
  X(Srem,        "srem",           0)                                          \
  X(Frem,        "frem",           0)                                          \
  X(Shl,         "shl",            0)                                          \
  X(Lshr,        "lshr",           0)                                          \
  X(Ashr,        "ashr",           0)                                          \
  X(And,         "and",            1)                                          \
  X(Or,          "or",             1)                                          \
  X(Xor,         "xor",            1)
//#define X(tag, str, commutative)

#define ICEINSTCAST_TABLE                                                      \
  /* enum value, printable string */                                           \
  X(Trunc,       "trunc")                                                      \
  X(Zext,        "zext")                                                       \
  X(Sext,        "sext")                                                       \
  X(Fptrunc,     "fptrunc")                                                    \
  X(Fpext,       "fpext")                                                      \
  X(Fptoui,      "fptoui")                                                     \
  X(Fptosi,      "fptosi")                                                     \
  X(Uitofp,      "uitofp")                                                     \
  X(Sitofp,      "sitofp")                                                     \
  X(Bitcast,     "bitcast")
//#define X(tag, str)

#define ICEINSTFCMP_TABLE                                                      \
  /* enum value, printable string */                                           \
  X(False,       "false")                                                      \
  X(Oeq,         "oeq")                                                        \
  X(Ogt,         "ogt")                                                        \
  X(Oge,         "oge")                                                        \
  X(Olt,         "olt")                                                        \
  X(Ole,         "ole")                                                        \
  X(One,         "one")                                                        \
  X(Ord,         "ord")                                                        \
  X(Ueq,         "ueq")                                                        \
  X(Ugt,         "ugt")                                                        \
  X(Uge,         "uge")                                                        \
  X(Ult,         "ult")                                                        \
  X(Ule,         "ule")                                                        \
  X(Une,         "une")                                                        \
  X(Uno,         "uno")                                                        \
  X(True,        "true")
//#define X(tag, str)

#define ICEINSTICMP_TABLE                                                      \
  /* enum value, reverse, printable string */                                  \
  X(Eq,          Eq,      "eq")                                                \
  X(Ne,          Ne,      "ne")                                                \
  X(Ugt,         Ult,     "ugt")                                               \
  X(Uge,         Ule,     "uge")                                               \
  X(Ult,         Ugt,     "ult")                                               \
  X(Ule,         Uge,     "ule")                                               \
  X(Sgt,         Slt,     "sgt")                                               \
  X(Sge,         Sle,     "sge")                                               \
  X(Slt,         Sgt,     "slt")                                               \
  X(Sle,         Sge,     "sle")
//#define X(tag, reverse, str)

#endif // SUBZERO_SRC_ICEINST_DEF