Path: blob/master/tools/testing/selftests/kvm/x86/fastops_test.c
38237 views
// SPDX-License-Identifier: GPL-2.0-only1#include "test_util.h"2#include "kvm_util.h"3#include "processor.h"45/*6* Execute a fastop() instruction, with or without forced emulation. BT bit 07* to set RFLAGS.CF based on whether or not the input is even or odd, so that8* instructions like ADC and SBB are deterministic.9*/10#define fastop(__insn) \11"bt $0, %[bt_val]\n\t" \12__insn "\n\t" \13"pushfq\n\t" \14"pop %[flags]\n\t"1516#define flags_constraint(flags_val) [flags]"=r"(flags_val)17#define bt_constraint(__bt_val) [bt_val]"rm"((uint32_t)__bt_val)1819#define guest_execute_fastop_1(FEP, insn, __val, __flags) \20({ \21__asm__ __volatile__(fastop(FEP insn " %[val]") \22: [val]"+r"(__val), flags_constraint(__flags) \23: bt_constraint(__val) \24: "cc", "memory"); \25})2627#define guest_test_fastop_1(insn, type_t, __val) \28({ \29type_t val = __val, ex_val = __val, input = __val; \30uint64_t flags, ex_flags; \31\32guest_execute_fastop_1("", insn, ex_val, ex_flags); \33guest_execute_fastop_1(KVM_FEP, insn, val, flags); \34\35__GUEST_ASSERT(val == ex_val, \36"Wanted 0x%lx for '%s 0x%lx', got 0x%lx", \37(uint64_t)ex_val, insn, (uint64_t)input, (uint64_t)val); \38__GUEST_ASSERT(flags == ex_flags, \39"Wanted flags 0x%lx for '%s 0x%lx', got 0x%lx", \40ex_flags, insn, (uint64_t)input, flags); \41})4243#define guest_execute_fastop_2(FEP, insn, __input, __output, __flags) \44({ \45__asm__ __volatile__(fastop(FEP insn " %[input], %[output]") \46: [output]"+r"(__output), flags_constraint(__flags) \47: [input]"r"(__input), bt_constraint(__output) \48: "cc", "memory"); \49})5051#define guest_test_fastop_2(insn, type_t, __val1, __val2) \52({ \53type_t input = __val1, input2 = __val2, output = __val2, ex_output = __val2; \54uint64_t flags, ex_flags; \55\56guest_execute_fastop_2("", insn, input, ex_output, ex_flags); \57guest_execute_fastop_2(KVM_FEP, insn, input, output, flags); \58\59__GUEST_ASSERT(output == ex_output, \60"Wanted 0x%lx for '%s 0x%lx 0x%lx', got 0x%lx", \61(uint64_t)ex_output, insn, (uint64_t)input, \62(uint64_t)input2, (uint64_t)output); \63__GUEST_ASSERT(flags == ex_flags, \64"Wanted flags 0x%lx for '%s 0x%lx, 0x%lx', got 0x%lx", \65ex_flags, insn, (uint64_t)input, (uint64_t)input2, flags); \66})6768#define guest_execute_fastop_cl(FEP, insn, __shift, __output, __flags) \69({ \70__asm__ __volatile__(fastop(FEP insn " %%cl, %[output]") \71: [output]"+r"(__output), flags_constraint(__flags) \72: "c"(__shift), bt_constraint(__output) \73: "cc", "memory"); \74})7576#define guest_test_fastop_cl(insn, type_t, __val1, __val2) \77({ \78type_t output = __val2, ex_output = __val2, input = __val2; \79uint8_t shift = __val1; \80uint64_t flags, ex_flags; \81\82guest_execute_fastop_cl("", insn, shift, ex_output, ex_flags); \83guest_execute_fastop_cl(KVM_FEP, insn, shift, output, flags); \84\85__GUEST_ASSERT(output == ex_output, \86"Wanted 0x%lx for '%s 0x%x, 0x%lx', got 0x%lx", \87(uint64_t)ex_output, insn, shift, (uint64_t)input, \88(uint64_t)output); \89__GUEST_ASSERT(flags == ex_flags, \90"Wanted flags 0x%lx for '%s 0x%x, 0x%lx', got 0x%lx", \91ex_flags, insn, shift, (uint64_t)input, flags); \92})9394#define guest_execute_fastop_div(__KVM_ASM_SAFE, insn, __a, __d, __rm, __flags) \95({ \96uint64_t ign_error_code; \97uint8_t vector; \98\99__asm__ __volatile__(fastop(__KVM_ASM_SAFE(insn " %[denom]")) \100: "+a"(__a), "+d"(__d), flags_constraint(__flags), \101KVM_ASM_SAFE_OUTPUTS(vector, ign_error_code) \102: [denom]"rm"(__rm), bt_constraint(__rm) \103: "cc", "memory", KVM_ASM_SAFE_CLOBBERS); \104vector; \105})106107#define guest_test_fastop_div(insn, type_t, __val1, __val2) \108({ \109type_t _a = __val1, _d = __val1, rm = __val2; \110type_t a = _a, d = _d, ex_a = _a, ex_d = _d; \111uint64_t flags, ex_flags; \112uint8_t v, ex_v; \113\114ex_v = guest_execute_fastop_div(KVM_ASM_SAFE, insn, ex_a, ex_d, rm, ex_flags); \115v = guest_execute_fastop_div(KVM_ASM_SAFE_FEP, insn, a, d, rm, flags); \116\117GUEST_ASSERT_EQ(v, ex_v); \118__GUEST_ASSERT(v == ex_v, \119"Wanted vector 0x%x for '%s 0x%lx:0x%lx/0x%lx', got 0x%x", \120ex_v, insn, (uint64_t)_a, (uint64_t)_d, (uint64_t)rm, v); \121__GUEST_ASSERT(a == ex_a && d == ex_d, \122"Wanted 0x%lx:0x%lx for '%s 0x%lx:0x%lx/0x%lx', got 0x%lx:0x%lx",\123(uint64_t)ex_a, (uint64_t)ex_d, insn, (uint64_t)_a, \124(uint64_t)_d, (uint64_t)rm, (uint64_t)a, (uint64_t)d); \125__GUEST_ASSERT(v || ex_v || (flags == ex_flags), \126"Wanted flags 0x%lx for '%s 0x%lx:0x%lx/0x%lx', got 0x%lx", \127ex_flags, insn, (uint64_t)_a, (uint64_t)_d, (uint64_t)rm, flags);\128})129130static const uint64_t vals[] = {1310,1321,1332,1344,1357,1360x5555555555555555,1370xaaaaaaaaaaaaaaaa,1380xfefefefefefefefe,1390xffffffffffffffff,140};141142#define guest_test_fastops(type_t, suffix) \143do { \144int i, j; \145\146for (i = 0; i < ARRAY_SIZE(vals); i++) { \147guest_test_fastop_1("dec" suffix, type_t, vals[i]); \148guest_test_fastop_1("inc" suffix, type_t, vals[i]); \149guest_test_fastop_1("neg" suffix, type_t, vals[i]); \150guest_test_fastop_1("not" suffix, type_t, vals[i]); \151\152for (j = 0; j < ARRAY_SIZE(vals); j++) { \153guest_test_fastop_2("add" suffix, type_t, vals[i], vals[j]); \154guest_test_fastop_2("adc" suffix, type_t, vals[i], vals[j]); \155guest_test_fastop_2("and" suffix, type_t, vals[i], vals[j]); \156if (sizeof(type_t) != 1) { \157guest_test_fastop_2("bsf" suffix, type_t, vals[i], vals[j]); \158guest_test_fastop_2("bsr" suffix, type_t, vals[i], vals[j]); \159guest_test_fastop_2("bt" suffix, type_t, vals[i], vals[j]); \160guest_test_fastop_2("btc" suffix, type_t, vals[i], vals[j]); \161guest_test_fastop_2("btr" suffix, type_t, vals[i], vals[j]); \162guest_test_fastop_2("bts" suffix, type_t, vals[i], vals[j]); \163guest_test_fastop_2("imul" suffix, type_t, vals[i], vals[j]); \164} \165guest_test_fastop_2("cmp" suffix, type_t, vals[i], vals[j]); \166guest_test_fastop_2("or" suffix, type_t, vals[i], vals[j]); \167guest_test_fastop_2("sbb" suffix, type_t, vals[i], vals[j]); \168guest_test_fastop_2("sub" suffix, type_t, vals[i], vals[j]); \169guest_test_fastop_2("test" suffix, type_t, vals[i], vals[j]); \170guest_test_fastop_2("xor" suffix, type_t, vals[i], vals[j]); \171\172guest_test_fastop_cl("rol" suffix, type_t, vals[i], vals[j]); \173guest_test_fastop_cl("ror" suffix, type_t, vals[i], vals[j]); \174guest_test_fastop_cl("rcl" suffix, type_t, vals[i], vals[j]); \175guest_test_fastop_cl("rcr" suffix, type_t, vals[i], vals[j]); \176guest_test_fastop_cl("sar" suffix, type_t, vals[i], vals[j]); \177guest_test_fastop_cl("shl" suffix, type_t, vals[i], vals[j]); \178guest_test_fastop_cl("shr" suffix, type_t, vals[i], vals[j]); \179\180guest_test_fastop_div("div" suffix, type_t, vals[i], vals[j]); \181} \182} \183} while (0)184185static void guest_code(void)186{187guest_test_fastops(uint8_t, "b");188guest_test_fastops(uint16_t, "w");189guest_test_fastops(uint32_t, "l");190guest_test_fastops(uint64_t, "q");191192GUEST_DONE();193}194195int main(int argc, char *argv[])196{197struct kvm_vcpu *vcpu;198struct kvm_vm *vm;199200TEST_REQUIRE(is_forced_emulation_enabled);201202vm = vm_create_with_one_vcpu(&vcpu, guest_code);203204vcpu_run(vcpu);205TEST_ASSERT_EQ(get_ucall(vcpu, NULL), UCALL_DONE);206207kvm_vm_free(vm);208}209210211