lifting-bits-remill/lib/Arch/AArch32/Semantics/FLAGS.cpp

/*
 * Copyright (c) 2017 Trail of Bits, Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

namespace {

// Used to select specializations of flags computations based on what operator
// is executed.
enum : uint32_t { kLHS = 2415899639U, kRHS = 70623199U };

// Zero flags, tells us whether or not a value is zero.
template <typename T>
[[gnu::const]] ALWAYS_INLINE static bool ZeroFlag(T res) {
  return T(0) == res;
}

// Zero flags, tells us whether or not a value is zero.
template <typename T>
[[gnu::const]] ALWAYS_INLINE static bool NotZeroFlag(T res) {
  return T(0) != res;
}

// Sign flag, tells us if a result is signed or unsigned.
template <typename T>
[[gnu::const]] ALWAYS_INLINE static bool SignFlag(T res) {
  return 0 > Signed(res);
}

// Tests whether there is an even number of bits in the low order byte.
[[gnu::const]] ALWAYS_INLINE static bool ParityFlag(uint8_t r0) {
  return !__builtin_parity(static_cast<unsigned>(r0));

  //  auto r1 = r0 >> 1_u8;
  //  auto r2 = r1 >> 1_u8;
  //  auto r3 = r2 >> 1_u8;
  //  auto r4 = r3 >> 1_u8;
  //  auto r5 = r4 >> 1_u8;
  //  auto r6 = r5 >> 1_u8;
  //  auto r7 = r6 >> 1_u8;
  //
  //  return !(1 & (r0 ^ r1 ^ r2 ^ r3 ^ r4 ^ r5 ^ r6 ^ r7));
}

struct tag_add {};
struct tag_sub {};
struct tag_div {};
struct tag_mul {};

// Generic overflow flag.
template <typename T>
struct Overflow;

// Computes an overflow flag when two numbers are added together.
template <>
struct Overflow<tag_add> {
  template <typename T>
  [[gnu::const]] ALWAYS_INLINE static bool Flag(T lhs, T rhs, T res) {
    static_assert(std::is_unsigned<T>::value,
                  "Invalid specialization of `Overflow::Flag` for addition.");
    enum { kSignShift = sizeof(T) * 8 - 1 };

    const T sign_lhs = lhs >> kSignShift;
    const T sign_rhs = rhs >> kSignShift;
    const T sign_res = res >> kSignShift;
    return 2 == (sign_lhs ^ sign_res) + (sign_rhs ^ sign_res);
  }
};

// Computes an overflow flag when one number is subtracted from another.
template <>
struct Overflow<tag_sub> {
  template <typename T>
  [[gnu::const]] ALWAYS_INLINE static bool Flag(T lhs, T rhs, T res) {
    static_assert(std::is_unsigned<T>::value,
                  "Invalid specialization of `Overflow::Flag` for "
                  "subtraction.");
    enum { kSignShift = sizeof(T) * 8 - 1 };

    const T sign_lhs = lhs >> kSignShift;
    const T sign_rhs = rhs >> kSignShift;
    const T sign_res = res >> kSignShift;
    return 2 == (sign_lhs ^ sign_rhs) + (sign_lhs ^ sign_res);
  }
};

// Computes an overflow flag when one number is multiplied with another.
template <>
struct Overflow<tag_mul> {

  // Integer multiplication overflow check, where result is twice the width of
  // the operands.
  template <typename T, typename R>
  [[gnu::const]] ALWAYS_INLINE static bool
  Flag(T, T, R res,
       typename std::enable_if<sizeof(T) < sizeof(R), int>::type = 0) {

    return static_cast<R>(static_cast<T>(res)) != res;
  }

  // Signed integer multiplication overflow check, where the result is
  // truncated to the size of the operands.
  template <typename T>
  [[gnu::const]] ALWAYS_INLINE static bool
  Flag(T lhs, T rhs, T,
       typename std::enable_if<std::is_signed<T>::value, int>::type = 0) {
    auto lhs_wide = SExt(lhs);
    auto rhs_wide = SExt(rhs);
    return Flag<T, decltype(lhs_wide)>(lhs, rhs, lhs_wide * rhs_wide);
  }
};

// Generic carry flag.
template <typename Tag>
struct Carry;

// Computes an carry flag when two numbers are added together.
template <>
struct Carry<tag_add> {
  template <typename T>
  [[gnu::const]] ALWAYS_INLINE static bool Flag(T lhs, T rhs, T res) {
    static_assert(std::is_unsigned<T>::value,
                  "Invalid specialization of `Carry::Flag` for addition.");
    return res < lhs || res < rhs;
  }
};

// Computes an carry flag when one number is subtracted from another.
template <>
struct Carry<tag_sub> {
  template <typename T>
  [[gnu::const]] ALWAYS_INLINE static bool Flag(T lhs, T rhs, T) {
    static_assert(std::is_unsigned<T>::value,
                  "Invalid specialization of `Carry::Flag` for addition.");
    return lhs < rhs;
  }
};

ALWAYS_INLINE static void SetFPSRStatusFlags(State &state, int mask) {

  // TODO(Sonya): Update these flags to work on AArch32
  //  state.sr.ixc |= static_cast<uint8_t>(0 != (mask & FE_INEXACT));
  //  state.sr.ofc |= static_cast<uint8_t>(0 != (mask & FE_OVERFLOW));
  //  state.sr.ufc |= static_cast<uint8_t>(0 != (mask & FE_UNDERFLOW));
  //  state.sr.ioc |= static_cast<uint64_t>(0 != (mask & FE_INVALID));
}

template <typename F, typename T>
ALWAYS_INLINE static auto CheckedFloatUnaryOp(State &state, F func, T arg1)
    -> decltype(func(arg1)) {

  // state.sr.idc |= IsDenormal(arg1);
  auto old_except = __remill_fpu_exception_test_and_clear(0, FE_ALL_EXCEPT);
  BarrierReorder();
  auto res = func(arg1);
  BarrierReorder();
  auto new_except = __remill_fpu_exception_test_and_clear(
      FE_ALL_EXCEPT, old_except /* zero */);
  SetFPSRStatusFlags(state, new_except);
  return res;
}

template <typename F, typename T>
ALWAYS_INLINE static auto CheckedFloatBinOp(State &state, F func, T arg1,
                                            T arg2)
    -> decltype(func(arg1, arg2)) {

  // state.sr.idc |= IsDenormal(arg1) | IsDenormal(arg2);
  auto old_except = __remill_fpu_exception_test_and_clear(0, FE_ALL_EXCEPT);
  BarrierReorder();
  auto res = func(arg1, arg2);
  BarrierReorder();
  auto new_except = __remill_fpu_exception_test_and_clear(
      FE_ALL_EXCEPT, old_except /* zero */);
  SetFPSRStatusFlags(state, new_except);
  return res;
}

}  // namespace