From 61ce026358244ce3bbc38b71f9ed3b88376333b8 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Wed, 22 Feb 2017 16:28:00 +0000 Subject: [PATCH] [WebAssembly] Configure codegen to legalize f16 values. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@295850 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../WebAssembly/WebAssemblyISelLowering.cpp | 5 ++++ test/CodeGen/WebAssembly/f16.ll | 28 +++++++++++++++++++ 2 files changed, 33 insertions(+) create mode 100644 test/CodeGen/WebAssembly/f16.ll diff --git a/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp b/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp index 6a7f75a6b3a..9c8de79866f 100644 --- a/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp +++ b/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp @@ -95,6 +95,11 @@ WebAssemblyTargetLowering::WebAssemblyTargetLowering( // Support minnan and maxnan, which otherwise default to expand. setOperationAction(ISD::FMINNAN, T, Legal); setOperationAction(ISD::FMAXNAN, T, Legal); + // WebAssembly currently has no builtin f16 support. + setOperationAction(ISD::FP16_TO_FP, T, Expand); + setOperationAction(ISD::FP_TO_FP16, T, Expand); + setLoadExtAction(ISD::EXTLOAD, T, MVT::f16, Expand); + setTruncStoreAction(T, MVT::f16, Expand); } for (auto T : {MVT::i32, MVT::i64}) { diff --git a/test/CodeGen/WebAssembly/f16.ll b/test/CodeGen/WebAssembly/f16.ll new file mode 100644 index 00000000000..c5198152ebd --- /dev/null +++ b/test/CodeGen/WebAssembly/f16.ll @@ -0,0 +1,28 @@ +; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt | FileCheck %s + +; Test that f16 is expanded. + +target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" +target triple = "wasm32-unknown-unknown-wasm" + +; CHECK-LABEL: demote: +; CHECK-NEXT: .param f32{{$}} +; CHECK-NEXT: .result f32{{$}} +; CHECK-NEXT: get_local $push[[L0:[0-9]+]]=, 0{{$}} +; CHECK-NEXT: i32.call $push[[L1:[0-9]+]]=, __gnu_f2h_ieee@FUNCTION, $pop[[L0]]{{$}} +; CHECK-NEXT: f32.call $push[[L2:[0-9]+]]=, __gnu_h2f_ieee@FUNCTION, $pop[[L1]]{{$}} +; CHECK-NEXT: return $pop[[L2]]{{$}} +define half @demote(float %f) { + %t = fptrunc float %f to half + ret half %t +} + +; CHECK-LABEL: promote: +; CHECK-NEXT: .param f32{{$}} +; CHECK-NEXT: .result f32{{$}} +; CHECK-NEXT: get_local $push0=, 0{{$}} +; CHECK-NEXT: return $pop0{{$}} +define float @promote(half %f) { + %t = fpext half %f to float + ret float %t +} -- 2.50.1