Skip to content

Implement double-to-integer conversions for s390x #256

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
iii-i wants to merge 1 commit into
base: v2.1-agentzh
Choose a base branch
from
Open

Implement double-to-integer conversions for s390x #256

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions dynasm/dasm_s390x.lua
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -542,6 +542,14 @@ local function parse_mask2(mask)
end
end

local function parse_condition_mask(mask)
local m = parse_number(mask)
if m >= 0 and m <= 15 then
return m
end
werror("Mask value should be 0-15: ", m)
end

local function parse_label(label, def)
local prefix = sub(label, 1, 2)
-- =>label (pc label reference)
Expand Down Expand Up @@ -728,6 +736,7 @@ map_op = {
clclu_3 = "eb000000008fRSY-a",
clfi_2 = "c20f00000000RIL-a",
clg_2 = "e30000000021RXY-a",
clgdbr_3 = "0000b3ad0000RRF-e",
clgf_2 = "e30000000031RXY-a",
clgfi_2 = "c20e00000000RIL-a",
clgfr_2 = "0000b9310000RRE",
Expand Down Expand Up @@ -965,6 +974,7 @@ map_op = {
lnxr_2 = "0000b3610000RRE",
loc_3 = "eb00000000f2RSY-b",
locg_3 = "eb00000000e2RSY-b",
locgr_3 = "0000b9e20000RRF-c",
lpdbr_2 = "0000b3100000RRE",
lpdfr_2 = "0000b3700000RRE",
lpdr_2 = "000000002000RR",
Expand Down Expand Up @@ -1329,6 +1339,10 @@ local function parse_template(params, template, nparams, pos)
wputhw(op1)
op2 = op2 + shl(parse_reg(params[1]), 4) + shl(parse_reg(params[2]), 12) + parse_reg(params[3]) + shl(parse_mask(params[4]), 8)
wputhw(op2)
elseif p == "RRF-c" then
wputhw(op1)
op2 = op2 + shl(parse_reg(params[1]), 4) + parse_reg(params[2]) + shl(parse_condition_mask(params[3]), 12)
wputhw(op2)
elseif p == "RRF-e" then
wputhw(op1)
op2 = op2 + shl(parse_reg(params[1]), 4) + shl(parse_mask(params[2]), 12) + parse_reg(params[3])
Expand Down
35 changes: 35 additions & 0 deletions src/vm_s390x.dasc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2147,6 +2147,41 @@ static void build_subroutines(BuildCtx *ctx)
| stg r0, 0
| stg r0, 0
|
|// int64_t lj_vm_num2int_check(double x)
|->vm_num2int_check:
| llihh r2, 0x8000
| oilh r2, 0x8000
| cfdbr r1, 5, f0
| llgfr r0, r1
| cdfbr f2, r1
| cdbr f2, f0
| locgr r2, r0, 8
| br r14
|
|// int64_t lj_vm_num2i64(double x)
|->vm_num2i64:
| cgdbr r2, 5, f0
| br r14
|
|// uint64_t lj_vm_num2u64(double x)
|->vm_num2u64:
| llihh r0, 0x8000
| oill r0, 1
| clgdbr r1, 5, f0
| cgdbr r2, 5, f0 // Overflow: (1 << 63) - 1 or 1 << 63
| agr r0, r2 // Add (1 << 63) + 1
| clgfi r0, 2 // Overflow: 0 or 1
| locgr r2, r1, 4
| br r14
|
|// int32_t lj_vm_tobit(double x)
|->vm_tobit:
| bfpconst_tobit f2, r2
| adbr f0, f2
| lgdr r2, f0
| lgfr r2, r2
| br r14
|
|//-----------------------------------------------------------------------
|//-- Assertions ---------------------------------------------------------
|//-----------------------------------------------------------------------
Expand Down