mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-23 03:02:36 +01:00
b65e9bb6e7
Summary: The WebAssembly backend lowers fptoint instructions to a code sequence that checks for overflow to avoid traps because fptoint is supposed to be speculatable. These new builtins and intrinsics give users a way to depend on the trapping semantics of the underlying instructions and avoid the extra code generated normally. Patch by coffee and tlively. Reviewers: aheejin Subscribers: dschuff, sbc100, jgravelle-google, hiraditya, sunfish, cfe-commits, llvm-commits Tags: #clang, #llvm Differential Revision: https://reviews.llvm.org/D68902 llvm-svn: 374856
248 lines
9.6 KiB
LLVM
248 lines
9.6 KiB
LLVM
; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers -mattr=-nontrapping-fptoint | FileCheck %s
|
|
|
|
; Test that basic conversion operations assemble as expected using
|
|
; the trapping opcodes and explicit code to suppress the trapping.
|
|
|
|
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
|
|
target triple = "wasm32-unknown-unknown"
|
|
|
|
; CHECK-LABEL: i32_trunc_s_f32:
|
|
; CHECK-NEXT: .functype i32_trunc_s_f32 (f32) -> (i32){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f32.abs $push[[ABS:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p31{{$}}
|
|
; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[LT]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i32.trunc_f32_s $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i32 @i32_trunc_s_f32(float %x) {
|
|
%a = fptosi float %x to i32
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: i32_trunc_u_f32:
|
|
; CHECK-NEXT: .functype i32_trunc_u_f32 (f32) -> (i32){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p32{{$}}
|
|
; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: f32.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
|
|
; CHECK-NEXT: f32.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
|
|
; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[AND]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i32.trunc_f32_u $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i32 @i32_trunc_u_f32(float %x) {
|
|
%a = fptoui float %x to i32
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: i32_trunc_s_f64:
|
|
; CHECK-NEXT: .functype i32_trunc_s_f64 (f64) -> (i32){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f64.abs $push[[ABS:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p31{{$}}
|
|
; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[LT]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i32.trunc_f64_s $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i32 @i32_trunc_s_f64(double %x) {
|
|
%a = fptosi double %x to i32
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: i32_trunc_u_f64:
|
|
; CHECK-NEXT: .functype i32_trunc_u_f64 (f64) -> (i32){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p32{{$}}
|
|
; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: f64.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
|
|
; CHECK-NEXT: f64.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
|
|
; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[AND]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i32.trunc_f64_u $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i32 @i32_trunc_u_f64(double %x) {
|
|
%a = fptoui double %x to i32
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: i64_trunc_s_f32:
|
|
; CHECK-NEXT: .functype i64_trunc_s_f32 (f32) -> (i64){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f32.abs $push[[ABS:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p63{{$}}
|
|
; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[LT]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i64.trunc_f32_s $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i64 @i64_trunc_s_f32(float %x) {
|
|
%a = fptosi float %x to i64
|
|
ret i64 %a
|
|
}
|
|
|
|
; CHECK-LABEL: i64_trunc_u_f32:
|
|
; CHECK-NEXT: .functype i64_trunc_u_f32 (f32) -> (i64){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f32.const $push[[LIMIT:[0-9]+]]=, 0x1p64{{$}}
|
|
; CHECK-NEXT: f32.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: f32.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
|
|
; CHECK-NEXT: f32.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
|
|
; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[AND]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i64.trunc_f32_u $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i64 @i64_trunc_u_f32(float %x) {
|
|
%a = fptoui float %x to i64
|
|
ret i64 %a
|
|
}
|
|
|
|
; CHECK-LABEL: i64_trunc_s_f64:
|
|
; CHECK-NEXT: .functype i64_trunc_s_f64 (f64) -> (i64){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f64.abs $push[[ABS:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p63{{$}}
|
|
; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $pop[[ABS]], $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[LT]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i64.trunc_f64_s $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i64 @i64_trunc_s_f64(double %x) {
|
|
%a = fptosi double %x to i64
|
|
ret i64 %a
|
|
}
|
|
|
|
; CHECK-LABEL: i64_trunc_u_f64:
|
|
; CHECK-NEXT: .functype i64_trunc_u_f64 (f64) -> (i64){{$}}
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: f64.const $push[[LIMIT:[0-9]+]]=, 0x1p64{{$}}
|
|
; CHECK-NEXT: f64.lt $push[[LT:[0-9]+]]=, $0, $pop[[LIMIT]]{{$}}
|
|
; CHECK-NEXT: f64.const $push[[ZERO:[0-9]+]]=, 0x0p0{{$}}
|
|
; CHECK-NEXT: f64.ge $push[[GE:[0-9]+]]=, $0, $pop[[ZERO]]{{$}}
|
|
; CHECK-NEXT: i32.and $push[[AND:[0-9]+]]=, $pop[[LT]], $pop[[GE]]{{$}}
|
|
; CHECK-NEXT: i32.eqz $push[[EQZ:[0-9]+]]=, $pop[[AND]]
|
|
; CHECK-NEXT: br_if 0, $pop[[EQZ]]{{$}}
|
|
; CHECK-NEXT: i64.trunc_f64_u $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
define i64 @i64_trunc_u_f64(double %x) {
|
|
%a = fptoui double %x to i64
|
|
ret i64 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_signed_i32_f32:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_signed_i32_f32 (f32) -> (i32)
|
|
; CHECK-NEXT: i32.trunc_f32_s $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i32 @llvm.wasm.trunc.signed.i32.f32(float)
|
|
define i32 @llvm_wasm_trunc_signed_i32_f32(float %f) {
|
|
%a = call i32 @llvm.wasm.trunc.signed.i32.f32(float %f)
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_unsigned_i32_f32:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_unsigned_i32_f32 (f32) -> (i32)
|
|
; CHECK-NEXT: i32.trunc_f32_u $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i32 @llvm.wasm.trunc.unsigned.i32.f32(float)
|
|
define i32 @llvm_wasm_trunc_unsigned_i32_f32(float %f) {
|
|
%a = call i32 @llvm.wasm.trunc.unsigned.i32.f32(float %f)
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_signed_i32_f64:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_signed_i32_f64 (f64) -> (i32)
|
|
; CHECK-NEXT: i32.trunc_f64_s $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i32 @llvm.wasm.trunc.signed.i32.f64(double)
|
|
define i32 @llvm_wasm_trunc_signed_i32_f64(double %f) {
|
|
%a = call i32 @llvm.wasm.trunc.signed.i32.f64(double %f)
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_unsigned_i32_f64:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_unsigned_i32_f64 (f64) -> (i32)
|
|
; CHECK-NEXT: i32.trunc_f64_u $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i32 @llvm.wasm.trunc.unsigned.i32.f64(double)
|
|
define i32 @llvm_wasm_trunc_unsigned_i32_f64(double %f) {
|
|
%a = call i32 @llvm.wasm.trunc.unsigned.i32.f64(double %f)
|
|
ret i32 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_signed_i64_f32:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_signed_i64_f32 (f32) -> (i64)
|
|
; CHECK-NEXT: i64.trunc_f32_s $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i64 @llvm.wasm.trunc.signed.i64.f32(float)
|
|
define i64 @llvm_wasm_trunc_signed_i64_f32(float %f) {
|
|
%a = call i64 @llvm.wasm.trunc.signed.i64.f32(float %f)
|
|
ret i64 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_unsigned_i64_f32:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_unsigned_i64_f32 (f32) -> (i64)
|
|
; CHECK-NEXT: i64.trunc_f32_u $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i64 @llvm.wasm.trunc.unsigned.i64.f32(float)
|
|
define i64 @llvm_wasm_trunc_unsigned_i64_f32(float %f) {
|
|
%a = call i64 @llvm.wasm.trunc.unsigned.i64.f32(float %f)
|
|
ret i64 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_signed_i64_f64:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_signed_i64_f64 (f64) -> (i64)
|
|
; CHECK-NEXT: i64.trunc_f64_s $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i64 @llvm.wasm.trunc.signed.i64.f64(double)
|
|
define i64 @llvm_wasm_trunc_signed_i64_f64(double %f) {
|
|
%a = call i64 @llvm.wasm.trunc.signed.i64.f64(double %f)
|
|
ret i64 %a
|
|
}
|
|
|
|
; CHECK-LABEL: llvm_wasm_trunc_unsigned_i64_f64:
|
|
; CHECK-NEXT: .functype llvm_wasm_trunc_unsigned_i64_f64 (f64) -> (i64)
|
|
; CHECK-NEXT: i64.trunc_f64_u $push[[L0:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[L0]]{{$}}
|
|
declare i64 @llvm.wasm.trunc.unsigned.i64.f64(double)
|
|
define i64 @llvm_wasm_trunc_unsigned_i64_f64(double %f) {
|
|
%a = call i64 @llvm.wasm.trunc.unsigned.i64.f64(double %f)
|
|
ret i64 %a
|
|
}
|