| Wouter van Oortmerssen | 8a9cb24 | 2018-08-27 15:45:51 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s |
| 2 | ; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-keep-registers -fast-isel | FileCheck %s |
| Dan Gohman | a63e8eb | 2017-02-22 16:28:00 +0000 | [diff] [blame] | 3 | |
| 4 | ; Test that f16 is expanded. |
| 5 | |
| 6 | target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" |
| Sam Clegg | a590800 | 2018-05-10 17:49:11 +0000 | [diff] [blame] | 7 | target triple = "wasm32-unknown-unknown" |
| Dan Gohman | a63e8eb | 2017-02-22 16:28:00 +0000 | [diff] [blame] | 8 | |
| 9 | ; CHECK-LABEL: demote: |
| Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 10 | ; CHECK-NEXT: .functype demote (f32) -> (f32){{$}} |
| Thomas Lively | 6a87dda | 2019-01-08 06:25:55 +0000 | [diff] [blame] | 11 | ; CHECK-NEXT: local.get $push[[L0:[0-9]+]]=, 0{{$}} |
| Sam Clegg | 275d15e | 2019-02-23 00:07:39 +0000 | [diff] [blame^] | 12 | ; CHECK-NEXT: i32.call $push[[L1:[0-9]+]]=, __gnu_f2h_ieee, $pop[[L0]]{{$}} |
| 13 | ; CHECK-NEXT: f32.call $push[[L2:[0-9]+]]=, __gnu_h2f_ieee, $pop[[L1]]{{$}} |
| Dan Gohman | a63e8eb | 2017-02-22 16:28:00 +0000 | [diff] [blame] | 14 | ; CHECK-NEXT: return $pop[[L2]]{{$}} |
| 15 | define half @demote(float %f) { |
| 16 | %t = fptrunc float %f to half |
| 17 | ret half %t |
| 18 | } |
| 19 | |
| 20 | ; CHECK-LABEL: promote: |
| Wouter van Oortmerssen | 49482f8 | 2018-11-19 17:10:36 +0000 | [diff] [blame] | 21 | ; CHECK-NEXT: .functype promote (f32) -> (f32){{$}} |
| Thomas Lively | 6a87dda | 2019-01-08 06:25:55 +0000 | [diff] [blame] | 22 | ; CHECK-NEXT: local.get $push0=, 0{{$}} |
| Dan Gohman | a63e8eb | 2017-02-22 16:28:00 +0000 | [diff] [blame] | 23 | ; CHECK-NEXT: return $pop0{{$}} |
| 24 | define float @promote(half %f) { |
| 25 | %t = fpext half %f to float |
| 26 | ret float %t |
| 27 | } |