Dan Gohman | 7d7409e | 2017-02-28 23:37:04 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false -disable-wasm-explicit-locals | FileCheck %s |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 2 | |
| 3 | ; Test that truncating stores are assembled properly. |
| 4 | |
Dan Gohman | 0c6f5ac | 2016-01-07 03:19:23 +0000 | [diff] [blame] | 5 | target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" |
Dan Gohman | 7d7409e | 2017-02-28 23:37:04 +0000 | [diff] [blame] | 6 | target triple = "wasm32-unknown-unknown-wasm" |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 7 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 8 | ; CHECK-LABEL: trunc_i8_i32: |
Dan Gohman | 7f1bdb2 | 2016-10-06 22:08:28 +0000 | [diff] [blame] | 9 | ; CHECK: i32.store8 0($0), $1{{$}} |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 10 | define void @trunc_i8_i32(i8 *%p, i32 %v) { |
| 11 | %t = trunc i32 %v to i8 |
| 12 | store i8 %t, i8* %p |
| 13 | ret void |
| 14 | } |
| 15 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 16 | ; CHECK-LABEL: trunc_i16_i32: |
Dan Gohman | 7f1bdb2 | 2016-10-06 22:08:28 +0000 | [diff] [blame] | 17 | ; CHECK: i32.store16 0($0), $1{{$}} |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 18 | define void @trunc_i16_i32(i16 *%p, i32 %v) { |
| 19 | %t = trunc i32 %v to i16 |
| 20 | store i16 %t, i16* %p |
| 21 | ret void |
| 22 | } |
| 23 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 24 | ; CHECK-LABEL: trunc_i8_i64: |
Dan Gohman | 7f1bdb2 | 2016-10-06 22:08:28 +0000 | [diff] [blame] | 25 | ; CHECK: i64.store8 0($0), $1{{$}} |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 26 | define void @trunc_i8_i64(i8 *%p, i64 %v) { |
| 27 | %t = trunc i64 %v to i8 |
| 28 | store i8 %t, i8* %p |
| 29 | ret void |
| 30 | } |
| 31 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 32 | ; CHECK-LABEL: trunc_i16_i64: |
Dan Gohman | 7f1bdb2 | 2016-10-06 22:08:28 +0000 | [diff] [blame] | 33 | ; CHECK: i64.store16 0($0), $1{{$}} |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 34 | define void @trunc_i16_i64(i16 *%p, i64 %v) { |
| 35 | %t = trunc i64 %v to i16 |
| 36 | store i16 %t, i16* %p |
| 37 | ret void |
| 38 | } |
| 39 | |
Dan Gohman | e51c058 | 2015-10-06 00:27:55 +0000 | [diff] [blame] | 40 | ; CHECK-LABEL: trunc_i32_i64: |
Dan Gohman | 7f1bdb2 | 2016-10-06 22:08:28 +0000 | [diff] [blame] | 41 | ; CHECK: i64.store32 0($0), $1{{$}} |
JF Bastien | 73ff6af | 2015-08-31 22:24:11 +0000 | [diff] [blame] | 42 | define void @trunc_i32_i64(i32 *%p, i64 %v) { |
| 43 | %t = trunc i64 %v to i32 |
| 44 | store i32 %t, i32* %p |
| 45 | ret void |
| 46 | } |