diff options
| author | Max Graey <maxgraey@gmail.com> | 2020-10-26 22:27:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-26 13:27:54 -0700 |
| commit | c8eeeeaed96d7753efe1b597c1b6b68098d82c79 (patch) | |
| tree | 047d6b5a776116c1864c27dcd0370a5c959015fc /test/passes/optimize-instructions_all-features.wast | |
| parent | 019b0ef15e966ecafa6cdfa357b00de09c332633 (diff) | |
| download | binaryen-c8eeeeaed96d7753efe1b597c1b6b68098d82c79.tar.gz binaryen-c8eeeeaed96d7753efe1b597c1b6b68098d82c79.tar.bz2 binaryen-c8eeeeaed96d7753efe1b597c1b6b68098d82c79.zip | |
Сonstant value truncation during store operation (#3117)
Diffstat (limited to 'test/passes/optimize-instructions_all-features.wast')
| -rw-r--r-- | test/passes/optimize-instructions_all-features.wast | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/passes/optimize-instructions_all-features.wast b/test/passes/optimize-instructions_all-features.wast index c2c1609ba..ad422bd98 100644 --- a/test/passes/optimize-instructions_all-features.wast +++ b/test/passes/optimize-instructions_all-features.wast @@ -358,6 +358,22 @@ (i32.store8 (i32.const 11) (i32.wrap_i64 (i64.const 1))) (i32.store16 (i32.const 11) (i32.wrap_i64 (i64.const 2))) (i32.store (i32.const 11) (i32.wrap_i64 (i64.const 3))) + ;; + (i32.store8 (i32.const 7) (i32.const -1)) ;; 255 + (i32.store8 (i32.const 8) (i32.const 255)) + (i32.store8 (i32.const 9) (i32.const 256)) ;; 0 + (i32.store16 (i32.const 10) (i32.const 65535)) + (i32.store16 (i32.const 11) (i32.const 65536)) ;; 0 + (i32.store16 (i32.const 13) (i32.const -1)) ;; 65535 + (i32.store (i32.const 14) (i32.const 65536)) + ;; + (i64.store8 (i32.const 8) (i64.const 255)) + (i64.store8 (i32.const 9) (i64.const 256)) ;; 0 + (i64.store16 (i32.const 10) (i64.const 65535)) + (i64.store16 (i32.const 11) (i64.const 65536)) ;; 0 + (i64.store32 (i32.const 12) (i64.const 4294967295)) + (i64.store32 (i32.const 13) (i64.const 4294967296)) ;; 0 + (i64.store (i32.const 14) (i64.const 4294967296)) ) (func $and-neg1 (drop (i32.and (i32.const 100) (i32.const -1))) |