* [0/1] simple gen15 cpumodel test
@ 2019-07-23 11:54 Christian Borntraeger
2019-07-23 11:54 ` [1/1] kvm-unit-tests: s390: test for gen15a/b cpu model dependencies Christian Borntraeger
0 siblings, 1 reply; 4+ messages in thread
From: Christian Borntraeger @ 2019-07-23 11:54 UTC (permalink / raw)
To: Thomas Huth, David Hildenbrand; +Cc: Janosch Frank, kvm, Christian Borntraeger
This adds some simple tests that check for the necessary stfle and
function code facilities.
Christian Borntraeger (1):
kvm-unit-tests: s390: test for gen15a/b cpu model dependencies
s390x/Makefile | 1 +
s390x/gen15.c | 191 ++++++++++++++++++++++++++++++++++++++++++++
s390x/unittests.cfg | 4 +
3 files changed, 196 insertions(+)
create mode 100644 s390x/gen15.c
--
2.21.0
^ permalink raw reply [flat|nested] 4+ messages in thread
* [1/1] kvm-unit-tests: s390: test for gen15a/b cpu model dependencies
2019-07-23 11:54 [0/1] simple gen15 cpumodel test Christian Borntraeger
@ 2019-07-23 11:54 ` Christian Borntraeger
2019-07-23 16:13 ` Thomas Huth
2019-07-23 18:42 ` David Hildenbrand
0 siblings, 2 replies; 4+ messages in thread
From: Christian Borntraeger @ 2019-07-23 11:54 UTC (permalink / raw)
To: Thomas Huth, David Hildenbrand; +Cc: Janosch Frank, kvm, Christian Borntraeger
This adds a test for the cpu model gen15a/b. The test check for
dependencies and proper subfunctions.
Signed-off-by: Christian Borntraeger <borntraeger@de.ibm.com>
---
s390x/Makefile | 1 +
s390x/gen15.c | 191 ++++++++++++++++++++++++++++++++++++++++++++
s390x/unittests.cfg | 4 +
3 files changed, 196 insertions(+)
create mode 100644 s390x/gen15.c
diff --git a/s390x/Makefile b/s390x/Makefile
index 1f21ddb9c943..bc7217e0357a 100644
--- a/s390x/Makefile
+++ b/s390x/Makefile
@@ -11,6 +11,7 @@ tests += $(TEST_DIR)/cmm.elf
tests += $(TEST_DIR)/vector.elf
tests += $(TEST_DIR)/gs.elf
tests += $(TEST_DIR)/iep.elf
+tests += $(TEST_DIR)/gen15.elf
tests_binary = $(patsubst %.elf,%.bin,$(tests))
all: directories test_cases test_cases_binary
diff --git a/s390x/gen15.c b/s390x/gen15.c
new file mode 100644
index 000000000000..c0bfe3ddb5fd
--- /dev/null
+++ b/s390x/gen15.c
@@ -0,0 +1,191 @@
+/*
+ * Test the facilities and subfunctions of the new gen15 cpu model
+ * Unless fully implemented this will only work with kvm as we check
+ * for all subfunctions
+ *
+ * Copyright 2019 IBM Corp.
+ *
+ * Authors:
+ * Christian Borntraeger <borntraeger@de.ibm.com>
+ *
+ * This code is free software; you can redistribute it and/or modify it
+ * under the terms of the GNU Library General Public License version 2.
+ */
+
+#include <asm/facility.h>
+
+static void test_minste3(void)
+{
+
+ report_prefix_push("minste");
+
+ /* Dependency */
+ report("facility 45 available", test_facility(45));
+
+ report_prefix_pop();
+}
+
+static void test_vxeh2(void)
+{
+
+ report_prefix_push("vxeh2");
+
+ /* Dependencies */
+ report("facility 129 available", test_facility(129));
+ report("facility 135 available", test_facility(135));
+
+ report_prefix_pop();
+}
+
+static void query_opcode(unsigned int opcode, unsigned long query[4])
+{
+ register unsigned long r0 asm("0") = 0; /* query function */
+ register unsigned long r1 asm("1") = (unsigned long) query;
+
+ asm volatile(
+ /* Parameter regs are ignored */
+ " .insn rrf,%[opc] << 16,2,4,6,0\n"
+ : "=m" (*query)
+ : "d" (r0), "a" (r1), [opc] "i" (opcode)
+ : "cc");
+}
+
+static void query_cpuid(struct cpuid *id)
+{
+ asm volatile ("stidp %0\n" : "+Q"(*id));
+}
+
+/* Big Endian BIT macro that uses the bit value within a 64bit value */
+#define BIT(a) (1UL << (63-(a % 64)))
+#define DEFLTCC_GEN15 (BIT(0) | BIT(1) | BIT(2) | BIT(4))
+#define DEFLTCC_GEN15_F (BIT(0))
+static void test_deflate(void)
+{
+ unsigned long query[4];
+ struct cpuid id = {};
+
+ report_prefix_push("deflate");
+
+ query_opcode(0xb939, query);
+ query_cpuid(&id);
+
+ /* check for the correct bits depending on cpu */
+ switch(id.type) {
+ case 0x8561:
+ case 0x8562:
+ report ("only functions 0,1,2,4", query[0] == DEFLTCC_GEN15 &&
+ query[1] == 0);
+ report ("reserved == 0", query[2] == 0);
+ report ("only format0", query[3] == DEFLTCC_GEN15_F);
+ break;
+ default:
+ report_skip("Unknown CPU type");
+ break;
+ }
+
+ report_prefix_pop();
+}
+
+static void test_vxpdeh(void)
+{
+ report_prefix_push("vxpdeh");
+
+ /* Dependencies */
+ report("facility 129 available", test_facility(129));
+ report("facility 134 available", test_facility(134));
+
+ report_prefix_pop();
+}
+
+
+#define KDSA_GEN15 (BIT(0) | BIT(1) | BIT(2) | BIT(3) | BIT(9) | \
+ BIT(10) | BIT(11) | BIT(17) | BIT(18) | BIT(19) | \
+ BIT(32) | BIT(36) | BIT(40) | BIT(44) | BIT(48) | \
+ BIT(52))
+#define PCC_GEN15_0 (BIT(0) | BIT(1) | BIT(2) | BIT(3) | BIT(9) | \
+ BIT(10) | BIT(11) | BIT(18) | BIT(19) | BIT(20) | \
+ BIT(26) | BIT(27) | BIT(28) | BIT(50) | BIT(52) | \
+ BIT(58) | BIT(60))
+#define PCC_GEN15_1 (BIT(64) | BIT(65) | BIT(66) | BIT(72) | \
+ BIT(73) | BIT(80) | BIT(81))
+
+static void test_msa9(void)
+{
+ unsigned long query_kdsa[4];
+ unsigned long query_pcc[4];
+ struct cpuid id = {};
+
+ report_prefix_push("msa9");
+
+ /* Dependencies */
+ report("facility 76 available", test_facility(76));
+ report("facility 77 available", test_facility(77));
+
+ query_opcode(0xb92c, query_pcc);
+ query_opcode(0xb93a, query_kdsa);
+ query_cpuid(&id);
+ /* check for the correct bits depending on cpu */
+ switch(id.type) {
+ case 0x8561:
+ case 0x8562:
+ report ("kdsa functions 0,1,2,3,9,10,11,17,18,19,32,36,40,44,48",
+ query_kdsa[0] == KDSA_GEN15 && query_kdsa[1] == 0);
+ report ("pcc functions 0,1,2,3,9,10,11,18,19,20,26,27,28,50,52,58,60",
+ query_pcc[0] == PCC_GEN15_0);
+ report ("pcc functions 64,65,66,72,73,80,81",
+ query_pcc[1] == PCC_GEN15_1);
+ break;
+ default:
+ report_skip("Unknown CPU type");
+ break;
+ }
+
+ report_prefix_pop();
+}
+
+static void test_etoken(void)
+{
+ report_prefix_push("etoken");
+ /* Dependencies */
+ report("facility 49 or 81 available",
+ test_facility(49) || test_facility(81));
+}
+
+int main(void)
+{
+ report_prefix_push("gen15 cpu model");
+
+ if (test_facility(61)) {
+ test_minste3();
+ } else {
+ report_skip("Miscellaneous-Instruction-Extensions Facility 3 is not available");
+ }
+ if (test_facility(148)) {
+ test_vxeh2();
+ } else {
+ report_skip("Vector Enhancements facility 2 not available");
+ }
+ if (test_facility(151)) {
+ test_deflate();
+ } else {
+ report_skip("Deflate-Conversion-Facility not available");
+ }
+ if (test_facility(152)) {
+ test_vxpdeh();
+ } else {
+ report_skip("Vector-Packed-Decimal-Enhancement Facility");
+ }
+ if (test_facility(155)) {
+ test_msa9();
+ } else {
+ report_skip("Message-Security-Assist-Extenstion-9-Facility 1 not available");
+ }
+ if (test_facility(156)) {
+ test_etoken();
+ } else {
+ report_skip("Etoken-Facility not available");
+ }
+
+ report_prefix_pop();
+ return report_summary();
+}
diff --git a/s390x/unittests.cfg b/s390x/unittests.cfg
index 546b1f281f8f..d12797036930 100644
--- a/s390x/unittests.cfg
+++ b/s390x/unittests.cfg
@@ -61,3 +61,7 @@ file = gs.elf
[iep]
file = iep.elf
+
+[gen15]
+file = gen15.elf
+accel = kvm
--
2.21.0
^ permalink raw reply related [flat|nested] 4+ messages in thread
* Re: [1/1] kvm-unit-tests: s390: test for gen15a/b cpu model dependencies
2019-07-23 11:54 ` [1/1] kvm-unit-tests: s390: test for gen15a/b cpu model dependencies Christian Borntraeger
@ 2019-07-23 16:13 ` Thomas Huth
2019-07-23 18:42 ` David Hildenbrand
1 sibling, 0 replies; 4+ messages in thread
From: Thomas Huth @ 2019-07-23 16:13 UTC (permalink / raw)
To: Christian Borntraeger, David Hildenbrand; +Cc: Janosch Frank, kvm
On 23/07/2019 13.54, Christian Borntraeger wrote:
> This adds a test for the cpu model gen15a/b. The test check for
> dependencies and proper subfunctions.
I can't say much about the contents here since I don't have the PoP for
gen15 yet, so just some cosmetical comments below...
> +++ b/s390x/gen15.c
> @@ -0,0 +1,191 @@
> +/*
> + * Test the facilities and subfunctions of the new gen15 cpu model
> + * Unless fully implemented this will only work with kvm as we check
> + * for all subfunctions
> + *
> + * Copyright 2019 IBM Corp.
> + *
> + * Authors:
> + * Christian Borntraeger <borntraeger@de.ibm.com>
> + *
> + * This code is free software; you can redistribute it and/or modify it
> + * under the terms of the GNU Library General Public License version 2.
> + */
> +
> +#include <asm/facility.h>
> +
> +static void test_minste3(void)
> +{
> +
Please remove the empty line.
> + report_prefix_push("minste");
> +
> + /* Dependency */
> + report("facility 45 available", test_facility(45));
> +
> + report_prefix_pop();
> +}
> +
> +static void test_vxeh2(void)
> +{
> +
dito
> + report_prefix_push("vxeh2");
> +
> + /* Dependencies */
> + report("facility 129 available", test_facility(129));
> + report("facility 135 available", test_facility(135));
> +
> + report_prefix_pop();
> +}
> +
> +static void query_opcode(unsigned int opcode, unsigned long query[4])
> +{
> + register unsigned long r0 asm("0") = 0; /* query function */
> + register unsigned long r1 asm("1") = (unsigned long) query;
> +
> + asm volatile(
> + /* Parameter regs are ignored */
> + " .insn rrf,%[opc] << 16,2,4,6,0\n"
> + : "=m" (*query)
> + : "d" (r0), "a" (r1), [opc] "i" (opcode)
> + : "cc");
> +}
Could you add a comment in front of the query_opcode() function,
describing what it is doing?
> +
> +static void query_cpuid(struct cpuid *id)
> +{
> + asm volatile ("stidp %0\n" : "+Q"(*id));
> +}
> +
> +/* Big Endian BIT macro that uses the bit value within a 64bit value */
> +#define BIT(a) (1UL << (63-(a % 64)))
> +#define DEFLTCC_GEN15 (BIT(0) | BIT(1) | BIT(2) | BIT(4))
> +#define DEFLTCC_GEN15_F (BIT(0))
> +static void test_deflate(void)
> +{
> + unsigned long query[4];
> + struct cpuid id = {};
> +
> + report_prefix_push("deflate");
> +
> + query_opcode(0xb939, query);
Any chance that you could add already a comment with the mnemonic here?
Thomas
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [1/1] kvm-unit-tests: s390: test for gen15a/b cpu model dependencies
2019-07-23 11:54 ` [1/1] kvm-unit-tests: s390: test for gen15a/b cpu model dependencies Christian Borntraeger
2019-07-23 16:13 ` Thomas Huth
@ 2019-07-23 18:42 ` David Hildenbrand
1 sibling, 0 replies; 4+ messages in thread
From: David Hildenbrand @ 2019-07-23 18:42 UTC (permalink / raw)
To: Christian Borntraeger, Thomas Huth; +Cc: Janosch Frank, kvm
On 23.07.19 13:54, Christian Borntraeger wrote:
> This adds a test for the cpu model gen15a/b. The test check for
> dependencies and proper subfunctions.
>
> Signed-off-by: Christian Borntraeger <borntraeger@de.ibm.com>
> ---
> s390x/Makefile | 1 +
> s390x/gen15.c | 191 ++++++++++++++++++++++++++++++++++++++++++++
> s390x/unittests.cfg | 4 +
> 3 files changed, 196 insertions(+)
> create mode 100644 s390x/gen15.c
>
> diff --git a/s390x/Makefile b/s390x/Makefile
> index 1f21ddb9c943..bc7217e0357a 100644
> --- a/s390x/Makefile
> +++ b/s390x/Makefile
> @@ -11,6 +11,7 @@ tests += $(TEST_DIR)/cmm.elf
> tests += $(TEST_DIR)/vector.elf
> tests += $(TEST_DIR)/gs.elf
> tests += $(TEST_DIR)/iep.elf
> +tests += $(TEST_DIR)/gen15.elf
> tests_binary = $(patsubst %.elf,%.bin,$(tests))
>
> all: directories test_cases test_cases_binary
> diff --git a/s390x/gen15.c b/s390x/gen15.c
> new file mode 100644
> index 000000000000..c0bfe3ddb5fd
> --- /dev/null
> +++ b/s390x/gen15.c
> @@ -0,0 +1,191 @@
> +/*
> + * Test the facilities and subfunctions of the new gen15 cpu model
> + * Unless fully implemented this will only work with kvm as we check
> + * for all subfunctions
> + *
> + * Copyright 2019 IBM Corp.
> + *
> + * Authors:
> + * Christian Borntraeger <borntraeger@de.ibm.com>
> + *
> + * This code is free software; you can redistribute it and/or modify it
> + * under the terms of the GNU Library General Public License version 2.
> + */
> +
> +#include <asm/facility.h>
> +
> +static void test_minste3(void)
> +{
> +
> + report_prefix_push("minste");
> +
> + /* Dependency */
> + report("facility 45 available", test_facility(45));
> +
> + report_prefix_pop();
> +}
> +
> +static void test_vxeh2(void)
> +{
> +
> + report_prefix_push("vxeh2");
> +
> + /* Dependencies */
> + report("facility 129 available", test_facility(129));
> + report("facility 135 available", test_facility(135));
> +
> + report_prefix_pop();
> +}
> +
> +static void query_opcode(unsigned int opcode, unsigned long query[4])
> +{
> + register unsigned long r0 asm("0") = 0; /* query function */
> + register unsigned long r1 asm("1") = (unsigned long) query;
> +
> + asm volatile(
> + /* Parameter regs are ignored */
> + " .insn rrf,%[opc] << 16,2,4,6,0\n"
> + : "=m" (*query)
> + : "d" (r0), "a" (r1), [opc] "i" (opcode)
> + : "cc");
> +}
> +
> +static void query_cpuid(struct cpuid *id)
> +{
> + asm volatile ("stidp %0\n" : "+Q"(*id));
> +}
> +
> +/* Big Endian BIT macro that uses the bit value within a 64bit value */
> +#define BIT(a) (1UL << (63-(a % 64)))
> +#define DEFLTCC_GEN15 (BIT(0) | BIT(1) | BIT(2) | BIT(4))
> +#define DEFLTCC_GEN15_F (BIT(0))
> +static void test_deflate(void)
> +{
> + unsigned long query[4];
> + struct cpuid id = {};
> +
> + report_prefix_push("deflate");
> +
> + query_opcode(0xb939, query);
> + query_cpuid(&id);
> +
> + /* check for the correct bits depending on cpu */
> + switch(id.type) {
> + case 0x8561:
> + case 0x8562:
> + report ("only functions 0,1,2,4", query[0] == DEFLTCC_GEN15 &&
> + query[1] == 0);
> + report ("reserved == 0", query[2] == 0);
> + report ("only format0", query[3] == DEFLTCC_GEN15_F);
> + break;
> + default:
> + report_skip("Unknown CPU type");
> + break;
> + }
> +
> + report_prefix_pop();
> +}
> +
> +static void test_vxpdeh(void)
> +{
> + report_prefix_push("vxpdeh");
> +
> + /* Dependencies */
> + report("facility 129 available", test_facility(129));
> + report("facility 134 available", test_facility(134));
> +
> + report_prefix_pop();
> +}
> +
> +
> +#define KDSA_GEN15 (BIT(0) | BIT(1) | BIT(2) | BIT(3) | BIT(9) | \
> + BIT(10) | BIT(11) | BIT(17) | BIT(18) | BIT(19) | \
> + BIT(32) | BIT(36) | BIT(40) | BIT(44) | BIT(48) | \
> + BIT(52))
> +#define PCC_GEN15_0 (BIT(0) | BIT(1) | BIT(2) | BIT(3) | BIT(9) | \
> + BIT(10) | BIT(11) | BIT(18) | BIT(19) | BIT(20) | \
> + BIT(26) | BIT(27) | BIT(28) | BIT(50) | BIT(52) | \
> + BIT(58) | BIT(60))
> +#define PCC_GEN15_1 (BIT(64) | BIT(65) | BIT(66) | BIT(72) | \
> + BIT(73) | BIT(80) | BIT(81))
> +
> +static void test_msa9(void)
> +{
> + unsigned long query_kdsa[4];
> + unsigned long query_pcc[4];
> + struct cpuid id = {};
> +
> + report_prefix_push("msa9");
> +
> + /* Dependencies */
> + report("facility 76 available", test_facility(76));
> + report("facility 77 available", test_facility(77));
> +
> + query_opcode(0xb92c, query_pcc);
> + query_opcode(0xb93a, query_kdsa);
> + query_cpuid(&id);
> + /* check for the correct bits depending on cpu */
> + switch(id.type) {
> + case 0x8561:
> + case 0x8562:
> + report ("kdsa functions 0,1,2,3,9,10,11,17,18,19,32,36,40,44,48",
> + query_kdsa[0] == KDSA_GEN15 && query_kdsa[1] == 0);
> + report ("pcc functions 0,1,2,3,9,10,11,18,19,20,26,27,28,50,52,58,60",
> + query_pcc[0] == PCC_GEN15_0);
> + report ("pcc functions 64,65,66,72,73,80,81",
> + query_pcc[1] == PCC_GEN15_1);
> + break;
> + default:
> + report_skip("Unknown CPU type");
> + break;
> + }
> +
> + report_prefix_pop();
> +}
> +
> +static void test_etoken(void)
> +{
> + report_prefix_push("etoken");
> + /* Dependencies */
> + report("facility 49 or 81 available",
> + test_facility(49) || test_facility(81));
> +}
> +
> +int main(void)
> +{
> + report_prefix_push("gen15 cpu model");
> +
> + if (test_facility(61)) {
> + test_minste3();
> + } else {
> + report_skip("Miscellaneous-Instruction-Extensions Facility 3 is not available");
> + }
> + if (test_facility(148)) {
> + test_vxeh2();
> + } else {
> + report_skip("Vector Enhancements facility 2 not available");
> + }
> + if (test_facility(151)) {
> + test_deflate();
> + } else {
> + report_skip("Deflate-Conversion-Facility not available");
> + }
> + if (test_facility(152)) {
> + test_vxpdeh();
> + } else {
> + report_skip("Vector-Packed-Decimal-Enhancement Facility");
> + }
> + if (test_facility(155)) {
> + test_msa9();
> + } else {
> + report_skip("Message-Security-Assist-Extenstion-9-Facility 1 not available");
> + }
> + if (test_facility(156)) {
> + test_etoken();
> + } else {
> + report_skip("Etoken-Facility not available");
> + }
> +
> + report_prefix_pop();
> + return report_summary();
> +}
> diff --git a/s390x/unittests.cfg b/s390x/unittests.cfg
> index 546b1f281f8f..d12797036930 100644
> --- a/s390x/unittests.cfg
> +++ b/s390x/unittests.cfg
> @@ -61,3 +61,7 @@ file = gs.elf
>
> [iep]
> file = iep.elf
> +
> +[gen15]
> +file = gen15.elf
> +accel = kvm
>
Two things:
1. Checking CPU model *consistency* (dependencies) makes sense. We
should move that to a test like "cpu_model.elf". We can add consistency
checks for other facilities.
2. IMHO, assuming that a certain CPU id *has to have* a certain set of
subfunctions is wrong - that's why we can query subfunctions after all.
I can understand the intuition behind that, but in this form I don't
think this is upstream material.
--
Thanks,
David / dhildenb
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2019-07-23 18:42 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-23 11:54 [0/1] simple gen15 cpumodel test Christian Borntraeger
2019-07-23 11:54 ` [1/1] kvm-unit-tests: s390: test for gen15a/b cpu model dependencies Christian Borntraeger
2019-07-23 16:13 ` Thomas Huth
2019-07-23 18:42 ` David Hildenbrand
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).