mirror/v
1
0
Fork 0
mirror of https://github.com/vlang/v.git synced 2023-08-10 21:13:21 +03:00
Code Issues Projects Releases Wiki Activity

native: add more operator support for floats on amd64 (#16498)

Browse Source
This commit is contained in:
lemon 2022-11-21 19:48:24 +09:00 committed by GitHub
parent c744030665
commit 00383edd3d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 200 additions and 115 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

140
vlib/v/gen/native/amd64.v
View File

@ -444,20 +444,10 @@ fn (mut g Gen) jmp(addr i64) {
*/
fn (mut g Gen) mov32(reg Register, val int) {
match reg {
.rax {
g.write8(0xb8)
}
.rdi {
g.write8(0xbf)
}
.rcx {
g.write8(0xb9)
}
else {
panic('unhandled mov32 ${reg}')
}
if int(reg) >= int(Register.r8) {
g.write8(0x41)
}
g.write8(0xb8 + int(reg) % 8)
g.write32(val)
g.println('mov32 ${reg}, ${val}')
}
@ -1895,7 +1885,6 @@ fn (mut g Gen) assign_right_expr(node ast.AssignStmt, i int, right ast.Expr, nam
match right {
ast.IntegerLiteral {
// g.allocate_var(name, 4, right.val.int())
// TODO float
match node.op {
.plus_assign {
g.mov_var_to_reg(.rax, ident)
@ -1946,7 +1935,6 @@ fn (mut g Gen) assign_right_expr(node ast.AssignStmt, i int, right ast.Expr, nam
}
ast.Ident {
// eprintln('identr') dump(node) dump(right)
// TODO float
match node.op {
.plus_assign {
g.mov_var_to_reg(.rax, ident)
@ -2282,14 +2270,21 @@ fn (mut g Gen) assign_stmt(node ast.AssignStmt) {
// `a := 1` | `a,b := 1,2`
for i, left in node.left {
right := node.right[i]
if left !is ast.Ident {
// TODO float
typ := node.left_types[i]
// this branch would be removed, but left for compatibility
if left is ast.Ident && !typ.is_pure_float() {
ident := left as ast.Ident
g.assign_right_expr(node, i, right, ident.name, ident)
continue
}
if left is ast.Ident && node.op == .decl_assign {
g.allocate_var((left as ast.Ident).name, g.get_type_size(typ), 0)
}
g.gen_left_value(left)
g.push(.rax)
g.expr(right)
g.pop(.rdx)
typ := node.left_types[i]
if typ.is_number() || typ.is_real_pointer() || typ.is_bool() {
if g.is_register_type(typ) {
match node.op {
.assign {
g.mov_store(.rdx, .rax, match g.get_type_size(typ) {
@ -2303,6 +2298,41 @@ fn (mut g Gen) assign_stmt(node ast.AssignStmt) {
g.n_error('Unsupported assign instruction')
}
}
} else if typ.is_pure_float() {
// TODO when the right type is integer
is_f32 := typ == ast.f32_type_idx
if node.op !in [.assign, .decl_assign] {
g.mov_ssereg(.xmm1, .xmm0)
if is_f32 {
g.write32(0x02100ff3)
g.println('movss xmm0, [rdx]')
} else {
g.write32(0x02100ff2)
g.println('movsd xmm0, [rdx]')
}
}
match node.op {
.plus_assign {
g.add_sse(.xmm0, .xmm1, typ)
}
.minus_assign {
g.sub_sse(.xmm0, .xmm1, typ)
}
.mult_assign {
g.mul_sse(.xmm0, .xmm1, typ)
}
.div_assign {
g.div_sse(.xmm0, .xmm1, typ)
}
else {}
}
if is_f32 {
g.write32(0x02110ff3)
g.println('movss [rdx], xmm0')
} else {
g.write32(0x02110ff2)
g.println('movsd [rdx], xmm0')
}
} else {
if node.op != .assign {
g.n_error('Unsupported assign instruction')
@ -2360,9 +2390,6 @@ fn (mut g Gen) assign_stmt(node ast.AssignStmt) {
else {}
}
}
continue
}
g.assign_right_expr(node, i, right, left.str(), left as ast.Ident)
}
}
@ -2421,10 +2448,20 @@ fn (mut g Gen) gen_left_value(node ast.Expr) {
fn (mut g Gen) prefix_expr(node ast.PrefixExpr) {
match node.op {
.minus {
// TODO neg float
g.expr(node.right)
if node.right_type.is_pure_float() {
g.mov_ssereg_to_reg(.rax, .xmm0, node.right_type)
if node.right_type == ast.f32_type_idx {
g.mov32(.rdx, int(u32(0x80000000)))
} else {
g.movabs(.rdx, i64(u64(0x8000000000000000)))
}
g.bitxor_reg(.rax, .rdx)
g.mov_reg_to_ssereg(.xmm0, .rax, node.right_type)
} else {
g.neg(.rax)
}
}
.amp {
g.gen_left_value(node.right)
}
@ -2482,8 +2519,7 @@ fn (mut g Gen) infix_expr(node ast.InfixExpr) {
g.write8(if node.op == .eq { 0x00 } else { 0x04 })
inst := if node.op == .eq { 'cmpeqss' } else { 'cmpneqss' }
g.println('${inst} xmm0, xmm1')
g.write32(0xc07e0f66)
g.println('movd eax, xmm0')
g.mov_ssereg_to_reg(.rax, .xmm0, ast.f32_type_idx)
g.write([u8(0x83), 0xe0, 0x01])
g.println('and eax, 0x1')
}
@ -3583,6 +3619,36 @@ fn (mut g Gen) mov_ssereg(a SSERegister, b SSERegister) {
g.println('movsd ${a}, ${b}')
}
fn (mut g Gen) mov_ssereg_to_reg(a Register, b SSERegister, typ ast.Type) {
g.write8(0x66)
rex_base, inst := if typ == ast.f32_type_idx {
0x40, 'movd'
} else {
0x48, 'movq'
}
if rex_base == 0x48 || int(a) >= int(Register.r8) || int(b) >= int(SSERegister.xmm8) {
g.write8(rex_base + int(a) / 8 * 4 + int(b) / 8)
}
g.write16(0x7e0f)
g.write8(0xc0 + int(a) % 8 * 8 + int(b) % 8)
g.println('${inst} ${a}, ${b}')
}
fn (mut g Gen) mov_reg_to_ssereg(a SSERegister, b Register, typ ast.Type) {
g.write8(0x66)
rex_base, inst := if typ == ast.f32_type_idx {
0x40, 'movd'
} else {
0x48, 'movq'
}
if rex_base == 0x48 || int(a) >= int(SSERegister.xmm8) || int(b) >= int(Register.r8) {
g.write8(rex_base + int(a) / 8 * 4 + int(b) / 8)
}
g.write16(0x6e0f)
g.write8(0xc0 + int(a) % 8 * 8 + int(b) % 8)
g.println('${inst} ${a}, ${b}')
}
fn (mut g Gen) add_sse(a SSERegister, b SSERegister, typ ast.Type) {
g.write8(if typ == ast.f32_type_idx { 0xf3 } else { 0xf2 })
if int(a) >= int(SSERegister.xmm8) || int(b) >= int(SSERegister.xmm8) {
@ -3776,12 +3842,12 @@ fn (mut g Gen) gen_cast_expr_amd64(expr ast.CastExpr) {
}
match g.get_type_size(expr.expr_type) {
4 {
g.write([u8(0xf3), 0x48, 0x0f, 0x2d, 0xc0])
g.println('cvtss2si rax, xmm0')
g.write([u8(0xf3), 0x48, 0x0f, 0x2c, 0xc0])
g.println('cvttss2si rax, xmm0')
}
8 {
g.write([u8(0xf2), 0x48, 0x0f, 0x2d, 0xc0])
g.println('cvtsd2si rax, xmm0')
g.write([u8(0xf2), 0x48, 0x0f, 0x2c, 0xc0])
g.println('cvttsd2si rax, xmm0')
}
else {}
}
@ -3794,12 +3860,12 @@ fn (mut g Gen) gen_cast_expr_amd64(expr ast.CastExpr) {
g.sub_sse(.xmm0, .xmm1, expr.expr_type)
match g.get_type_size(expr.expr_type) {
4 {
g.write([u8(0xf3), 0x48, 0x0f, 0x2d, 0xc0])
g.println('cvtss2si rax, xmm0')
g.write([u8(0xf3), 0x48, 0x0f, 0x2c, 0xc0])
g.println('cvttss2si rax, xmm0')
}
8 {
g.write([u8(0xf2), 0x48, 0x0f, 0x2d, 0xc0])
g.println('cvtsd2si rax, xmm0')
g.write([u8(0xf2), 0x48, 0x0f, 0x2c, 0xc0])
g.println('cvttsd2si rax, xmm0')
}
else {}
}
@ -3808,12 +3874,12 @@ fn (mut g Gen) gen_cast_expr_amd64(expr ast.CastExpr) {
} else {
match g.get_type_size(expr.expr_type) {
4 {
g.write([u8(0xf3), 0x48, 0x0f, 0x2d, 0xc0])
g.println('cvtss2si rax, xmm0')
g.write([u8(0xf3), 0x48, 0x0f, 0x2c, 0xc0])
g.println('cvttss2si rax, xmm0')
}
8 {
g.write([u8(0xf2), 0x48, 0x0f, 0x2d, 0xc0])
g.println('cvtsd2si rax, xmm0')
g.write([u8(0xf2), 0x48, 0x0f, 0x2c, 0xc0])
g.println('cvttsd2si rax, xmm0')
}
else {}
}

13
vlib/v/gen/native/gen.v
View File

@ -591,7 +591,7 @@ fn (mut g Gen) get_type_size(typ ast.Type) int {
fn (mut g Gen) get_type_align(typ ast.Type) int {
// also calculate align of a struct
size := g.get_type_size(typ)
if typ in ast.number_type_idxs || typ.is_real_pointer() || typ.is_bool() {
if g.is_register_type(typ) || typ.is_pure_float() {
return size
}
ts := g.table.sym(typ)
@ -602,6 +602,10 @@ fn (mut g Gen) get_type_align(typ ast.Type) int {
return 0
}
fn (g Gen) is_register_type(typ ast.Type) bool {
return typ.is_pure_int() || typ == ast.char_type_idx || typ.is_real_pointer() || typ.is_bool()
}
fn (mut g Gen) get_sizeof_ident(ident ast.Ident) int {
typ := match ident.obj {
ast.AsmRegister { ast.i64_type_idx }
@ -1144,7 +1148,7 @@ fn (mut g Gen) stmt(node ast.Stmt) {
}
}
// store the struct value
if !typ.is_real_pointer() && !typ.is_number() && !typ.is_bool() {
if !g.is_register_type(typ) && !typ.is_pure_float() {
ts := g.table.sym(typ)
size := g.get_type_size(typ)
if g.pref.arch == .amd64 {
@ -1323,8 +1327,7 @@ fn (mut g Gen) expr(node ast.Expr) {
} else {
g.movabs(.rax, val)
g.println('; ${node.val}')
g.push(.rax)
g.pop_sse(.xmm0)
g.mov_reg_to_ssereg(.xmm0, .rax, ast.f64_type_idx)
}
}
ast.Ident {
@ -1332,7 +1335,7 @@ fn (mut g Gen) expr(node ast.Expr) {
// XXX this is intel specific
match var {
LocalVar {
if var.typ.is_pure_int() || var.typ.is_real_pointer() || var.typ.is_bool() {
if g.is_register_type(var.typ) {
g.mov_var_to_reg(.rax, node as ast.Ident)
} else if var.typ.is_pure_float() {
g.mov_var_to_ssereg(.xmm0, node as ast.Ident)

16
vlib/v/gen/native/tests/float.vv
View File

@ -13,6 +13,21 @@ fn float_test() {
assert b >= a
assert a == 0.5
assert b != 0.5
assert -a == -0.5
assert -b == -3.2
}
fn float_assign_test() {
mut a := f64(1.0)
a += 2.5
assert a == 3.5
a -= 1.25
assert a == 2.25
a *= 6.0
assert a == 13.5
a /= 4.5
assert a == 3.0
}
fn float_cast_test() {
@ -65,6 +80,7 @@ fn float_fn_test() {
fn main() {
float_test()
float_assign_test()
float_cast_test()
float_fn_test()
}