integer_ptr.cats

/***********************************************************************/
/*                                                                     */
/*                         Applied Type System                         */
/*                                                                     */
/***********************************************************************/

/* (*
** ATS/Postiats - Unleashing the Potential of Types!
** Copyright (C) 2010-2013 Hongwei Xi, ATS Trustful Software, Inc.
** All rights reserved
**
** ATS is free software;  you can  redistribute it and/or modify it under
** the terms of  the GNU GENERAL PUBLIC LICENSE (GPL) as published by the
** Free Software Foundation; either version 3, or (at  your  option)  any
** later version.
**
** ATS is distributed in the hope that it will be useful, but WITHOUT ANY
** WARRANTY; without  even  the  implied  warranty  of MERCHANTABILITY or
** FITNESS FOR A PARTICULAR PURPOSE.  See the  GNU General Public License
** for more details.
**
** You  should  have  received  a  copy of the GNU General Public License
** along  with  ATS;  see the  file COPYING.  If not, please write to the
** Free Software Foundation,  51 Franklin Street, Fifth Floor, Boston, MA
** 02110-1301, USA.
*) */

/* ****** ****** */

/*
(* Author: Hongwei Xi *)
(* Authoremail: gmhwxiATgmailDOTcom *)
(* Start time: January, 2013 *)
*/

/* ****** ****** */

/*
** Source:
** $PATSHOME/prelude/CATS/CODEGEN/integer_ptr.atxt
** Time of generation: Mon Jun  4 01:42:54 2018
*/

/* ****** ****** */

#ifndef ATSLIB_PRELUDE_CATS_INTEGER_PTR
#define ATSLIB_PRELUDE_CATS_INTEGER_PTR

/* ****** ****** */

#include <stdint.h>

/* ****** ****** */

typedef intptr_t atstype_intptr ;
typedef uintptr_t atstype_uintptr ;

/* ****** ****** */
//
#define \
atspre_g0int2int_int_intptr(x) ((atstype_intptr)(x))
#define \
atspre_g0int2int_lint_intptr(x) ((atstype_intptr)(x))
//
#define \
atspre_g0int2uint_int_uintptr(x) ((atstype_uintptr)(x))
//
#define \
atspre_g0uint2uint_uint_uintptr(x) ((atstype_uintptr)(x))
#define \
atspre_g0uint2uint_ulint_uintptr(x) ((atstype_uintptr)(x))
//
/* ****** ****** */
//
#define \
atspre_g1int2int_int_intptr atspre_g0int2int_int_intptr
#define \
atspre_g1int2int_lint_intptr atspre_g0int2int_lint_intptr
//
#define \
atspre_g1int2uint_int_uintptr atspre_g0int2uint_int_uintptr
//
#define \
atspre_g1uint2uint_uint_uintptr atspre_g0uint2uint_uint_uintptr
#define \
atspre_g1uint2uint_ulint_uintptr atspre_g0uint2uint_ulint_uintptr
//
/* ****** ****** */
//
ATSinline()
atstype_intptr
atspre_g0int_neg_intptr
  (atstype_intptr x) { return (-x) ; }
// end of [atspre_g0int_neg_intptr]
ATSinline()
atstype_intptr
atspre_g0int_abs_intptr
  (atstype_intptr x) { return (x >= 0 ? x : -x) ; }
// end of [atspre_g0int_abs_intptr]
ATSinline()
atstype_intptr
atspre_g0int_succ_intptr
  (atstype_intptr x) { return (x + 1) ; }
// end of [atspre_g0int_succ_intptr]
ATSinline()
atstype_intptr
atspre_g0int_pred_intptr
  (atstype_intptr x) { return (x - 1) ; }
// end of [atspre_g0int_pred_intptr]
ATSinline()
atstype_intptr
atspre_g0int_half_intptr
  (atstype_intptr x) { return (x / 2) ; }
// end of [atspre_g0int_half_intptr]
ATSinline()
atstype_intptr
atspre_g0int_add_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 + x2) ; }
// end of [atspre_g0int_add_intptr]
ATSinline()
atstype_intptr
atspre_g0int_sub_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 - x2) ; }
// end of [atspre_g0int_sub_intptr]
ATSinline()
atstype_intptr
atspre_g0int_mul_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 * x2) ; }
// end of [atspre_g0int_mul_intptr]
ATSinline()
atstype_intptr
atspre_g0int_div_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 / x2) ; }
// end of [atspre_g0int_div_intptr]
ATSinline()
atstype_intptr
atspre_g0int_mod_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 % x2) ; }
// end of [atspre_g0int_mod_intptr]
ATSinline()
atstype_intptr
atspre_g0int_nmod_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 % x2) ; }
// end of [atspre_g0int_nmod_intptr]
ATSinline()
atstype_intptr
atspre_g0int_asl_intptr
  (atstype_intptr x, atstype_int n) { return (x << n) ; }
// end of [atspre_g0int_asl_intptr]
ATSinline()
atstype_intptr
atspre_g0int_asr_intptr
  (atstype_intptr x, atstype_int n) { return (x >> n) ; }
// end of [atspre_g0int_asr_intptr]
ATSinline()
atstype_bool
atspre_g0int_lt_intptr
(
  atstype_intptr x1, atstype_intptr x2
) {
  return (x1 < x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_lt_intptr]
ATSinline()
atstype_bool
atspre_g0int_lte_intptr
(
  atstype_intptr x1, atstype_intptr x2
) {
  return (x1 <= x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_lte_intptr]
ATSinline()
atstype_bool
atspre_g0int_gt_intptr
(
  atstype_intptr x1, atstype_intptr x2
) {
  return (x1 > x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_gt_intptr]
ATSinline()
atstype_bool
atspre_g0int_gte_intptr
(
  atstype_intptr x1, atstype_intptr x2
) {
  return (x1 >= x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_gte_intptr]
ATSinline()
atstype_bool
atspre_g0int_eq_intptr
(
  atstype_intptr x1, atstype_intptr x2
) {
  return (x1 == x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_eq_intptr]
ATSinline()
atstype_bool
atspre_g0int_neq_intptr
(
  atstype_intptr x1, atstype_intptr x2
) {
  return (x1 != x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_neq_intptr]
ATSinline()
atstype_int
atspre_g0int_compare_intptr
(
  atstype_intptr x1, atstype_intptr x2
) {
  if (x1 < x2) return -1 ; else if (x1 > x2) return 1 ; else return 0 ;
} // end of [atspre_g0int_compare_intptr]
ATSinline()
atstype_intptr
atspre_g0int_max_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 >= x2 ? x1 : x2) ; }
// end of [atspre_g0int_max_intptr]
ATSinline()
atstype_intptr
atspre_g0int_min_intptr
  (atstype_intptr x1, atstype_intptr x2) { return (x1 <= x2 ? x1 : x2) ; }
// end of [atspre_g0int_min_intptr]
ATSinline()
atstype_bool
atspre_g0int_isltz_intptr (atstype_intptr x)
{
  return (x < 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_isltz_intptr]
ATSinline()
atstype_bool
atspre_g0int_isltez_intptr (atstype_intptr x)
{
  return (x <= 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_isltez_intptr]
ATSinline()
atstype_bool
atspre_g0int_isgtz_intptr (atstype_intptr x)
{
  return (x > 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_isgtz_intptr]
ATSinline()
atstype_bool
atspre_g0int_isgtez_intptr (atstype_intptr x)
{
  return (x >= 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_isgtez_intptr]
ATSinline()
atstype_bool
atspre_g0int_iseqz_intptr (atstype_intptr x)
{
  return (x == 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_iseqz_intptr]
ATSinline()
atstype_bool
atspre_g0int_isneqz_intptr (atstype_intptr x)
{
  return (x != 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0int_isneqz_intptr]
//
#define atspre_g1int_abs_intptr atspre_g0int_abs_intptr
#define atspre_g1int_neg_intptr atspre_g0int_neg_intptr
#define atspre_g1int_succ_intptr atspre_g0int_succ_intptr
#define atspre_g1int_pred_intptr atspre_g0int_pred_intptr
#define atspre_g1int_half_intptr atspre_g0int_half_intptr
#define atspre_g1int_add_intptr atspre_g0int_add_intptr
#define atspre_g1int_sub_intptr atspre_g0int_sub_intptr
#define atspre_g1int_mul_intptr atspre_g0int_mul_intptr
#define atspre_g1int_div_intptr atspre_g0int_div_intptr
#define atspre_g1int_nmod_intptr atspre_g0int_nmod_intptr
#define atspre_g1int_lt_intptr atspre_g0int_lt_intptr
#define atspre_g1int_lte_intptr atspre_g0int_lte_intptr
#define atspre_g1int_gt_intptr atspre_g0int_gt_intptr
#define atspre_g1int_gte_intptr atspre_g0int_gte_intptr
#define atspre_g1int_eq_intptr atspre_g0int_eq_intptr
#define atspre_g1int_neq_intptr atspre_g0int_neq_intptr
#define atspre_g1int_compare_intptr atspre_g0int_compare_intptr
#define atspre_g1int_max_intptr atspre_g0int_max_intptr
#define atspre_g1int_min_intptr atspre_g0int_min_intptr
#define atspre_g1int_isltz_intptr atspre_g0int_isltz_intptr
#define atspre_g1int_isltez_intptr atspre_g0int_isltez_intptr
#define atspre_g1int_isgtz_intptr atspre_g0int_isgtz_intptr
#define atspre_g1int_isgtez_intptr atspre_g0int_isgtez_intptr
#define atspre_g1int_iseqz_intptr atspre_g0int_iseqz_intptr
#define atspre_g1int_isneqz_intptr atspre_g0int_isneqz_intptr
//
/* ****** ****** */
//
ATSinline()
atstype_uintptr
atspre_g0uint_succ_uintptr
  (atstype_uintptr x) { return (x + 1) ; }
// end of [atspre_g0uint_succ_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_pred_uintptr
  (atstype_uintptr x) { return (x - 1) ; }
// end of [atspre_g0uint_pred_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_half_uintptr
  (atstype_uintptr x) { return (x >> 1) ; }
// end of [atspre_g0uint_half_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_add_uintptr
  (atstype_uintptr x1, atstype_uintptr x2) { return (x1 + x2) ; }
// end of [atspre_g0uint_add_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_sub_uintptr
  (atstype_uintptr x1, atstype_uintptr x2) { return (x1 - x2) ; }
// end of [atspre_g0uint_sub_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_mul_uintptr
  (atstype_uintptr x1, atstype_uintptr x2) { return (x1 * x2) ; }
// end of [atspre_g0uint_mul_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_div_uintptr
  (atstype_uintptr x1, atstype_uintptr x2) { return (x1 / x2) ; }
// end of [atspre_g0uint_div_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_mod_uintptr
  (atstype_uintptr x1, atstype_uintptr x2) { return (x1 % x2) ; }
// end of [atspre_g0uint_mod_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_lsl_uintptr
  (atstype_uintptr x, atstype_int n) { return (x << n) ; }
// end of [atspre_g0uint_lsl_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_lsr_uintptr
  (atstype_uintptr x, atstype_int n) { return (x >> n) ; }
// end of [atspre_g0uint_lsr_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_lnot_uintptr
  (atstype_uintptr x) { return ~(x) ; }
// end of [atspre_g0uint_lnot_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_lor_uintptr
  (atstype_uintptr x, atstype_uintptr y) { return (x | y) ; }
// end of [atspre_g0uint_uintptr_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_land_uintptr
  (atstype_uintptr x, atstype_uintptr y) { return (x & y) ; }
// end of [atspre_g0uint_uintptr_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_lxor_uintptr
  (atstype_uintptr x, atstype_uintptr y) { return (x ^ y) ; }
// end of [atspre_g0uint_uintptr_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_lt_uintptr
(
  atstype_uintptr x1, atstype_uintptr x2
) {
  return (x1 < x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_lt_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_lte_uintptr
(
  atstype_uintptr x1, atstype_uintptr x2
) {
  return (x1 <= x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_lte_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_gt_uintptr
(
  atstype_uintptr x1, atstype_uintptr x2
) {
  return (x1 > x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_gt_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_gte_uintptr
(
  atstype_uintptr x1, atstype_uintptr x2
) {
  return (x1 >= x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_gte_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_eq_uintptr
(
  atstype_uintptr x1, atstype_uintptr x2
) {
  return (x1 == x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_eq_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_neq_uintptr
(
  atstype_uintptr x1, atstype_uintptr x2
) {
  return (x1 != x2 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_neq_uintptr]
ATSinline()
atstype_int
atspre_g0uint_compare_uintptr
(
  atstype_uintptr x1, atstype_uintptr x2
) {
  if (x1 < x2) return -1 ; else if (x1 > x2) return 1 ; else return 0 ;
} // end of [atspre_g0uint_compare_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_max_uintptr
  (atstype_uintptr x1, atstype_uintptr x2) { return (x1 >= x2 ? x1 : x2) ; }
// end of [atspre_g0uint_max_uintptr]
ATSinline()
atstype_uintptr
atspre_g0uint_min_uintptr
  (atstype_uintptr x1, atstype_uintptr x2) { return (x1 <= x2 ? x1 : x2) ; }
// end of [atspre_g0uint_min_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_isltez_uintptr (atstype_uintptr x)
{
  return (x <= 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_isltez_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_isgtz_uintptr (atstype_uintptr x)
{
  return (x > 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_isgtz_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_iseqz_uintptr (atstype_uintptr x)
{
  return (x == 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_iseqz_uintptr]
ATSinline()
atstype_bool
atspre_g0uint_isneqz_uintptr (atstype_uintptr x)
{
  return (x != 0 ? atsbool_true : atsbool_false) ;
} // end of [atspre_g0uint_isneqz_uintptr]
//
#define atspre_g1uint_succ_uintptr atspre_g0uint_succ_uintptr
#define atspre_g1uint_pred_uintptr atspre_g0uint_pred_uintptr
#define atspre_g1uint_half_uintptr atspre_g0uint_half_uintptr
#define atspre_g1uint_add_uintptr atspre_g0uint_add_uintptr
#define atspre_g1uint_sub_uintptr atspre_g0uint_sub_uintptr
#define atspre_g1uint_mul_uintptr atspre_g0uint_mul_uintptr
#define atspre_g1uint_div_uintptr atspre_g0uint_div_uintptr
#define atspre_g1uint_mod_uintptr atspre_g0uint_mod_uintptr
#define atspre_g1uint_lt_uintptr atspre_g0uint_lt_uintptr
#define atspre_g1uint_lte_uintptr atspre_g0uint_lte_uintptr
#define atspre_g1uint_gt_uintptr atspre_g0uint_gt_uintptr
#define atspre_g1uint_gte_uintptr atspre_g0uint_gte_uintptr
#define atspre_g1uint_eq_uintptr atspre_g0uint_eq_uintptr
#define atspre_g1uint_neq_uintptr atspre_g0uint_neq_uintptr
#define atspre_g1uint_compare_uintptr atspre_g0uint_compare_uintptr
#define atspre_g1uint_max_uintptr atspre_g0uint_max_uintptr
#define atspre_g1uint_min_uintptr atspre_g0uint_min_uintptr
#define atspre_g1uint_isltez_uintptr atspre_g0uint_isltez_uintptr
#define atspre_g1uint_isgtz_uintptr atspre_g0uint_isgtz_uintptr
#define atspre_g1uint_iseqz_uintptr atspre_g0uint_iseqz_uintptr
#define atspre_g1uint_isneqz_uintptr atspre_g0uint_isneqz_uintptr
//
/* ****** ****** */

#endif // ifndef ATSLIB_PRELUDE_CATS_INTEGER_PTR

/* ****** ****** */

/* end of [integer_ptr.cats] */