1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
#include <iostream>
#include <string>
#include <vector>
#include <cassert>
#include <cmath>
#include <complex>
#include <Kokkos_Core.hpp>
#include <lfortran_intrinsics.h>
template <typename T>
Kokkos::View<T*> from_std_vector(const std::vector<T> &v)
{
Kokkos::View<T*> r("r", v.size());
for (size_t i=0; i < v.size(); i++) {
r(i) = v[i];
}
return r;
}
// Forward declarations
namespace {
}
// Implementations
namespace {
void main2() {
int32_t a;
int32_t b;
int32_t c;
bool l;
int32_t x;
a = 3;
b = 4;
c = 5;
x = 2*3;
x = (-2)*3;
x = 2*(-3);
x = (-2)*(-3);
x = (-2)*(-3);
x = -std::pow(2, 3);
x = -std::pow(2, 3);
x = -(2*3);
x = std::pow(2, -3);
x = a;
x = a;
x = a*b;
x = (-a)*b;
x = -(a*b);
x = a*(-b);
x = (-a)*(-b);
x = a*b*c;
x = (-a)*b*c;
x = a*(-b)*c;
x = a*b*(-c);
x = (-a)*(-b)*(-c);
x = 3 + 4*5;
x = (3 + 4)*5;
x = a*(b + 5*(c - b));
x = (3 - 2*a*b)*5;
x = ((-2)*a*b + 3)*5;
x = ((-2)*a*b + 3*b*a)*5;
x = ((-2)*(a/b) + std::pow(a + (-b), 2))*5;
x = (2*a*b + 3)*5;
x = std::pow(a, 2) + 2*a*b + std::pow(b, 2);
x = (a + b)*(a - b);
x = std::pow(a + b, 2);
x = (a + b)*(std::pow(a, 2) - a*b + std::pow(b, 2));
x = (a - b)*(a + b)*(std::pow(a, 2) + std::pow(b, 2));
x = 1/(a*b);
x = 1/a*b;
x = 1/a*b;
x = 1/(a*b + 1);
x = 1/a*b + 1;
x = 1/a*b + 1;
x = 2 - (-2);
x = a - ((-b) - c);
x = a - (-2)*b;
x = c - (-2)/b;
x = a - (2 + 3 + 4);
x = a + (2 + 3 + 4);
x = 2*a + a*b - (a*b + 2*a);
x = 2*a + a*b - (a*b - 2*a);
x = a - (b - (c - 1));
x = a - b;
x = a - (b - c);
x = a - b - c;
x = -(a - ((-b) + ((-b) - (-b)*b)));
x = -(3 + 5);
x = -(a + 5);
l = (std::pow(x, 3)*4 + a <= 4 || x < 5 && x < 6) == (true || !false && true);
l = l || l && l;
l = (l || l) && l;
l = l && l || l;
l = l && (l || l);
l = l || !l && l;
l = l || l && !l;
l = l && l || !l;
l = l && !l || l;
l = l && !(l || l);
}
}
int main(int argc, char* argv[])
{
Kokkos::initialize(argc, argv);
main2();
Kokkos::finalize();
return 0;
}
|
