mirror of
https://github.com/RPCS3/llvm.git
synced 2025-05-16 18:35:53 +00:00
a26aa42625
Summary: Made it convert from register to stack based instructions, and removed the registers. Fixes to related code that was expecting register based instructions. Added the correct testing flag to all tests, depending on what the format they were expecting so far. Translated one test to stack format as example: reg-stackify-stack.ll tested: llvm-lit -v `find test -name WebAssembly` unittests/MC/* Reviewers: dschuff, sunfish Subscribers: sbc100, jgravelle-google, eraman, aheejin, llvm-commits, jfb Differential Revision: https://reviews.llvm.org/D51241 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@340750 91177308-0d34-0410-b5e6-96231b3b80d8
168 lines
6.1 KiB
LLVM
168 lines
6.1 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: .param f32{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[LT]]{{$}}
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.trunc_s/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
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: .param f32{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[AND]]{{$}}
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.trunc_u/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
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: .param f64{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[LT]]{{$}}
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, -2147483648{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.trunc_s/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
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: .param f64{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[AND]]{{$}}
|
|
; CHECK-NEXT: i32.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i32.trunc_u/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
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: .param f32{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[LT]]{{$}}
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.trunc_s/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
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: .param f32{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[AND]]{{$}}
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.trunc_u/f32 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
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: .param f64{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[LT]]{{$}}
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, -9223372036854775808{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.trunc_s/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
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: .param f64{{$}}
|
|
; CHECK-NEXT: .result 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: br_if 0, $pop[[AND]]{{$}}
|
|
; CHECK-NEXT: i64.const $push[[ALT:[0-9]+]]=, 0{{$}}
|
|
; CHECK-NEXT: return $pop[[ALT]]{{$}}
|
|
; CHECK-NEXT: BB
|
|
; CHECK-NEXT: end_block
|
|
; CHECK-NEXT: i64.trunc_u/f64 $push[[NUM:[0-9]+]]=, $0{{$}}
|
|
; CHECK-NEXT: return $pop[[NUM]]{{$}}
|
|
define i64 @i64_trunc_u_f64(double %x) {
|
|
%a = fptoui double %x to i64
|
|
ret i64 %a
|
|
}
|