source: to-imperative/trunk/samples/Arithm/add.cc @ 1037

Last change on this file since 1037 was 1037, checked in by luba, 18 years ago
  • test for "+" function with long numbers
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
File size: 3.5 KB
Line 
1#include <rf_core.hh>
2#include <refal/StdIO.hh>
3#include <refal/Arithm.hh>
4
5namespace refal
6{
7
8using namespace rfrt;
9
10namespace add
11{
12
13static const Expr _c_0 = ShortInt::create_expr (2);
14
15static const Expr _c_1 = ShortInt::create_expr (3);
16
17static const Expr _c_2 = ShortInt::create_expr (1);
18
19static const Expr _c_3 = ShortInt::create_expr (2147483647);
20
21static const Expr _c_4 = ShortInt::create_expr (-1);
22
23static const Expr _c_5 = ShortInt::create_expr (-2147483647);
24
25static const Expr _c_6 = Integer::create_expr ("-2147483649");
26
27static const Expr _c_7 = ShortInt::create_expr (-2);
28
29static const Expr _c_8 = Integer::create_expr ("2147483648");
30
31static const Expr _c_9 = Integer::create_expr ("-21474836482");
32
33static const Expr _c_10 = Integer::create_expr ("21474836482");
34
35static const Expr _c_11 = Integer::create_expr ("-21474836465");
36
37static const Expr _c_12 = Integer::create_expr ("21474836465");
38
39static const Expr _c_13 = ShortInt::create_expr (5);
40
41static const Expr _c_14 = ShortInt::create_expr (-5);
42
43static const Expr _c_15 = Integer::create_expr ("2147483649");
44
45static const Expr _c_16 = Integer::create_expr ("-2147483646512345645");
46
47static const Expr _c_17 = Integer::create_expr ("2147483646512345645");
48
49static const Expr _c_18 = Integer::create_expr ("-2147483648");
50
51RF_FUNC (Main, (), (RF_RES _v_res1))
52  Expr _v__p_1;
53  RF_CALL (Arithm::_p_, (_c_0, _c_1), (_v__p_1));
54  RF_CALL (StdIO::PrintLN, (_v__p_1), ());
55  Expr _v__p_2;
56  RF_CALL (Arithm::_p_, (_c_2, _c_3), (_v__p_2));
57  RF_CALL (StdIO::PrintLN, (_v__p_2), ());
58  Expr _v__p_3;
59  RF_CALL (Arithm::_p_, (_c_4, _c_3), (_v__p_3));
60  RF_CALL (StdIO::PrintLN, (_v__p_3), ());
61  Expr _v__p_4;
62  RF_CALL (Arithm::_p_, (_c_5, _c_2), (_v__p_4));
63  RF_CALL (StdIO::PrintLN, (_v__p_4), ());
64  Expr _v__p_5;
65  RF_CALL (Arithm::_p_, (_c_5, _c_4), (_v__p_5));
66  RF_CALL (StdIO::PrintLN, (_v__p_5), ());
67  Expr _v__p_6;
68  RF_CALL (Arithm::_p_, (_c_0, _c_6), (_v__p_6));
69  RF_CALL (StdIO::PrintLN, (_v__p_6), ());
70  Expr _v__p_7;
71  RF_CALL (Arithm::_p_, (_c_7, _c_8), (_v__p_7));
72  RF_CALL (StdIO::PrintLN, (_v__p_7), ());
73  Expr _v__p_8;
74  RF_CALL (Arithm::_p_, (_c_7, _c_9), (_v__p_8));
75  RF_CALL (StdIO::PrintLN, (_v__p_8), ());
76  Expr _v__p_9;
77  RF_CALL (Arithm::_p_, (_c_0, _c_10), (_v__p_9));
78  RF_CALL (StdIO::PrintLN, (_v__p_9), ());
79  Expr _v__p_10;
80  RF_CALL (Arithm::_p_, (_c_11, _c_4), (_v__p_10));
81  RF_CALL (StdIO::PrintLN, (_v__p_10), ());
82  Expr _v__p_11;
83  RF_CALL (Arithm::_p_, (_c_12, _c_2), (_v__p_11));
84  RF_CALL (StdIO::PrintLN, (_v__p_11), ());
85  Expr _v__p_12;
86  RF_CALL (Arithm::_p_, (_c_11, _c_13), (_v__p_12));
87  RF_CALL (StdIO::PrintLN, (_v__p_12), ());
88  Expr _v__p_13;
89  RF_CALL (Arithm::_p_, (_c_12, _c_14), (_v__p_13));
90  RF_CALL (StdIO::PrintLN, (_v__p_13), ());
91  Expr _v__p_14;
92  RF_CALL (Arithm::_p_, (_c_6, _c_0), (_v__p_14));
93  RF_CALL (StdIO::PrintLN, (_v__p_14), ());
94  Expr _v__p_15;
95  RF_CALL (Arithm::_p_, (_c_15, _c_7), (_v__p_15));
96  RF_CALL (StdIO::PrintLN, (_v__p_15), ());
97  Expr _v__p_16;
98  RF_CALL (Arithm::_p_, (_c_11, _c_11), (_v__p_16));
99  RF_CALL (StdIO::PrintLN, (_v__p_16), ());
100  Expr _v__p_17;
101  RF_CALL (Arithm::_p_, (_c_11, _c_12), (_v__p_17));
102  RF_CALL (StdIO::PrintLN, (_v__p_17), ());
103  Expr _v__p_18;
104  RF_CALL (Arithm::_p_, (_c_12, _c_12), (_v__p_18));
105  RF_CALL (StdIO::PrintLN, (_v__p_18), ());
106  Expr _v__p_19;
107  RF_CALL (Arithm::_p_, (_c_16, _c_8), (_v__p_19));
108  RF_CALL (StdIO::PrintLN, (_v__p_19), ());
109  Expr _v__p_20;
110  RF_CALL (Arithm::_p_, (_c_17, _c_18), (_v__p_20));
111  RF_CALL (StdIO::PrintLN, (_v__p_20), ());
112  _v_res1 = empty;
113RF_END
114
115}
116
117rfrt::Entry rf_entry (add::Main);
118
119}
Note: See TracBrowser for help on using the repository browser.