diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2018-12-04 10:30:35 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-04 10:30:35 -0800 |
| commit | bebbeb54f177bdc2cfdff71d6a256a35f2f2057b (patch) | |
| tree | 80609eb177ddab4edae30323d42152e9ab59ba9b /src/tools/fuzzing.h | |
| parent | b4badb815ec844e438a05d501eafb6bb99383bc6 (diff) | |
| download | binaryen-bebbeb54f177bdc2cfdff71d6a256a35f2f2057b.tar.gz binaryen-bebbeb54f177bdc2cfdff71d6a256a35f2f2057b.tar.bz2 binaryen-bebbeb54f177bdc2cfdff71d6a256a35f2f2057b.zip | |
Implement nontrapping float-to-int instructions (#1780)
Diffstat (limited to 'src/tools/fuzzing.h')
| -rw-r--r-- | src/tools/fuzzing.h | 36 |
1 files changed, 32 insertions, 4 deletions
diff --git a/src/tools/fuzzing.h b/src/tools/fuzzing.h index 8f7123a78..243616c8a 100644 --- a/src/tools/fuzzing.h +++ b/src/tools/fuzzing.h @@ -1322,8 +1322,22 @@ private: break; } case 1: return makeUnary({ pick(EqZInt64, WrapInt64), make(i64) }); - case 2: return makeUnary({ pick(TruncSFloat32ToInt32, TruncUFloat32ToInt32, ReinterpretFloat32), make(f32) }); - case 3: return makeUnary({ pick(TruncSFloat64ToInt32, TruncUFloat64ToInt32), make(f64) }); + case 2: { + if (features.hasTruncSat()) { + return makeUnary({ pick(TruncSFloat32ToInt32, TruncUFloat32ToInt32, ReinterpretFloat32, TruncSatSFloat32ToInt32, TruncSatUFloat32ToInt32), make(f32) }); + } else { + return makeUnary({ pick(TruncSFloat32ToInt32, TruncUFloat32ToInt32, ReinterpretFloat32), make(f32) }); + } + break; + } + case 3: { + if (features.hasTruncSat()) { + return makeUnary({ pick(TruncSFloat64ToInt32, TruncUFloat64ToInt32, TruncSatSFloat64ToInt32, TruncSatUFloat64ToInt32), make(f64) }); + } else { + return makeUnary({ pick(TruncSFloat64ToInt32, TruncUFloat64ToInt32), make(f64) }); + } + break; + } } WASM_UNREACHABLE(); } @@ -1338,8 +1352,22 @@ private: break; } case 1: return makeUnary({ pick(ExtendSInt32, ExtendUInt32), make(i32) }); - case 2: return makeUnary({ pick(TruncSFloat32ToInt64, TruncUFloat32ToInt64), make(f32) }); - case 3: return makeUnary({ pick(TruncSFloat64ToInt64, TruncUFloat64ToInt64, ReinterpretFloat64), make(f64) }); + case 2: { + if (features.hasTruncSat()) { + return makeUnary({ pick(TruncSFloat32ToInt64, TruncUFloat32ToInt64, TruncSatSFloat32ToInt64, TruncSatUFloat32ToInt64), make(f32) }); + } else { + return makeUnary({ pick(TruncSFloat32ToInt64, TruncUFloat32ToInt64), make(f32) }); + } + break; + } + case 3: { + if (features.hasTruncSat()) { + return makeUnary({ pick(TruncSFloat64ToInt64, TruncUFloat64ToInt64, ReinterpretFloat64, TruncSatSFloat64ToInt64, TruncSatUFloat64ToInt64), make(f64) }); + } else { + return makeUnary({ pick(TruncSFloat64ToInt64, TruncUFloat64ToInt64, ReinterpretFloat64), make(f64) }); + } + break; + } } WASM_UNREACHABLE(); } |