blob: 4daa44c37a3175f54543a0b8eed901b7b9283e17 [file] [log] [blame]
Wouter van Oortmerssen8a9cb242018-08-27 15:45:51 +00001; 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 Gohmana63e8eb2017-02-22 16:28:00 +00003
4; Test that f16 is expanded.
5
6target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
Sam Clegga5908002018-05-10 17:49:11 +00007target triple = "wasm32-unknown-unknown"
Dan Gohmana63e8eb2017-02-22 16:28:00 +00008
9; CHECK-LABEL: demote:
10; CHECK-NEXT: .param f32{{$}}
11; CHECK-NEXT: .result f32{{$}}
12; CHECK-NEXT: get_local $push[[L0:[0-9]+]]=, 0{{$}}
13; CHECK-NEXT: i32.call $push[[L1:[0-9]+]]=, __gnu_f2h_ieee@FUNCTION, $pop[[L0]]{{$}}
14; CHECK-NEXT: f32.call $push[[L2:[0-9]+]]=, __gnu_h2f_ieee@FUNCTION, $pop[[L1]]{{$}}
15; CHECK-NEXT: return $pop[[L2]]{{$}}
16define half @demote(float %f) {
17 %t = fptrunc float %f to half
18 ret half %t
19}
20
21; CHECK-LABEL: promote:
22; CHECK-NEXT: .param f32{{$}}
23; CHECK-NEXT: .result f32{{$}}
24; CHECK-NEXT: get_local $push0=, 0{{$}}
25; CHECK-NEXT: return $pop0{{$}}
26define float @promote(half %f) {
27 %t = fpext half %f to float
28 ret float %t
29}