integer_short.out

(***********************************************************************)
(*                                                                     *)
(*                         Applied Type System                         *)
(*                                                                     *)
(***********************************************************************)
(*
** ATS/Postiats - Unleashing the Potential of Types!
** Copyright (C) 2010-2015 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/SATS/CODEGEN/integer_short.atxt
** Time of generation: Thu Jan 11 11:00:03 2018
*)
(* ****** ****** *)
sortdef tk = tkind

(* ****** ****** *)
//
stadef sintknd  = sint_kind
stadef usintknd  = usint_kind

//
(* ****** ****** *)
//
fun g0int2int_int_sint(int) :<> sint =
  "mac#%"

fun g0uint2int_uint_sint(uint) :<> sint =
  "mac#%"

//
fun g0int2uint_int_usint(int) :<> usint =
  "mac#%"

fun g0uint2uint_uint_usint(uint) :<> usint =
  "mac#%"

//
(* ****** ****** *)
fun g0int2uint_sint_usint(sint) :<> usint =
  "mac#%"

fun g0uint2int_usint_sint(usint) :<> sint =
  "mac#%"

(* ****** ****** *)
//
fun g0int2int_sint_int(sint) :<> int =
  "mac#%"

fun g0int2uint_sint_uint(sint) :<> uint =
  "mac#%"

//
(* ****** ****** *)
//
fun g0uint2int_usint_int(usint) :<> int =
  "mac#%"

fun g0uint2uint_usint_uint(usint) :<> uint =
  "mac#%"

//
(* ****** ****** *)
//
fun print_sint(sint) : void =
  "mac#%"

fun prerr_sint(sint) : void =
  "mac#%"

fun fprint_sint : fprint_type(sint) =
  "mac#%"

overload print with print_sint
overload prerr with prerr_sint
overload fprint with fprint_sint

fun print_usint(usint) : void =
  "mac#%"

fun prerr_usint(usint) : void =
  "mac#%"

fun fprint_usint : fprint_type(usint) =
  "mac#%"

overload print with print_usint
overload prerr with prerr_usint
overload fprint with fprint_usint

//
(* ****** ****** *)
//
fun g0int_neg_sint(x : sint) :<> sint =
  "mac#%"

fun g0int_abs_sint(x : sint) :<> sint =
  "mac#%"

fun g0int_succ_sint(x : sint) :<> sint =
  "mac#%"

fun g0int_pred_sint(x : sint) :<> sint =
  "mac#%"

fun g0int_half_sint(x : sint) :<> sint =
  "mac#%"

fun g0int_asl_sint(x : sint, n : intGte(0)) :<> sint =
  "mac#%"

fun g0int_asr_sint(x : sint, n : intGte(0)) :<> sint =
  "mac#%"

fun g0int_add_sint(x : sint, y : sint) :<> sint =
  "mac#%"

fun g0int_sub_sint(x : sint, y : sint) :<> sint =
  "mac#%"

fun g0int_mul_sint(x : sint, y : sint) :<> sint =
  "mac#%"

fun g0int_div_sint(x : sint, y : sint) :<> sint =
  "mac#%"

fun g0int_mod_sint(x : sint, y : sint) :<> sint =
  "mac#%"

fun g0int_lt_sint(x : sint, y : sint) :<> bool =
  "mac#%"

fun g0int_lte_sint(x : sint, y : sint) :<> bool =
  "mac#%"

fun g0int_gt_sint(x : sint, y : sint) :<> bool =
  "mac#%"

fun g0int_gte_sint(x : sint, y : sint) :<> bool =
  "mac#%"

fun g0int_eq_sint(x : sint, y : sint) :<> bool =
  "mac#%"

fun g0int_neq_sint(x : sint, y : sint) :<> bool =
  "mac#%"

fun g0int_compare_sint(x : sint, y : sint) :<> int =
  "mac#%"

fun g0int_max_sint(x : sint, y : sint) :<> sint =
  "mac#%"

fun g0int_min_sint(x : sint, y : sint) :<> sint =
  "mac#%"

fun g0int_isltz_sint(x : sint) :<> bool =
  "mac#%"

fun g0int_isltez_sint(x : sint) :<> bool =
  "mac#%"

fun g0int_isgtz_sint(x : sint) :<> bool =
  "mac#%"

fun g0int_isgtez_sint(x : sint) :<> bool =
  "mac#%"

fun g0int_iseqz_sint(x : sint) :<> bool =
  "mac#%"

fun g0int_isneqz_sint(x : sint) :<> bool =
  "mac#%"

fun g0uint_succ_usint(x : usint) :<> usint =
  "mac#%"

fun g0uint_pred_usint(x : usint) :<> usint =
  "mac#%"

fun g0uint_half_usint(x : usint) :<> usint =
  "mac#%"

fun g0uint_add_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_sub_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_mul_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_div_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_mod_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_lsl_usint(x : usint, n : intGte(0)) :<> usint =
  "mac#%"

fun g0uint_lsr_usint(x : usint, n : intGte(0)) :<> usint =
  "mac#%"

fun g0uint_lnot_usint(x : usint) :<> usint =
  "mac#%"

fun g0uint_lor_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_lxor_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_land_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_lt_usint(x : usint, y : usint) :<> bool =
  "mac#%"

fun g0uint_lte_usint(x : usint, y : usint) :<> bool =
  "mac#%"

fun g0uint_gt_usint(x : usint, y : usint) :<> bool =
  "mac#%"

fun g0uint_gte_usint(x : usint, y : usint) :<> bool =
  "mac#%"

fun g0uint_eq_usint(x : usint, y : usint) :<> bool =
  "mac#%"

fun g0uint_neq_usint(x : usint, y : usint) :<> bool =
  "mac#%"

fun g0uint_compare_usint(x : usint, y : usint) :<> int =
  "mac#%"

fun g0uint_max_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_min_usint(x : usint, y : usint) :<> usint =
  "mac#%"

fun g0uint_isgtz_usint(x : usint) :<> bool =
  "mac#%"

fun g0uint_iseqz_usint(x : usint) :<> bool =
  "mac#%"

fun g0uint_isneqz_usint(x : usint) :<> bool =
  "mac#%"

//
(* ****** ****** *)
//
fun g1int_neg_sint : g1int_neg_type(sintknd) =
  "mac#%"

fun g1int_abs_sint : g1int_abs_type(sintknd) =
  "mac#%"

fun g1int_succ_sint : g1int_succ_type(sintknd) =
  "mac#%"

fun g1int_pred_sint : g1int_pred_type(sintknd) =
  "mac#%"

fun g1int_half_sint : g1int_half_type(sintknd) =
  "mac#%"

fun g1int_add_sint : g1int_add_type(sintknd) =
  "mac#%"

fun g1int_sub_sint : g1int_sub_type(sintknd) =
  "mac#%"

fun g1int_mul_sint : g1int_mul_type(sintknd) =
  "mac#%"

fun g1int_div_sint : g1int_div_type(sintknd) =
  "mac#%"

fun g1int_nmod_sint : g1int_nmod_type(sintknd) =
  "mac#%"

fun g1int_lt_sint : g1int_lt_type(sintknd) =
  "mac#%"

fun g1int_lte_sint : g1int_lte_type(sintknd) =
  "mac#%"

fun g1int_gt_sint : g1int_gt_type(sintknd) =
  "mac#%"

fun g1int_gte_sint : g1int_gte_type(sintknd) =
  "mac#%"

fun g1int_eq_sint : g1int_eq_type(sintknd) =
  "mac#%"

fun g1int_neq_sint : g1int_neq_type(sintknd) =
  "mac#%"

fun g1int_compare_sint : g1int_compare_type(sintknd) =
  "mac#%"

fun g1int_max_sint : g1int_max_type(sintknd) =
  "mac#%"

fun g1int_min_sint : g1int_min_type(sintknd) =
  "mac#%"

fun g1int_isltz_sint : g1int_isltz_type(sintknd) =
  "mac#%"

fun g1int_isltez_sint : g1int_isltez_type(sintknd) =
  "mac#%"

fun g1int_isgtz_sint : g1int_isgtz_type(sintknd) =
  "mac#%"

fun g1int_isgtez_sint : g1int_isgtez_type(sintknd) =
  "mac#%"

fun g1int_iseqz_sint : g1int_iseqz_type(sintknd) =
  "mac#%"

fun g1int_isneqz_sint : g1int_isneqz_type(sintknd) =
  "mac#%"

fun g1uint_succ_usint : g1uint_succ_type(usintknd) =
  "mac#%"

fun g1uint_pred_usint : g1uint_pred_type(usintknd) =
  "mac#%"

fun g1uint_half_usint : g1uint_half_type(usintknd) =
  "mac#%"

fun g1uint_add_usint : g1uint_add_type(usintknd) =
  "mac#%"

fun g1uint_sub_usint : g1uint_sub_type(usintknd) =
  "mac#%"

fun g1uint_mul_usint : g1uint_mul_type(usintknd) =
  "mac#%"

fun g1uint_div_usint : g1uint_div_type(usintknd) =
  "mac#%"

fun g1uint_mod_usint : g1uint_mod_type(usintknd) =
  "mac#%"

fun g1uint_lt_usint : g1uint_lt_type(usintknd) =
  "mac#%"

fun g1uint_lte_usint : g1uint_lte_type(usintknd) =
  "mac#%"

fun g1uint_gt_usint : g1uint_gt_type(usintknd) =
  "mac#%"

fun g1uint_gte_usint : g1uint_gte_type(usintknd) =
  "mac#%"

fun g1uint_eq_usint : g1uint_eq_type(usintknd) =
  "mac#%"

fun g1uint_neq_usint : g1uint_neq_type(usintknd) =
  "mac#%"

fun g1uint_compare_usint : g1uint_compare_type(usintknd) =
  "mac#%"

fun g1uint_max_usint : g1uint_max_type(usintknd) =
  "mac#%"

fun g1uint_min_usint : g1uint_min_type(usintknd) =
  "mac#%"

fun g1uint_isgtz_usint : g1uint_isgtz_type(usintknd) =
  "mac#%"

fun g1uint_iseqz_usint : g1uint_iseqz_type(usintknd) =
  "mac#%"

fun g1uint_isneqz_usint : g1uint_isneqz_type(usintknd) =
  "mac#%"

//
(* ****** ****** *)
(* end of [integer_short.sats] *)