diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-14 11:14:23 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-02-20 11:29:24 +0100 |
| commit | 711fb682c570ec84943530e6e5578ae0e409f695 (patch) | |
| tree | 4bbfaf7a014f9aa80afdd99d762bb11e79f0f521 /validation | |
| parent | f46c93967ce3d6f2644059e07db9755e202893bc (diff) | |
| download | sparse-dev-711fb682c570ec84943530e6e5578ae0e409f695.tar.gz | |
no need for signed & unsigned multiplication
Currently, we have OP_MULS & OP_MULU but unless it's full,
widening multiplication both must give exactly the same
result (the world run on 2's complement CPUs now, right?).
Also, the IR doesn't have widening multiplication but
only instruction where both operands and the result have
the same size.
So, since theer is no reasons to keep 2 instructions,
merge OP_MULS & OP_MULU into a single one: OP_MUL.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/int128.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/validation/int128.c b/validation/int128.c index 53d678e2..adc73349 100644 --- a/validation/int128.c +++ b/validation/int128.c @@ -30,7 +30,7 @@ u64 foo(u64 a, u64 b, u64 c, u32 s) * check-output-ignore * * check-output-contains: ret\\..*\\$16 - * check-output-contains: mulu\\.128 + * check-output-contains: mul\\.128 * check-output-contains: add\\.128 * * check-error-start |