//===-- PPCPredicates.h - PPC Branch Predicate Information ------*- C++ -*-===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
//
// This file describes the PowerPC branch predicates.
//
//===----------------------------------------------------------------------===//

#ifndef LLVM_LIB_TARGET_POWERPC_MCTARGETDESC_PPCPREDICATES_H
#define LLVM_LIB_TARGET_POWERPC_MCTARGETDESC_PPCPREDICATES_H

// GCC #defines PPC on Linux but we use it as our namespace name
#undef PPC

// Generated files will use "namespace PPC". To avoid symbol clash,
// undefine PPC here. PPC may be predefined on some hosts.
#undef PPC

namespace llvm {
namespace PPC {
  /// Predicate - These are "(BI << 5) | BO"  for various predicates.
  using Predicate = int;
  constexpr Predicate PRED_LT       = (0 << 5) | 12;
  constexpr Predicate PRED_LE       = (1 << 5) |  4;
  constexpr Predicate PRED_EQ       = (2 << 5) | 12;
  constexpr Predicate PRED_GE       = (0 << 5) |  4;
  constexpr Predicate PRED_GT       = (1 << 5) | 12;
  constexpr Predicate PRED_NE       = (2 << 5) |  4;
  constexpr Predicate PRED_UN       = (3 << 5) | 12;
  constexpr Predicate PRED_NU       = (3 << 5) |  4;
  constexpr Predicate PRED_LT_MINUS = (0 << 5) | 14;
  constexpr Predicate PRED_LE_MINUS = (1 << 5) |  6;
  constexpr Predicate PRED_EQ_MINUS = (2 << 5) | 14;
  constexpr Predicate PRED_GE_MINUS = (0 << 5) |  6;
  constexpr Predicate PRED_GT_MINUS = (1 << 5) | 14;
  constexpr Predicate PRED_NE_MINUS = (2 << 5) |  6;
  constexpr Predicate PRED_UN_MINUS = (3 << 5) | 14;
  constexpr Predicate PRED_NU_MINUS = (3 << 5) |  6;
  constexpr Predicate PRED_LT_PLUS  = (0 << 5) | 15;
  constexpr Predicate PRED_LE_PLUS  = (1 << 5) |  7;
  constexpr Predicate PRED_EQ_PLUS  = (2 << 5) | 15;
  constexpr Predicate PRED_GE_PLUS  = (0 << 5) |  7;
  constexpr Predicate PRED_GT_PLUS  = (1 << 5) | 15;
  constexpr Predicate PRED_NE_PLUS  = (2 << 5) |  7;
  constexpr Predicate PRED_UN_PLUS  = (3 << 5) | 15;
  constexpr Predicate PRED_NU_PLUS  = (3 << 5) |  7;

  // SPE scalar compare instructions always set the GT bit.
  constexpr Predicate PRED_SPE      = PRED_GT;

  // When dealing with individual condition-register bits, we have simple set
  // and unset predicates.
  constexpr Predicate PRED_BIT_SET =   1024;
  constexpr Predicate PRED_BIT_UNSET = 1025;

  // Bit for branch taken (plus) or not-taken (minus) hint
  using BranchHintBit = int;
  constexpr BranchHintBit BR_NO_HINT       = 0x0;
  constexpr BranchHintBit BR_NONTAKEN_HINT = 0x2;
  constexpr BranchHintBit BR_TAKEN_HINT    = 0x3;
  constexpr BranchHintBit BR_HINT_MASK     = 0X3;

  /// Invert the specified predicate.  != -> ==, < -> >=.
  Predicate InvertPredicate(Predicate Opcode);

  /// Assume the condition register is set by MI(a,b), return the predicate if
  /// we modify the instructions such that condition register is set by MI(b,a).
  Predicate getSwappedPredicate(Predicate Opcode);

  /// Return the condition without hint bits.
  inline unsigned getPredicateCondition(Predicate Opcode) {
    return (unsigned)(Opcode & ~BR_HINT_MASK);
  }

  /// Return the hint bits of the predicate.
  inline unsigned getPredicateHint(Predicate Opcode) {
    return (unsigned)(Opcode & BR_HINT_MASK);
  }

  /// Return predicate consisting of specified condition and hint bits.
  inline Predicate getPredicate(unsigned Condition, unsigned Hint) {
    return (Predicate)((Condition & ~BR_HINT_MASK) |
                       (Hint & BR_HINT_MASK));
  }
}
}

#endif