kc3-lang/kc3

Browse

Commit d96ba0cedc69ca35bec9d474ccd9b79cd21367d2

Thomas de Grivel 2023-08-15T10:03:30

wip tag_add 

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
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161

diff --git a/libc3/tag.c b/libc3/tag.c
index 027128e..56585cf 100644
--- a/libc3/tag.c
+++ b/libc3/tag.c
@@ -167,21 +167,67 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       integer_clean(&tmp);
       return dest;
     case TAG_S8:
-      return tag_init_s8(dest, a->data.s8 + b->data.s8);
+      if (a->data.s8 < S8_MIN - b->data.s8 ||
+          a->data.s8 > S8_MAX - b->data.s8)
+        return tag_init_s16(dest, (s16) a->data.s8 + (s16) b->data.s8);
+      else
+        return tag_init_s8(dest, a->data.s8 + b->data.s8);
     case TAG_S16:
-      return tag_init_s16(dest, (s16) a->data.s8 + b->data.s16);
+      if (a->data.s8 < S16_MIN - b->data.s16 ||
+          a->data.s8 > S16_MAX - b->data.s16)
+        return tag_init_s32(dest, (s32) a->data.s8 + (s32) b->data.s16);
+      else
+        return tag_init_s16(dest, (s16) a->data.s8 + b->data.s16);
     case TAG_S32:
-      return tag_init_s32(dest, (s32) a->data.s8 + b->data.s32);
+      if (a->data.s8 < S32_MIN - b->data.s32 ||
+          a->data.s8 > S32_MAX - b->data.s32)
+        return tag_init_s64(dest, (s64) a->data.s8 + (s64) b->data.s32);
+      else
+        return tag_init_s32(dest, (s32) a->data.s8 + b->data.s32);
     case TAG_S64:
-      return tag_init_s64(dest, (s64) a->data.s8 + b->data.s64);
+      if (a->data.s8 < S64_MIN - b->data.s64 ||
+          a->data.s8 > S64_MAX - b->data.s64) {
+        integer_init_s32(&tmp, (s32) a->data.s8);
+        integer_init_s64(&tmp2, b->data.s64);
+        tag_integer_init_zero(dest);
+        integer_sub(&tmp, &tmp2, &dest->data.integer);
+        integer_clean(&tmp);
+        integer_clean(&tmp2);
+        return dest;
+      }
+      else
+        return tag_init_s64(dest, (s64) a->data.s8 + b->data.s64);
     case TAG_U8:
-      return tag_init_s8(dest, a->data.s8 + (s8) b->data.u8);
+      if (a->data.s8 < S8_MIN - b->data.u8 ||
+          a->data.s8 > S8_MAX - b->data.u8)
+        return tag_init_s16(dest, (s16) a->data.s8 + (s16) b->data.u8);
+      else
+        return tag_init_s8(dest, a->data.s8 + (s8) b->data.u8);
     case TAG_U16:
-      return tag_init_s16(dest, (s16) a->data.s8 + (s16) b->data.u16);
+      if (a->data.s8 < S16_MIN - b->data.u16 ||
+          a->data.s8 > S16_MAX - b->data.u16)
+        return tag_init_s32(dest, (s32) a->data.s8 + (s32) b->data.u16);
+      else
+        return tag_init_s16(dest, (s16) a->data.s8 + (s16) b->data.u16);
     case TAG_U32:
-      return tag_init_s32(dest, (s32) a->data.s8 + (s32) b->data.u32);
+      if (a->data.s8 < S32_MIN - b->data.u32 ||
+          a->data.s8 > S32_MAX - b->data.u32)
+        return tag_init_s64(dest, (s64) a->data.s8 + (s64) b->data.u32);
+      else
+        return tag_init_s32(dest, (s32) a->data.s8 + (s32) b->data.u32);
     case TAG_U64:
-      return tag_init_s64(dest, (s64) a->data.s8 + (s64) b->data.u64);
+      if (a->data.s8 < S64_MIN - b->data.u64 ||
+          a->data.s8 > S64_MAX - b->data.u64) {
+        integer_init_s32(&tmp, (s32) a->data.s8);
+        integer_init_u64(&tmp2, b->data.u64);
+        tag_integer_init_zero(dest);
+        integer_sub(&tmp, &tmp2, &dest->data.integer);
+        integer_clean(&tmp);
+        integer_clean(&tmp2);
+        return dest;
+      }
+      else
+        return tag_init_s64(dest, (s64) a->data.s8 + (s64) b->data.u64);
     default:
       goto ko;
   }
@@ -198,13 +244,36 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
       integer_clean(&tmp);
       return dest;
     case TAG_S8:
-      return tag_init_s16(dest, a->data.s16 + (s16) b->data.s8);
+      if (a->data.s16 < S16_MIN - b->data.s8 ||
+          a->data.s16 > S16_MAX - b->data.s8)
+        return tag_init_s32(dest, (s32) a->data.s16 + (s32) b->data.s8);
+      else
+        return tag_init_s16(dest, a->data.s16 + (s16) b->data.s8);
     case TAG_S16:
-      return tag_init_s16(dest, a->data.s16 + b->data.s16);
+      if (a->data.s16 < S16_MIN - b->data.s16 ||
+          a->data.s16 > S16_MAX - b->data.s16)
+        return tag_init_s32(dest, (s32) a->data.s16 + (s32) b->data.s16);
+      else
+        return tag_init_s16(dest, a->data.s16 + b->data.s16);
     case TAG_S32:
-      return tag_init_s32(dest, (s32) a->data.s16 + b->data.s32);
+      if (a->data.s16 < S32_MIN - b->data.s32 ||
+          a->data.s16 > S32_MAX - b->data.s32)
+        return tag_init_s64(dest, (s64) a->data.s16 + (s32) b->data.s16);
+      else
+        return tag_init_s32(dest, (s32) a->data.s16 + b->data.s32);
     case TAG_S64:
-      return tag_init_s64(dest, (s64) a->data.s16 + b->data.s64);
+      if (a->data.s16 < S64_MIN - b->data.s64 ||
+          a->data.s16 > S64_MAX - b->data.s64)
+        integer_init_s32(&tmp, (s32) a->data.s8);
+        integer_init_s64(&tmp2, b->data.s64);
+        tag_integer_init_zero(dest);
+        integer_sub(&tmp, &tmp2, &dest->data.integer);
+        integer_clean(&tmp);
+        integer_clean(&tmp2);
+        return dest;
+      }
+      else
+        return tag_init_s64(dest, (s64) a->data.s16 + b->data.s64);
     case TAG_U8:
       return tag_init_s16(dest, a->data.s16 + (s16) b->data.u8);
     case TAG_U16:
@@ -212,6 +281,17 @@ s_tag * tag_add (const s_tag *a, const s_tag *b, s_tag *dest)
     case TAG_U32:
       return tag_init_s32(dest, (s32) a->data.s16 + (s32) b->data.u32);
     case TAG_U64:
+      if (a->data.s16 < S64_MIN - b->data.u64 ||
+          a->data.s16 > S64_MAX - b->data.u64) {
+        integer_init_s32(&tmp, (s32) a->data.s8);
+        integer_init_u64(&tmp2, b->data.u64);
+        tag_integer_init_zero(dest);
+        integer_sub(&tmp, &tmp2, &dest->data.integer);
+        integer_clean(&tmp);
+        integer_clean(&tmp2);
+        return dest;
+      }
+      else
       return tag_init_s64(dest, (s64) a->data.s16 + (s64) b->data.u64);
     default:
       goto ko;
diff --git a/test/ic3/integer.in b/test/ic3/integer.in
index 7a4e3d0..1e67283 100644
--- a/test/ic3/integer.in
+++ b/test/ic3/integer.in
@@ -468,3 +468,6 @@
 36893488147419103232 / 65536
 36893488147419103232 / 8589934592
 36893488147419103232 / 36893488147419103232
+-127 + -1
+-127 + -127
+255 + 255
diff --git a/test/ic3/integer.out.expected b/test/ic3/integer.out.expected
index 96fa2ec..bcde906 100644
--- a/test/ic3/integer.out.expected
+++ b/test/ic3/integer.out.expected
@@ -468,3 +468,6 @@
 562949953421312
 4294967296
 1
+-129
+-256
+510
kmx.io     mail     discord kmxgit v0.4.0