diff options
| author | Bor Grošelj Simić <bor.groseljsimic@telemach.net> | 2022-01-28 02:06:17 +0100 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin@c9x.me> | 2022-01-28 09:24:15 +0100 |
| commit | 74d022f975f22fda20c0d1fe09a3f6fc7680f64f (patch) | |
| tree | a8b7e9e1e822d8eee5eb694984f7d45d8a7f43f0 /fold.c | |
| parent | b0d27d8a019811d6a4e0c0cb7ec804ab27fcec80 (diff) | |
| download | roux-74d022f975f22fda20c0d1fe09a3f6fc7680f64f.tar.gz | |
implement unsigned -> float casts
amd64 lacks an instruction for this so it has to be implemented with signed -> float casts: - Word casting is done by zero-extending the word to a long and then doing a regular signed cast. - Long casting is done by dividing by two with correct rounding if the highest bit is set and casting that to float, then adding 1 to mantissa with integer addition
Diffstat (limited to 'fold.c')
| -rw-r--r-- | fold.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/fold.c b/fold.c index 9923f75..30e21d2 100644 --- a/fold.c +++ b/fold.c @@ -469,7 +469,9 @@ foldflt(Con *res, int op, int w, Con *cl, Con *cr) case Odiv: xd = ld / rd; break; case Omul: xd = ld * rd; break; case Oswtof: xd = (int32_t)cl->bits.i; break; + case Ouwtof: xd = (uint32_t)cl->bits.i; break; case Osltof: xd = (int64_t)cl->bits.i; break; + case Oultof: xd = (uint64_t)cl->bits.i; break; case Oexts: xd = cl->bits.s; break; case Ocast: xd = ld; break; default: die("unreachable"); @@ -486,7 +488,9 @@ foldflt(Con *res, int op, int w, Con *cl, Con *cr) case Odiv: xs = ls / rs; break; case Omul: xs = ls * rs; break; case Oswtof: xs = (int32_t)cl->bits.i; break; + case Ouwtof: xs = (uint32_t)cl->bits.i; break; case Osltof: xs = (int64_t)cl->bits.i; break; + case Oultof: xs = (uint64_t)cl->bits.i; break; case Otruncd: xs = cl->bits.d; break; case Ocast: xs = ls; break; default: die("unreachable"); |