source: to-imperative/trunk/samples/Arithm/gcd.cc @ 1056

#include <rf_core.hh>
#include <refal/StdIO.hh>
#include <refal/Arithm.hh>

namespace refal
{

using namespace rfrt;

namespace gcd
{

static const Expr _c_0 = ShortInt::create_expr (22);

static const Expr _c_1 = ShortInt::create_expr (2);

static const Expr _c_2 = Integer::create_expr ("2147483648");

static const Expr _c_3 = ShortInt::create_expr (135);

static const Expr _c_4 = ShortInt::create_expr (-1146);

static const Expr _c_5 = ShortInt::create_expr (-1245);

static const Expr _c_6 = ShortInt::create_expr (-1156);

static const Expr _c_7 = Integer::create_expr ("-2147483648");

static const Expr _c_8 = ShortInt::create_expr (-1156548745);

static const Expr _c_9 = Integer::create_expr ("-1156548745234678");

static const Expr _c_10 = Integer::create_expr ("214748364809876");

static const Expr _c_11 = ShortInt::create_expr (2147483647);

static const Expr _c_12 = ShortInt::create_expr (-2147483647);

RF_FUNC (Main, (), (RF_RES _v_res1))
  {
    Expr _v_GCD1;
    RF_CALL (Arithm::GCD, (_c_0, _c_1), (_v_GCD1));
    RF_CALL (StdIO::PrintLN, (_v_GCD1), ());
    Expr _v_GCD2;
    RF_CALL (Arithm::GCD, (_c_2, _c_3), (_v_GCD2));
    RF_CALL (StdIO::PrintLN, (_v_GCD2), ());
    Expr _v_GCD3;
    RF_CALL (Arithm::GCD, (_c_2, _c_4), (_v_GCD3));
    RF_CALL (StdIO::PrintLN, (_v_GCD3), ());
    Expr _v_GCD4;
    RF_CALL (Arithm::GCD, (_c_5, _c_2), (_v_GCD4));
    RF_CALL (StdIO::PrintLN, (_v_GCD4), ());
    Expr _v_GCD5;
    RF_CALL (Arithm::GCD, (_c_6, _c_7), (_v_GCD5));
    RF_CALL (StdIO::PrintLN, (_v_GCD5), ());
    Expr _v_GCD6;
    RF_CALL (Arithm::GCD, (_c_8, _c_7), (_v_GCD6));
    RF_CALL (StdIO::PrintLN, (_v_GCD6), ());
    Expr _v_GCD7;
    RF_CALL (Arithm::GCD, (_c_9, _c_10), (_v_GCD7));
    RF_CALL (StdIO::PrintLN, (_v_GCD7), ());
    Expr _v_GCD8;
    RF_CALL (Arithm::GCD, (_c_11, _c_12), (_v_GCD8));
    RF_CALL (StdIO::PrintLN, (_v_GCD8), ());
    Expr _v_GCD9;
    RF_CALL (Arithm::GCD, (_c_7, _c_2), (_v_GCD9));
    RF_CALL (StdIO::PrintLN, (_v_GCD9), ());
    Expr _v_GCD10;
    RF_CALL (Arithm::GCD, (_c_2, _c_2), (_v_GCD10));
    RF_CALL (StdIO::PrintLN, (_v_GCD10), ());
    _v_res1 = empty;
  }
RF_END

}

rfrt::Entry rf_entry (gcd::Main);

}