2010-02-19 18:00:44 +08:00
|
|
|
/*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License, version 2, as
|
|
|
|
* published by the Free Software Foundation.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with this program; if not, write to the Free Software
|
|
|
|
* Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
|
|
*
|
|
|
|
* Copyright Novell Inc 2010
|
|
|
|
*
|
|
|
|
* Authors: Alexander Graf <agraf@suse.de>
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <asm/kvm.h>
|
|
|
|
#include <asm/kvm_ppc.h>
|
|
|
|
#include <asm/disassemble.h>
|
|
|
|
#include <asm/kvm_book3s.h>
|
|
|
|
#include <asm/kvm_fpu.h>
|
|
|
|
#include <asm/reg.h>
|
|
|
|
#include <asm/cacheflush.h>
|
2012-04-02 01:35:53 +08:00
|
|
|
#include <asm/switch_to.h>
|
2010-02-19 18:00:44 +08:00
|
|
|
#include <linux/vmalloc.h>
|
|
|
|
|
|
|
|
/* #define DEBUG */
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
|
|
|
#define dprintk printk
|
|
|
|
#else
|
|
|
|
#define dprintk(...) do { } while(0);
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#define OP_LFS 48
|
|
|
|
#define OP_LFSU 49
|
|
|
|
#define OP_LFD 50
|
|
|
|
#define OP_LFDU 51
|
|
|
|
#define OP_STFS 52
|
|
|
|
#define OP_STFSU 53
|
|
|
|
#define OP_STFD 54
|
|
|
|
#define OP_STFDU 55
|
|
|
|
#define OP_PSQ_L 56
|
|
|
|
#define OP_PSQ_LU 57
|
|
|
|
#define OP_PSQ_ST 60
|
|
|
|
#define OP_PSQ_STU 61
|
|
|
|
|
|
|
|
#define OP_31_LFSX 535
|
|
|
|
#define OP_31_LFSUX 567
|
|
|
|
#define OP_31_LFDX 599
|
|
|
|
#define OP_31_LFDUX 631
|
|
|
|
#define OP_31_STFSX 663
|
|
|
|
#define OP_31_STFSUX 695
|
|
|
|
#define OP_31_STFX 727
|
|
|
|
#define OP_31_STFUX 759
|
|
|
|
#define OP_31_LWIZX 887
|
|
|
|
#define OP_31_STFIWX 983
|
|
|
|
|
|
|
|
#define OP_59_FADDS 21
|
|
|
|
#define OP_59_FSUBS 20
|
|
|
|
#define OP_59_FSQRTS 22
|
|
|
|
#define OP_59_FDIVS 18
|
|
|
|
#define OP_59_FRES 24
|
|
|
|
#define OP_59_FMULS 25
|
|
|
|
#define OP_59_FRSQRTES 26
|
|
|
|
#define OP_59_FMSUBS 28
|
|
|
|
#define OP_59_FMADDS 29
|
|
|
|
#define OP_59_FNMSUBS 30
|
|
|
|
#define OP_59_FNMADDS 31
|
|
|
|
|
|
|
|
#define OP_63_FCMPU 0
|
|
|
|
#define OP_63_FCPSGN 8
|
|
|
|
#define OP_63_FRSP 12
|
|
|
|
#define OP_63_FCTIW 14
|
|
|
|
#define OP_63_FCTIWZ 15
|
|
|
|
#define OP_63_FDIV 18
|
|
|
|
#define OP_63_FADD 21
|
|
|
|
#define OP_63_FSQRT 22
|
|
|
|
#define OP_63_FSEL 23
|
|
|
|
#define OP_63_FRE 24
|
|
|
|
#define OP_63_FMUL 25
|
|
|
|
#define OP_63_FRSQRTE 26
|
|
|
|
#define OP_63_FMSUB 28
|
|
|
|
#define OP_63_FMADD 29
|
|
|
|
#define OP_63_FNMSUB 30
|
|
|
|
#define OP_63_FNMADD 31
|
|
|
|
#define OP_63_FCMPO 32
|
|
|
|
#define OP_63_MTFSB1 38 // XXX
|
|
|
|
#define OP_63_FSUB 20
|
|
|
|
#define OP_63_FNEG 40
|
|
|
|
#define OP_63_MCRFS 64
|
|
|
|
#define OP_63_MTFSB0 70
|
|
|
|
#define OP_63_FMR 72
|
|
|
|
#define OP_63_MTFSFI 134
|
|
|
|
#define OP_63_FABS 264
|
|
|
|
#define OP_63_MFFS 583
|
|
|
|
#define OP_63_MTFSF 711
|
|
|
|
|
|
|
|
#define OP_4X_PS_CMPU0 0
|
|
|
|
#define OP_4X_PSQ_LX 6
|
|
|
|
#define OP_4XW_PSQ_STX 7
|
|
|
|
#define OP_4A_PS_SUM0 10
|
|
|
|
#define OP_4A_PS_SUM1 11
|
|
|
|
#define OP_4A_PS_MULS0 12
|
|
|
|
#define OP_4A_PS_MULS1 13
|
|
|
|
#define OP_4A_PS_MADDS0 14
|
|
|
|
#define OP_4A_PS_MADDS1 15
|
|
|
|
#define OP_4A_PS_DIV 18
|
|
|
|
#define OP_4A_PS_SUB 20
|
|
|
|
#define OP_4A_PS_ADD 21
|
|
|
|
#define OP_4A_PS_SEL 23
|
|
|
|
#define OP_4A_PS_RES 24
|
|
|
|
#define OP_4A_PS_MUL 25
|
|
|
|
#define OP_4A_PS_RSQRTE 26
|
|
|
|
#define OP_4A_PS_MSUB 28
|
|
|
|
#define OP_4A_PS_MADD 29
|
|
|
|
#define OP_4A_PS_NMSUB 30
|
|
|
|
#define OP_4A_PS_NMADD 31
|
|
|
|
#define OP_4X_PS_CMPO0 32
|
|
|
|
#define OP_4X_PSQ_LUX 38
|
|
|
|
#define OP_4XW_PSQ_STUX 39
|
|
|
|
#define OP_4X_PS_NEG 40
|
|
|
|
#define OP_4X_PS_CMPU1 64
|
|
|
|
#define OP_4X_PS_MR 72
|
|
|
|
#define OP_4X_PS_CMPO1 96
|
|
|
|
#define OP_4X_PS_NABS 136
|
|
|
|
#define OP_4X_PS_ABS 264
|
|
|
|
#define OP_4X_PS_MERGE00 528
|
|
|
|
#define OP_4X_PS_MERGE01 560
|
|
|
|
#define OP_4X_PS_MERGE10 592
|
|
|
|
#define OP_4X_PS_MERGE11 624
|
|
|
|
|
|
|
|
#define SCALAR_NONE 0
|
|
|
|
#define SCALAR_HIGH (1 << 0)
|
|
|
|
#define SCALAR_LOW (1 << 1)
|
|
|
|
#define SCALAR_NO_PS0 (1 << 2)
|
|
|
|
#define SCALAR_NO_PS1 (1 << 3)
|
|
|
|
|
|
|
|
#define GQR_ST_TYPE_MASK 0x00000007
|
|
|
|
#define GQR_ST_TYPE_SHIFT 0
|
|
|
|
#define GQR_ST_SCALE_MASK 0x00003f00
|
|
|
|
#define GQR_ST_SCALE_SHIFT 8
|
|
|
|
#define GQR_LD_TYPE_MASK 0x00070000
|
|
|
|
#define GQR_LD_TYPE_SHIFT 16
|
|
|
|
#define GQR_LD_SCALE_MASK 0x3f000000
|
|
|
|
#define GQR_LD_SCALE_SHIFT 24
|
|
|
|
|
|
|
|
#define GQR_QUANTIZE_FLOAT 0
|
|
|
|
#define GQR_QUANTIZE_U8 4
|
|
|
|
#define GQR_QUANTIZE_U16 5
|
|
|
|
#define GQR_QUANTIZE_S8 6
|
|
|
|
#define GQR_QUANTIZE_S16 7
|
|
|
|
|
|
|
|
#define FPU_LS_SINGLE 0
|
|
|
|
#define FPU_LS_DOUBLE 1
|
|
|
|
#define FPU_LS_SINGLE_LOW 2
|
|
|
|
|
|
|
|
static inline void kvmppc_sync_qpr(struct kvm_vcpu *vcpu, int rt)
|
|
|
|
{
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, rt), &vcpu->arch.qpr[rt]);
|
2010-02-19 18:00:44 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
static void kvmppc_inject_pf(struct kvm_vcpu *vcpu, ulong eaddr, bool is_store)
|
|
|
|
{
|
2014-04-24 19:46:24 +08:00
|
|
|
u32 dsisr;
|
|
|
|
u64 msr = kvmppc_get_msr(vcpu);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
2014-04-24 19:46:24 +08:00
|
|
|
msr = kvmppc_set_field(msr, 33, 36, 0);
|
|
|
|
msr = kvmppc_set_field(msr, 42, 47, 0);
|
|
|
|
kvmppc_set_msr(vcpu, msr);
|
|
|
|
kvmppc_set_dar(vcpu, eaddr);
|
2010-02-19 18:00:44 +08:00
|
|
|
/* Page Fault */
|
|
|
|
dsisr = kvmppc_set_field(0, 33, 33, 1);
|
|
|
|
if (is_store)
|
2014-04-24 19:46:24 +08:00
|
|
|
dsisr = kvmppc_set_field(dsisr, 38, 38, 1);
|
|
|
|
kvmppc_set_dsisr(vcpu, dsisr);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_book3s_queue_irqprio(vcpu, BOOK3S_INTERRUPT_DATA_STORAGE);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int kvmppc_emulate_fpr_load(struct kvm_run *run, struct kvm_vcpu *vcpu,
|
|
|
|
int rs, ulong addr, int ls_type)
|
|
|
|
{
|
|
|
|
int emulated = EMULATE_FAIL;
|
|
|
|
int r;
|
|
|
|
char tmp[8];
|
|
|
|
int len = sizeof(u32);
|
|
|
|
|
|
|
|
if (ls_type == FPU_LS_DOUBLE)
|
|
|
|
len = sizeof(u64);
|
|
|
|
|
|
|
|
/* read from memory */
|
|
|
|
r = kvmppc_ld(vcpu, &addr, len, tmp, true);
|
|
|
|
vcpu->arch.paddr_accessed = addr;
|
|
|
|
|
|
|
|
if (r < 0) {
|
|
|
|
kvmppc_inject_pf(vcpu, addr, false);
|
|
|
|
goto done_load;
|
|
|
|
} else if (r == EMULATE_DO_MMIO) {
|
2012-01-07 09:07:38 +08:00
|
|
|
emulated = kvmppc_handle_load(run, vcpu, KVM_MMIO_REG_FPR | rs,
|
|
|
|
len, 1);
|
2010-02-19 18:00:44 +08:00
|
|
|
goto done_load;
|
|
|
|
}
|
|
|
|
|
|
|
|
emulated = EMULATE_DONE;
|
|
|
|
|
|
|
|
/* put in registers */
|
|
|
|
switch (ls_type) {
|
|
|
|
case FPU_LS_SINGLE:
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_fd((u32*)tmp, &VCPU_FPR(vcpu, rs));
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[rs] = *((u32*)tmp);
|
|
|
|
break;
|
|
|
|
case FPU_LS_DOUBLE:
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, rs) = *((u64*)tmp);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
dprintk(KERN_INFO "KVM: FPR_LD [0x%llx] at 0x%lx (%d)\n", *(u64*)tmp,
|
|
|
|
addr, len);
|
|
|
|
|
|
|
|
done_load:
|
|
|
|
return emulated;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int kvmppc_emulate_fpr_store(struct kvm_run *run, struct kvm_vcpu *vcpu,
|
|
|
|
int rs, ulong addr, int ls_type)
|
|
|
|
{
|
|
|
|
int emulated = EMULATE_FAIL;
|
|
|
|
int r;
|
|
|
|
char tmp[8];
|
|
|
|
u64 val;
|
|
|
|
int len;
|
|
|
|
|
|
|
|
switch (ls_type) {
|
|
|
|
case FPU_LS_SINGLE:
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, rs), (u32*)tmp);
|
2010-02-19 18:00:44 +08:00
|
|
|
val = *((u32*)tmp);
|
|
|
|
len = sizeof(u32);
|
|
|
|
break;
|
|
|
|
case FPU_LS_SINGLE_LOW:
|
2013-10-15 17:43:02 +08:00
|
|
|
*((u32*)tmp) = VCPU_FPR(vcpu, rs);
|
|
|
|
val = VCPU_FPR(vcpu, rs) & 0xffffffff;
|
2010-02-19 18:00:44 +08:00
|
|
|
len = sizeof(u32);
|
|
|
|
break;
|
|
|
|
case FPU_LS_DOUBLE:
|
2013-10-15 17:43:02 +08:00
|
|
|
*((u64*)tmp) = VCPU_FPR(vcpu, rs);
|
|
|
|
val = VCPU_FPR(vcpu, rs);
|
2010-02-19 18:00:44 +08:00
|
|
|
len = sizeof(u64);
|
|
|
|
break;
|
|
|
|
default:
|
|
|
|
val = 0;
|
|
|
|
len = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
r = kvmppc_st(vcpu, &addr, len, tmp, true);
|
|
|
|
vcpu->arch.paddr_accessed = addr;
|
|
|
|
if (r < 0) {
|
|
|
|
kvmppc_inject_pf(vcpu, addr, true);
|
|
|
|
} else if (r == EMULATE_DO_MMIO) {
|
|
|
|
emulated = kvmppc_handle_store(run, vcpu, val, len, 1);
|
|
|
|
} else {
|
|
|
|
emulated = EMULATE_DONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
dprintk(KERN_INFO "KVM: FPR_ST [0x%llx] at 0x%lx (%d)\n",
|
|
|
|
val, addr, len);
|
|
|
|
|
|
|
|
return emulated;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int kvmppc_emulate_psq_load(struct kvm_run *run, struct kvm_vcpu *vcpu,
|
|
|
|
int rs, ulong addr, bool w, int i)
|
|
|
|
{
|
|
|
|
int emulated = EMULATE_FAIL;
|
|
|
|
int r;
|
|
|
|
float one = 1.0;
|
|
|
|
u32 tmp[2];
|
|
|
|
|
|
|
|
/* read from memory */
|
|
|
|
if (w) {
|
|
|
|
r = kvmppc_ld(vcpu, &addr, sizeof(u32), tmp, true);
|
|
|
|
memcpy(&tmp[1], &one, sizeof(u32));
|
|
|
|
} else {
|
|
|
|
r = kvmppc_ld(vcpu, &addr, sizeof(u32) * 2, tmp, true);
|
|
|
|
}
|
|
|
|
vcpu->arch.paddr_accessed = addr;
|
|
|
|
if (r < 0) {
|
|
|
|
kvmppc_inject_pf(vcpu, addr, false);
|
|
|
|
goto done_load;
|
|
|
|
} else if ((r == EMULATE_DO_MMIO) && w) {
|
2012-01-07 09:07:38 +08:00
|
|
|
emulated = kvmppc_handle_load(run, vcpu, KVM_MMIO_REG_FPR | rs,
|
|
|
|
4, 1);
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[rs] = tmp[1];
|
|
|
|
goto done_load;
|
|
|
|
} else if (r == EMULATE_DO_MMIO) {
|
2012-01-07 09:07:38 +08:00
|
|
|
emulated = kvmppc_handle_load(run, vcpu, KVM_MMIO_REG_FQPR | rs,
|
|
|
|
8, 1);
|
2010-02-19 18:00:44 +08:00
|
|
|
goto done_load;
|
|
|
|
}
|
|
|
|
|
|
|
|
emulated = EMULATE_DONE;
|
|
|
|
|
|
|
|
/* put in registers */
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_fd(&tmp[0], &VCPU_FPR(vcpu, rs));
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[rs] = tmp[1];
|
|
|
|
|
|
|
|
dprintk(KERN_INFO "KVM: PSQ_LD [0x%x, 0x%x] at 0x%lx (%d)\n", tmp[0],
|
|
|
|
tmp[1], addr, w ? 4 : 8);
|
|
|
|
|
|
|
|
done_load:
|
|
|
|
return emulated;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int kvmppc_emulate_psq_store(struct kvm_run *run, struct kvm_vcpu *vcpu,
|
|
|
|
int rs, ulong addr, bool w, int i)
|
|
|
|
{
|
|
|
|
int emulated = EMULATE_FAIL;
|
|
|
|
int r;
|
|
|
|
u32 tmp[2];
|
|
|
|
int len = w ? sizeof(u32) : sizeof(u64);
|
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, rs), &tmp[0]);
|
2010-02-19 18:00:44 +08:00
|
|
|
tmp[1] = vcpu->arch.qpr[rs];
|
|
|
|
|
|
|
|
r = kvmppc_st(vcpu, &addr, len, tmp, true);
|
|
|
|
vcpu->arch.paddr_accessed = addr;
|
|
|
|
if (r < 0) {
|
|
|
|
kvmppc_inject_pf(vcpu, addr, true);
|
|
|
|
} else if ((r == EMULATE_DO_MMIO) && w) {
|
|
|
|
emulated = kvmppc_handle_store(run, vcpu, tmp[0], 4, 1);
|
|
|
|
} else if (r == EMULATE_DO_MMIO) {
|
|
|
|
u64 val = ((u64)tmp[0] << 32) | tmp[1];
|
|
|
|
emulated = kvmppc_handle_store(run, vcpu, val, 8, 1);
|
|
|
|
} else {
|
|
|
|
emulated = EMULATE_DONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
dprintk(KERN_INFO "KVM: PSQ_ST [0x%x, 0x%x] at 0x%lx (%d)\n",
|
|
|
|
tmp[0], tmp[1], addr, len);
|
|
|
|
|
|
|
|
return emulated;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Cuts out inst bits with ordering according to spec.
|
|
|
|
* That means the leftmost bit is zero. All given bits are included.
|
|
|
|
*/
|
|
|
|
static inline u32 inst_get_field(u32 inst, int msb, int lsb)
|
|
|
|
{
|
|
|
|
return kvmppc_get_field(inst, msb + 32, lsb + 32);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool kvmppc_inst_is_paired_single(struct kvm_vcpu *vcpu, u32 inst)
|
|
|
|
{
|
|
|
|
if (!(vcpu->arch.hflags & BOOK3S_HFLAG_PAIRED_SINGLE))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
switch (get_op(inst)) {
|
|
|
|
case OP_PSQ_L:
|
|
|
|
case OP_PSQ_LU:
|
|
|
|
case OP_PSQ_ST:
|
|
|
|
case OP_PSQ_STU:
|
|
|
|
case OP_LFS:
|
|
|
|
case OP_LFSU:
|
|
|
|
case OP_LFD:
|
|
|
|
case OP_LFDU:
|
|
|
|
case OP_STFS:
|
|
|
|
case OP_STFSU:
|
|
|
|
case OP_STFD:
|
|
|
|
case OP_STFDU:
|
|
|
|
return true;
|
|
|
|
case 4:
|
|
|
|
/* X form */
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_4X_PS_CMPU0:
|
|
|
|
case OP_4X_PSQ_LX:
|
|
|
|
case OP_4X_PS_CMPO0:
|
|
|
|
case OP_4X_PSQ_LUX:
|
|
|
|
case OP_4X_PS_NEG:
|
|
|
|
case OP_4X_PS_CMPU1:
|
|
|
|
case OP_4X_PS_MR:
|
|
|
|
case OP_4X_PS_CMPO1:
|
|
|
|
case OP_4X_PS_NABS:
|
|
|
|
case OP_4X_PS_ABS:
|
|
|
|
case OP_4X_PS_MERGE00:
|
|
|
|
case OP_4X_PS_MERGE01:
|
|
|
|
case OP_4X_PS_MERGE10:
|
|
|
|
case OP_4X_PS_MERGE11:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
/* XW form */
|
|
|
|
switch (inst_get_field(inst, 25, 30)) {
|
|
|
|
case OP_4XW_PSQ_STX:
|
|
|
|
case OP_4XW_PSQ_STUX:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
/* A form */
|
|
|
|
switch (inst_get_field(inst, 26, 30)) {
|
|
|
|
case OP_4A_PS_SUM1:
|
|
|
|
case OP_4A_PS_SUM0:
|
|
|
|
case OP_4A_PS_MULS0:
|
|
|
|
case OP_4A_PS_MULS1:
|
|
|
|
case OP_4A_PS_MADDS0:
|
|
|
|
case OP_4A_PS_MADDS1:
|
|
|
|
case OP_4A_PS_DIV:
|
|
|
|
case OP_4A_PS_SUB:
|
|
|
|
case OP_4A_PS_ADD:
|
|
|
|
case OP_4A_PS_SEL:
|
|
|
|
case OP_4A_PS_RES:
|
|
|
|
case OP_4A_PS_MUL:
|
|
|
|
case OP_4A_PS_RSQRTE:
|
|
|
|
case OP_4A_PS_MSUB:
|
|
|
|
case OP_4A_PS_MADD:
|
|
|
|
case OP_4A_PS_NMSUB:
|
|
|
|
case OP_4A_PS_NMADD:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 59:
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_59_FADDS:
|
|
|
|
case OP_59_FSUBS:
|
|
|
|
case OP_59_FDIVS:
|
|
|
|
case OP_59_FRES:
|
|
|
|
case OP_59_FRSQRTES:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
switch (inst_get_field(inst, 26, 30)) {
|
|
|
|
case OP_59_FMULS:
|
|
|
|
case OP_59_FMSUBS:
|
|
|
|
case OP_59_FMADDS:
|
|
|
|
case OP_59_FNMSUBS:
|
|
|
|
case OP_59_FNMADDS:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 63:
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_63_MTFSB0:
|
|
|
|
case OP_63_MTFSB1:
|
|
|
|
case OP_63_MTFSF:
|
|
|
|
case OP_63_MTFSFI:
|
|
|
|
case OP_63_MCRFS:
|
|
|
|
case OP_63_MFFS:
|
|
|
|
case OP_63_FCMPU:
|
|
|
|
case OP_63_FCMPO:
|
|
|
|
case OP_63_FNEG:
|
|
|
|
case OP_63_FMR:
|
|
|
|
case OP_63_FABS:
|
|
|
|
case OP_63_FRSP:
|
|
|
|
case OP_63_FDIV:
|
|
|
|
case OP_63_FADD:
|
|
|
|
case OP_63_FSUB:
|
|
|
|
case OP_63_FCTIW:
|
|
|
|
case OP_63_FCTIWZ:
|
|
|
|
case OP_63_FRSQRTE:
|
|
|
|
case OP_63_FCPSGN:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
switch (inst_get_field(inst, 26, 30)) {
|
|
|
|
case OP_63_FMUL:
|
|
|
|
case OP_63_FSEL:
|
|
|
|
case OP_63_FMSUB:
|
|
|
|
case OP_63_FMADD:
|
|
|
|
case OP_63_FNMSUB:
|
|
|
|
case OP_63_FNMADD:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 31:
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_31_LFSX:
|
|
|
|
case OP_31_LFSUX:
|
|
|
|
case OP_31_LFDX:
|
|
|
|
case OP_31_LFDUX:
|
|
|
|
case OP_31_STFSX:
|
|
|
|
case OP_31_STFSUX:
|
|
|
|
case OP_31_STFX:
|
|
|
|
case OP_31_STFUX:
|
|
|
|
case OP_31_STFIWX:
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int get_d_signext(u32 inst)
|
|
|
|
{
|
|
|
|
int d = inst & 0x8ff;
|
|
|
|
|
|
|
|
if (d & 0x800)
|
|
|
|
return -(d & 0x7ff);
|
|
|
|
|
|
|
|
return (d & 0x7ff);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int kvmppc_ps_three_in(struct kvm_vcpu *vcpu, bool rc,
|
|
|
|
int reg_out, int reg_in1, int reg_in2,
|
|
|
|
int reg_in3, int scalar,
|
2010-06-01 03:59:13 +08:00
|
|
|
void (*func)(u64 *fpscr,
|
2010-02-19 18:00:44 +08:00
|
|
|
u32 *dst, u32 *src1,
|
|
|
|
u32 *src2, u32 *src3))
|
|
|
|
{
|
|
|
|
u32 *qpr = vcpu->arch.qpr;
|
|
|
|
u32 ps0_out;
|
|
|
|
u32 ps0_in1, ps0_in2, ps0_in3;
|
|
|
|
u32 ps1_in1, ps1_in2, ps1_in3;
|
|
|
|
|
|
|
|
/* RC */
|
|
|
|
WARN_ON(rc);
|
|
|
|
|
|
|
|
/* PS0 */
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, reg_in1), &ps0_in1);
|
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, reg_in2), &ps0_in2);
|
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, reg_in3), &ps0_in3);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
if (scalar & SCALAR_LOW)
|
|
|
|
ps0_in2 = qpr[reg_in2];
|
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
func(&vcpu->arch.fp.fpscr, &ps0_out, &ps0_in1, &ps0_in2, &ps0_in3);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
dprintk(KERN_INFO "PS3 ps0 -> f(0x%x, 0x%x, 0x%x) = 0x%x\n",
|
|
|
|
ps0_in1, ps0_in2, ps0_in3, ps0_out);
|
|
|
|
|
|
|
|
if (!(scalar & SCALAR_NO_PS0))
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_fd(&ps0_out, &VCPU_FPR(vcpu, reg_out));
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
/* PS1 */
|
|
|
|
ps1_in1 = qpr[reg_in1];
|
|
|
|
ps1_in2 = qpr[reg_in2];
|
|
|
|
ps1_in3 = qpr[reg_in3];
|
|
|
|
|
|
|
|
if (scalar & SCALAR_HIGH)
|
|
|
|
ps1_in2 = ps0_in2;
|
|
|
|
|
|
|
|
if (!(scalar & SCALAR_NO_PS1))
|
2013-10-15 17:43:02 +08:00
|
|
|
func(&vcpu->arch.fp.fpscr, &qpr[reg_out], &ps1_in1, &ps1_in2, &ps1_in3);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
dprintk(KERN_INFO "PS3 ps1 -> f(0x%x, 0x%x, 0x%x) = 0x%x\n",
|
|
|
|
ps1_in1, ps1_in2, ps1_in3, qpr[reg_out]);
|
|
|
|
|
|
|
|
return EMULATE_DONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int kvmppc_ps_two_in(struct kvm_vcpu *vcpu, bool rc,
|
|
|
|
int reg_out, int reg_in1, int reg_in2,
|
|
|
|
int scalar,
|
2010-06-01 03:59:13 +08:00
|
|
|
void (*func)(u64 *fpscr,
|
2010-02-19 18:00:44 +08:00
|
|
|
u32 *dst, u32 *src1,
|
|
|
|
u32 *src2))
|
|
|
|
{
|
|
|
|
u32 *qpr = vcpu->arch.qpr;
|
|
|
|
u32 ps0_out;
|
|
|
|
u32 ps0_in1, ps0_in2;
|
|
|
|
u32 ps1_out;
|
|
|
|
u32 ps1_in1, ps1_in2;
|
|
|
|
|
|
|
|
/* RC */
|
|
|
|
WARN_ON(rc);
|
|
|
|
|
|
|
|
/* PS0 */
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, reg_in1), &ps0_in1);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
if (scalar & SCALAR_LOW)
|
|
|
|
ps0_in2 = qpr[reg_in2];
|
|
|
|
else
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, reg_in2), &ps0_in2);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
func(&vcpu->arch.fp.fpscr, &ps0_out, &ps0_in1, &ps0_in2);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
if (!(scalar & SCALAR_NO_PS0)) {
|
|
|
|
dprintk(KERN_INFO "PS2 ps0 -> f(0x%x, 0x%x) = 0x%x\n",
|
|
|
|
ps0_in1, ps0_in2, ps0_out);
|
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_fd(&ps0_out, &VCPU_FPR(vcpu, reg_out));
|
2010-02-19 18:00:44 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/* PS1 */
|
|
|
|
ps1_in1 = qpr[reg_in1];
|
|
|
|
ps1_in2 = qpr[reg_in2];
|
|
|
|
|
|
|
|
if (scalar & SCALAR_HIGH)
|
|
|
|
ps1_in2 = ps0_in2;
|
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
func(&vcpu->arch.fp.fpscr, &ps1_out, &ps1_in1, &ps1_in2);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
if (!(scalar & SCALAR_NO_PS1)) {
|
|
|
|
qpr[reg_out] = ps1_out;
|
|
|
|
|
|
|
|
dprintk(KERN_INFO "PS2 ps1 -> f(0x%x, 0x%x) = 0x%x\n",
|
|
|
|
ps1_in1, ps1_in2, qpr[reg_out]);
|
|
|
|
}
|
|
|
|
|
|
|
|
return EMULATE_DONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int kvmppc_ps_one_in(struct kvm_vcpu *vcpu, bool rc,
|
|
|
|
int reg_out, int reg_in,
|
2010-06-01 03:59:13 +08:00
|
|
|
void (*func)(u64 *t,
|
2010-02-19 18:00:44 +08:00
|
|
|
u32 *dst, u32 *src1))
|
|
|
|
{
|
|
|
|
u32 *qpr = vcpu->arch.qpr;
|
|
|
|
u32 ps0_out, ps0_in;
|
|
|
|
u32 ps1_in;
|
|
|
|
|
|
|
|
/* RC */
|
|
|
|
WARN_ON(rc);
|
|
|
|
|
|
|
|
/* PS0 */
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, reg_in), &ps0_in);
|
|
|
|
func(&vcpu->arch.fp.fpscr, &ps0_out, &ps0_in);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
dprintk(KERN_INFO "PS1 ps0 -> f(0x%x) = 0x%x\n",
|
|
|
|
ps0_in, ps0_out);
|
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_fd(&ps0_out, &VCPU_FPR(vcpu, reg_out));
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
/* PS1 */
|
|
|
|
ps1_in = qpr[reg_in];
|
2013-10-15 17:43:02 +08:00
|
|
|
func(&vcpu->arch.fp.fpscr, &qpr[reg_out], &ps1_in);
|
2010-02-19 18:00:44 +08:00
|
|
|
|
|
|
|
dprintk(KERN_INFO "PS1 ps1 -> f(0x%x) = 0x%x\n",
|
|
|
|
ps1_in, qpr[reg_out]);
|
|
|
|
|
|
|
|
return EMULATE_DONE;
|
|
|
|
}
|
|
|
|
|
|
|
|
int kvmppc_emulate_paired_single(struct kvm_run *run, struct kvm_vcpu *vcpu)
|
|
|
|
{
|
2014-07-24 00:06:21 +08:00
|
|
|
u32 inst;
|
2010-02-19 18:00:44 +08:00
|
|
|
enum emulation_result emulated = EMULATE_DONE;
|
2014-07-24 00:06:21 +08:00
|
|
|
int ax_rd, ax_ra, ax_rb, ax_rc;
|
|
|
|
short full_d;
|
|
|
|
u64 *fpr_d, *fpr_a, *fpr_b, *fpr_c;
|
2010-02-19 18:00:44 +08:00
|
|
|
|
2014-07-24 00:06:21 +08:00
|
|
|
bool rcomp;
|
|
|
|
u32 cr;
|
2010-02-19 18:00:44 +08:00
|
|
|
#ifdef DEBUG
|
|
|
|
int i;
|
|
|
|
#endif
|
|
|
|
|
2014-07-24 00:06:21 +08:00
|
|
|
emulated = kvmppc_get_last_inst(vcpu, INST_GENERIC, &inst);
|
|
|
|
if (emulated != EMULATE_DONE)
|
|
|
|
return emulated;
|
|
|
|
|
|
|
|
ax_rd = inst_get_field(inst, 6, 10);
|
|
|
|
ax_ra = inst_get_field(inst, 11, 15);
|
|
|
|
ax_rb = inst_get_field(inst, 16, 20);
|
|
|
|
ax_rc = inst_get_field(inst, 21, 25);
|
|
|
|
full_d = inst_get_field(inst, 16, 31);
|
|
|
|
|
|
|
|
fpr_d = &VCPU_FPR(vcpu, ax_rd);
|
|
|
|
fpr_a = &VCPU_FPR(vcpu, ax_ra);
|
|
|
|
fpr_b = &VCPU_FPR(vcpu, ax_rb);
|
|
|
|
fpr_c = &VCPU_FPR(vcpu, ax_rc);
|
|
|
|
|
|
|
|
rcomp = (inst & 1) ? true : false;
|
|
|
|
cr = kvmppc_get_cr(vcpu);
|
|
|
|
|
2010-02-19 18:00:44 +08:00
|
|
|
if (!kvmppc_inst_is_paired_single(vcpu, inst))
|
|
|
|
return EMULATE_FAIL;
|
|
|
|
|
2014-04-24 19:46:24 +08:00
|
|
|
if (!(kvmppc_get_msr(vcpu) & MSR_FP)) {
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_book3s_queue_irqprio(vcpu, BOOK3S_INTERRUPT_FP_UNAVAIL);
|
|
|
|
return EMULATE_AGAIN;
|
|
|
|
}
|
|
|
|
|
|
|
|
kvmppc_giveup_ext(vcpu, MSR_FP);
|
|
|
|
preempt_disable();
|
|
|
|
enable_kernel_fp();
|
|
|
|
/* Do we need to clear FE0 / FE1 here? Don't think so. */
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2013-10-15 17:43:02 +08:00
|
|
|
for (i = 0; i < ARRAY_SIZE(vcpu->arch.fp.fpr); i++) {
|
2010-02-19 18:00:44 +08:00
|
|
|
u32 f;
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, i), &f);
|
2010-02-19 18:00:44 +08:00
|
|
|
dprintk(KERN_INFO "FPR[%d] = 0x%x / 0x%llx QPR[%d] = 0x%x\n",
|
2013-10-15 17:43:02 +08:00
|
|
|
i, f, VCPU_FPR(vcpu, i), i, vcpu->arch.qpr[i]);
|
2010-02-19 18:00:44 +08:00
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
switch (get_op(inst)) {
|
|
|
|
case OP_PSQ_L:
|
|
|
|
{
|
|
|
|
ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;
|
|
|
|
bool w = inst_get_field(inst, 16, 16) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 17, 19);
|
|
|
|
|
|
|
|
addr += get_d_signext(inst);
|
|
|
|
emulated = kvmppc_emulate_psq_load(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_PSQ_LU:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra);
|
|
|
|
bool w = inst_get_field(inst, 16, 16) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 17, 19);
|
|
|
|
|
|
|
|
addr += get_d_signext(inst);
|
|
|
|
emulated = kvmppc_emulate_psq_load(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_PSQ_ST:
|
|
|
|
{
|
|
|
|
ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;
|
|
|
|
bool w = inst_get_field(inst, 16, 16) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 17, 19);
|
|
|
|
|
|
|
|
addr += get_d_signext(inst);
|
|
|
|
emulated = kvmppc_emulate_psq_store(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_PSQ_STU:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra);
|
|
|
|
bool w = inst_get_field(inst, 16, 16) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 17, 19);
|
|
|
|
|
|
|
|
addr += get_d_signext(inst);
|
|
|
|
emulated = kvmppc_emulate_psq_store(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case 4:
|
|
|
|
/* X form */
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_4X_PS_CMPU0:
|
|
|
|
/* XXX */
|
|
|
|
emulated = EMULATE_FAIL;
|
|
|
|
break;
|
|
|
|
case OP_4X_PSQ_LX:
|
|
|
|
{
|
|
|
|
ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;
|
|
|
|
bool w = inst_get_field(inst, 21, 21) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 22, 24);
|
|
|
|
|
|
|
|
addr += kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
emulated = kvmppc_emulate_psq_load(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_4X_PS_CMPO0:
|
|
|
|
/* XXX */
|
|
|
|
emulated = EMULATE_FAIL;
|
|
|
|
break;
|
|
|
|
case OP_4X_PSQ_LUX:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra);
|
|
|
|
bool w = inst_get_field(inst, 21, 21) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 22, 24);
|
|
|
|
|
|
|
|
addr += kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
emulated = kvmppc_emulate_psq_load(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_4X_PS_NEG:
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, ax_rd) = VCPU_FPR(vcpu, ax_rb);
|
|
|
|
VCPU_FPR(vcpu, ax_rd) ^= 0x8000000000000000ULL;
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[ax_rd] = vcpu->arch.qpr[ax_rb];
|
|
|
|
vcpu->arch.qpr[ax_rd] ^= 0x80000000;
|
|
|
|
break;
|
|
|
|
case OP_4X_PS_CMPU1:
|
|
|
|
/* XXX */
|
|
|
|
emulated = EMULATE_FAIL;
|
|
|
|
break;
|
|
|
|
case OP_4X_PS_MR:
|
|
|
|
WARN_ON(rcomp);
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, ax_rd) = VCPU_FPR(vcpu, ax_rb);
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[ax_rd] = vcpu->arch.qpr[ax_rb];
|
|
|
|
break;
|
|
|
|
case OP_4X_PS_CMPO1:
|
|
|
|
/* XXX */
|
|
|
|
emulated = EMULATE_FAIL;
|
|
|
|
break;
|
|
|
|
case OP_4X_PS_NABS:
|
|
|
|
WARN_ON(rcomp);
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, ax_rd) = VCPU_FPR(vcpu, ax_rb);
|
|
|
|
VCPU_FPR(vcpu, ax_rd) |= 0x8000000000000000ULL;
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[ax_rd] = vcpu->arch.qpr[ax_rb];
|
|
|
|
vcpu->arch.qpr[ax_rd] |= 0x80000000;
|
|
|
|
break;
|
|
|
|
case OP_4X_PS_ABS:
|
|
|
|
WARN_ON(rcomp);
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, ax_rd) = VCPU_FPR(vcpu, ax_rb);
|
|
|
|
VCPU_FPR(vcpu, ax_rd) &= ~0x8000000000000000ULL;
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[ax_rd] = vcpu->arch.qpr[ax_rb];
|
|
|
|
vcpu->arch.qpr[ax_rd] &= ~0x80000000;
|
|
|
|
break;
|
|
|
|
case OP_4X_PS_MERGE00:
|
|
|
|
WARN_ON(rcomp);
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, ax_rd) = VCPU_FPR(vcpu, ax_ra);
|
|
|
|
/* vcpu->arch.qpr[ax_rd] = VCPU_FPR(vcpu, ax_rb); */
|
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, ax_rb),
|
2010-08-21 19:43:20 +08:00
|
|
|
&vcpu->arch.qpr[ax_rd]);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_4X_PS_MERGE01:
|
|
|
|
WARN_ON(rcomp);
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, ax_rd) = VCPU_FPR(vcpu, ax_ra);
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[ax_rd] = vcpu->arch.qpr[ax_rb];
|
|
|
|
break;
|
|
|
|
case OP_4X_PS_MERGE10:
|
|
|
|
WARN_ON(rcomp);
|
2013-10-15 17:43:02 +08:00
|
|
|
/* VCPU_FPR(vcpu, ax_rd) = vcpu->arch.qpr[ax_ra]; */
|
2010-06-01 03:59:13 +08:00
|
|
|
kvm_cvt_fd(&vcpu->arch.qpr[ax_ra],
|
2013-10-15 17:43:02 +08:00
|
|
|
&VCPU_FPR(vcpu, ax_rd));
|
|
|
|
/* vcpu->arch.qpr[ax_rd] = VCPU_FPR(vcpu, ax_rb); */
|
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, ax_rb),
|
2010-08-21 19:43:20 +08:00
|
|
|
&vcpu->arch.qpr[ax_rd]);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_4X_PS_MERGE11:
|
|
|
|
WARN_ON(rcomp);
|
2013-10-15 17:43:02 +08:00
|
|
|
/* VCPU_FPR(vcpu, ax_rd) = vcpu->arch.qpr[ax_ra]; */
|
2010-06-01 03:59:13 +08:00
|
|
|
kvm_cvt_fd(&vcpu->arch.qpr[ax_ra],
|
2013-10-15 17:43:02 +08:00
|
|
|
&VCPU_FPR(vcpu, ax_rd));
|
2010-02-19 18:00:44 +08:00
|
|
|
vcpu->arch.qpr[ax_rd] = vcpu->arch.qpr[ax_rb];
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
/* XW form */
|
|
|
|
switch (inst_get_field(inst, 25, 30)) {
|
|
|
|
case OP_4XW_PSQ_STX:
|
|
|
|
{
|
|
|
|
ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;
|
|
|
|
bool w = inst_get_field(inst, 21, 21) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 22, 24);
|
|
|
|
|
|
|
|
addr += kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
emulated = kvmppc_emulate_psq_store(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_4XW_PSQ_STUX:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra);
|
|
|
|
bool w = inst_get_field(inst, 21, 21) ? true : false;
|
|
|
|
int i = inst_get_field(inst, 22, 24);
|
|
|
|
|
|
|
|
addr += kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
emulated = kvmppc_emulate_psq_store(run, vcpu, ax_rd, addr, w, i);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
/* A form */
|
|
|
|
switch (inst_get_field(inst, 26, 30)) {
|
|
|
|
case OP_4A_PS_SUM1:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_rb, ax_ra, SCALAR_NO_PS0 | SCALAR_HIGH, fps_fadds);
|
2013-10-15 17:43:02 +08:00
|
|
|
VCPU_FPR(vcpu, ax_rd) = VCPU_FPR(vcpu, ax_rc);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_4A_PS_SUM0:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rb, SCALAR_NO_PS1 | SCALAR_LOW, fps_fadds);
|
|
|
|
vcpu->arch.qpr[ax_rd] = vcpu->arch.qpr[ax_rc];
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_MULS0:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, SCALAR_HIGH, fps_fmuls);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_MULS1:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, SCALAR_LOW, fps_fmuls);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_MADDS0:
|
|
|
|
emulated = kvmppc_ps_three_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, ax_rb, SCALAR_HIGH, fps_fmadds);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_MADDS1:
|
|
|
|
emulated = kvmppc_ps_three_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, ax_rb, SCALAR_LOW, fps_fmadds);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_DIV:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rb, SCALAR_NONE, fps_fdivs);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_SUB:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rb, SCALAR_NONE, fps_fsubs);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_ADD:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rb, SCALAR_NONE, fps_fadds);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_SEL:
|
|
|
|
emulated = kvmppc_ps_three_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, ax_rb, SCALAR_NONE, fps_fsel);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_RES:
|
|
|
|
emulated = kvmppc_ps_one_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_rb, fps_fres);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_MUL:
|
|
|
|
emulated = kvmppc_ps_two_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, SCALAR_NONE, fps_fmuls);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_RSQRTE:
|
|
|
|
emulated = kvmppc_ps_one_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_rb, fps_frsqrte);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_MSUB:
|
|
|
|
emulated = kvmppc_ps_three_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, ax_rb, SCALAR_NONE, fps_fmsubs);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_MADD:
|
|
|
|
emulated = kvmppc_ps_three_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, ax_rb, SCALAR_NONE, fps_fmadds);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_NMSUB:
|
|
|
|
emulated = kvmppc_ps_three_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, ax_rb, SCALAR_NONE, fps_fnmsubs);
|
|
|
|
break;
|
|
|
|
case OP_4A_PS_NMADD:
|
|
|
|
emulated = kvmppc_ps_three_in(vcpu, rcomp, ax_rd,
|
|
|
|
ax_ra, ax_rc, ax_rb, SCALAR_NONE, fps_fnmadds);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
/* Real FPU operations */
|
|
|
|
|
|
|
|
case OP_LFS:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_SINGLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_LFSU:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_SINGLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_LFD:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_DOUBLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_LFDU:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_DOUBLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_STFS:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_SINGLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_STFSU:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_SINGLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_STFD:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_DOUBLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_STFDU:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) + full_d;
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd, addr,
|
|
|
|
FPU_LS_DOUBLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case 31:
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_31_LFSX:
|
|
|
|
{
|
|
|
|
ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;
|
|
|
|
|
|
|
|
addr += kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_SINGLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_LFSUX:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_SINGLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_LFDX:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_DOUBLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_LFDUX:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_load(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_DOUBLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_STFSX:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_SINGLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_STFSUX:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_SINGLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_STFX:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_DOUBLE);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_STFUX:
|
|
|
|
{
|
|
|
|
ulong addr = kvmppc_get_gpr(vcpu, ax_ra) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd,
|
|
|
|
addr, FPU_LS_DOUBLE);
|
|
|
|
|
|
|
|
if (emulated == EMULATE_DONE)
|
|
|
|
kvmppc_set_gpr(vcpu, ax_ra, addr);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_31_STFIWX:
|
|
|
|
{
|
|
|
|
ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +
|
|
|
|
kvmppc_get_gpr(vcpu, ax_rb);
|
|
|
|
|
|
|
|
emulated = kvmppc_emulate_fpr_store(run, vcpu, ax_rd,
|
|
|
|
addr,
|
|
|
|
FPU_LS_SINGLE_LOW);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 59:
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_59_FADDS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fadds(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FSUBS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fsubs(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FDIVS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fdivs(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FRES:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fres(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FRSQRTES:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_frsqrtes(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
switch (inst_get_field(inst, 26, 30)) {
|
|
|
|
case OP_59_FMULS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fmuls(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FMSUBS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fmsubs(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FMADDS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fmadds(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FNMSUBS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fnmsubs(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_59_FNMADDS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fnmadds(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
case 63:
|
|
|
|
switch (inst_get_field(inst, 21, 30)) {
|
|
|
|
case OP_63_MTFSB0:
|
|
|
|
case OP_63_MTFSB1:
|
|
|
|
case OP_63_MCRFS:
|
|
|
|
case OP_63_MTFSFI:
|
|
|
|
/* XXX need to implement */
|
|
|
|
break;
|
|
|
|
case OP_63_MFFS:
|
|
|
|
/* XXX missing CR */
|
2013-10-15 17:43:02 +08:00
|
|
|
*fpr_d = vcpu->arch.fp.fpscr;
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_MTFSF:
|
|
|
|
/* XXX missing fm bits */
|
|
|
|
/* XXX missing CR */
|
2013-10-15 17:43:02 +08:00
|
|
|
vcpu->arch.fp.fpscr = *fpr_b;
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FCMPU:
|
|
|
|
{
|
|
|
|
u32 tmp_cr;
|
|
|
|
u32 cr0_mask = 0xf0000000;
|
|
|
|
u32 cr_shift = inst_get_field(inst, 6, 8) * 4;
|
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fcmpu(&vcpu->arch.fp.fpscr, &tmp_cr, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
cr &= ~(cr0_mask >> cr_shift);
|
|
|
|
cr |= (cr & cr0_mask) >> cr_shift;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_63_FCMPO:
|
|
|
|
{
|
|
|
|
u32 tmp_cr;
|
|
|
|
u32 cr0_mask = 0xf0000000;
|
|
|
|
u32 cr_shift = inst_get_field(inst, 6, 8) * 4;
|
|
|
|
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fcmpo(&vcpu->arch.fp.fpscr, &tmp_cr, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
cr &= ~(cr0_mask >> cr_shift);
|
|
|
|
cr |= (cr & cr0_mask) >> cr_shift;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case OP_63_FNEG:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fneg(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FMR:
|
|
|
|
*fpr_d = *fpr_b;
|
|
|
|
break;
|
|
|
|
case OP_63_FABS:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fabs(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FCPSGN:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fcpsgn(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FDIV:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fdiv(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FADD:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fadd(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FSUB:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fsub(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FCTIW:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fctiw(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FCTIWZ:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fctiwz(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FRSP:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_frsp(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
kvmppc_sync_qpr(vcpu, ax_rd);
|
|
|
|
break;
|
|
|
|
case OP_63_FRSQRTE:
|
|
|
|
{
|
|
|
|
double one = 1.0f;
|
|
|
|
|
|
|
|
/* fD = sqrt(fB) */
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fsqrt(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
/* fD = 1.0f / fD */
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fdiv(&vcpu->arch.fp.fpscr, &cr, fpr_d, (u64*)&one, fpr_d);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
switch (inst_get_field(inst, 26, 30)) {
|
|
|
|
case OP_63_FMUL:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fmul(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FSEL:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fsel(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FMSUB:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fmsub(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FMADD:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fmadd(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FNMSUB:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fnmsub(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
case OP_63_FNMADD:
|
2013-10-15 17:43:02 +08:00
|
|
|
fpd_fnmadd(&vcpu->arch.fp.fpscr, &cr, fpr_d, fpr_a, fpr_c, fpr_b);
|
2010-02-19 18:00:44 +08:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef DEBUG
|
2013-10-15 17:43:02 +08:00
|
|
|
for (i = 0; i < ARRAY_SIZE(vcpu->arch.fp.fpr); i++) {
|
2010-02-19 18:00:44 +08:00
|
|
|
u32 f;
|
2013-10-15 17:43:02 +08:00
|
|
|
kvm_cvt_df(&VCPU_FPR(vcpu, i), &f);
|
2010-02-19 18:00:44 +08:00
|
|
|
dprintk(KERN_INFO "FPR[%d] = 0x%x\n", i, f);
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
|
|
|
if (rcomp)
|
|
|
|
kvmppc_set_cr(vcpu, cr);
|
|
|
|
|
|
|
|
preempt_enable();
|
|
|
|
|
|
|
|
return emulated;
|
|
|
|
}
|