integer_fixed.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: February, 2014 *)
(* ****** ****** *)
(*
** Source:
** $PATSHOME/prelude/DATS/CODEGEN/integer_fixed.atxt
** Time of generation: Thu Jan 11 11:00:14 2018
*)
(* ****** ****** *)
#define ATS_DYNLOADFLAG 0

// no dynloading
(* ****** ****** *)
//
staload UN = "prelude/SATS/unsafe.sats"

//
(* ****** ****** *)
//
implement g0int2int<int8knd,intknd> =
  g0int2int_int8_int

implement g0int2int<int16knd,intknd> =
  g0int2int_int16_int

implement g0int2int<int32knd,intknd> =
  g0int2int_int32_int

implement g0int2int<int64knd,intknd> =
  g0int2int_int64_int

//
(* ****** ****** *)
//
implement g0int2uint<int8knd,uintknd> =
  g0int2uint_int8_uint

implement g0int2uint<int16knd,uintknd> =
  g0int2uint_int16_uint

implement g0int2uint<int32knd,uintknd> =
  g0int2uint_int32_uint

implement g0int2uint<int64knd,uintknd> =
  g0int2uint_int64_uint

//
implement g0uint2int<uint8knd,intknd> =
  g0uint2int_uint8_int

implement g0uint2int<uint16knd,intknd> =
  g0uint2int_uint16_int

implement g0uint2int<uint32knd,intknd> =
  g0uint2int_uint32_int

implement g0uint2int<uint64knd,intknd> =
  g0uint2int_uint64_int

//
implement g0uint2uint<uint8knd,uintknd> =
  g0uint2uint_uint8_uint

implement g0uint2uint<uint16knd,uintknd> =
  g0uint2uint_uint16_uint

implement g0uint2uint<uint32knd,uintknd> =
  g0uint2uint_uint32_uint

implement g0uint2uint<uint64knd,uintknd> =
  g0uint2uint_uint64_uint

//
(* ****** ****** *)
//
implement g0int_neg<int8knd> =
  g0int_neg_int8

implement g0int_abs<int8knd> =
  g0int_abs_int8

implement g0int_succ<int8knd> =
  g0int_succ_int8

implement g0int_pred<int8knd> =
  g0int_pred_int8

implement g0int_half<int8knd> =
  g0int_half_int8

implement g0int_add<int8knd> =
  g0int_add_int8

implement g0int_sub<int8knd> =
  g0int_sub_int8

implement g0int_mul<int8knd> =
  g0int_mul_int8

implement g0int_div<int8knd> =
  g0int_div_int8

implement g0int_mod<int8knd> =
  g0int_mod_int8

implement g0int_asl<int8knd> =
  g0int_asl_int8

implement g0int_asr<int8knd> =
  g0int_asr_int8

implement g0int_isltz<int8knd> =
  g0int_isltz_int8

implement g0int_isltez<int8knd> =
  g0int_isltez_int8

implement g0int_isgtz<int8knd> =
  g0int_isgtz_int8

implement g0int_isgtez<int8knd> =
  g0int_isgtez_int8

implement g0int_iseqz<int8knd> =
  g0int_iseqz_int8

implement g0int_isneqz<int8knd> =
  g0int_isneqz_int8

implement g0int_lt<int8knd> =
  g0int_lt_int8

implement g0int_lte<int8knd> =
  g0int_lte_int8

implement g0int_gt<int8knd> =
  g0int_gt_int8

implement g0int_gte<int8knd> =
  g0int_gte_int8

implement g0int_eq<int8knd> =
  g0int_eq_int8

implement g0int_neq<int8knd> =
  g0int_neq_int8

implement g0int_compare<int8knd> =
  g0int_compare_int8

implement g0int_max<int8knd> =
  g0int_max_int8

implement g0int_min<int8knd> =
  g0int_min_int8

//
implement fprint_val<int8> (out, x) =
  fprint_int8((out, x))

//
implement g0int_neg<int16knd> =
  g0int_neg_int16

implement g0int_abs<int16knd> =
  g0int_abs_int16

implement g0int_succ<int16knd> =
  g0int_succ_int16

implement g0int_pred<int16knd> =
  g0int_pred_int16

implement g0int_half<int16knd> =
  g0int_half_int16

implement g0int_add<int16knd> =
  g0int_add_int16

implement g0int_sub<int16knd> =
  g0int_sub_int16

implement g0int_mul<int16knd> =
  g0int_mul_int16

implement g0int_div<int16knd> =
  g0int_div_int16

implement g0int_mod<int16knd> =
  g0int_mod_int16

implement g0int_asl<int16knd> =
  g0int_asl_int16

implement g0int_asr<int16knd> =
  g0int_asr_int16

implement g0int_isltz<int16knd> =
  g0int_isltz_int16

implement g0int_isltez<int16knd> =
  g0int_isltez_int16

implement g0int_isgtz<int16knd> =
  g0int_isgtz_int16

implement g0int_isgtez<int16knd> =
  g0int_isgtez_int16

implement g0int_iseqz<int16knd> =
  g0int_iseqz_int16

implement g0int_isneqz<int16knd> =
  g0int_isneqz_int16

implement g0int_lt<int16knd> =
  g0int_lt_int16

implement g0int_lte<int16knd> =
  g0int_lte_int16

implement g0int_gt<int16knd> =
  g0int_gt_int16

implement g0int_gte<int16knd> =
  g0int_gte_int16

implement g0int_eq<int16knd> =
  g0int_eq_int16

implement g0int_neq<int16knd> =
  g0int_neq_int16

implement g0int_compare<int16knd> =
  g0int_compare_int16

implement g0int_max<int16knd> =
  g0int_max_int16

implement g0int_min<int16knd> =
  g0int_min_int16

//
implement fprint_val<int16> (out, x) =
  fprint_int16((out, x))

//
implement g0int_neg<int32knd> =
  g0int_neg_int32

implement g0int_abs<int32knd> =
  g0int_abs_int32

implement g0int_succ<int32knd> =
  g0int_succ_int32

implement g0int_pred<int32knd> =
  g0int_pred_int32

implement g0int_half<int32knd> =
  g0int_half_int32

implement g0int_add<int32knd> =
  g0int_add_int32

implement g0int_sub<int32knd> =
  g0int_sub_int32

implement g0int_mul<int32knd> =
  g0int_mul_int32

implement g0int_div<int32knd> =
  g0int_div_int32

implement g0int_mod<int32knd> =
  g0int_mod_int32

implement g0int_asl<int32knd> =
  g0int_asl_int32

implement g0int_asr<int32knd> =
  g0int_asr_int32

implement g0int_isltz<int32knd> =
  g0int_isltz_int32

implement g0int_isltez<int32knd> =
  g0int_isltez_int32

implement g0int_isgtz<int32knd> =
  g0int_isgtz_int32

implement g0int_isgtez<int32knd> =
  g0int_isgtez_int32

implement g0int_iseqz<int32knd> =
  g0int_iseqz_int32

implement g0int_isneqz<int32knd> =
  g0int_isneqz_int32

implement g0int_lt<int32knd> =
  g0int_lt_int32

implement g0int_lte<int32knd> =
  g0int_lte_int32

implement g0int_gt<int32knd> =
  g0int_gt_int32

implement g0int_gte<int32knd> =
  g0int_gte_int32

implement g0int_eq<int32knd> =
  g0int_eq_int32

implement g0int_neq<int32knd> =
  g0int_neq_int32

implement g0int_compare<int32knd> =
  g0int_compare_int32

implement g0int_max<int32knd> =
  g0int_max_int32

implement g0int_min<int32knd> =
  g0int_min_int32

//
implement fprint_val<int32> (out, x) =
  fprint_int32((out, x))

//
implement g0int_neg<int64knd> =
  g0int_neg_int64

implement g0int_abs<int64knd> =
  g0int_abs_int64

implement g0int_succ<int64knd> =
  g0int_succ_int64

implement g0int_pred<int64knd> =
  g0int_pred_int64

implement g0int_half<int64knd> =
  g0int_half_int64

implement g0int_add<int64knd> =
  g0int_add_int64

implement g0int_sub<int64knd> =
  g0int_sub_int64

implement g0int_mul<int64knd> =
  g0int_mul_int64

implement g0int_div<int64knd> =
  g0int_div_int64

implement g0int_mod<int64knd> =
  g0int_mod_int64

implement g0int_asl<int64knd> =
  g0int_asl_int64

implement g0int_asr<int64knd> =
  g0int_asr_int64

implement g0int_isltz<int64knd> =
  g0int_isltz_int64

implement g0int_isltez<int64knd> =
  g0int_isltez_int64

implement g0int_isgtz<int64knd> =
  g0int_isgtz_int64

implement g0int_isgtez<int64knd> =
  g0int_isgtez_int64

implement g0int_iseqz<int64knd> =
  g0int_iseqz_int64

implement g0int_isneqz<int64knd> =
  g0int_isneqz_int64

implement g0int_lt<int64knd> =
  g0int_lt_int64

implement g0int_lte<int64knd> =
  g0int_lte_int64

implement g0int_gt<int64knd> =
  g0int_gt_int64

implement g0int_gte<int64knd> =
  g0int_gte_int64

implement g0int_eq<int64knd> =
  g0int_eq_int64

implement g0int_neq<int64knd> =
  g0int_neq_int64

implement g0int_compare<int64knd> =
  g0int_compare_int64

implement g0int_max<int64knd> =
  g0int_max_int64

implement g0int_min<int64knd> =
  g0int_min_int64

//
implement fprint_val<int64> (out, x) =
  fprint_int64((out, x))

//
(* ****** ****** *)
//
implement g0uint_succ<uint8knd> =
  g0uint_succ_uint8

implement g0uint_pred<uint8knd> =
  g0uint_pred_uint8

implement g0uint_half<uint8knd> =
  g0uint_half_uint8

implement g0uint_add<uint8knd> =
  g0uint_add_uint8

implement g0uint_sub<uint8knd> =
  g0uint_sub_uint8

implement g0uint_mul<uint8knd> =
  g0uint_mul_uint8

implement g0uint_div<uint8knd> =
  g0uint_div_uint8

implement g0uint_mod<uint8knd> =
  g0uint_mod_uint8

implement g0uint_lsl<uint8knd> =
  g0uint_lsl_uint8

implement g0uint_lsr<uint8knd> =
  g0uint_lsr_uint8

implement g0uint_lnot<uint8knd> =
  g0uint_lnot_uint8

implement g0uint_lor<uint8knd> =
  g0uint_lor_uint8

implement g0uint_lxor<uint8knd> =
  g0uint_lxor_uint8

implement g0uint_land<uint8knd> =
  g0uint_land_uint8

implement g0uint_isgtz<uint8knd> =
  g0uint_isgtz_uint8

implement g0uint_iseqz<uint8knd> =
  g0uint_iseqz_uint8

implement g0uint_isneqz<uint8knd> =
  g0uint_isneqz_uint8

implement g0uint_lt<uint8knd> =
  g0uint_lt_uint8

implement g0uint_lte<uint8knd> =
  g0uint_lte_uint8

implement g0uint_gt<uint8knd> =
  g0uint_gt_uint8

implement g0uint_gte<uint8knd> =
  g0uint_gte_uint8

implement g0uint_eq<uint8knd> =
  g0uint_eq_uint8

implement g0uint_neq<uint8knd> =
  g0uint_neq_uint8

implement g0uint_compare<uint8knd> =
  g0uint_compare_uint8

implement g0uint_max<uint8knd> =
  g0uint_max_uint8

implement g0uint_min<uint8knd> =
  g0uint_min_uint8

//
implement fprint_val<uint8> (out, x) =
  fprint_uint8((out, x))

//
implement g0uint_succ<uint16knd> =
  g0uint_succ_uint16

implement g0uint_pred<uint16knd> =
  g0uint_pred_uint16

implement g0uint_half<uint16knd> =
  g0uint_half_uint16

implement g0uint_add<uint16knd> =
  g0uint_add_uint16

implement g0uint_sub<uint16knd> =
  g0uint_sub_uint16

implement g0uint_mul<uint16knd> =
  g0uint_mul_uint16

implement g0uint_div<uint16knd> =
  g0uint_div_uint16

implement g0uint_mod<uint16knd> =
  g0uint_mod_uint16

implement g0uint_lsl<uint16knd> =
  g0uint_lsl_uint16

implement g0uint_lsr<uint16knd> =
  g0uint_lsr_uint16

implement g0uint_lnot<uint16knd> =
  g0uint_lnot_uint16

implement g0uint_lor<uint16knd> =
  g0uint_lor_uint16

implement g0uint_lxor<uint16knd> =
  g0uint_lxor_uint16

implement g0uint_land<uint16knd> =
  g0uint_land_uint16

implement g0uint_isgtz<uint16knd> =
  g0uint_isgtz_uint16

implement g0uint_iseqz<uint16knd> =
  g0uint_iseqz_uint16

implement g0uint_isneqz<uint16knd> =
  g0uint_isneqz_uint16

implement g0uint_lt<uint16knd> =
  g0uint_lt_uint16

implement g0uint_lte<uint16knd> =
  g0uint_lte_uint16

implement g0uint_gt<uint16knd> =
  g0uint_gt_uint16

implement g0uint_gte<uint16knd> =
  g0uint_gte_uint16

implement g0uint_eq<uint16knd> =
  g0uint_eq_uint16

implement g0uint_neq<uint16knd> =
  g0uint_neq_uint16

implement g0uint_compare<uint16knd> =
  g0uint_compare_uint16

implement g0uint_max<uint16knd> =
  g0uint_max_uint16

implement g0uint_min<uint16knd> =
  g0uint_min_uint16

//
implement fprint_val<uint16> (out, x) =
  fprint_uint16((out, x))

//
implement g0uint_succ<uint32knd> =
  g0uint_succ_uint32

implement g0uint_pred<uint32knd> =
  g0uint_pred_uint32

implement g0uint_half<uint32knd> =
  g0uint_half_uint32

implement g0uint_add<uint32knd> =
  g0uint_add_uint32

implement g0uint_sub<uint32knd> =
  g0uint_sub_uint32

implement g0uint_mul<uint32knd> =
  g0uint_mul_uint32

implement g0uint_div<uint32knd> =
  g0uint_div_uint32

implement g0uint_mod<uint32knd> =
  g0uint_mod_uint32

implement g0uint_lsl<uint32knd> =
  g0uint_lsl_uint32

implement g0uint_lsr<uint32knd> =
  g0uint_lsr_uint32

implement g0uint_lnot<uint32knd> =
  g0uint_lnot_uint32

implement g0uint_lor<uint32knd> =
  g0uint_lor_uint32

implement g0uint_lxor<uint32knd> =
  g0uint_lxor_uint32

implement g0uint_land<uint32knd> =
  g0uint_land_uint32

implement g0uint_isgtz<uint32knd> =
  g0uint_isgtz_uint32

implement g0uint_iseqz<uint32knd> =
  g0uint_iseqz_uint32

implement g0uint_isneqz<uint32knd> =
  g0uint_isneqz_uint32

implement g0uint_lt<uint32knd> =
  g0uint_lt_uint32

implement g0uint_lte<uint32knd> =
  g0uint_lte_uint32

implement g0uint_gt<uint32knd> =
  g0uint_gt_uint32

implement g0uint_gte<uint32knd> =
  g0uint_gte_uint32

implement g0uint_eq<uint32knd> =
  g0uint_eq_uint32

implement g0uint_neq<uint32knd> =
  g0uint_neq_uint32

implement g0uint_compare<uint32knd> =
  g0uint_compare_uint32

implement g0uint_max<uint32knd> =
  g0uint_max_uint32

implement g0uint_min<uint32knd> =
  g0uint_min_uint32

//
implement fprint_val<uint32> (out, x) =
  fprint_uint32((out, x))

//
implement g0uint_succ<uint64knd> =
  g0uint_succ_uint64

implement g0uint_pred<uint64knd> =
  g0uint_pred_uint64

implement g0uint_half<uint64knd> =
  g0uint_half_uint64

implement g0uint_add<uint64knd> =
  g0uint_add_uint64

implement g0uint_sub<uint64knd> =
  g0uint_sub_uint64

implement g0uint_mul<uint64knd> =
  g0uint_mul_uint64

implement g0uint_div<uint64knd> =
  g0uint_div_uint64

implement g0uint_mod<uint64knd> =
  g0uint_mod_uint64

implement g0uint_lsl<uint64knd> =
  g0uint_lsl_uint64

implement g0uint_lsr<uint64knd> =
  g0uint_lsr_uint64

implement g0uint_lnot<uint64knd> =
  g0uint_lnot_uint64

implement g0uint_lor<uint64knd> =
  g0uint_lor_uint64

implement g0uint_lxor<uint64knd> =
  g0uint_lxor_uint64

implement g0uint_land<uint64knd> =
  g0uint_land_uint64

implement g0uint_isgtz<uint64knd> =
  g0uint_isgtz_uint64

implement g0uint_iseqz<uint64knd> =
  g0uint_iseqz_uint64

implement g0uint_isneqz<uint64knd> =
  g0uint_isneqz_uint64

implement g0uint_lt<uint64knd> =
  g0uint_lt_uint64

implement g0uint_lte<uint64knd> =
  g0uint_lte_uint64

implement g0uint_gt<uint64knd> =
  g0uint_gt_uint64

implement g0uint_gte<uint64knd> =
  g0uint_gte_uint64

implement g0uint_eq<uint64knd> =
  g0uint_eq_uint64

implement g0uint_neq<uint64knd> =
  g0uint_neq_uint64

implement g0uint_compare<uint64knd> =
  g0uint_compare_uint64

implement g0uint_max<uint64knd> =
  g0uint_max_uint64

implement g0uint_min<uint64knd> =
  g0uint_min_uint64

//
implement fprint_val<uint64> (out, x) =
  fprint_uint64((out, x))

//
(* ****** ****** *)
(* end of [integer_fixed.dats] *)