summaryrefslogtreecommitdiff
path: root/src/mcpp-semantic.h
blob: efa793e099960afa686d13d96681dcb9005ad90d (plain)
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
#ifndef __MCPU_CPP_SEMANTIC_H__
#define __MCPU_CPP_SEMANTIC_H__ 1

#include <defs.h>

typedef struct mcpp_options mcpp_options;
typedef struct mcpp_integer mcpp_integer;
struct mcpp_integer
{
  __mpu_uint64_t value;
  int            unsignedp;
};

typedef struct mcpp_semantic_context mcpp_semantic_context;
struct mcpp_semantic_context
{
  const char *filename;
  unsigned            line_number;
  const mcpp_options *options;
  int                 failed;
};

void mcpp_semantic_context_init( mcpp_semantic_context *context,
                                 const char *filename,
                                 unsigned line_number,
                                 const mcpp_options *options );
void mcpp_semantic_error( mcpp_semantic_context *context,
                          const char *message );
void mcpp_semantic_warning( mcpp_semantic_context *context,
                            const char *message );
int mcpp_semantic_failed( const mcpp_semantic_context *context );

mcpp_integer mcpp_semantic_make( __mpu_uint64_t value, int unsignedp );
int mcpp_semantic_true( mcpp_integer value );

mcpp_integer mcpp_semantic_neg( mcpp_integer value );
mcpp_integer mcpp_semantic_not( mcpp_integer value );
mcpp_integer mcpp_semantic_compl( mcpp_integer value );

mcpp_integer mcpp_semantic_mul( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_div( mcpp_semantic_context *context,
                                mcpp_integer left, mcpp_integer right,
                                int evaluate );
mcpp_integer mcpp_semantic_mod( mcpp_semantic_context *context,
                                mcpp_integer left, mcpp_integer right,
                                int evaluate );
mcpp_integer mcpp_semantic_add( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_sub( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_lshift( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_rshift( mcpp_integer left, mcpp_integer right );

mcpp_integer mcpp_semantic_equal( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_notequal( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_less( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_greater( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_leq( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_geq( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_bitand( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_bitxor( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_bitor( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_and( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_or( mcpp_integer left, mcpp_integer right );
mcpp_integer mcpp_semantic_conditional( mcpp_integer condition,
                                        mcpp_integer yes,
                                        mcpp_integer no );

#endif /* __MCPU_CPP_SEMANTIC_H__ */