llvm/polly/include/polly/Support/ISLOperators.h

//===------ ISLOperators.h --------------------------------------*- 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
//
//===----------------------------------------------------------------------===//
//
// Operator overloads for isl C++ objects.
//
//===----------------------------------------------------------------------===//

#ifndef POLLY_ISLOPERATORS_H
#define POLLY_ISLOPERATORS_H

#include "isl/isl-noexceptions.h"

namespace polly {

/// Addition
/// @{
inline isl::pw_aff operator+(isl::pw_aff Left, isl::pw_aff Right) { … }

inline isl::pw_aff operator+(isl::val ValLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator+(isl::pw_aff Left, isl::val ValRight) { … }

inline isl::pw_aff operator+(long IntLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator+(isl::pw_aff Left, long IntRight) { … }
/// @}

/// Multiplication
/// @{
inline isl::pw_aff operator*(isl::pw_aff Left, isl::pw_aff Right) { … }

inline isl::pw_aff operator*(isl::val ValLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator*(isl::pw_aff Left, isl::val ValRight) { … }

inline isl::pw_aff operator*(long IntLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator*(isl::pw_aff Left, long IntRight) { … }
/// @}

/// Subtraction
/// @{
inline isl::pw_aff operator-(isl::pw_aff Left, isl::pw_aff Right) { … }

inline isl::pw_aff operator-(isl::val ValLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator-(isl::pw_aff Left, isl::val ValRight) { … }

inline isl::pw_aff operator-(long IntLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator-(isl::pw_aff Left, long IntRight) { … }
/// @}

/// Division
///
/// This division rounds towards zero. This follows the semantics of C/C++.
///
/// @{
inline isl::pw_aff operator/(isl::pw_aff Left, isl::pw_aff Right) { … }

inline isl::pw_aff operator/(isl::val ValLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator/(isl::pw_aff Left, isl::val ValRight) { … }

inline isl::pw_aff operator/(long IntLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator/(isl::pw_aff Left, long IntRight) { … }
/// @}

/// Remainder
///
/// This is the remainder of a division which rounds towards zero. This follows
/// the semantics of C/C++.
///
/// @{
inline isl::pw_aff operator%(isl::pw_aff Left, isl::pw_aff Right) { … }

inline isl::pw_aff operator%(isl::val ValLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator%(isl::pw_aff Left, isl::val ValRight) { … }

inline isl::pw_aff operator%(long IntLeft, isl::pw_aff Right) { … }

inline isl::pw_aff operator%(isl::pw_aff Left, long IntRight) { … }
/// @}

} // namespace polly

#endif // POLLY_ISLOPERATORS_H