1 | Handful of bugfixes for rc2. None of these are particularly critical | 1 | Just a collection of bug fixes this time around... |
---|---|---|---|
2 | or exciting. | ||
3 | 2 | ||
3 | thanks | ||
4 | -- PMM | 4 | -- PMM |
5 | 5 | ||
6 | The following changes since commit 45a150aa2b3492acf6691c7bdbeb25a8545d8345: | 6 | The following changes since commit 2a6ae69154542caa91dd17c40fd3f5ffbec300de: |
7 | 7 | ||
8 | Merge remote-tracking branch 'remotes/ericb/tags/pull-bitmaps-2020-08-03' into staging (2020-08-03 15:13:49 +0100) | 8 | Merge tag 'pull-maintainer-ominbus-030723-1' of https://gitlab.com/stsquad/qemu into staging (2023-07-04 08:36:44 +0200) |
9 | 9 | ||
10 | are available in the Git repository at: | 10 | are available in the Git repository at: |
11 | 11 | ||
12 | https://git.linaro.org/people/pmaydell/qemu-arm.git tags/pull-target-arm-20200803 | 12 | https://git.linaro.org/people/pmaydell/qemu-arm.git tags/pull-target-arm-20230704 |
13 | 13 | ||
14 | for you to fetch changes up to 13557fd392890cbd985bceba7f717e01efd674b8: | 14 | for you to fetch changes up to 86a78272f094857b4eda79d721c116e93942aa9a: |
15 | 15 | ||
16 | hw/timer/imx_epit: Avoid assertion when CR.SWR is written (2020-08-03 17:56:11 +0100) | 16 | target/xtensa: Assert that interrupt level is within bounds (2023-07-04 14:27:08 +0100) |
17 | 17 | ||
18 | ---------------------------------------------------------------- | 18 | ---------------------------------------------------------------- |
19 | target-arm queue: | 19 | target-arm queue: |
20 | * hw/timer/imx_epit: Avoid assertion when CR.SWR is written | 20 | * Add raw_writes ops for register whose write induce TLB maintenance |
21 | * netduino2, netduinoplus2, microbit: set system_clock_scale so that | 21 | * hw/arm/sbsa-ref: use XHCI to replace EHCI |
22 | SysTick running on the CPU clock works | 22 | * Avoid splitting Zregs across lines in dump |
23 | * target/arm: Avoid maybe-uninitialized warning with gcc 4.9 | 23 | * Dump ZA[] when active |
24 | * target/arm: Fix AddPAC error indication | 24 | * Fix SME full tile indexing |
25 | * Make AIRCR.SYSRESETREQ actually reset the system for the | 25 | * Handle IC IVAU to improve compatibility with JITs |
26 | microbit, mps2-*, musca-*, netduino* boards | 26 | * xlnx-canfd-test: Fix code coverity issues |
27 | * gdbstub: Guard M-profile code with CONFIG_TCG | ||
28 | * allwinner-sramc: Set class_size | ||
29 | * target/xtensa: Assert that interrupt level is within bounds | ||
27 | 30 | ||
28 | ---------------------------------------------------------------- | 31 | ---------------------------------------------------------------- |
29 | Kaige Li (1): | 32 | Akihiko Odaki (1): |
30 | target/arm: Avoid maybe-uninitialized warning with gcc 4.9 | 33 | hw: arm: allwinner-sramc: Set class_size |
31 | 34 | ||
32 | Peter Maydell (6): | 35 | Eric Auger (1): |
33 | hw/arm/netduino2, netduinoplus2: Set system_clock_scale | 36 | target/arm: Add raw_writes ops for register whose write induce TLB maintenance |
34 | include/hw/irq.h: New function qemu_irq_is_connected() | ||
35 | hw/intc/armv7m_nvic: Provide default "reset the system" behaviour for SYSRESETREQ | ||
36 | msf2-soc, stellaris: Don't wire up SYSRESETREQ | ||
37 | hw/arm/nrf51_soc: Set system_clock_scale | ||
38 | hw/timer/imx_epit: Avoid assertion when CR.SWR is written | ||
39 | 37 | ||
40 | Richard Henderson (1): | 38 | Fabiano Rosas (1): |
41 | target/arm: Fix AddPAC error indication | 39 | target/arm: gdbstub: Guard M-profile code with CONFIG_TCG |
42 | 40 | ||
43 | include/hw/arm/armv7m.h | 4 +++- | 41 | John Högberg (2): |
44 | include/hw/irq.h | 18 ++++++++++++++++++ | 42 | target/arm: Handle IC IVAU to improve compatibility with JITs |
45 | hw/arm/msf2-soc.c | 11 ----------- | 43 | tests/tcg/aarch64: Add testcases for IC IVAU and dual-mapped code |
46 | hw/arm/netduino2.c | 10 ++++++++++ | ||
47 | hw/arm/netduinoplus2.c | 10 ++++++++++ | ||
48 | hw/arm/nrf51_soc.c | 5 +++++ | ||
49 | hw/arm/stellaris.c | 12 ------------ | ||
50 | hw/intc/armv7m_nvic.c | 17 ++++++++++++++++- | ||
51 | hw/timer/imx_epit.c | 13 ++++++++++--- | ||
52 | target/arm/pauth_helper.c | 6 +++++- | ||
53 | target/arm/translate-a64.c | 2 +- | ||
54 | tests/tcg/aarch64/pauth-5.c | 33 +++++++++++++++++++++++++++++++++ | ||
55 | tests/tcg/aarch64/Makefile.target | 2 +- | ||
56 | 13 files changed, 112 insertions(+), 31 deletions(-) | ||
57 | create mode 100644 tests/tcg/aarch64/pauth-5.c | ||
58 | 44 | ||
45 | Peter Maydell (1): | ||
46 | target/xtensa: Assert that interrupt level is within bounds | ||
47 | |||
48 | Richard Henderson (3): | ||
49 | target/arm: Avoid splitting Zregs across lines in dump | ||
50 | target/arm: Dump ZA[] when active | ||
51 | target/arm: Fix SME full tile indexing | ||
52 | |||
53 | Vikram Garhwal (1): | ||
54 | tests/qtest: xlnx-canfd-test: Fix code coverity issues | ||
55 | |||
56 | Yuquan Wang (1): | ||
57 | hw/arm/sbsa-ref: use XHCI to replace EHCI | ||
58 | |||
59 | docs/system/arm/sbsa.rst | 5 +- | ||
60 | hw/arm/sbsa-ref.c | 23 +++-- | ||
61 | hw/misc/allwinner-sramc.c | 1 + | ||
62 | target/arm/cpu.c | 65 ++++++++----- | ||
63 | target/arm/gdbstub.c | 4 + | ||
64 | target/arm/helper.c | 70 +++++++++++--- | ||
65 | target/arm/tcg/translate-sme.c | 24 +++-- | ||
66 | target/xtensa/exc_helper.c | 3 + | ||
67 | tests/qtest/xlnx-canfd-test.c | 33 +++---- | ||
68 | tests/tcg/aarch64/icivau.c | 189 ++++++++++++++++++++++++++++++++++++++ | ||
69 | tests/tcg/aarch64/sme-outprod1.c | 83 +++++++++++++++++ | ||
70 | hw/arm/Kconfig | 2 +- | ||
71 | tests/tcg/aarch64/Makefile.target | 13 ++- | ||
72 | 13 files changed, 436 insertions(+), 79 deletions(-) | ||
73 | create mode 100644 tests/tcg/aarch64/icivau.c | ||
74 | create mode 100644 tests/tcg/aarch64/sme-outprod1.c | ||
75 | diff view generated by jsdifflib |
1 | From: Kaige Li <likaige@loongson.cn> | 1 | From: Eric Auger <eric.auger@redhat.com> |
---|---|---|---|
2 | 2 | ||
3 | GCC version 4.9.4 isn't clever enough to figure out that all | 3 | Some registers whose 'cooked' writefns induce TLB maintenance do |
4 | execution paths in disas_ldst() that use 'fn' will have initialized | 4 | not have raw_writefn ops defined. If only the writefn ops is set |
5 | it first, and so it warns: | 5 | (ie. no raw_writefn is provided), it is assumed the cooked also |
6 | work as the raw one. For those registers it is not obvious the | ||
7 | tlb_flush works on KVM mode so better/safer setting the raw write. | ||
6 | 8 | ||
7 | /home/LiKaige/qemu/target/arm/translate-a64.c: In function ‘disas_ldst’: | 9 | Signed-off-by: Eric Auger <eric.auger@redhat.com> |
8 | /home/LiKaige/qemu/target/arm/translate-a64.c:3392:5: error: ‘fn’ may be used uninitialized in this function [-Werror=maybe-uninitialized] | 10 | Suggested-by: Peter Maydell <peter.maydell@linaro.org> |
9 | fn(cpu_reg(s, rt), clean_addr, tcg_rs, get_mem_index(s), | ||
10 | ^ | ||
11 | /home/LiKaige/qemu/target/arm/translate-a64.c:3318:22: note: ‘fn’ was declared here | ||
12 | AtomicThreeOpFn *fn; | ||
13 | ^ | ||
14 | |||
15 | Make it happy by initializing the variable to NULL. | ||
16 | |||
17 | Signed-off-by: Kaige Li <likaige@loongson.cn> | ||
18 | Message-id: 1596110248-7366-2-git-send-email-likaige@loongson.cn | ||
19 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | 11 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> |
20 | [PMM: Clean up commit message and note which gcc version this was] | ||
21 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 12 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
22 | --- | 13 | --- |
23 | target/arm/translate-a64.c | 2 +- | 14 | target/arm/helper.c | 23 +++++++++++++---------- |
24 | 1 file changed, 1 insertion(+), 1 deletion(-) | 15 | 1 file changed, 13 insertions(+), 10 deletions(-) |
25 | 16 | ||
26 | diff --git a/target/arm/translate-a64.c b/target/arm/translate-a64.c | 17 | diff --git a/target/arm/helper.c b/target/arm/helper.c |
27 | index XXXXXXX..XXXXXXX 100644 | 18 | index XXXXXXX..XXXXXXX 100644 |
28 | --- a/target/arm/translate-a64.c | 19 | --- a/target/arm/helper.c |
29 | +++ b/target/arm/translate-a64.c | 20 | +++ b/target/arm/helper.c |
30 | @@ -XXX,XX +XXX,XX @@ static void disas_ldst_atomic(DisasContext *s, uint32_t insn, | 21 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo vmsa_cp_reginfo[] = { |
31 | bool r = extract32(insn, 22, 1); | 22 | .opc0 = 3, .opc1 = 0, .crn = 2, .crm = 0, .opc2 = 0, |
32 | bool a = extract32(insn, 23, 1); | 23 | .access = PL1_RW, .accessfn = access_tvm_trvm, |
33 | TCGv_i64 tcg_rs, clean_addr; | 24 | .fgt = FGT_TTBR0_EL1, |
34 | - AtomicThreeOpFn *fn; | 25 | - .writefn = vmsa_ttbr_write, .resetvalue = 0, |
35 | + AtomicThreeOpFn *fn = NULL; | 26 | + .writefn = vmsa_ttbr_write, .resetvalue = 0, .raw_writefn = raw_write, |
36 | 27 | .bank_fieldoffsets = { offsetof(CPUARMState, cp15.ttbr0_s), | |
37 | if (is_vector || !dc_isar_feature(aa64_atomics, s)) { | 28 | offsetof(CPUARMState, cp15.ttbr0_ns) } }, |
38 | unallocated_encoding(s); | 29 | { .name = "TTBR1_EL1", .state = ARM_CP_STATE_BOTH, |
30 | .opc0 = 3, .opc1 = 0, .crn = 2, .crm = 0, .opc2 = 1, | ||
31 | .access = PL1_RW, .accessfn = access_tvm_trvm, | ||
32 | .fgt = FGT_TTBR1_EL1, | ||
33 | - .writefn = vmsa_ttbr_write, .resetvalue = 0, | ||
34 | + .writefn = vmsa_ttbr_write, .resetvalue = 0, .raw_writefn = raw_write, | ||
35 | .bank_fieldoffsets = { offsetof(CPUARMState, cp15.ttbr1_s), | ||
36 | offsetof(CPUARMState, cp15.ttbr1_ns) } }, | ||
37 | { .name = "TCR_EL1", .state = ARM_CP_STATE_AA64, | ||
38 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo lpae_cp_reginfo[] = { | ||
39 | .type = ARM_CP_64BIT | ARM_CP_ALIAS, | ||
40 | .bank_fieldoffsets = { offsetof(CPUARMState, cp15.ttbr0_s), | ||
41 | offsetof(CPUARMState, cp15.ttbr0_ns) }, | ||
42 | - .writefn = vmsa_ttbr_write, }, | ||
43 | + .writefn = vmsa_ttbr_write, .raw_writefn = raw_write }, | ||
44 | { .name = "TTBR1", .cp = 15, .crm = 2, .opc1 = 1, | ||
45 | .access = PL1_RW, .accessfn = access_tvm_trvm, | ||
46 | .type = ARM_CP_64BIT | ARM_CP_ALIAS, | ||
47 | .bank_fieldoffsets = { offsetof(CPUARMState, cp15.ttbr1_s), | ||
48 | offsetof(CPUARMState, cp15.ttbr1_ns) }, | ||
49 | - .writefn = vmsa_ttbr_write, }, | ||
50 | + .writefn = vmsa_ttbr_write, .raw_writefn = raw_write }, | ||
51 | }; | ||
52 | |||
53 | static uint64_t aa64_fpcr_read(CPUARMState *env, const ARMCPRegInfo *ri) | ||
54 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo el2_cp_reginfo[] = { | ||
55 | .type = ARM_CP_IO, | ||
56 | .opc0 = 3, .opc1 = 4, .crn = 1, .crm = 1, .opc2 = 0, | ||
57 | .access = PL2_RW, .fieldoffset = offsetof(CPUARMState, cp15.hcr_el2), | ||
58 | - .writefn = hcr_write }, | ||
59 | + .writefn = hcr_write, .raw_writefn = raw_write }, | ||
60 | { .name = "HCR", .state = ARM_CP_STATE_AA32, | ||
61 | .type = ARM_CP_ALIAS | ARM_CP_IO, | ||
62 | .cp = 15, .opc1 = 4, .crn = 1, .crm = 1, .opc2 = 0, | ||
63 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo el2_cp_reginfo[] = { | ||
64 | { .name = "TCR_EL2", .state = ARM_CP_STATE_BOTH, | ||
65 | .opc0 = 3, .opc1 = 4, .crn = 2, .crm = 0, .opc2 = 2, | ||
66 | .access = PL2_RW, .writefn = vmsa_tcr_el12_write, | ||
67 | + .raw_writefn = raw_write, | ||
68 | .fieldoffset = offsetof(CPUARMState, cp15.tcr_el[2]) }, | ||
69 | { .name = "VTCR", .state = ARM_CP_STATE_AA32, | ||
70 | .cp = 15, .opc1 = 4, .crn = 2, .crm = 1, .opc2 = 2, | ||
71 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo el2_cp_reginfo[] = { | ||
72 | .type = ARM_CP_64BIT | ARM_CP_ALIAS, | ||
73 | .access = PL2_RW, .accessfn = access_el3_aa32ns, | ||
74 | .fieldoffset = offsetof(CPUARMState, cp15.vttbr_el2), | ||
75 | - .writefn = vttbr_write }, | ||
76 | + .writefn = vttbr_write, .raw_writefn = raw_write }, | ||
77 | { .name = "VTTBR_EL2", .state = ARM_CP_STATE_AA64, | ||
78 | .opc0 = 3, .opc1 = 4, .crn = 2, .crm = 1, .opc2 = 0, | ||
79 | - .access = PL2_RW, .writefn = vttbr_write, | ||
80 | + .access = PL2_RW, .writefn = vttbr_write, .raw_writefn = raw_write, | ||
81 | .fieldoffset = offsetof(CPUARMState, cp15.vttbr_el2) }, | ||
82 | { .name = "SCTLR_EL2", .state = ARM_CP_STATE_BOTH, | ||
83 | .opc0 = 3, .opc1 = 4, .crn = 1, .crm = 0, .opc2 = 0, | ||
84 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo el2_cp_reginfo[] = { | ||
85 | .fieldoffset = offsetof(CPUARMState, cp15.tpidr_el[2]) }, | ||
86 | { .name = "TTBR0_EL2", .state = ARM_CP_STATE_AA64, | ||
87 | .opc0 = 3, .opc1 = 4, .crn = 2, .crm = 0, .opc2 = 0, | ||
88 | - .access = PL2_RW, .resetvalue = 0, .writefn = vmsa_tcr_ttbr_el2_write, | ||
89 | + .access = PL2_RW, .resetvalue = 0, | ||
90 | + .writefn = vmsa_tcr_ttbr_el2_write, .raw_writefn = raw_write, | ||
91 | .fieldoffset = offsetof(CPUARMState, cp15.ttbr0_el[2]) }, | ||
92 | { .name = "HTTBR", .cp = 15, .opc1 = 4, .crm = 2, | ||
93 | .access = PL2_RW, .type = ARM_CP_64BIT | ARM_CP_ALIAS, | ||
94 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo el3_cp_reginfo[] = { | ||
95 | { .name = "SCR_EL3", .state = ARM_CP_STATE_AA64, | ||
96 | .opc0 = 3, .opc1 = 6, .crn = 1, .crm = 1, .opc2 = 0, | ||
97 | .access = PL3_RW, .fieldoffset = offsetof(CPUARMState, cp15.scr_el3), | ||
98 | - .resetfn = scr_reset, .writefn = scr_write }, | ||
99 | + .resetfn = scr_reset, .writefn = scr_write, .raw_writefn = raw_write }, | ||
100 | { .name = "SCR", .type = ARM_CP_ALIAS | ARM_CP_NEWEL, | ||
101 | .cp = 15, .opc1 = 0, .crn = 1, .crm = 1, .opc2 = 0, | ||
102 | .access = PL1_RW, .accessfn = access_trap_aa32s_el1, | ||
103 | .fieldoffset = offsetoflow32(CPUARMState, cp15.scr_el3), | ||
104 | - .writefn = scr_write }, | ||
105 | + .writefn = scr_write, .raw_writefn = raw_write }, | ||
106 | { .name = "SDER32_EL3", .state = ARM_CP_STATE_AA64, | ||
107 | .opc0 = 3, .opc1 = 6, .crn = 1, .crm = 1, .opc2 = 1, | ||
108 | .access = PL3_RW, .resetvalue = 0, | ||
109 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo vhe_reginfo[] = { | ||
110 | { .name = "TTBR1_EL2", .state = ARM_CP_STATE_AA64, | ||
111 | .opc0 = 3, .opc1 = 4, .crn = 2, .crm = 0, .opc2 = 1, | ||
112 | .access = PL2_RW, .writefn = vmsa_tcr_ttbr_el2_write, | ||
113 | + .raw_writefn = raw_write, | ||
114 | .fieldoffset = offsetof(CPUARMState, cp15.ttbr1_el[2]) }, | ||
115 | #ifndef CONFIG_USER_ONLY | ||
116 | { .name = "CNTHV_CVAL_EL2", .state = ARM_CP_STATE_AA64, | ||
39 | -- | 117 | -- |
40 | 2.20.1 | 118 | 2.34.1 |
41 | |||
42 | diff view generated by jsdifflib |
New patch | |||
---|---|---|---|
1 | From: Yuquan Wang <wangyuquan1236@phytium.com.cn> | ||
1 | 2 | ||
3 | The current sbsa-ref cannot use EHCI controller which is only | ||
4 | able to do 32-bit DMA, since sbsa-ref doesn't have RAM below 4GB. | ||
5 | Hence, this uses XHCI to provide a usb controller with 64-bit | ||
6 | DMA capablity instead of EHCI. | ||
7 | |||
8 | We bump the platform version to 0.3 with this change. Although the | ||
9 | hardware at the USB controller address changes, the firmware and | ||
10 | Linux can both cope with this -- on an older non-XHCI-aware | ||
11 | firmware/kernel setup the probe routine simply fails and the guest | ||
12 | proceeds without any USB. (This isn't a loss of functionality, | ||
13 | because the old USB controller never worked in the first place.) So | ||
14 | we can call this a backwards-compatible change and only bump the | ||
15 | minor version. | ||
16 | |||
17 | Signed-off-by: Yuquan Wang <wangyuquan1236@phytium.com.cn> | ||
18 | Message-id: 20230621103847.447508-2-wangyuquan1236@phytium.com.cn | ||
19 | [PMM: tweaked commit message; add line to docs about what | ||
20 | changes in platform version 0.3] | ||
21 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
22 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
23 | --- | ||
24 | docs/system/arm/sbsa.rst | 5 ++++- | ||
25 | hw/arm/sbsa-ref.c | 23 +++++++++++++---------- | ||
26 | hw/arm/Kconfig | 2 +- | ||
27 | 3 files changed, 18 insertions(+), 12 deletions(-) | ||
28 | |||
29 | diff --git a/docs/system/arm/sbsa.rst b/docs/system/arm/sbsa.rst | ||
30 | index XXXXXXX..XXXXXXX 100644 | ||
31 | --- a/docs/system/arm/sbsa.rst | ||
32 | +++ b/docs/system/arm/sbsa.rst | ||
33 | @@ -XXX,XX +XXX,XX @@ The ``sbsa-ref`` board supports: | ||
34 | - A configurable number of AArch64 CPUs | ||
35 | - GIC version 3 | ||
36 | - System bus AHCI controller | ||
37 | - - System bus EHCI controller | ||
38 | + - System bus XHCI controller | ||
39 | - CDROM and hard disc on AHCI bus | ||
40 | - E1000E ethernet card on PCIe bus | ||
41 | - Bochs display adapter on PCIe bus | ||
42 | @@ -XXX,XX +XXX,XX @@ Platform version changes: | ||
43 | |||
44 | 0.2 | ||
45 | GIC ITS information is present in devicetree. | ||
46 | + | ||
47 | +0.3 | ||
48 | + The USB controller is an XHCI device, not EHCI | ||
49 | diff --git a/hw/arm/sbsa-ref.c b/hw/arm/sbsa-ref.c | ||
50 | index XXXXXXX..XXXXXXX 100644 | ||
51 | --- a/hw/arm/sbsa-ref.c | ||
52 | +++ b/hw/arm/sbsa-ref.c | ||
53 | @@ -XXX,XX +XXX,XX @@ | ||
54 | #include "hw/pci-host/gpex.h" | ||
55 | #include "hw/qdev-properties.h" | ||
56 | #include "hw/usb.h" | ||
57 | +#include "hw/usb/xhci.h" | ||
58 | #include "hw/char/pl011.h" | ||
59 | #include "hw/watchdog/sbsa_gwdt.h" | ||
60 | #include "net/net.h" | ||
61 | @@ -XXX,XX +XXX,XX @@ enum { | ||
62 | SBSA_SECURE_UART_MM, | ||
63 | SBSA_SECURE_MEM, | ||
64 | SBSA_AHCI, | ||
65 | - SBSA_EHCI, | ||
66 | + SBSA_XHCI, | ||
67 | }; | ||
68 | |||
69 | struct SBSAMachineState { | ||
70 | @@ -XXX,XX +XXX,XX @@ static const MemMapEntry sbsa_ref_memmap[] = { | ||
71 | [SBSA_SMMU] = { 0x60050000, 0x00020000 }, | ||
72 | /* Space here reserved for more SMMUs */ | ||
73 | [SBSA_AHCI] = { 0x60100000, 0x00010000 }, | ||
74 | - [SBSA_EHCI] = { 0x60110000, 0x00010000 }, | ||
75 | + [SBSA_XHCI] = { 0x60110000, 0x00010000 }, | ||
76 | /* Space here reserved for other devices */ | ||
77 | [SBSA_PCIE_PIO] = { 0x7fff0000, 0x00010000 }, | ||
78 | /* 32-bit address PCIE MMIO space */ | ||
79 | @@ -XXX,XX +XXX,XX @@ static const int sbsa_ref_irqmap[] = { | ||
80 | [SBSA_SECURE_UART] = 8, | ||
81 | [SBSA_SECURE_UART_MM] = 9, | ||
82 | [SBSA_AHCI] = 10, | ||
83 | - [SBSA_EHCI] = 11, | ||
84 | + [SBSA_XHCI] = 11, | ||
85 | [SBSA_SMMU] = 12, /* ... to 15 */ | ||
86 | [SBSA_GWDT_WS0] = 16, | ||
87 | }; | ||
88 | @@ -XXX,XX +XXX,XX @@ static void create_fdt(SBSAMachineState *sms) | ||
89 | * fw compatibility. | ||
90 | */ | ||
91 | qemu_fdt_setprop_cell(fdt, "/", "machine-version-major", 0); | ||
92 | - qemu_fdt_setprop_cell(fdt, "/", "machine-version-minor", 2); | ||
93 | + qemu_fdt_setprop_cell(fdt, "/", "machine-version-minor", 3); | ||
94 | |||
95 | if (ms->numa_state->have_numa_distance) { | ||
96 | int size = nb_numa_nodes * nb_numa_nodes * 3 * sizeof(uint32_t); | ||
97 | @@ -XXX,XX +XXX,XX @@ static void create_ahci(const SBSAMachineState *sms) | ||
98 | } | ||
99 | } | ||
100 | |||
101 | -static void create_ehci(const SBSAMachineState *sms) | ||
102 | +static void create_xhci(const SBSAMachineState *sms) | ||
103 | { | ||
104 | - hwaddr base = sbsa_ref_memmap[SBSA_EHCI].base; | ||
105 | - int irq = sbsa_ref_irqmap[SBSA_EHCI]; | ||
106 | + hwaddr base = sbsa_ref_memmap[SBSA_XHCI].base; | ||
107 | + int irq = sbsa_ref_irqmap[SBSA_XHCI]; | ||
108 | + DeviceState *dev = qdev_new(TYPE_XHCI_SYSBUS); | ||
109 | |||
110 | - sysbus_create_simple("platform-ehci-usb", base, | ||
111 | - qdev_get_gpio_in(sms->gic, irq)); | ||
112 | + sysbus_realize_and_unref(SYS_BUS_DEVICE(dev), &error_fatal); | ||
113 | + sysbus_mmio_map(SYS_BUS_DEVICE(dev), 0, base); | ||
114 | + sysbus_connect_irq(SYS_BUS_DEVICE(dev), 0, qdev_get_gpio_in(sms->gic, irq)); | ||
115 | } | ||
116 | |||
117 | static void create_smmu(const SBSAMachineState *sms, PCIBus *bus) | ||
118 | @@ -XXX,XX +XXX,XX @@ static void sbsa_ref_init(MachineState *machine) | ||
119 | |||
120 | create_ahci(sms); | ||
121 | |||
122 | - create_ehci(sms); | ||
123 | + create_xhci(sms); | ||
124 | |||
125 | create_pcie(sms); | ||
126 | |||
127 | diff --git a/hw/arm/Kconfig b/hw/arm/Kconfig | ||
128 | index XXXXXXX..XXXXXXX 100644 | ||
129 | --- a/hw/arm/Kconfig | ||
130 | +++ b/hw/arm/Kconfig | ||
131 | @@ -XXX,XX +XXX,XX @@ config SBSA_REF | ||
132 | select PL011 # UART | ||
133 | select PL031 # RTC | ||
134 | select PL061 # GPIO | ||
135 | - select USB_EHCI_SYSBUS | ||
136 | + select USB_XHCI_SYSBUS | ||
137 | select WDT_SBSA | ||
138 | select BOCHS_DISPLAY | ||
139 | |||
140 | -- | ||
141 | 2.34.1 | diff view generated by jsdifflib |
1 | The NVIC provides an outbound qemu_irq "SYSRESETREQ" which it signals | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | when the guest sets the SYSRESETREQ bit in the AIRCR register. This | ||
3 | matches the hardware design (where the CPU has a signal of this name | ||
4 | and it is up to the SoC to connect that up to an actual reset | ||
5 | mechanism), but in QEMU it mostly results in duplicated code in SoC | ||
6 | objects and bugs where SoC model implementors forget to wire up the | ||
7 | SYSRESETREQ line. | ||
8 | 2 | ||
9 | Provide a default behaviour for the case where SYSRESETREQ is not | 3 | Allow the line length to extend to 548 columns. While annoyingly wide, |
10 | actually connected to anything: use qemu_system_reset_request() to | 4 | it's still less confusing than the continuations we print. Also, the |
11 | perform a system reset. This will allow us to remove the | 5 | default VL used by Linux (and max for A64FX) uses only 140 columns. |
12 | implementations of SYSRESETREQ handling from the boards where that's | ||
13 | exactly what it does, and also fixes the bugs in the board models | ||
14 | which forgot to wire up the signal: | ||
15 | 6 | ||
16 | * microbit | 7 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> |
17 | * mps2-an385 | 8 | Message-id: 20230622151201.1578522-2-richard.henderson@linaro.org |
18 | * mps2-an505 | 9 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> |
19 | * mps2-an511 | 10 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
20 | * mps2-an521 | 11 | --- |
21 | * musca-a | 12 | target/arm/cpu.c | 36 ++++++++++++++---------------------- |
22 | * musca-b1 | 13 | 1 file changed, 14 insertions(+), 22 deletions(-) |
23 | * netduino | ||
24 | * netduinoplus2 | ||
25 | 14 | ||
26 | We still allow the board to wire up the signal if it needs to, in case | 15 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c |
27 | we need to model more complicated reset controller logic or to model | ||
28 | buggy SoC hardware which forgot to wire up the line itself. But | ||
29 | defaulting to "reset the system" is more often going to be correct | ||
30 | than defaulting to "do nothing". | ||
31 | |||
32 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
33 | Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> | ||
34 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
35 | Message-id: 20200728103744.6909-3-peter.maydell@linaro.org | ||
36 | --- | ||
37 | include/hw/arm/armv7m.h | 4 +++- | ||
38 | hw/intc/armv7m_nvic.c | 17 ++++++++++++++++- | ||
39 | 2 files changed, 19 insertions(+), 2 deletions(-) | ||
40 | |||
41 | diff --git a/include/hw/arm/armv7m.h b/include/hw/arm/armv7m.h | ||
42 | index XXXXXXX..XXXXXXX 100644 | 16 | index XXXXXXX..XXXXXXX 100644 |
43 | --- a/include/hw/arm/armv7m.h | 17 | --- a/target/arm/cpu.c |
44 | +++ b/include/hw/arm/armv7m.h | 18 | +++ b/target/arm/cpu.c |
45 | @@ -XXX,XX +XXX,XX @@ typedef struct { | 19 | @@ -XXX,XX +XXX,XX @@ static void aarch64_cpu_dump_state(CPUState *cs, FILE *f, int flags) |
46 | 20 | ARMCPU *cpu = ARM_CPU(cs); | |
47 | /* ARMv7M container object. | 21 | CPUARMState *env = &cpu->env; |
48 | * + Unnamed GPIO input lines: external IRQ lines for the NVIC | 22 | uint32_t psr = pstate_read(env); |
49 | - * + Named GPIO output SYSRESETREQ: signalled for guest AIRCR.SYSRESETREQ | 23 | - int i; |
50 | + * + Named GPIO output SYSRESETREQ: signalled for guest AIRCR.SYSRESETREQ. | 24 | + int i, j; |
51 | + * If this GPIO is not wired up then the NVIC will default to performing | 25 | int el = arm_current_el(env); |
52 | + * a qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET). | 26 | const char *ns_status; |
53 | * + Property "cpu-type": CPU type to instantiate | 27 | bool sve; |
54 | * + Property "num-irq": number of external IRQ lines | 28 | @@ -XXX,XX +XXX,XX @@ static void aarch64_cpu_dump_state(CPUState *cs, FILE *f, int flags) |
55 | * + Property "memory": MemoryRegion defining the physical address space | 29 | } |
56 | diff --git a/hw/intc/armv7m_nvic.c b/hw/intc/armv7m_nvic.c | 30 | |
57 | index XXXXXXX..XXXXXXX 100644 | 31 | if (sve) { |
58 | --- a/hw/intc/armv7m_nvic.c | 32 | - int j, zcr_len = sve_vqm1_for_el(env, el); |
59 | +++ b/hw/intc/armv7m_nvic.c | 33 | + int zcr_len = sve_vqm1_for_el(env, el); |
60 | @@ -XXX,XX +XXX,XX @@ | 34 | |
61 | #include "hw/intc/armv7m_nvic.h" | 35 | for (i = 0; i <= FFR_PRED_NUM; i++) { |
62 | #include "hw/irq.h" | 36 | bool eol; |
63 | #include "hw/qdev-properties.h" | 37 | @@ -XXX,XX +XXX,XX @@ static void aarch64_cpu_dump_state(CPUState *cs, FILE *f, int flags) |
64 | +#include "sysemu/runstate.h" | 38 | } |
65 | #include "target/arm/cpu.h" | 39 | } |
66 | #include "exec/exec-all.h" | 40 | |
67 | #include "exec/memop.h" | 41 | - for (i = 0; i < 32; i++) { |
68 | @@ -XXX,XX +XXX,XX @@ static const uint8_t nvic_id[] = { | 42 | - if (zcr_len == 0) { |
69 | 0x00, 0xb0, 0x1b, 0x00, 0x0d, 0xe0, 0x05, 0xb1 | 43 | + if (zcr_len == 0) { |
70 | }; | 44 | + /* |
71 | 45 | + * With vl=16, there are only 37 columns per register, | |
72 | +static void signal_sysresetreq(NVICState *s) | 46 | + * so output two registers per line. |
73 | +{ | 47 | + */ |
74 | + if (qemu_irq_is_connected(s->sysresetreq)) { | 48 | + for (i = 0; i < 32; i++) { |
75 | + qemu_irq_pulse(s->sysresetreq); | 49 | qemu_fprintf(f, "Z%02d=%016" PRIx64 ":%016" PRIx64 "%s", |
76 | + } else { | 50 | i, env->vfp.zregs[i].d[1], |
77 | + /* | 51 | env->vfp.zregs[i].d[0], i & 1 ? "\n" : " "); |
78 | + * Default behaviour if the SoC doesn't need to wire up | 52 | - } else if (zcr_len == 1) { |
79 | + * SYSRESETREQ (eg to a system reset controller of some kind): | 53 | - qemu_fprintf(f, "Z%02d=%016" PRIx64 ":%016" PRIx64 |
80 | + * perform a system reset via the usual QEMU API. | 54 | - ":%016" PRIx64 ":%016" PRIx64 "\n", |
81 | + */ | 55 | - i, env->vfp.zregs[i].d[3], env->vfp.zregs[i].d[2], |
82 | + qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET); | 56 | - env->vfp.zregs[i].d[1], env->vfp.zregs[i].d[0]); |
83 | + } | 57 | - } else { |
84 | +} | 58 | + } |
85 | + | 59 | + } else { |
86 | static int nvic_pending_prio(NVICState *s) | 60 | + for (i = 0; i < 32; i++) { |
87 | { | 61 | + qemu_fprintf(f, "Z%02d=", i); |
88 | /* return the group priority of the current pending interrupt, | 62 | for (j = zcr_len; j >= 0; j--) { |
89 | @@ -XXX,XX +XXX,XX @@ static void nvic_writel(NVICState *s, uint32_t offset, uint32_t value, | 63 | - bool odd = (zcr_len - j) % 2 != 0; |
90 | if (value & R_V7M_AIRCR_SYSRESETREQ_MASK) { | 64 | - if (j == zcr_len) { |
91 | if (attrs.secure || | 65 | - qemu_fprintf(f, "Z%02d[%x-%x]=", i, j, j - 1); |
92 | !(cpu->env.v7m.aircr & R_V7M_AIRCR_SYSRESETREQS_MASK)) { | 66 | - } else if (!odd) { |
93 | - qemu_irq_pulse(s->sysresetreq); | 67 | - if (j > 0) { |
94 | + signal_sysresetreq(s); | 68 | - qemu_fprintf(f, " [%x-%x]=", j, j - 1); |
69 | - } else { | ||
70 | - qemu_fprintf(f, " [%x]=", j); | ||
71 | - } | ||
72 | - } | ||
73 | qemu_fprintf(f, "%016" PRIx64 ":%016" PRIx64 "%s", | ||
74 | env->vfp.zregs[i].d[j * 2 + 1], | ||
75 | - env->vfp.zregs[i].d[j * 2], | ||
76 | - odd || j == 0 ? "\n" : ":"); | ||
77 | + env->vfp.zregs[i].d[j * 2 + 0], | ||
78 | + j ? ":" : "\n"); | ||
95 | } | 79 | } |
96 | } | 80 | } |
97 | if (value & R_V7M_AIRCR_VECTCLRACTIVE_MASK) { | 81 | } |
98 | -- | 82 | -- |
99 | 2.20.1 | 83 | 2.34.1 |
100 | |||
101 | diff view generated by jsdifflib |
1 | Mostly devices don't need to care whether one of their output | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | qemu_irq lines is connected, because functions like qemu_set_irq() | ||
3 | silently do nothing if there is nothing on the other end. However | ||
4 | sometimes a device might want to implement default behaviour for the | ||
5 | case where the machine hasn't wired the line up to anywhere. | ||
6 | 2 | ||
7 | Provide a function qemu_irq_is_connected() that devices can use for | 3 | Always print each matrix row whole, one per line, so that we |
8 | this purpose. (The test is trivial but encapsulating it in a | 4 | get the entire matrix in the proper shape. |
9 | function makes it easier to see where we're doing it in case we need | ||
10 | to change the implementation later.) | ||
11 | 5 | ||
6 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> | ||
7 | Message-id: 20230622151201.1578522-3-richard.henderson@linaro.org | ||
8 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
12 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 9 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
13 | Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> | ||
14 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
15 | Message-id: 20200728103744.6909-2-peter.maydell@linaro.org | ||
16 | --- | 10 | --- |
17 | include/hw/irq.h | 18 ++++++++++++++++++ | 11 | target/arm/cpu.c | 18 ++++++++++++++++++ |
18 | 1 file changed, 18 insertions(+) | 12 | 1 file changed, 18 insertions(+) |
19 | 13 | ||
20 | diff --git a/include/hw/irq.h b/include/hw/irq.h | 14 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c |
21 | index XXXXXXX..XXXXXXX 100644 | 15 | index XXXXXXX..XXXXXXX 100644 |
22 | --- a/include/hw/irq.h | 16 | --- a/target/arm/cpu.c |
23 | +++ b/include/hw/irq.h | 17 | +++ b/target/arm/cpu.c |
24 | @@ -XXX,XX +XXX,XX @@ qemu_irq qemu_irq_split(qemu_irq irq1, qemu_irq irq2); | 18 | @@ -XXX,XX +XXX,XX @@ static void aarch64_cpu_dump_state(CPUState *cs, FILE *f, int flags) |
25 | on an existing vector of qemu_irq. */ | 19 | i, q[1], q[0], (i & 1 ? "\n" : " ")); |
26 | void qemu_irq_intercept_in(qemu_irq *gpio_in, qemu_irq_handler handler, int n); | 20 | } |
27 | 21 | } | |
28 | +/** | ||
29 | + * qemu_irq_is_connected: Return true if IRQ line is wired up | ||
30 | + * | ||
31 | + * If a qemu_irq has a device on the other (receiving) end of it, | ||
32 | + * return true; otherwise return false. | ||
33 | + * | ||
34 | + * Usually device models don't need to care whether the machine model | ||
35 | + * has wired up their outbound qemu_irq lines, because functions like | ||
36 | + * qemu_set_irq() silently do nothing if there is nothing on the other | ||
37 | + * end of the line. However occasionally a device model will want to | ||
38 | + * provide default behaviour if its output is left floating, and | ||
39 | + * it can use this function to identify when that is the case. | ||
40 | + */ | ||
41 | +static inline bool qemu_irq_is_connected(qemu_irq irq) | ||
42 | +{ | ||
43 | + return irq != NULL; | ||
44 | +} | ||
45 | + | 22 | + |
46 | #endif | 23 | + if (cpu_isar_feature(aa64_sme, cpu) && |
24 | + FIELD_EX64(env->svcr, SVCR, ZA) && | ||
25 | + sme_exception_el(env, el) == 0) { | ||
26 | + int zcr_len = sve_vqm1_for_el_sm(env, el, true); | ||
27 | + int svl = (zcr_len + 1) * 16; | ||
28 | + int svl_lg10 = svl < 100 ? 2 : 3; | ||
29 | + | ||
30 | + for (i = 0; i < svl; i++) { | ||
31 | + qemu_fprintf(f, "ZA[%0*d]=", svl_lg10, i); | ||
32 | + for (j = zcr_len; j >= 0; --j) { | ||
33 | + qemu_fprintf(f, "%016" PRIx64 ":%016" PRIx64 "%c", | ||
34 | + env->zarray[i].d[2 * j + 1], | ||
35 | + env->zarray[i].d[2 * j], | ||
36 | + j ? ':' : '\n'); | ||
37 | + } | ||
38 | + } | ||
39 | + } | ||
40 | } | ||
41 | |||
42 | #else | ||
47 | -- | 43 | -- |
48 | 2.20.1 | 44 | 2.34.1 |
49 | |||
50 | diff view generated by jsdifflib |
1 | From: Richard Henderson <richard.henderson@linaro.org> | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | 2 | ||
3 | The definition of top_bit used in this function is one higher | 3 | For the outer product set of insns, which take an entire matrix |
4 | than that used in the Arm ARM psuedo-code, which put the error | 4 | tile as output, the argument is not a combined tile+column. |
5 | indication at top_bit - 1 at the wrong place, which meant that | 5 | Therefore using get_tile_rowcol was incorrect, as we extracted |
6 | it wasn't visible to Auth. | 6 | the tile number from itself. |
7 | 7 | ||
8 | Fixing the definition of top_bit requires more changes, because | 8 | The test case relies only on assembler support for SME, since |
9 | its most common use is for the count of bits in top_bit:bot_bit, | 9 | no release of GCC recognizes -march=armv9-a+sme yet. |
10 | which would then need to be computed as top_bit - bot_bit + 1. | 10 | |
11 | 11 | Cc: qemu-stable@nongnu.org | |
12 | For now, prefer the minimal fix to the error indication alone. | 12 | Resolves: https://gitlab.com/qemu-project/qemu/-/issues/1620 |
13 | |||
14 | Fixes: 63ff0ca94cb | ||
15 | Reported-by: Derrick McKee <derrick.mckee@gmail.com> | ||
16 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> | 13 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> |
17 | Message-id: 20200728195706.11087-1-richard.henderson@linaro.org | 14 | Message-id: 20230622151201.1578522-5-richard.henderson@linaro.org |
18 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | 15 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> |
19 | [PMM: added comment about the divergence from the pseudocode] | ||
20 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 16 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
21 | --- | 17 | --- |
22 | target/arm/pauth_helper.c | 6 +++++- | 18 | target/arm/tcg/translate-sme.c | 24 ++++++--- |
23 | tests/tcg/aarch64/pauth-5.c | 33 +++++++++++++++++++++++++++++++ | 19 | tests/tcg/aarch64/sme-outprod1.c | 83 +++++++++++++++++++++++++++++++ |
24 | tests/tcg/aarch64/Makefile.target | 2 +- | 20 | tests/tcg/aarch64/Makefile.target | 10 ++-- |
25 | 3 files changed, 39 insertions(+), 2 deletions(-) | 21 | 3 files changed, 108 insertions(+), 9 deletions(-) |
26 | create mode 100644 tests/tcg/aarch64/pauth-5.c | 22 | create mode 100644 tests/tcg/aarch64/sme-outprod1.c |
27 | 23 | ||
28 | diff --git a/target/arm/pauth_helper.c b/target/arm/pauth_helper.c | 24 | diff --git a/target/arm/tcg/translate-sme.c b/target/arm/tcg/translate-sme.c |
29 | index XXXXXXX..XXXXXXX 100644 | 25 | index XXXXXXX..XXXXXXX 100644 |
30 | --- a/target/arm/pauth_helper.c | 26 | --- a/target/arm/tcg/translate-sme.c |
31 | +++ b/target/arm/pauth_helper.c | 27 | +++ b/target/arm/tcg/translate-sme.c |
32 | @@ -XXX,XX +XXX,XX @@ static uint64_t pauth_addpac(CPUARMState *env, uint64_t ptr, uint64_t modifier, | 28 | @@ -XXX,XX +XXX,XX @@ static TCGv_ptr get_tile_rowcol(DisasContext *s, int esz, int rs, |
33 | */ | 29 | return addr; |
34 | test = sextract64(ptr, bot_bit, top_bit - bot_bit); | 30 | } |
35 | if (test != 0 && test != -1) { | 31 | |
36 | - pac ^= MAKE_64BIT_MASK(top_bit - 1, 1); | 32 | +/* |
37 | + /* | 33 | + * Resolve tile.size[0] to a host pointer. |
38 | + * Note that our top_bit is one greater than the pseudocode's | 34 | + * Used by e.g. outer product insns where we require the entire tile. |
39 | + * version, hence "- 2" here. | 35 | + */ |
40 | + */ | 36 | +static TCGv_ptr get_tile(DisasContext *s, int esz, int tile) |
41 | + pac ^= MAKE_64BIT_MASK(top_bit - 2, 1); | 37 | +{ |
38 | + TCGv_ptr addr = tcg_temp_new_ptr(); | ||
39 | + int offset; | ||
40 | + | ||
41 | + offset = tile * sizeof(ARMVectorReg) + offsetof(CPUARMState, zarray); | ||
42 | + | ||
43 | + tcg_gen_addi_ptr(addr, cpu_env, offset); | ||
44 | + return addr; | ||
45 | +} | ||
46 | + | ||
47 | static bool trans_ZERO(DisasContext *s, arg_ZERO *a) | ||
48 | { | ||
49 | if (!dc_isar_feature(aa64_sme, s)) { | ||
50 | @@ -XXX,XX +XXX,XX @@ static bool do_adda(DisasContext *s, arg_adda *a, MemOp esz, | ||
51 | return true; | ||
42 | } | 52 | } |
43 | 53 | ||
44 | /* | 54 | - /* Sum XZR+zad to find ZAd. */ |
45 | diff --git a/tests/tcg/aarch64/pauth-5.c b/tests/tcg/aarch64/pauth-5.c | 55 | - za = get_tile_rowcol(s, esz, 31, a->zad, false); |
56 | + za = get_tile(s, esz, a->zad); | ||
57 | zn = vec_full_reg_ptr(s, a->zn); | ||
58 | pn = pred_full_reg_ptr(s, a->pn); | ||
59 | pm = pred_full_reg_ptr(s, a->pm); | ||
60 | @@ -XXX,XX +XXX,XX @@ static bool do_outprod(DisasContext *s, arg_op *a, MemOp esz, | ||
61 | return true; | ||
62 | } | ||
63 | |||
64 | - /* Sum XZR+zad to find ZAd. */ | ||
65 | - za = get_tile_rowcol(s, esz, 31, a->zad, false); | ||
66 | + za = get_tile(s, esz, a->zad); | ||
67 | zn = vec_full_reg_ptr(s, a->zn); | ||
68 | zm = vec_full_reg_ptr(s, a->zm); | ||
69 | pn = pred_full_reg_ptr(s, a->pn); | ||
70 | @@ -XXX,XX +XXX,XX @@ static bool do_outprod_fpst(DisasContext *s, arg_op *a, MemOp esz, | ||
71 | return true; | ||
72 | } | ||
73 | |||
74 | - /* Sum XZR+zad to find ZAd. */ | ||
75 | - za = get_tile_rowcol(s, esz, 31, a->zad, false); | ||
76 | + za = get_tile(s, esz, a->zad); | ||
77 | zn = vec_full_reg_ptr(s, a->zn); | ||
78 | zm = vec_full_reg_ptr(s, a->zm); | ||
79 | pn = pred_full_reg_ptr(s, a->pn); | ||
80 | diff --git a/tests/tcg/aarch64/sme-outprod1.c b/tests/tcg/aarch64/sme-outprod1.c | ||
46 | new file mode 100644 | 81 | new file mode 100644 |
47 | index XXXXXXX..XXXXXXX | 82 | index XXXXXXX..XXXXXXX |
48 | --- /dev/null | 83 | --- /dev/null |
49 | +++ b/tests/tcg/aarch64/pauth-5.c | 84 | +++ b/tests/tcg/aarch64/sme-outprod1.c |
50 | @@ -XXX,XX +XXX,XX @@ | 85 | @@ -XXX,XX +XXX,XX @@ |
51 | +#include <assert.h> | 86 | +/* |
52 | + | 87 | + * SME outer product, 1 x 1. |
53 | +static int x; | 88 | + * SPDX-License-Identifier: GPL-2.0-or-later |
89 | + */ | ||
90 | + | ||
91 | +#include <stdio.h> | ||
92 | + | ||
93 | +extern void foo(float *dst); | ||
94 | + | ||
95 | +asm( | ||
96 | +" .arch_extension sme\n" | ||
97 | +" .type foo, @function\n" | ||
98 | +"foo:\n" | ||
99 | +" stp x29, x30, [sp, -80]!\n" | ||
100 | +" mov x29, sp\n" | ||
101 | +" stp d8, d9, [sp, 16]\n" | ||
102 | +" stp d10, d11, [sp, 32]\n" | ||
103 | +" stp d12, d13, [sp, 48]\n" | ||
104 | +" stp d14, d15, [sp, 64]\n" | ||
105 | +" smstart\n" | ||
106 | +" ptrue p0.s, vl4\n" | ||
107 | +" fmov z0.s, #1.0\n" | ||
108 | +/* | ||
109 | + * An outer product of a vector of 1.0 by itself should be a matrix of 1.0. | ||
110 | + * Note that we are using tile 1 here (za1.s) rather than tile 0. | ||
111 | + */ | ||
112 | +" zero {za}\n" | ||
113 | +" fmopa za1.s, p0/m, p0/m, z0.s, z0.s\n" | ||
114 | +/* | ||
115 | + * Read the first 4x4 sub-matrix of elements from tile 1: | ||
116 | + * Note that za1h should be interchangable here. | ||
117 | + */ | ||
118 | +" mov w12, #0\n" | ||
119 | +" mova z0.s, p0/m, za1v.s[w12, #0]\n" | ||
120 | +" mova z1.s, p0/m, za1v.s[w12, #1]\n" | ||
121 | +" mova z2.s, p0/m, za1v.s[w12, #2]\n" | ||
122 | +" mova z3.s, p0/m, za1v.s[w12, #3]\n" | ||
123 | +/* | ||
124 | + * And store them to the input pointer (dst in the C code): | ||
125 | + */ | ||
126 | +" st1w {z0.s}, p0, [x0]\n" | ||
127 | +" add x0, x0, #16\n" | ||
128 | +" st1w {z1.s}, p0, [x0]\n" | ||
129 | +" add x0, x0, #16\n" | ||
130 | +" st1w {z2.s}, p0, [x0]\n" | ||
131 | +" add x0, x0, #16\n" | ||
132 | +" st1w {z3.s}, p0, [x0]\n" | ||
133 | +" smstop\n" | ||
134 | +" ldp d8, d9, [sp, 16]\n" | ||
135 | +" ldp d10, d11, [sp, 32]\n" | ||
136 | +" ldp d12, d13, [sp, 48]\n" | ||
137 | +" ldp d14, d15, [sp, 64]\n" | ||
138 | +" ldp x29, x30, [sp], 80\n" | ||
139 | +" ret\n" | ||
140 | +" .size foo, . - foo" | ||
141 | +); | ||
54 | + | 142 | + |
55 | +int main() | 143 | +int main() |
56 | +{ | 144 | +{ |
57 | + int *p0 = &x, *p1, *p2, *p3; | 145 | + float dst[16]; |
58 | + unsigned long salt = 0; | 146 | + int i, j; |
59 | + | 147 | + |
60 | + /* | 148 | + foo(dst); |
61 | + * With TBI enabled and a 48-bit VA, there are 7 bits of auth, and so | 149 | + |
62 | + * a 1/128 chance of auth = pac(ptr,key,salt) producing zero. | 150 | + for (i = 0; i < 16; i++) { |
63 | + * Find a salt that creates auth != 0. | 151 | + if (dst[i] != 1.0f) { |
64 | + */ | 152 | + break; |
65 | + do { | 153 | + } |
66 | + salt++; | 154 | + } |
67 | + asm("pacda %0, %1" : "=r"(p1) : "r"(salt), "0"(p0)); | 155 | + |
68 | + } while (p0 == p1); | 156 | + if (i == 16) { |
69 | + | 157 | + return 0; /* success */ |
70 | + /* | 158 | + } |
71 | + * This pac must fail, because the input pointer bears an encryption, | 159 | + |
72 | + * and so is not properly extended within bits [55:47]. This will | 160 | + /* failure */ |
73 | + * toggle bit 54 in the output... | 161 | + for (i = 0; i < 4; ++i) { |
74 | + */ | 162 | + for (j = 0; j < 4; ++j) { |
75 | + asm("pacda %0, %1" : "=r"(p2) : "r"(salt), "0"(p1)); | 163 | + printf("%f ", (double)dst[i * 4 + j]); |
76 | + | 164 | + } |
77 | + /* ... so that the aut must fail, setting bit 53 in the output ... */ | 165 | + printf("\n"); |
78 | + asm("autda %0, %1" : "=r"(p3) : "r"(salt), "0"(p2)); | 166 | + } |
79 | + | 167 | + return 1; |
80 | + /* ... which means this equality must not hold. */ | ||
81 | + assert(p3 != p0); | ||
82 | + return 0; | ||
83 | +} | 168 | +} |
84 | diff --git a/tests/tcg/aarch64/Makefile.target b/tests/tcg/aarch64/Makefile.target | 169 | diff --git a/tests/tcg/aarch64/Makefile.target b/tests/tcg/aarch64/Makefile.target |
85 | index XXXXXXX..XXXXXXX 100644 | 170 | index XXXXXXX..XXXXXXX 100644 |
86 | --- a/tests/tcg/aarch64/Makefile.target | 171 | --- a/tests/tcg/aarch64/Makefile.target |
87 | +++ b/tests/tcg/aarch64/Makefile.target | 172 | +++ b/tests/tcg/aarch64/Makefile.target |
88 | @@ -XXX,XX +XXX,XX @@ run-fcvt: fcvt | 173 | @@ -XXX,XX +XXX,XX @@ config-cc.mak: Makefile |
89 | 174 | $(call cc-option,-march=armv8.5-a, CROSS_CC_HAS_ARMV8_5); \ | |
90 | # Pauth Tests | 175 | $(call cc-option,-mbranch-protection=standard, CROSS_CC_HAS_ARMV8_BTI); \ |
91 | ifneq ($(DOCKER_IMAGE)$(CROSS_CC_HAS_ARMV8_3),) | 176 | $(call cc-option,-march=armv8.5-a+memtag, CROSS_CC_HAS_ARMV8_MTE); \ |
92 | -AARCH64_TESTS += pauth-1 pauth-2 pauth-4 | 177 | - $(call cc-option,-march=armv9-a+sme, CROSS_CC_HAS_ARMV9_SME)) 3> config-cc.mak |
93 | +AARCH64_TESTS += pauth-1 pauth-2 pauth-4 pauth-5 | 178 | + $(call cc-option,-Wa$(COMMA)-march=armv9-a+sme, CROSS_AS_HAS_ARMV9_SME)) 3> config-cc.mak |
94 | pauth-%: CFLAGS += -march=armv8.3-a | 179 | -include config-cc.mak |
95 | run-pauth-%: QEMU_OPTS += -cpu max | 180 | |
96 | run-plugin-pauth-%: QEMU_OPTS += -cpu max | 181 | ifneq ($(CROSS_CC_HAS_ARMV8_2),) |
182 | @@ -XXX,XX +XXX,XX @@ AARCH64_TESTS += mte-1 mte-2 mte-3 mte-4 mte-5 mte-6 mte-7 | ||
183 | mte-%: CFLAGS += -march=armv8.5-a+memtag | ||
184 | endif | ||
185 | |||
186 | +ifneq ($(CROSS_AS_HAS_ARMV9_SME),) | ||
187 | +AARCH64_TESTS += sme-outprod1 | ||
188 | +endif | ||
189 | + | ||
190 | ifneq ($(CROSS_CC_HAS_SVE),) | ||
191 | # System Registers Tests | ||
192 | AARCH64_TESTS += sysregs | ||
193 | -ifneq ($(CROSS_CC_HAS_ARMV9_SME),) | ||
194 | -sysregs: CFLAGS+=-march=armv9-a+sme -DHAS_ARMV9_SME | ||
195 | +ifneq ($(CROSS_AS_HAS_ARMV9_SME),) | ||
196 | +sysregs: CFLAGS+=-Wa,-march=armv9-a+sme -DHAS_ARMV9_SME | ||
197 | else | ||
198 | sysregs: CFLAGS+=-march=armv8.1-a+sve | ||
199 | endif | ||
97 | -- | 200 | -- |
98 | 2.20.1 | 201 | 2.34.1 |
99 | |||
100 | diff view generated by jsdifflib |
1 | The MSF2 SoC model and the Stellaris board code both wire | 1 | From: John Högberg <john.hogberg@ericsson.com> |
---|---|---|---|
2 | SYSRESETREQ up to a function that just invokes | ||
3 | qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET); | ||
4 | This is now the default action that the NVIC does if the line is | ||
5 | not connected, so we can delete the handling code. | ||
6 | 2 | ||
3 | Unlike architectures with precise self-modifying code semantics | ||
4 | (e.g. x86) ARM processors do not maintain coherency for instruction | ||
5 | execution and memory, requiring an instruction synchronization | ||
6 | barrier on every core that will execute the new code, and on many | ||
7 | models also the explicit use of cache management instructions. | ||
8 | |||
9 | While this is required to make JITs work on actual hardware, QEMU | ||
10 | has gotten away with not handling this since it does not emulate | ||
11 | caches, and unconditionally invalidates code whenever the softmmu | ||
12 | or the user-mode page protection logic detects that code has been | ||
13 | modified. | ||
14 | |||
15 | Unfortunately the latter does not work in the face of dual-mapped | ||
16 | code (a common W^X workaround), where one page is executable and | ||
17 | the other is writable: user-mode has no way to connect one with the | ||
18 | other as that is only known to the kernel and the emulated | ||
19 | application. | ||
20 | |||
21 | This commit works around the issue by telling software that | ||
22 | instruction cache invalidation is required by clearing the | ||
23 | CPR_EL0.DIC flag (regardless of whether the emulated processor | ||
24 | needs it), and then invalidating code in IC IVAU instructions. | ||
25 | |||
26 | Resolves: https://gitlab.com/qemu-project/qemu/-/issues/1034 | ||
27 | |||
28 | Co-authored-by: Richard Henderson <richard.henderson@linaro.org> | ||
29 | Signed-off-by: John Högberg <john.hogberg@ericsson.com> | ||
30 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
31 | Message-id: 168778890374.24232.3402138851538068785-1@git.sr.ht | ||
32 | [PMM: removed unnecessary AArch64 feature check; moved | ||
33 | "clear CTR_EL1.DIC" code up a bit so it's not in the middle | ||
34 | of the vfp/neon related tests] | ||
7 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 35 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
8 | Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> | ||
9 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
10 | Message-id: 20200728103744.6909-4-peter.maydell@linaro.org | ||
11 | --- | 36 | --- |
12 | hw/arm/msf2-soc.c | 11 ----------- | 37 | target/arm/cpu.c | 11 +++++++++++ |
13 | hw/arm/stellaris.c | 12 ------------ | 38 | target/arm/helper.c | 47 ++++++++++++++++++++++++++++++++++++++++++--- |
14 | 2 files changed, 23 deletions(-) | 39 | 2 files changed, 55 insertions(+), 3 deletions(-) |
15 | 40 | ||
16 | diff --git a/hw/arm/msf2-soc.c b/hw/arm/msf2-soc.c | 41 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c |
17 | index XXXXXXX..XXXXXXX 100644 | 42 | index XXXXXXX..XXXXXXX 100644 |
18 | --- a/hw/arm/msf2-soc.c | 43 | --- a/target/arm/cpu.c |
19 | +++ b/hw/arm/msf2-soc.c | 44 | +++ b/target/arm/cpu.c |
20 | @@ -XXX,XX +XXX,XX @@ | 45 | @@ -XXX,XX +XXX,XX @@ static void arm_cpu_realizefn(DeviceState *dev, Error **errp) |
21 | #include "hw/irq.h" | ||
22 | #include "hw/arm/msf2-soc.h" | ||
23 | #include "hw/misc/unimp.h" | ||
24 | -#include "sysemu/runstate.h" | ||
25 | #include "sysemu/sysemu.h" | ||
26 | |||
27 | #define MSF2_TIMER_BASE 0x40004000 | ||
28 | @@ -XXX,XX +XXX,XX @@ static const int spi_irq[MSF2_NUM_SPIS] = { 2, 3 }; | ||
29 | static const int uart_irq[MSF2_NUM_UARTS] = { 10, 11 }; | ||
30 | static const int timer_irq[MSF2_NUM_TIMERS] = { 14, 15 }; | ||
31 | |||
32 | -static void do_sys_reset(void *opaque, int n, int level) | ||
33 | -{ | ||
34 | - if (level) { | ||
35 | - qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET); | ||
36 | - } | ||
37 | -} | ||
38 | - | ||
39 | static void m2sxxx_soc_initfn(Object *obj) | ||
40 | { | ||
41 | MSF2State *s = MSF2_SOC(obj); | ||
42 | @@ -XXX,XX +XXX,XX @@ static void m2sxxx_soc_realize(DeviceState *dev_soc, Error **errp) | ||
43 | return; | 46 | return; |
44 | } | 47 | } |
45 | 48 | ||
46 | - qdev_connect_gpio_out_named(DEVICE(&s->armv7m.nvic), "SYSRESETREQ", 0, | 49 | +#ifdef CONFIG_USER_ONLY |
47 | - qemu_allocate_irq(&do_sys_reset, NULL, 0)); | 50 | + /* |
48 | - | 51 | + * User mode relies on IC IVAU instructions to catch modification of |
49 | system_clock_scale = NANOSECONDS_PER_SECOND / s->m3clk; | 52 | + * dual-mapped code. |
50 | 53 | + * | |
51 | for (i = 0; i < MSF2_NUM_UARTS; i++) { | 54 | + * Clear CTR_EL0.DIC to ensure that software that honors these flags uses |
52 | diff --git a/hw/arm/stellaris.c b/hw/arm/stellaris.c | 55 | + * IC IVAU even if the emulated processor does not normally require it. |
56 | + */ | ||
57 | + cpu->ctr = FIELD_DP64(cpu->ctr, CTR_EL0, DIC, 0); | ||
58 | +#endif | ||
59 | + | ||
60 | if (arm_feature(env, ARM_FEATURE_AARCH64) && | ||
61 | cpu->has_vfp != cpu->has_neon) { | ||
62 | /* | ||
63 | diff --git a/target/arm/helper.c b/target/arm/helper.c | ||
53 | index XXXXXXX..XXXXXXX 100644 | 64 | index XXXXXXX..XXXXXXX 100644 |
54 | --- a/hw/arm/stellaris.c | 65 | --- a/target/arm/helper.c |
55 | +++ b/hw/arm/stellaris.c | 66 | +++ b/target/arm/helper.c |
56 | @@ -XXX,XX +XXX,XX @@ | 67 | @@ -XXX,XX +XXX,XX @@ static void mdcr_el2_write(CPUARMState *env, const ARMCPRegInfo *ri, |
57 | #include "hw/boards.h" | 68 | } |
58 | #include "qemu/log.h" | ||
59 | #include "exec/address-spaces.h" | ||
60 | -#include "sysemu/runstate.h" | ||
61 | #include "sysemu/sysemu.h" | ||
62 | #include "hw/arm/armv7m.h" | ||
63 | #include "hw/char/pl011.h" | ||
64 | @@ -XXX,XX +XXX,XX @@ static void stellaris_adc_init(Object *obj) | ||
65 | qdev_init_gpio_in(dev, stellaris_adc_trigger, 1); | ||
66 | } | 69 | } |
67 | 70 | ||
68 | -static | 71 | +#ifdef CONFIG_USER_ONLY |
69 | -void do_sys_reset(void *opaque, int n, int level) | 72 | +/* |
70 | -{ | 73 | + * `IC IVAU` is handled to improve compatibility with JITs that dual-map their |
71 | - if (level) { | 74 | + * code to get around W^X restrictions, where one region is writable and the |
72 | - qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET); | 75 | + * other is executable. |
73 | - } | 76 | + * |
74 | -} | 77 | + * Since the executable region is never written to we cannot detect code |
75 | - | 78 | + * changes when running in user mode, and rely on the emulated JIT telling us |
76 | /* Board init. */ | 79 | + * that the code has changed by executing this instruction. |
77 | static stellaris_board_info stellaris_boards[] = { | 80 | + */ |
78 | { "LM3S811EVB", | 81 | +static void ic_ivau_write(CPUARMState *env, const ARMCPRegInfo *ri, |
79 | @@ -XXX,XX +XXX,XX @@ static void stellaris_init(MachineState *ms, stellaris_board_info *board) | 82 | + uint64_t value) |
80 | /* This will exit with an error if the user passed us a bad cpu_type */ | 83 | +{ |
81 | sysbus_realize_and_unref(SYS_BUS_DEVICE(nvic), &error_fatal); | 84 | + uint64_t icache_line_mask, start_address, end_address; |
82 | 85 | + const ARMCPU *cpu; | |
83 | - qdev_connect_gpio_out_named(nvic, "SYSRESETREQ", 0, | 86 | + |
84 | - qemu_allocate_irq(&do_sys_reset, NULL, 0)); | 87 | + cpu = env_archcpu(env); |
85 | - | 88 | + |
86 | if (board->dc1 & (1 << 16)) { | 89 | + icache_line_mask = (4 << extract32(cpu->ctr, 0, 4)) - 1; |
87 | dev = sysbus_create_varargs(TYPE_STELLARIS_ADC, 0x40038000, | 90 | + start_address = value & ~icache_line_mask; |
88 | qdev_get_gpio_in(nvic, 14), | 91 | + end_address = value | icache_line_mask; |
92 | + | ||
93 | + mmap_lock(); | ||
94 | + | ||
95 | + tb_invalidate_phys_range(start_address, end_address); | ||
96 | + | ||
97 | + mmap_unlock(); | ||
98 | +} | ||
99 | +#endif | ||
100 | + | ||
101 | static const ARMCPRegInfo v8_cp_reginfo[] = { | ||
102 | /* | ||
103 | * Minimal set of EL0-visible registers. This will need to be expanded | ||
104 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo v8_cp_reginfo[] = { | ||
105 | { .name = "CURRENTEL", .state = ARM_CP_STATE_AA64, | ||
106 | .opc0 = 3, .opc1 = 0, .opc2 = 2, .crn = 4, .crm = 2, | ||
107 | .access = PL1_R, .type = ARM_CP_CURRENTEL }, | ||
108 | - /* Cache ops: all NOPs since we don't emulate caches */ | ||
109 | + /* | ||
110 | + * Instruction cache ops. All of these except `IC IVAU` NOP because we | ||
111 | + * don't emulate caches. | ||
112 | + */ | ||
113 | { .name = "IC_IALLUIS", .state = ARM_CP_STATE_AA64, | ||
114 | .opc0 = 1, .opc1 = 0, .crn = 7, .crm = 1, .opc2 = 0, | ||
115 | .access = PL1_W, .type = ARM_CP_NOP, | ||
116 | @@ -XXX,XX +XXX,XX @@ static const ARMCPRegInfo v8_cp_reginfo[] = { | ||
117 | .accessfn = access_tocu }, | ||
118 | { .name = "IC_IVAU", .state = ARM_CP_STATE_AA64, | ||
119 | .opc0 = 1, .opc1 = 3, .crn = 7, .crm = 5, .opc2 = 1, | ||
120 | - .access = PL0_W, .type = ARM_CP_NOP, | ||
121 | + .access = PL0_W, | ||
122 | .fgt = FGT_ICIVAU, | ||
123 | - .accessfn = access_tocu }, | ||
124 | + .accessfn = access_tocu, | ||
125 | +#ifdef CONFIG_USER_ONLY | ||
126 | + .type = ARM_CP_NO_RAW, | ||
127 | + .writefn = ic_ivau_write | ||
128 | +#else | ||
129 | + .type = ARM_CP_NOP | ||
130 | +#endif | ||
131 | + }, | ||
132 | + /* Cache ops: all NOPs since we don't emulate caches */ | ||
133 | { .name = "DC_IVAC", .state = ARM_CP_STATE_AA64, | ||
134 | .opc0 = 1, .opc1 = 0, .crn = 7, .crm = 6, .opc2 = 1, | ||
135 | .access = PL1_W, .accessfn = aa64_cacheop_poc_access, | ||
89 | -- | 136 | -- |
90 | 2.20.1 | 137 | 2.34.1 |
91 | 138 | ||
92 | 139 | diff view generated by jsdifflib |
1 | The netduino2 and netduinoplus2 boards forgot to set the system_clock_scale | 1 | From: John Högberg <john.hogberg@ericsson.com> |
---|---|---|---|
2 | global, which meant that if guest code used the systick timer in "use | 2 | |
3 | the processor clock" mode it would hang because time never advances. | 3 | https://gitlab.com/qemu-project/qemu/-/issues/1034 |
4 | 4 | ||
5 | Set the global to match the documented CPU clock speed of these boards. | 5 | Signed-off-by: John Högberg <john.hogberg@ericsson.com> |
6 | Judging by the data sheet this is slightly simplistic because the | 6 | Message-id: 168778890374.24232.3402138851538068785-2@git.sr.ht |
7 | SoC allows configuration of the SYSCLK source and frequency via the | 7 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> |
8 | RCC (reset and clock control) module, but we don't model that. | 8 | [PMM: fixed typo in comment] |
9 | |||
10 | Fixes: https://bugs.launchpad.net/qemu/+bug/1876187 | ||
11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 9 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
12 | Reviewed-by: Alistair Francis <alistair.francis@wdc.com> | ||
13 | Message-id: 20200727162617.26227-1-peter.maydell@linaro.org | ||
14 | --- | 10 | --- |
15 | hw/arm/netduino2.c | 10 ++++++++++ | 11 | tests/tcg/aarch64/icivau.c | 189 ++++++++++++++++++++++++++++++ |
16 | hw/arm/netduinoplus2.c | 10 ++++++++++ | 12 | tests/tcg/aarch64/Makefile.target | 3 +- |
17 | 2 files changed, 20 insertions(+) | 13 | 2 files changed, 191 insertions(+), 1 deletion(-) |
18 | 14 | create mode 100644 tests/tcg/aarch64/icivau.c | |
19 | diff --git a/hw/arm/netduino2.c b/hw/arm/netduino2.c | 15 | |
16 | diff --git a/tests/tcg/aarch64/icivau.c b/tests/tcg/aarch64/icivau.c | ||
17 | new file mode 100644 | ||
18 | index XXXXXXX..XXXXXXX | ||
19 | --- /dev/null | ||
20 | +++ b/tests/tcg/aarch64/icivau.c | ||
21 | @@ -XXX,XX +XXX,XX @@ | ||
22 | +/* | ||
23 | + * Tests the IC IVAU-driven workaround for catching changes made to dual-mapped | ||
24 | + * code that would otherwise go unnoticed in user mode. | ||
25 | + * | ||
26 | + * Copyright (c) 2023 Ericsson AB | ||
27 | + * SPDX-License-Identifier: GPL-2.0-or-later | ||
28 | + */ | ||
29 | + | ||
30 | +#include <sys/mman.h> | ||
31 | +#include <sys/stat.h> | ||
32 | +#include <string.h> | ||
33 | +#include <stdint.h> | ||
34 | +#include <stdlib.h> | ||
35 | +#include <unistd.h> | ||
36 | +#include <fcntl.h> | ||
37 | + | ||
38 | +#define MAX_CODE_SIZE 128 | ||
39 | + | ||
40 | +typedef int (SelfModTest)(uint32_t, uint32_t*); | ||
41 | +typedef int (BasicTest)(int); | ||
42 | + | ||
43 | +static void mark_code_modified(const uint32_t *exec_data, size_t length) | ||
44 | +{ | ||
45 | + int dc_required, ic_required; | ||
46 | + unsigned long ctr_el0; | ||
47 | + | ||
48 | + /* | ||
49 | + * Clear the data/instruction cache, as indicated by the CTR_ELO.{DIC,IDC} | ||
50 | + * flags. | ||
51 | + * | ||
52 | + * For completeness we might be tempted to assert that we should fail when | ||
53 | + * the whole code update sequence is omitted, but that would make the test | ||
54 | + * flaky as it can succeed by coincidence on actual hardware. | ||
55 | + */ | ||
56 | + asm ("mrs %0, ctr_el0\n" : "=r"(ctr_el0)); | ||
57 | + | ||
58 | + /* CTR_EL0.IDC */ | ||
59 | + dc_required = !((ctr_el0 >> 28) & 1); | ||
60 | + | ||
61 | + /* CTR_EL0.DIC */ | ||
62 | + ic_required = !((ctr_el0 >> 29) & 1); | ||
63 | + | ||
64 | + if (dc_required) { | ||
65 | + size_t dcache_stride, i; | ||
66 | + | ||
67 | + /* | ||
68 | + * Step according to the minimum cache size, as the cache maintenance | ||
69 | + * instructions operate on the cache line of the given address. | ||
70 | + * | ||
71 | + * We assume that exec_data is properly aligned. | ||
72 | + */ | ||
73 | + dcache_stride = (4 << ((ctr_el0 >> 16) & 0xF)); | ||
74 | + | ||
75 | + for (i = 0; i < length; i += dcache_stride) { | ||
76 | + const char *dc_addr = &((const char *)exec_data)[i]; | ||
77 | + asm volatile ("dc cvau, %x[dc_addr]\n" | ||
78 | + : /* no outputs */ | ||
79 | + : [dc_addr] "r"(dc_addr) | ||
80 | + : "memory"); | ||
81 | + } | ||
82 | + | ||
83 | + asm volatile ("dmb ish\n"); | ||
84 | + } | ||
85 | + | ||
86 | + if (ic_required) { | ||
87 | + size_t icache_stride, i; | ||
88 | + | ||
89 | + icache_stride = (4 << (ctr_el0 & 0xF)); | ||
90 | + | ||
91 | + for (i = 0; i < length; i += icache_stride) { | ||
92 | + const char *ic_addr = &((const char *)exec_data)[i]; | ||
93 | + asm volatile ("ic ivau, %x[ic_addr]\n" | ||
94 | + : /* no outputs */ | ||
95 | + : [ic_addr] "r"(ic_addr) | ||
96 | + : "memory"); | ||
97 | + } | ||
98 | + | ||
99 | + asm volatile ("dmb ish\n"); | ||
100 | + } | ||
101 | + | ||
102 | + asm volatile ("isb sy\n"); | ||
103 | +} | ||
104 | + | ||
105 | +static int basic_test(uint32_t *rw_data, const uint32_t *exec_data) | ||
106 | +{ | ||
107 | + /* | ||
108 | + * As user mode only misbehaved for dual-mapped code when previously | ||
109 | + * translated code had been changed, we'll start off with this basic test | ||
110 | + * function to ensure that there's already some translated code at | ||
111 | + * exec_data before the next test. This should cause the next test to fail | ||
112 | + * if `mark_code_modified` fails to invalidate the code. | ||
113 | + * | ||
114 | + * Note that the payload is in binary form instead of inline assembler | ||
115 | + * because we cannot use __attribute__((naked)) on this platform and the | ||
116 | + * workarounds are at least as ugly as this is. | ||
117 | + */ | ||
118 | + static const uint32_t basic_payload[] = { | ||
119 | + 0xD65F03C0 /* 0x00: RET */ | ||
120 | + }; | ||
121 | + | ||
122 | + BasicTest *copied_ptr = (BasicTest *)exec_data; | ||
123 | + | ||
124 | + memcpy(rw_data, basic_payload, sizeof(basic_payload)); | ||
125 | + mark_code_modified(exec_data, sizeof(basic_payload)); | ||
126 | + | ||
127 | + return copied_ptr(1234) == 1234; | ||
128 | +} | ||
129 | + | ||
130 | +static int self_modification_test(uint32_t *rw_data, const uint32_t *exec_data) | ||
131 | +{ | ||
132 | + /* | ||
133 | + * This test is self-modifying in an attempt to cover an edge case where | ||
134 | + * the IC IVAU instruction invalidates itself. | ||
135 | + * | ||
136 | + * Note that the IC IVAU instruction is 16 bytes into the function, in what | ||
137 | + * will be the same cache line as the modified instruction on machines with | ||
138 | + * a cache line size >= 16 bytes. | ||
139 | + */ | ||
140 | + static const uint32_t self_mod_payload[] = { | ||
141 | + /* Overwrite the placeholder instruction with the new one. */ | ||
142 | + 0xB9001C20, /* 0x00: STR w0, [x1, 0x1C] */ | ||
143 | + | ||
144 | + /* Get the executable address of the modified instruction. */ | ||
145 | + 0x100000A8, /* 0x04: ADR x8, <0x1C> */ | ||
146 | + | ||
147 | + /* Mark the modified instruction as updated. */ | ||
148 | + 0xD50B7B28, /* 0x08: DC CVAU x8 */ | ||
149 | + 0xD5033BBF, /* 0x0C: DMB ISH */ | ||
150 | + 0xD50B7528, /* 0x10: IC IVAU x8 */ | ||
151 | + 0xD5033BBF, /* 0x14: DMB ISH */ | ||
152 | + 0xD5033FDF, /* 0x18: ISB */ | ||
153 | + | ||
154 | + /* Placeholder instruction, overwritten above. */ | ||
155 | + 0x52800000, /* 0x1C: MOV w0, 0 */ | ||
156 | + | ||
157 | + 0xD65F03C0 /* 0x20: RET */ | ||
158 | + }; | ||
159 | + | ||
160 | + SelfModTest *copied_ptr = (SelfModTest *)exec_data; | ||
161 | + int i; | ||
162 | + | ||
163 | + memcpy(rw_data, self_mod_payload, sizeof(self_mod_payload)); | ||
164 | + mark_code_modified(exec_data, sizeof(self_mod_payload)); | ||
165 | + | ||
166 | + for (i = 1; i < 10; i++) { | ||
167 | + /* Replace the placeholder instruction with `MOV w0, i` */ | ||
168 | + uint32_t new_instr = 0x52800000 | (i << 5); | ||
169 | + | ||
170 | + if (copied_ptr(new_instr, rw_data) != i) { | ||
171 | + return 0; | ||
172 | + } | ||
173 | + } | ||
174 | + | ||
175 | + return 1; | ||
176 | +} | ||
177 | + | ||
178 | +int main(int argc, char **argv) | ||
179 | +{ | ||
180 | + const char *shm_name = "qemu-test-tcg-aarch64-icivau"; | ||
181 | + int fd; | ||
182 | + | ||
183 | + fd = shm_open(shm_name, O_CREAT | O_RDWR, S_IRUSR | S_IWUSR); | ||
184 | + | ||
185 | + if (fd < 0) { | ||
186 | + return EXIT_FAILURE; | ||
187 | + } | ||
188 | + | ||
189 | + /* Unlink early to avoid leaving garbage in case the test crashes. */ | ||
190 | + shm_unlink(shm_name); | ||
191 | + | ||
192 | + if (ftruncate(fd, MAX_CODE_SIZE) == 0) { | ||
193 | + const uint32_t *exec_data; | ||
194 | + uint32_t *rw_data; | ||
195 | + | ||
196 | + rw_data = mmap(0, MAX_CODE_SIZE, PROT_READ | PROT_WRITE, | ||
197 | + MAP_SHARED, fd, 0); | ||
198 | + exec_data = mmap(0, MAX_CODE_SIZE, PROT_READ | PROT_EXEC, | ||
199 | + MAP_SHARED, fd, 0); | ||
200 | + | ||
201 | + if (rw_data && exec_data) { | ||
202 | + if (basic_test(rw_data, exec_data) && | ||
203 | + self_modification_test(rw_data, exec_data)) { | ||
204 | + return EXIT_SUCCESS; | ||
205 | + } | ||
206 | + } | ||
207 | + } | ||
208 | + | ||
209 | + return EXIT_FAILURE; | ||
210 | +} | ||
211 | diff --git a/tests/tcg/aarch64/Makefile.target b/tests/tcg/aarch64/Makefile.target | ||
20 | index XXXXXXX..XXXXXXX 100644 | 212 | index XXXXXXX..XXXXXXX 100644 |
21 | --- a/hw/arm/netduino2.c | 213 | --- a/tests/tcg/aarch64/Makefile.target |
22 | +++ b/hw/arm/netduino2.c | 214 | +++ b/tests/tcg/aarch64/Makefile.target |
23 | @@ -XXX,XX +XXX,XX @@ | 215 | @@ -XXX,XX +XXX,XX @@ AARCH64_SRC=$(SRC_PATH)/tests/tcg/aarch64 |
24 | #include "hw/arm/stm32f205_soc.h" | 216 | VPATH += $(AARCH64_SRC) |
25 | #include "hw/arm/boot.h" | 217 | |
26 | 218 | # Base architecture tests | |
27 | +/* Main SYSCLK frequency in Hz (120MHz) */ | 219 | -AARCH64_TESTS=fcvt pcalign-a64 |
28 | +#define SYSCLK_FRQ 120000000ULL | 220 | +AARCH64_TESTS=fcvt pcalign-a64 icivau |
29 | + | 221 | |
30 | static void netduino2_init(MachineState *machine) | 222 | fcvt: LDFLAGS+=-lm |
31 | { | 223 | +icivau: LDFLAGS+=-lrt |
32 | DeviceState *dev; | 224 | |
33 | 225 | run-fcvt: fcvt | |
34 | + /* | 226 | $(call run-test,$<,$(QEMU) $<, "$< on $(TARGET_NAME)") |
35 | + * TODO: ideally we would model the SoC RCC and let it handle | ||
36 | + * system_clock_scale, including its ability to define different | ||
37 | + * possible SYSCLK sources. | ||
38 | + */ | ||
39 | + system_clock_scale = NANOSECONDS_PER_SECOND / SYSCLK_FRQ; | ||
40 | + | ||
41 | dev = qdev_new(TYPE_STM32F205_SOC); | ||
42 | qdev_prop_set_string(dev, "cpu-type", ARM_CPU_TYPE_NAME("cortex-m3")); | ||
43 | sysbus_realize_and_unref(SYS_BUS_DEVICE(dev), &error_fatal); | ||
44 | diff --git a/hw/arm/netduinoplus2.c b/hw/arm/netduinoplus2.c | ||
45 | index XXXXXXX..XXXXXXX 100644 | ||
46 | --- a/hw/arm/netduinoplus2.c | ||
47 | +++ b/hw/arm/netduinoplus2.c | ||
48 | @@ -XXX,XX +XXX,XX @@ | ||
49 | #include "hw/arm/stm32f405_soc.h" | ||
50 | #include "hw/arm/boot.h" | ||
51 | |||
52 | +/* Main SYSCLK frequency in Hz (168MHz) */ | ||
53 | +#define SYSCLK_FRQ 168000000ULL | ||
54 | + | ||
55 | static void netduinoplus2_init(MachineState *machine) | ||
56 | { | ||
57 | DeviceState *dev; | ||
58 | |||
59 | + /* | ||
60 | + * TODO: ideally we would model the SoC RCC and let it handle | ||
61 | + * system_clock_scale, including its ability to define different | ||
62 | + * possible SYSCLK sources. | ||
63 | + */ | ||
64 | + system_clock_scale = NANOSECONDS_PER_SECOND / SYSCLK_FRQ; | ||
65 | + | ||
66 | dev = qdev_new(TYPE_STM32F405_SOC); | ||
67 | qdev_prop_set_string(dev, "cpu-type", ARM_CPU_TYPE_NAME("cortex-m4")); | ||
68 | sysbus_realize_and_unref(SYS_BUS_DEVICE(dev), &error_fatal); | ||
69 | -- | 227 | -- |
70 | 2.20.1 | 228 | 2.34.1 |
71 | 229 | ||
72 | 230 | diff view generated by jsdifflib |
New patch | |||
---|---|---|---|
1 | From: Vikram Garhwal <vikram.garhwal@amd.com> | ||
1 | 2 | ||
3 | Following are done to fix the coverity issues: | ||
4 | 1. Change read_data to fix the CID 1512899: Out-of-bounds access (OVERRUN) | ||
5 | 2. Fix match_rx_tx_data to fix CID 1512900: Logically dead code (DEADCODE) | ||
6 | 3. Replace rand() in generate_random_data() with g_rand_int() | ||
7 | |||
8 | Signed-off-by: Vikram Garhwal <vikram.garhwal@amd.com> | ||
9 | Message-id: 20230628202758.16398-1-vikram.garhwal@amd.com | ||
10 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
12 | --- | ||
13 | tests/qtest/xlnx-canfd-test.c | 33 +++++++++++---------------------- | ||
14 | 1 file changed, 11 insertions(+), 22 deletions(-) | ||
15 | |||
16 | diff --git a/tests/qtest/xlnx-canfd-test.c b/tests/qtest/xlnx-canfd-test.c | ||
17 | index XXXXXXX..XXXXXXX 100644 | ||
18 | --- a/tests/qtest/xlnx-canfd-test.c | ||
19 | +++ b/tests/qtest/xlnx-canfd-test.c | ||
20 | @@ -XXX,XX +XXX,XX @@ static void generate_random_data(uint32_t *buf_tx, bool is_canfd_frame) | ||
21 | /* Generate random TX data for CANFD frame. */ | ||
22 | if (is_canfd_frame) { | ||
23 | for (int i = 0; i < CANFD_FRAME_SIZE - 2; i++) { | ||
24 | - buf_tx[2 + i] = rand(); | ||
25 | + buf_tx[2 + i] = g_random_int(); | ||
26 | } | ||
27 | } else { | ||
28 | /* Generate random TX data for CAN frame. */ | ||
29 | for (int i = 0; i < CAN_FRAME_SIZE - 2; i++) { | ||
30 | - buf_tx[2 + i] = rand(); | ||
31 | + buf_tx[2 + i] = g_random_int(); | ||
32 | } | ||
33 | } | ||
34 | } | ||
35 | |||
36 | -static void read_data(QTestState *qts, uint64_t can_base_addr, uint32_t *buf_rx) | ||
37 | +static void read_data(QTestState *qts, uint64_t can_base_addr, uint32_t *buf_rx, | ||
38 | + uint32_t frame_size) | ||
39 | { | ||
40 | uint32_t int_status; | ||
41 | uint32_t fifo_status_reg_value; | ||
42 | /* At which RX FIFO the received data is stored. */ | ||
43 | uint8_t store_ind = 0; | ||
44 | - bool is_canfd_frame = false; | ||
45 | |||
46 | /* Read the interrupt on CANFD rx. */ | ||
47 | int_status = qtest_readl(qts, can_base_addr + R_ISR_OFFSET) & ISR_RXOK; | ||
48 | @@ -XXX,XX +XXX,XX @@ static void read_data(QTestState *qts, uint64_t can_base_addr, uint32_t *buf_rx) | ||
49 | buf_rx[0] = qtest_readl(qts, can_base_addr + R_RX0_ID_OFFSET); | ||
50 | buf_rx[1] = qtest_readl(qts, can_base_addr + R_RX0_DLC_OFFSET); | ||
51 | |||
52 | - is_canfd_frame = (buf_rx[1] >> DLC_FD_BIT_SHIFT) & 1; | ||
53 | - | ||
54 | - if (is_canfd_frame) { | ||
55 | - for (int i = 0; i < CANFD_FRAME_SIZE - 2; i++) { | ||
56 | - buf_rx[i + 2] = qtest_readl(qts, | ||
57 | - can_base_addr + R_RX0_DATA1_OFFSET + 4 * i); | ||
58 | - } | ||
59 | - } else { | ||
60 | - buf_rx[2] = qtest_readl(qts, can_base_addr + R_RX0_DATA1_OFFSET); | ||
61 | - buf_rx[3] = qtest_readl(qts, can_base_addr + R_RX0_DATA2_OFFSET); | ||
62 | + for (int i = 0; i < frame_size - 2; i++) { | ||
63 | + buf_rx[i + 2] = qtest_readl(qts, | ||
64 | + can_base_addr + R_RX0_DATA1_OFFSET + 4 * i); | ||
65 | } | ||
66 | |||
67 | /* Clear the RX interrupt. */ | ||
68 | @@ -XXX,XX +XXX,XX @@ static void match_rx_tx_data(const uint32_t *buf_tx, const uint32_t *buf_rx, | ||
69 | g_assert_cmpint((buf_rx[size] & DLC_FD_BIT_MASK), ==, | ||
70 | (buf_tx[size] & DLC_FD_BIT_MASK)); | ||
71 | } else { | ||
72 | - if (!is_canfd_frame && size == 4) { | ||
73 | - break; | ||
74 | - } | ||
75 | - | ||
76 | g_assert_cmpint(buf_rx[size], ==, buf_tx[size]); | ||
77 | } | ||
78 | |||
79 | @@ -XXX,XX +XXX,XX @@ static void test_can_data_transfer(void) | ||
80 | write_data(qts, CANFD0_BASE_ADDR, buf_tx, false); | ||
81 | |||
82 | send_data(qts, CANFD0_BASE_ADDR); | ||
83 | - read_data(qts, CANFD1_BASE_ADDR, buf_rx); | ||
84 | + read_data(qts, CANFD1_BASE_ADDR, buf_rx, CAN_FRAME_SIZE); | ||
85 | match_rx_tx_data(buf_tx, buf_rx, false); | ||
86 | |||
87 | qtest_quit(qts); | ||
88 | @@ -XXX,XX +XXX,XX @@ static void test_canfd_data_transfer(void) | ||
89 | write_data(qts, CANFD0_BASE_ADDR, buf_tx, true); | ||
90 | |||
91 | send_data(qts, CANFD0_BASE_ADDR); | ||
92 | - read_data(qts, CANFD1_BASE_ADDR, buf_rx); | ||
93 | + read_data(qts, CANFD1_BASE_ADDR, buf_rx, CANFD_FRAME_SIZE); | ||
94 | match_rx_tx_data(buf_tx, buf_rx, true); | ||
95 | |||
96 | qtest_quit(qts); | ||
97 | @@ -XXX,XX +XXX,XX @@ static void test_can_loopback(void) | ||
98 | write_data(qts, CANFD0_BASE_ADDR, buf_tx, true); | ||
99 | |||
100 | send_data(qts, CANFD0_BASE_ADDR); | ||
101 | - read_data(qts, CANFD0_BASE_ADDR, buf_rx); | ||
102 | + read_data(qts, CANFD0_BASE_ADDR, buf_rx, CANFD_FRAME_SIZE); | ||
103 | match_rx_tx_data(buf_tx, buf_rx, true); | ||
104 | |||
105 | generate_random_data(buf_tx, true); | ||
106 | @@ -XXX,XX +XXX,XX @@ static void test_can_loopback(void) | ||
107 | write_data(qts, CANFD1_BASE_ADDR, buf_tx, true); | ||
108 | |||
109 | send_data(qts, CANFD1_BASE_ADDR); | ||
110 | - read_data(qts, CANFD1_BASE_ADDR, buf_rx); | ||
111 | + read_data(qts, CANFD1_BASE_ADDR, buf_rx, CANFD_FRAME_SIZE); | ||
112 | match_rx_tx_data(buf_tx, buf_rx, true); | ||
113 | |||
114 | qtest_quit(qts); | ||
115 | -- | ||
116 | 2.34.1 | diff view generated by jsdifflib |
New patch | |||
---|---|---|---|
1 | From: Fabiano Rosas <farosas@suse.de> | ||
1 | 2 | ||
3 | This code is only relevant when TCG is present in the build. Building | ||
4 | with --disable-tcg --enable-xen on an x86 host we get: | ||
5 | |||
6 | $ ../configure --target-list=x86_64-softmmu,aarch64-softmmu --disable-tcg --enable-xen | ||
7 | $ make -j$(nproc) | ||
8 | ... | ||
9 | libqemu-aarch64-softmmu.fa.p/target_arm_gdbstub.c.o: in function `m_sysreg_ptr': | ||
10 | ../target/arm/gdbstub.c:358: undefined reference to `arm_v7m_get_sp_ptr' | ||
11 | ../target/arm/gdbstub.c:361: undefined reference to `arm_v7m_get_sp_ptr' | ||
12 | |||
13 | libqemu-aarch64-softmmu.fa.p/target_arm_gdbstub.c.o: in function `arm_gdb_get_m_systemreg': | ||
14 | ../target/arm/gdbstub.c:405: undefined reference to `arm_v7m_mrs_control' | ||
15 | |||
16 | Signed-off-by: Fabiano Rosas <farosas@suse.de> | ||
17 | Message-id: 20230628164821.16771-1-farosas@suse.de | ||
18 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
19 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
20 | --- | ||
21 | target/arm/gdbstub.c | 4 ++++ | ||
22 | 1 file changed, 4 insertions(+) | ||
23 | |||
24 | diff --git a/target/arm/gdbstub.c b/target/arm/gdbstub.c | ||
25 | index XXXXXXX..XXXXXXX 100644 | ||
26 | --- a/target/arm/gdbstub.c | ||
27 | +++ b/target/arm/gdbstub.c | ||
28 | @@ -XXX,XX +XXX,XX @@ static int arm_gen_dynamic_sysreg_xml(CPUState *cs, int base_reg) | ||
29 | return cpu->dyn_sysreg_xml.num; | ||
30 | } | ||
31 | |||
32 | +#ifdef CONFIG_TCG | ||
33 | typedef enum { | ||
34 | M_SYSREG_MSP, | ||
35 | M_SYSREG_PSP, | ||
36 | @@ -XXX,XX +XXX,XX @@ static int arm_gen_dynamic_m_secextreg_xml(CPUState *cs, int orig_base_reg) | ||
37 | return cpu->dyn_m_secextreg_xml.num; | ||
38 | } | ||
39 | #endif | ||
40 | +#endif /* CONFIG_TCG */ | ||
41 | |||
42 | const char *arm_gdb_get_dynamic_xml(CPUState *cs, const char *xmlname) | ||
43 | { | ||
44 | @@ -XXX,XX +XXX,XX @@ void arm_cpu_register_gdb_regs_for_features(ARMCPU *cpu) | ||
45 | arm_gen_dynamic_sysreg_xml(cs, cs->gdb_num_regs), | ||
46 | "system-registers.xml", 0); | ||
47 | |||
48 | +#ifdef CONFIG_TCG | ||
49 | if (arm_feature(env, ARM_FEATURE_M) && tcg_enabled()) { | ||
50 | gdb_register_coprocessor(cs, | ||
51 | arm_gdb_get_m_systemreg, arm_gdb_set_m_systemreg, | ||
52 | @@ -XXX,XX +XXX,XX @@ void arm_cpu_register_gdb_regs_for_features(ARMCPU *cpu) | ||
53 | } | ||
54 | #endif | ||
55 | } | ||
56 | +#endif /* CONFIG_TCG */ | ||
57 | } | ||
58 | -- | ||
59 | 2.34.1 | diff view generated by jsdifflib |
1 | The imx_epit device has a software-controllable reset triggered by | 1 | From: Akihiko Odaki <akihiko.odaki@daynix.com> |
---|---|---|---|
2 | setting the SWR bit in the CR register. An error in commit cc2722ec83ad9 | ||
3 | means that we will end up assert()ing if the guest does this, because | ||
4 | the code in imx_epit_write() starts ptimer transactions, and then | ||
5 | imx_epit_reset() also starts ptimer transactions, triggering | ||
6 | "ptimer_transaction_begin: Assertion `!s->in_transaction' failed". | ||
7 | 2 | ||
8 | The cleanest way to avoid this double-transaction is to move the | 3 | AwSRAMCClass is larger than SysBusDeviceClass so the class size must be |
9 | start-transaction for the CR write handling down below the check of | 4 | advertised accordingly. |
10 | the SWR bit. | ||
11 | 5 | ||
12 | Fixes: https://bugs.launchpad.net/qemu/+bug/1880424 | 6 | Fixes: 05def917e1 ("hw: arm: allwinner-sramc: Add SRAM Controller support for R40") |
13 | Fixes: cc2722ec83ad944505fe | 7 | Signed-off-by: Akihiko Odaki <akihiko.odaki@daynix.com> |
8 | Reviewed-by: Philippe Mathieu-Daudé <philmd@linaro.org> | ||
9 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
10 | Message-id: 20230628110905.38125-1-akihiko.odaki@daynix.com | ||
14 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
15 | Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> | ||
16 | Message-id: 20200727154550.3409-1-peter.maydell@linaro.org | ||
17 | --- | 12 | --- |
18 | hw/timer/imx_epit.c | 13 ++++++++++--- | 13 | hw/misc/allwinner-sramc.c | 1 + |
19 | 1 file changed, 10 insertions(+), 3 deletions(-) | 14 | 1 file changed, 1 insertion(+) |
20 | 15 | ||
21 | diff --git a/hw/timer/imx_epit.c b/hw/timer/imx_epit.c | 16 | diff --git a/hw/misc/allwinner-sramc.c b/hw/misc/allwinner-sramc.c |
22 | index XXXXXXX..XXXXXXX 100644 | 17 | index XXXXXXX..XXXXXXX 100644 |
23 | --- a/hw/timer/imx_epit.c | 18 | --- a/hw/misc/allwinner-sramc.c |
24 | +++ b/hw/timer/imx_epit.c | 19 | +++ b/hw/misc/allwinner-sramc.c |
25 | @@ -XXX,XX +XXX,XX @@ static void imx_epit_write(void *opaque, hwaddr offset, uint64_t value, | 20 | @@ -XXX,XX +XXX,XX @@ static const TypeInfo allwinner_sramc_info = { |
26 | 21 | .parent = TYPE_SYS_BUS_DEVICE, | |
27 | switch (offset >> 2) { | 22 | .instance_init = allwinner_sramc_init, |
28 | case 0: /* CR */ | 23 | .instance_size = sizeof(AwSRAMCState), |
29 | - ptimer_transaction_begin(s->timer_cmp); | 24 | + .class_size = sizeof(AwSRAMCClass), |
30 | - ptimer_transaction_begin(s->timer_reload); | 25 | .class_init = allwinner_sramc_class_init, |
31 | 26 | }; | |
32 | oldcr = s->cr; | ||
33 | s->cr = value & 0x03ffffff; | ||
34 | if (s->cr & CR_SWR) { | ||
35 | /* handle the reset */ | ||
36 | imx_epit_reset(DEVICE(s)); | ||
37 | - } else { | ||
38 | + /* | ||
39 | + * TODO: could we 'break' here? following operations appear | ||
40 | + * to duplicate the work imx_epit_reset() already did. | ||
41 | + */ | ||
42 | + } | ||
43 | + | ||
44 | + ptimer_transaction_begin(s->timer_cmp); | ||
45 | + ptimer_transaction_begin(s->timer_reload); | ||
46 | + | ||
47 | + if (!(s->cr & CR_SWR)) { | ||
48 | imx_epit_set_freq(s); | ||
49 | } | ||
50 | 27 | ||
51 | -- | 28 | -- |
52 | 2.20.1 | 29 | 2.34.1 |
53 | 30 | ||
54 | 31 | diff view generated by jsdifflib |
1 | The nrf51 SoC model wasn't setting the system_clock_scale | 1 | In handle_interrupt() we use level as an index into the interrupt_vector[] |
---|---|---|---|
2 | global.which meant that if guest code used the systick timer in "use | 2 | array. This is safe because we have checked it against env->config->nlevel, |
3 | the processor clock" mode it would hang because time never advances. | 3 | but Coverity can't see that (and it is only true because each CPU config |
4 | sets its XCHAL_NUM_INTLEVELS to something less than MAX_NLEVELS), so it | ||
5 | complains about a possible array overrun (CID 1507131) | ||
4 | 6 | ||
5 | Set the global to match the documented CPU clock speed for this SoC. | 7 | Add an assert() which will make Coverity happy and catch the unlikely |
6 | 8 | case of a mis-set XCHAL_NUM_INTLEVELS in future. | |
7 | This SoC in fact doesn't have a SysTick timer (which is the only thing | ||
8 | currently that cares about the system_clock_scale), because it's | ||
9 | a configurable option in the Cortex-M0. However our Cortex-M0 and | ||
10 | thus our nrf51 and our micro:bit board do provide a SysTick, so | ||
11 | we ought to provide a functional one rather than a broken one. | ||
12 | 9 | ||
13 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 10 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
14 | Reviewed-by: Philippe Mathieu-Daudé <f4bug@amsat.org> | 11 | Acked-by: Max Filippov <jcmvbkbc@gmail.com> |
15 | Message-id: 20200727193458.31250-1-peter.maydell@linaro.org | 12 | Message-id: 20230623154135.1930261-1-peter.maydell@linaro.org |
16 | --- | 13 | --- |
17 | hw/arm/nrf51_soc.c | 5 +++++ | 14 | target/xtensa/exc_helper.c | 3 +++ |
18 | 1 file changed, 5 insertions(+) | 15 | 1 file changed, 3 insertions(+) |
19 | 16 | ||
20 | diff --git a/hw/arm/nrf51_soc.c b/hw/arm/nrf51_soc.c | 17 | diff --git a/target/xtensa/exc_helper.c b/target/xtensa/exc_helper.c |
21 | index XXXXXXX..XXXXXXX 100644 | 18 | index XXXXXXX..XXXXXXX 100644 |
22 | --- a/hw/arm/nrf51_soc.c | 19 | --- a/target/xtensa/exc_helper.c |
23 | +++ b/hw/arm/nrf51_soc.c | 20 | +++ b/target/xtensa/exc_helper.c |
24 | @@ -XXX,XX +XXX,XX @@ | 21 | @@ -XXX,XX +XXX,XX @@ static void handle_interrupt(CPUXtensaState *env) |
25 | 22 | CPUState *cs = env_cpu(env); | |
26 | #define BASE_TO_IRQ(base) ((base >> 12) & 0x1F) | 23 | |
27 | 24 | if (level > 1) { | |
28 | +/* HCLK (the main CPU clock) on this SoC is always 16MHz */ | 25 | + /* env->config->nlevel check should have ensured this */ |
29 | +#define HCLK_FRQ 16000000 | 26 | + assert(level < sizeof(env->config->interrupt_vector)); |
30 | + | 27 | + |
31 | static uint64_t clock_read(void *opaque, hwaddr addr, unsigned int size) | 28 | env->sregs[EPC1 + level - 1] = env->pc; |
32 | { | 29 | env->sregs[EPS2 + level - 2] = env->sregs[PS]; |
33 | qemu_log_mask(LOG_UNIMP, "%s: 0x%" HWADDR_PRIx " [%u]\n", | 30 | env->sregs[PS] = |
34 | @@ -XXX,XX +XXX,XX @@ static void nrf51_soc_realize(DeviceState *dev_soc, Error **errp) | ||
35 | return; | ||
36 | } | ||
37 | |||
38 | + system_clock_scale = NANOSECONDS_PER_SECOND / HCLK_FRQ; | ||
39 | + | ||
40 | object_property_set_link(OBJECT(&s->cpu), "memory", OBJECT(&s->container), | ||
41 | &error_abort); | ||
42 | if (!sysbus_realize(SYS_BUS_DEVICE(&s->cpu), errp)) { | ||
43 | -- | 31 | -- |
44 | 2.20.1 | 32 | 2.34.1 |
45 | |||
46 | diff view generated by jsdifflib |