1 | Latest arm queue, half minor code cleanups and half minor | 1 | arm pullreq for rc1. All minor bugfixes, except for the sve-default-vector-length |
---|---|---|---|
2 | bug fixes. | 2 | patches, which are somewhere between a bugfix and a new feature. |
3 | 3 | ||
4 | thanks | ||
4 | -- PMM | 5 | -- PMM |
5 | 6 | ||
6 | The following changes since commit 5d0e5694470d2952b4f257bc985cac8c89b4fd92: | 7 | The following changes since commit c08ccd1b53f488ac86c1f65cf7623dc91acc249a: |
7 | 8 | ||
8 | Merge remote-tracking branch 'remotes/mst/tags/for_upstream' into staging (2019-06-17 11:55:14 +0100) | 9 | Merge remote-tracking branch 'remotes/rth-gitlab/tags/pull-tcg-20210726' into staging (2021-07-27 08:35:01 +0100) |
9 | 10 | ||
10 | are available in the Git repository at: | 11 | are available in the Git repository at: |
11 | 12 | ||
12 | https://git.linaro.org/people/pmaydell/qemu-arm.git tags/pull-target-arm-20190617 | 13 | https://git.linaro.org/people/pmaydell/qemu-arm.git tags/pull-target-arm-20210727 |
13 | 14 | ||
14 | for you to fetch changes up to 1120827fa182f0e76226df7ffe7a86598d1df54f: | 15 | for you to fetch changes up to e229a179a503f2aee43a76888cf12fbdfe8a3749: |
15 | 16 | ||
16 | target/arm: Only implement doubles if the FPU supports them (2019-06-17 15:15:06 +0100) | 17 | hw: aspeed_gpio: Fix memory size (2021-07-27 11:00:00 +0100) |
17 | 18 | ||
18 | ---------------------------------------------------------------- | 19 | ---------------------------------------------------------------- |
19 | target-arm queue: | 20 | target-arm queue: |
20 | * support large kernel images in bootloader (by avoiding | 21 | * hw/arm/smmuv3: Check 31st bit to see if CD is valid |
21 | putting the initrd over the top of them) | 22 | * qemu-options.hx: Fix formatting of -machine memory-backend option |
22 | * correctly disable FPU/DSP in the CPU for the mps2-an521, musca-a boards | 23 | * hw: aspeed_gpio: Fix memory size |
23 | * arm_gicv3: Fix decoding of ID register range | 24 | * hw/arm/nseries: Display hexadecimal value with '0x' prefix |
24 | * arm_gicv3: GICD_TYPER.SecurityExtn is RAZ if GICD_CTLR.DS == 1 | 25 | * Add sve-default-vector-length cpu property |
25 | * some code cleanups following on from the VFP decodetree conversion | 26 | * docs: Update path that mentions deprecated.rst |
26 | * Only implement doubles if the FPU supports them | 27 | * hw/intc/armv7m_nvic: for v8.1M VECTPENDING hides S exceptions from NS |
27 | (so we now correctly model Cortex-M4, -M33 as single precision only) | 28 | * hw/intc/armv7m_nvic: Correct size of ICSR.VECTPENDING |
29 | * hw/intc/armv7m_nvic: ISCR.ISRPENDING is set for non-enabled pending interrupts | ||
30 | * target/arm: Report M-profile alignment faults correctly to the guest | ||
31 | * target/arm: Add missing 'return's after calling v7m_exception_taken() | ||
32 | * target/arm: Enforce that M-profile SP low 2 bits are always zero | ||
28 | 33 | ||
29 | ---------------------------------------------------------------- | 34 | ---------------------------------------------------------------- |
30 | Peter Maydell (24): | 35 | Joe Komlodi (1): |
31 | hw/arm/boot: Don't assume RAM starts at address zero | 36 | hw/arm/smmuv3: Check 31st bit to see if CD is valid |
32 | hw/arm/boot: Diagnose layouts that put initrd or DTB off the end of RAM | ||
33 | hw/arm/boot: Avoid placing the initrd on top of the kernel | ||
34 | hw/arm/boot: Honour image size field in AArch64 Image format kernels | ||
35 | target/arm: Allow VFP and Neon to be disabled via a CPU property | ||
36 | target/arm: Allow M-profile CPUs to disable the DSP extension via CPU property | ||
37 | hw/arm/armv7m: Forward "vfp" and "dsp" properties to CPU | ||
38 | hw/arm: Correctly disable FPU/DSP for some ARMSSE-based boards | ||
39 | hw/intc/arm_gicv3: Fix decoding of ID register range | ||
40 | hw/intc/arm_gicv3: GICD_TYPER.SecurityExtn is RAZ if GICD_CTLR.DS == 1 | ||
41 | target/arm: Move vfp_expand_imm() to translate.[ch] | ||
42 | target/arm: Use vfp_expand_imm() for AArch32 VFP VMOV_imm | ||
43 | target/arm: Stop using cpu_F0s for NEON_2RM_VABS_F | ||
44 | target/arm: Stop using cpu_F0s for NEON_2RM_VNEG_F | ||
45 | target/arm: Stop using cpu_F0s for NEON_2RM_VRINT* | ||
46 | target/arm: Stop using cpu_F0s for NEON_2RM_VCVT[ANPM][US] | ||
47 | target/arm: Stop using cpu_F0s for NEON_2RM_VRECPE_F and NEON_2RM_VRSQRTE_F | ||
48 | target/arm: Stop using cpu_F0s for Neon f32/s32 VCVT | ||
49 | target/arm: Stop using cpu_F0s in Neon VCVT fixed-point ops | ||
50 | target/arm: stop using deprecated functions in NEON_2RM_VCVT_F16_F32 | ||
51 | target/arm: Stop using deprecated functions in NEON_2RM_VCVT_F32_F16 | ||
52 | target/arm: Remove unused cpu_F0s, cpu_F0d, cpu_F1s, cpu_F1d | ||
53 | target/arm: Fix typos in trans function prototypes | ||
54 | target/arm: Only implement doubles if the FPU supports them | ||
55 | 37 | ||
56 | include/hw/arm/armsse.h | 7 ++ | 38 | Joel Stanley (1): |
57 | include/hw/arm/armv7m.h | 4 + | 39 | hw: aspeed_gpio: Fix memory size |
58 | target/arm/cpu.h | 12 +++ | ||
59 | target/arm/translate-a64.h | 1 - | ||
60 | target/arm/translate.h | 7 ++ | ||
61 | hw/arm/armsse.c | 58 +++++++--- | ||
62 | hw/arm/armv7m.c | 18 ++++ | ||
63 | hw/arm/boot.c | 83 ++++++++++---- | ||
64 | hw/arm/musca.c | 8 ++ | ||
65 | hw/intc/arm_gicv3_dist.c | 12 ++- | ||
66 | hw/intc/arm_gicv3_redist.c | 4 +- | ||
67 | target/arm/cpu.c | 179 ++++++++++++++++++++++++++++-- | ||
68 | target/arm/translate-a64.c | 32 ------ | ||
69 | target/arm/translate-vfp.inc.c | 173 ++++++++++++++++++++++------- | ||
70 | target/arm/translate.c | 240 ++++++++++++++--------------------------- | ||
71 | target/arm/vfp.decode | 10 +- | ||
72 | 16 files changed, 572 insertions(+), 276 deletions(-) | ||
73 | 40 | ||
41 | Mao Zhongyi (1): | ||
42 | docs: Update path that mentions deprecated.rst | ||
43 | |||
44 | Peter Maydell (7): | ||
45 | qemu-options.hx: Fix formatting of -machine memory-backend option | ||
46 | target/arm: Enforce that M-profile SP low 2 bits are always zero | ||
47 | target/arm: Add missing 'return's after calling v7m_exception_taken() | ||
48 | target/arm: Report M-profile alignment faults correctly to the guest | ||
49 | hw/intc/armv7m_nvic: ISCR.ISRPENDING is set for non-enabled pending interrupts | ||
50 | hw/intc/armv7m_nvic: Correct size of ICSR.VECTPENDING | ||
51 | hw/intc/armv7m_nvic: for v8.1M VECTPENDING hides S exceptions from NS | ||
52 | |||
53 | Philippe Mathieu-Daudé (1): | ||
54 | hw/arm/nseries: Display hexadecimal value with '0x' prefix | ||
55 | |||
56 | Richard Henderson (3): | ||
57 | target/arm: Correctly bound length in sve_zcr_get_valid_len | ||
58 | target/arm: Export aarch64_sve_zcr_get_valid_len | ||
59 | target/arm: Add sve-default-vector-length cpu property | ||
60 | |||
61 | docs/system/arm/cpu-features.rst | 15 ++++++++++ | ||
62 | configure | 2 +- | ||
63 | hw/arm/smmuv3-internal.h | 2 +- | ||
64 | target/arm/cpu.h | 5 ++++ | ||
65 | target/arm/internals.h | 10 +++++++ | ||
66 | hw/arm/nseries.c | 2 +- | ||
67 | hw/gpio/aspeed_gpio.c | 3 +- | ||
68 | hw/intc/armv7m_nvic.c | 40 +++++++++++++++++++-------- | ||
69 | target/arm/cpu.c | 14 ++++++++-- | ||
70 | target/arm/cpu64.c | 60 ++++++++++++++++++++++++++++++++++++++++ | ||
71 | target/arm/gdbstub.c | 4 +++ | ||
72 | target/arm/helper.c | 8 ++++-- | ||
73 | target/arm/m_helper.c | 24 ++++++++++++---- | ||
74 | target/arm/translate.c | 3 ++ | ||
75 | target/i386/cpu.c | 2 +- | ||
76 | MAINTAINERS | 2 +- | ||
77 | qemu-options.hx | 30 +++++++++++--------- | ||
78 | 17 files changed, 183 insertions(+), 43 deletions(-) | ||
79 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | In the Arm kernel/initrd loading code, in some places we make the | ||
2 | incorrect assumption that info->ram_size can be treated as the | ||
3 | address of the end of RAM, as for instance when we calculate the | ||
4 | available space for the initrd using "info->ram_size - info->initrd_start". | ||
5 | This is wrong, because many Arm boards (including "virt") specify | ||
6 | a non-zero info->loader_start to indicate that their RAM area | ||
7 | starts at a non-zero physical address. | ||
8 | 1 | ||
9 | Correct the places which make this incorrect assumption. | ||
10 | |||
11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
12 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
13 | Tested-by: Mark Rutland <mark.rutland@arm.com> | ||
14 | Message-id: 20190516144733.32399-2-peter.maydell@linaro.org | ||
15 | --- | ||
16 | hw/arm/boot.c | 9 ++++----- | ||
17 | 1 file changed, 4 insertions(+), 5 deletions(-) | ||
18 | |||
19 | diff --git a/hw/arm/boot.c b/hw/arm/boot.c | ||
20 | index XXXXXXX..XXXXXXX 100644 | ||
21 | --- a/hw/arm/boot.c | ||
22 | +++ b/hw/arm/boot.c | ||
23 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
24 | int elf_machine; | ||
25 | hwaddr entry; | ||
26 | static const ARMInsnFixup *primary_loader; | ||
27 | + uint64_t ram_end = info->loader_start + info->ram_size; | ||
28 | |||
29 | if (arm_feature(&cpu->env, ARM_FEATURE_AARCH64)) { | ||
30 | primary_loader = bootloader_aarch64; | ||
31 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
32 | /* 32-bit ARM */ | ||
33 | entry = info->loader_start + KERNEL_LOAD_ADDR; | ||
34 | kernel_size = load_image_targphys_as(info->kernel_filename, entry, | ||
35 | - info->ram_size - KERNEL_LOAD_ADDR, | ||
36 | - as); | ||
37 | + ram_end - KERNEL_LOAD_ADDR, as); | ||
38 | is_linux = 1; | ||
39 | } | ||
40 | if (kernel_size < 0) { | ||
41 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
42 | if (info->initrd_filename) { | ||
43 | initrd_size = load_ramdisk_as(info->initrd_filename, | ||
44 | info->initrd_start, | ||
45 | - info->ram_size - info->initrd_start, | ||
46 | - as); | ||
47 | + ram_end - info->initrd_start, as); | ||
48 | if (initrd_size < 0) { | ||
49 | initrd_size = load_image_targphys_as(info->initrd_filename, | ||
50 | info->initrd_start, | ||
51 | - info->ram_size - | ||
52 | + ram_end - | ||
53 | info->initrd_start, | ||
54 | as); | ||
55 | } | ||
56 | -- | ||
57 | 2.20.1 | ||
58 | |||
59 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | We calculate the locations in memory where we want to put the | ||
2 | initrd and the DTB based on the size of the kernel, since they | ||
3 | come after it. Add some explicit checks that these aren't off the | ||
4 | end of RAM entirely. | ||
5 | 1 | ||
6 | (At the moment the way we calculate the initrd_start means that | ||
7 | it can't ever be off the end of RAM, but that will change with | ||
8 | the next commit.) | ||
9 | |||
10 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
11 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
12 | Tested-by: Mark Rutland <mark.rutland@arm.com> | ||
13 | Message-id: 20190516144733.32399-3-peter.maydell@linaro.org | ||
14 | --- | ||
15 | hw/arm/boot.c | 23 +++++++++++++++++++++++ | ||
16 | 1 file changed, 23 insertions(+) | ||
17 | |||
18 | diff --git a/hw/arm/boot.c b/hw/arm/boot.c | ||
19 | index XXXXXXX..XXXXXXX 100644 | ||
20 | --- a/hw/arm/boot.c | ||
21 | +++ b/hw/arm/boot.c | ||
22 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
23 | error_report("could not load kernel '%s'", info->kernel_filename); | ||
24 | exit(1); | ||
25 | } | ||
26 | + | ||
27 | + if (kernel_size > info->ram_size) { | ||
28 | + error_report("kernel '%s' is too large to fit in RAM " | ||
29 | + "(kernel size %d, RAM size %" PRId64 ")", | ||
30 | + info->kernel_filename, kernel_size, info->ram_size); | ||
31 | + exit(1); | ||
32 | + } | ||
33 | + | ||
34 | info->entry = entry; | ||
35 | if (is_linux) { | ||
36 | uint32_t fixupcontext[FIXUP_MAX]; | ||
37 | |||
38 | if (info->initrd_filename) { | ||
39 | + | ||
40 | + if (info->initrd_start >= ram_end) { | ||
41 | + error_report("not enough space after kernel to load initrd"); | ||
42 | + exit(1); | ||
43 | + } | ||
44 | + | ||
45 | initrd_size = load_ramdisk_as(info->initrd_filename, | ||
46 | info->initrd_start, | ||
47 | ram_end - info->initrd_start, as); | ||
48 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
49 | info->initrd_filename); | ||
50 | exit(1); | ||
51 | } | ||
52 | + if (info->initrd_start + initrd_size > info->ram_size) { | ||
53 | + error_report("could not load initrd '%s': " | ||
54 | + "too big to fit into RAM after the kernel", | ||
55 | + info->initrd_filename); | ||
56 | + } | ||
57 | } else { | ||
58 | initrd_size = 0; | ||
59 | } | ||
60 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
61 | /* Place the DTB after the initrd in memory with alignment. */ | ||
62 | info->dtb_start = QEMU_ALIGN_UP(info->initrd_start + initrd_size, | ||
63 | align); | ||
64 | + if (info->dtb_start >= ram_end) { | ||
65 | + error_report("Not enough space for DTB after kernel/initrd"); | ||
66 | + exit(1); | ||
67 | + } | ||
68 | fixupcontext[FIXUP_ARGPTR_LO] = info->dtb_start; | ||
69 | fixupcontext[FIXUP_ARGPTR_HI] = info->dtb_start >> 32; | ||
70 | } else { | ||
71 | -- | ||
72 | 2.20.1 | ||
73 | |||
74 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | We currently put the initrd at the smaller of: | ||
2 | * 128MB into RAM | ||
3 | * halfway into the RAM | ||
4 | (with the dtb following it). | ||
5 | 1 | ||
6 | However for large kernels this might mean that the kernel | ||
7 | overlaps the initrd. For some kinds of kernel (self-decompressing | ||
8 | 32-bit kernels, and ELF images with a BSS section at the end) | ||
9 | we don't know the exact size, but even there we have a | ||
10 | minimum size. Put the initrd at least further into RAM than | ||
11 | that. For image formats that can give us an exact kernel size, this | ||
12 | will mean that we definitely avoid overlaying kernel and initrd. | ||
13 | |||
14 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
15 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
16 | Tested-by: Mark Rutland <mark.rutland@arm.com> | ||
17 | Message-id: 20190516144733.32399-4-peter.maydell@linaro.org | ||
18 | --- | ||
19 | hw/arm/boot.c | 34 ++++++++++++++++++++-------------- | ||
20 | 1 file changed, 20 insertions(+), 14 deletions(-) | ||
21 | |||
22 | diff --git a/hw/arm/boot.c b/hw/arm/boot.c | ||
23 | index XXXXXXX..XXXXXXX 100644 | ||
24 | --- a/hw/arm/boot.c | ||
25 | +++ b/hw/arm/boot.c | ||
26 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
27 | if (info->nb_cpus == 0) | ||
28 | info->nb_cpus = 1; | ||
29 | |||
30 | - /* | ||
31 | - * We want to put the initrd far enough into RAM that when the | ||
32 | - * kernel is uncompressed it will not clobber the initrd. However | ||
33 | - * on boards without much RAM we must ensure that we still leave | ||
34 | - * enough room for a decent sized initrd, and on boards with large | ||
35 | - * amounts of RAM we must avoid the initrd being so far up in RAM | ||
36 | - * that it is outside lowmem and inaccessible to the kernel. | ||
37 | - * So for boards with less than 256MB of RAM we put the initrd | ||
38 | - * halfway into RAM, and for boards with 256MB of RAM or more we put | ||
39 | - * the initrd at 128MB. | ||
40 | - */ | ||
41 | - info->initrd_start = info->loader_start + | ||
42 | - MIN(info->ram_size / 2, 128 * 1024 * 1024); | ||
43 | - | ||
44 | /* Assume that raw images are linux kernels, and ELF images are not. */ | ||
45 | kernel_size = arm_load_elf(info, &elf_entry, &elf_low_addr, | ||
46 | &elf_high_addr, elf_machine, as); | ||
47 | @@ -XXX,XX +XXX,XX @@ static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | ||
48 | } | ||
49 | |||
50 | info->entry = entry; | ||
51 | + | ||
52 | + /* | ||
53 | + * We want to put the initrd far enough into RAM that when the | ||
54 | + * kernel is uncompressed it will not clobber the initrd. However | ||
55 | + * on boards without much RAM we must ensure that we still leave | ||
56 | + * enough room for a decent sized initrd, and on boards with large | ||
57 | + * amounts of RAM we must avoid the initrd being so far up in RAM | ||
58 | + * that it is outside lowmem and inaccessible to the kernel. | ||
59 | + * So for boards with less than 256MB of RAM we put the initrd | ||
60 | + * halfway into RAM, and for boards with 256MB of RAM or more we put | ||
61 | + * the initrd at 128MB. | ||
62 | + * We also refuse to put the initrd somewhere that will definitely | ||
63 | + * overlay the kernel we just loaded, though for kernel formats which | ||
64 | + * don't tell us their exact size (eg self-decompressing 32-bit kernels) | ||
65 | + * we might still make a bad choice here. | ||
66 | + */ | ||
67 | + info->initrd_start = info->loader_start + | ||
68 | + MAX(MIN(info->ram_size / 2, 128 * 1024 * 1024), kernel_size); | ||
69 | + info->initrd_start = TARGET_PAGE_ALIGN(info->initrd_start); | ||
70 | + | ||
71 | if (is_linux) { | ||
72 | uint32_t fixupcontext[FIXUP_MAX]; | ||
73 | |||
74 | -- | ||
75 | 2.20.1 | ||
76 | |||
77 | diff view generated by jsdifflib |
1 | In several places cut and paste errors meant we were using the wrong | 1 | From: Joe Komlodi <joe.komlodi@xilinx.com> |
---|---|---|---|
2 | type for the 'arg' struct in trans_ functions called by the | ||
3 | decodetree decoder, because we were using the _sp version of the | ||
4 | struct in the _dp function. These were harmless, because the two | ||
5 | structs were identical and so decodetree made them typedefs of the | ||
6 | same underlying structure (and we'd have had a compile error if they | ||
7 | were not harmless), but we should clean them up anyway. | ||
8 | 2 | ||
3 | The bit to see if a CD is valid is the last bit of the first word of the CD. | ||
4 | |||
5 | Signed-off-by: Joe Komlodi <joe.komlodi@xilinx.com> | ||
6 | Message-id: 1626728232-134665-2-git-send-email-joe.komlodi@xilinx.com | ||
7 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
9 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 8 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
10 | Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
11 | Message-id: 20190614104457.24703-2-peter.maydell@linaro.org | ||
12 | --- | 9 | --- |
13 | target/arm/translate-vfp.inc.c | 28 ++++++++++++++-------------- | 10 | hw/arm/smmuv3-internal.h | 2 +- |
14 | 1 file changed, 14 insertions(+), 14 deletions(-) | 11 | 1 file changed, 1 insertion(+), 1 deletion(-) |
15 | 12 | ||
16 | diff --git a/target/arm/translate-vfp.inc.c b/target/arm/translate-vfp.inc.c | 13 | diff --git a/hw/arm/smmuv3-internal.h b/hw/arm/smmuv3-internal.h |
17 | index XXXXXXX..XXXXXXX 100644 | 14 | index XXXXXXX..XXXXXXX 100644 |
18 | --- a/target/arm/translate-vfp.inc.c | 15 | --- a/hw/arm/smmuv3-internal.h |
19 | +++ b/target/arm/translate-vfp.inc.c | 16 | +++ b/hw/arm/smmuv3-internal.h |
20 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMOV_64_sp(DisasContext *s, arg_VMOV_64_sp *a) | 17 | @@ -XXX,XX +XXX,XX @@ static inline int pa_range(STE *ste) |
21 | return true; | 18 | |
22 | } | 19 | /* CD fields */ |
23 | 20 | ||
24 | -static bool trans_VMOV_64_dp(DisasContext *s, arg_VMOV_64_sp *a) | 21 | -#define CD_VALID(x) extract32((x)->word[0], 30, 1) |
25 | +static bool trans_VMOV_64_dp(DisasContext *s, arg_VMOV_64_dp *a) | 22 | +#define CD_VALID(x) extract32((x)->word[0], 31, 1) |
26 | { | 23 | #define CD_ASID(x) extract32((x)->word[1], 16, 16) |
27 | TCGv_i32 tmp; | 24 | #define CD_TTB(x, sel) \ |
28 | 25 | ({ \ | |
29 | @@ -XXX,XX +XXX,XX @@ static bool trans_VLDR_VSTR_sp(DisasContext *s, arg_VLDR_VSTR_sp *a) | ||
30 | return true; | ||
31 | } | ||
32 | |||
33 | -static bool trans_VLDR_VSTR_dp(DisasContext *s, arg_VLDR_VSTR_sp *a) | ||
34 | +static bool trans_VLDR_VSTR_dp(DisasContext *s, arg_VLDR_VSTR_dp *a) | ||
35 | { | ||
36 | uint32_t offset; | ||
37 | TCGv_i32 addr; | ||
38 | @@ -XXX,XX +XXX,XX @@ static void gen_VMLA_dp(TCGv_i64 vd, TCGv_i64 vn, TCGv_i64 vm, TCGv_ptr fpst) | ||
39 | tcg_temp_free_i64(tmp); | ||
40 | } | ||
41 | |||
42 | -static bool trans_VMLA_dp(DisasContext *s, arg_VMLA_sp *a) | ||
43 | +static bool trans_VMLA_dp(DisasContext *s, arg_VMLA_dp *a) | ||
44 | { | ||
45 | return do_vfp_3op_dp(s, gen_VMLA_dp, a->vd, a->vn, a->vm, true); | ||
46 | } | ||
47 | @@ -XXX,XX +XXX,XX @@ static void gen_VMLS_dp(TCGv_i64 vd, TCGv_i64 vn, TCGv_i64 vm, TCGv_ptr fpst) | ||
48 | tcg_temp_free_i64(tmp); | ||
49 | } | ||
50 | |||
51 | -static bool trans_VMLS_dp(DisasContext *s, arg_VMLS_sp *a) | ||
52 | +static bool trans_VMLS_dp(DisasContext *s, arg_VMLS_dp *a) | ||
53 | { | ||
54 | return do_vfp_3op_dp(s, gen_VMLS_dp, a->vd, a->vn, a->vm, true); | ||
55 | } | ||
56 | @@ -XXX,XX +XXX,XX @@ static void gen_VNMLS_dp(TCGv_i64 vd, TCGv_i64 vn, TCGv_i64 vm, TCGv_ptr fpst) | ||
57 | tcg_temp_free_i64(tmp); | ||
58 | } | ||
59 | |||
60 | -static bool trans_VNMLS_dp(DisasContext *s, arg_VNMLS_sp *a) | ||
61 | +static bool trans_VNMLS_dp(DisasContext *s, arg_VNMLS_dp *a) | ||
62 | { | ||
63 | return do_vfp_3op_dp(s, gen_VNMLS_dp, a->vd, a->vn, a->vm, true); | ||
64 | } | ||
65 | @@ -XXX,XX +XXX,XX @@ static void gen_VNMLA_dp(TCGv_i64 vd, TCGv_i64 vn, TCGv_i64 vm, TCGv_ptr fpst) | ||
66 | tcg_temp_free_i64(tmp); | ||
67 | } | ||
68 | |||
69 | -static bool trans_VNMLA_dp(DisasContext *s, arg_VNMLA_sp *a) | ||
70 | +static bool trans_VNMLA_dp(DisasContext *s, arg_VNMLA_dp *a) | ||
71 | { | ||
72 | return do_vfp_3op_dp(s, gen_VNMLA_dp, a->vd, a->vn, a->vm, true); | ||
73 | } | ||
74 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMUL_sp(DisasContext *s, arg_VMUL_sp *a) | ||
75 | return do_vfp_3op_sp(s, gen_helper_vfp_muls, a->vd, a->vn, a->vm, false); | ||
76 | } | ||
77 | |||
78 | -static bool trans_VMUL_dp(DisasContext *s, arg_VMUL_sp *a) | ||
79 | +static bool trans_VMUL_dp(DisasContext *s, arg_VMUL_dp *a) | ||
80 | { | ||
81 | return do_vfp_3op_dp(s, gen_helper_vfp_muld, a->vd, a->vn, a->vm, false); | ||
82 | } | ||
83 | @@ -XXX,XX +XXX,XX @@ static void gen_VNMUL_dp(TCGv_i64 vd, TCGv_i64 vn, TCGv_i64 vm, TCGv_ptr fpst) | ||
84 | gen_helper_vfp_negd(vd, vd); | ||
85 | } | ||
86 | |||
87 | -static bool trans_VNMUL_dp(DisasContext *s, arg_VNMUL_sp *a) | ||
88 | +static bool trans_VNMUL_dp(DisasContext *s, arg_VNMUL_dp *a) | ||
89 | { | ||
90 | return do_vfp_3op_dp(s, gen_VNMUL_dp, a->vd, a->vn, a->vm, false); | ||
91 | } | ||
92 | @@ -XXX,XX +XXX,XX @@ static bool trans_VADD_sp(DisasContext *s, arg_VADD_sp *a) | ||
93 | return do_vfp_3op_sp(s, gen_helper_vfp_adds, a->vd, a->vn, a->vm, false); | ||
94 | } | ||
95 | |||
96 | -static bool trans_VADD_dp(DisasContext *s, arg_VADD_sp *a) | ||
97 | +static bool trans_VADD_dp(DisasContext *s, arg_VADD_dp *a) | ||
98 | { | ||
99 | return do_vfp_3op_dp(s, gen_helper_vfp_addd, a->vd, a->vn, a->vm, false); | ||
100 | } | ||
101 | @@ -XXX,XX +XXX,XX @@ static bool trans_VSUB_sp(DisasContext *s, arg_VSUB_sp *a) | ||
102 | return do_vfp_3op_sp(s, gen_helper_vfp_subs, a->vd, a->vn, a->vm, false); | ||
103 | } | ||
104 | |||
105 | -static bool trans_VSUB_dp(DisasContext *s, arg_VSUB_sp *a) | ||
106 | +static bool trans_VSUB_dp(DisasContext *s, arg_VSUB_dp *a) | ||
107 | { | ||
108 | return do_vfp_3op_dp(s, gen_helper_vfp_subd, a->vd, a->vn, a->vm, false); | ||
109 | } | ||
110 | @@ -XXX,XX +XXX,XX @@ static bool trans_VDIV_sp(DisasContext *s, arg_VDIV_sp *a) | ||
111 | return do_vfp_3op_sp(s, gen_helper_vfp_divs, a->vd, a->vn, a->vm, false); | ||
112 | } | ||
113 | |||
114 | -static bool trans_VDIV_dp(DisasContext *s, arg_VDIV_sp *a) | ||
115 | +static bool trans_VDIV_dp(DisasContext *s, arg_VDIV_dp *a) | ||
116 | { | ||
117 | return do_vfp_3op_dp(s, gen_helper_vfp_divd, a->vd, a->vn, a->vm, false); | ||
118 | } | ||
119 | @@ -XXX,XX +XXX,XX @@ static bool trans_VFM_sp(DisasContext *s, arg_VFM_sp *a) | ||
120 | return true; | ||
121 | } | ||
122 | |||
123 | -static bool trans_VFM_dp(DisasContext *s, arg_VFM_sp *a) | ||
124 | +static bool trans_VFM_dp(DisasContext *s, arg_VFM_dp *a) | ||
125 | { | ||
126 | /* | ||
127 | * VFNMA : fd = muladd(-fd, fn, fm) | ||
128 | @@ -XXX,XX +XXX,XX @@ static bool trans_VRINTR_sp(DisasContext *s, arg_VRINTR_sp *a) | ||
129 | return true; | ||
130 | } | ||
131 | |||
132 | -static bool trans_VRINTR_dp(DisasContext *s, arg_VRINTR_sp *a) | ||
133 | +static bool trans_VRINTR_dp(DisasContext *s, arg_VRINTR_dp *a) | ||
134 | { | ||
135 | TCGv_ptr fpst; | ||
136 | TCGv_i64 tmp; | ||
137 | @@ -XXX,XX +XXX,XX @@ static bool trans_VRINTZ_sp(DisasContext *s, arg_VRINTZ_sp *a) | ||
138 | return true; | ||
139 | } | ||
140 | |||
141 | -static bool trans_VRINTZ_dp(DisasContext *s, arg_VRINTZ_sp *a) | ||
142 | +static bool trans_VRINTZ_dp(DisasContext *s, arg_VRINTZ_dp *a) | ||
143 | { | ||
144 | TCGv_ptr fpst; | ||
145 | TCGv_i64 tmp; | ||
146 | -- | 26 | -- |
147 | 2.20.1 | 27 | 2.20.1 |
148 | 28 | ||
149 | 29 | diff view generated by jsdifflib |
1 | Remove some old constructns from NEON_2RM_VCVT_F16_F32 code: | 1 | The documentation of the -machine memory-backend has some minor |
---|---|---|---|
2 | * don't use CPU_F0s | 2 | formatting errors: |
3 | * don't use tcg_gen_st_f32 | 3 | * Misindentation of the initial line meant that the whole option |
4 | section is incorrectly indented in the HTML output compared to | ||
5 | the other -machine options | ||
6 | * The examples weren't indented, which meant that they were formatted | ||
7 | as plain run-on text including outputting the "::" as text. | ||
8 | * The a) b) list has no rst-format markup so it is rendered as | ||
9 | a single run-on paragraph | ||
10 | |||
11 | Fix the formatting. | ||
4 | 12 | ||
5 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 13 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
6 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 14 | Reviewed-by: Igor Mammedov <imammedo@redhat.com> |
7 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | 15 | Message-id: 20210719105257.3599-1-peter.maydell@linaro.org |
8 | Message-id: 20190613163917.28589-12-peter.maydell@linaro.org | ||
9 | --- | 16 | --- |
10 | target/arm/translate.c | 26 +++++++++++--------------- | 17 | qemu-options.hx | 30 +++++++++++++++++------------- |
11 | 1 file changed, 11 insertions(+), 15 deletions(-) | 18 | 1 file changed, 17 insertions(+), 13 deletions(-) |
12 | 19 | ||
13 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 20 | diff --git a/qemu-options.hx b/qemu-options.hx |
14 | index XXXXXXX..XXXXXXX 100644 | 21 | index XXXXXXX..XXXXXXX 100644 |
15 | --- a/target/arm/translate.c | 22 | --- a/qemu-options.hx |
16 | +++ b/target/arm/translate.c | 23 | +++ b/qemu-options.hx |
17 | @@ -XXX,XX +XXX,XX @@ static TCGv_ptr vfp_reg_ptr(bool dp, int reg) | 24 | @@ -XXX,XX +XXX,XX @@ SRST |
18 | return ret; | 25 | Enables or disables ACPI Heterogeneous Memory Attribute Table |
19 | } | 26 | (HMAT) support. The default is off. |
20 | 27 | ||
21 | -#define tcg_gen_st_f32 tcg_gen_st_i32 | 28 | - ``memory-backend='id'`` |
22 | - | 29 | + ``memory-backend='id'`` |
23 | #define ARM_CP_RW_BIT (1 << 20) | 30 | An alternative to legacy ``-mem-path`` and ``mem-prealloc`` options. |
24 | 31 | Allows to use a memory backend as main RAM. | |
25 | /* Include the VFP decoder */ | 32 | |
26 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | 33 | For example: |
27 | tmp = neon_load_reg(rm, 0); | 34 | :: |
28 | tmp2 = neon_load_reg(rm, 1); | 35 | - -object memory-backend-file,id=pc.ram,size=512M,mem-path=/hugetlbfs,prealloc=on,share=on |
29 | tcg_gen_ext16u_i32(tmp3, tmp); | 36 | - -machine memory-backend=pc.ram |
30 | - gen_helper_vfp_fcvt_f16_to_f32(cpu_F0s, tmp3, fpst, ahp); | 37 | - -m 512M |
31 | - tcg_gen_st_f32(cpu_F0s, cpu_env, neon_reg_offset(rd, 0)); | 38 | + |
32 | - tcg_gen_shri_i32(tmp3, tmp, 16); | 39 | + -object memory-backend-file,id=pc.ram,size=512M,mem-path=/hugetlbfs,prealloc=on,share=on |
33 | - gen_helper_vfp_fcvt_f16_to_f32(cpu_F0s, tmp3, fpst, ahp); | 40 | + -machine memory-backend=pc.ram |
34 | - tcg_gen_st_f32(cpu_F0s, cpu_env, neon_reg_offset(rd, 1)); | 41 | + -m 512M |
35 | - tcg_temp_free_i32(tmp); | 42 | |
36 | + gen_helper_vfp_fcvt_f16_to_f32(tmp3, tmp3, fpst, ahp); | 43 | Migration compatibility note: |
37 | + neon_store_reg(rd, 0, tmp3); | 44 | - a) as backend id one shall use value of 'default-ram-id', advertised by |
38 | + tcg_gen_shri_i32(tmp, tmp, 16); | 45 | - machine type (available via ``query-machines`` QMP command), if migration |
39 | + gen_helper_vfp_fcvt_f16_to_f32(tmp, tmp, fpst, ahp); | 46 | - to/from old QEMU (<5.0) is expected. |
40 | + neon_store_reg(rd, 1, tmp); | 47 | - b) for machine types 4.0 and older, user shall |
41 | + tmp3 = tcg_temp_new_i32(); | 48 | - use ``x-use-canonical-path-for-ramblock-id=off`` backend option |
42 | tcg_gen_ext16u_i32(tmp3, tmp2); | 49 | - if migration to/from old QEMU (<5.0) is expected. |
43 | - gen_helper_vfp_fcvt_f16_to_f32(cpu_F0s, tmp3, fpst, ahp); | 50 | + |
44 | - tcg_gen_st_f32(cpu_F0s, cpu_env, neon_reg_offset(rd, 2)); | 51 | + * as backend id one shall use value of 'default-ram-id', advertised by |
45 | - tcg_gen_shri_i32(tmp3, tmp2, 16); | 52 | + machine type (available via ``query-machines`` QMP command), if migration |
46 | - gen_helper_vfp_fcvt_f16_to_f32(cpu_F0s, tmp3, fpst, ahp); | 53 | + to/from old QEMU (<5.0) is expected. |
47 | - tcg_gen_st_f32(cpu_F0s, cpu_env, neon_reg_offset(rd, 3)); | 54 | + * for machine types 4.0 and older, user shall |
48 | - tcg_temp_free_i32(tmp2); | 55 | + use ``x-use-canonical-path-for-ramblock-id=off`` backend option |
49 | - tcg_temp_free_i32(tmp3); | 56 | + if migration to/from old QEMU (<5.0) is expected. |
50 | + gen_helper_vfp_fcvt_f16_to_f32(tmp3, tmp3, fpst, ahp); | 57 | + |
51 | + neon_store_reg(rd, 2, tmp3); | 58 | For example: |
52 | + tcg_gen_shri_i32(tmp2, tmp2, 16); | 59 | :: |
53 | + gen_helper_vfp_fcvt_f16_to_f32(tmp2, tmp2, fpst, ahp); | 60 | - -object memory-backend-ram,id=pc.ram,size=512M,x-use-canonical-path-for-ramblock-id=off |
54 | + neon_store_reg(rd, 3, tmp2); | 61 | - -machine memory-backend=pc.ram |
55 | tcg_temp_free_i32(ahp); | 62 | - -m 512M |
56 | tcg_temp_free_ptr(fpst); | 63 | + |
57 | break; | 64 | + -object memory-backend-ram,id=pc.ram,size=512M,x-use-canonical-path-for-ramblock-id=off |
65 | + -machine memory-backend=pc.ram | ||
66 | + -m 512M | ||
67 | ERST | ||
68 | |||
69 | HXCOMM Deprecated by -machine | ||
58 | -- | 70 | -- |
59 | 2.20.1 | 71 | 2.20.1 |
60 | 72 | ||
61 | 73 | diff view generated by jsdifflib |
1 | Remove some old constructs from NEON_2RM_VCVT_F16_F32 code: | 1 | For M-profile, unlike A-profile, the low 2 bits of SP are defined to be |
---|---|---|---|
2 | * don't use cpu_F0s | 2 | RES0H, which is to say that they must be hardwired to zero so that |
3 | * don't use tcg_gen_ld_f32 | 3 | guest attempts to write non-zero values to them are ignored. |
4 | |||
5 | Implement this behaviour by masking out the low bits: | ||
6 | * for writes to r13 by the gdbstub | ||
7 | * for writes to any of the various flavours of SP via MSR | ||
8 | * for writes to r13 via store_reg() in generated code | ||
9 | |||
10 | Note that all the direct uses of cpu_R[] in translate.c are in places | ||
11 | where the register is definitely not r13 (usually because that has | ||
12 | been checked for as an UNDEFINED or UNPREDICTABLE case and handled as | ||
13 | UNDEF). | ||
14 | |||
15 | All the other writes to regs[13] in C code are either: | ||
16 | * A-profile only code | ||
17 | * writes of values we can guarantee to be aligned, such as | ||
18 | - writes of previous-SP-value plus or minus a 4-aligned constant | ||
19 | - writes of the value in an SP limit register (which we already | ||
20 | enforce to be aligned) | ||
4 | 21 | ||
5 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 22 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
6 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 23 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
7 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | 24 | Message-id: 20210723162146.5167-2-peter.maydell@linaro.org |
8 | Message-id: 20190613163917.28589-11-peter.maydell@linaro.org | ||
9 | --- | 25 | --- |
10 | target/arm/translate.c | 27 ++++++++++++--------------- | 26 | target/arm/gdbstub.c | 4 ++++ |
11 | 1 file changed, 12 insertions(+), 15 deletions(-) | 27 | target/arm/m_helper.c | 14 ++++++++------ |
28 | target/arm/translate.c | 3 +++ | ||
29 | 3 files changed, 15 insertions(+), 6 deletions(-) | ||
12 | 30 | ||
31 | diff --git a/target/arm/gdbstub.c b/target/arm/gdbstub.c | ||
32 | index XXXXXXX..XXXXXXX 100644 | ||
33 | --- a/target/arm/gdbstub.c | ||
34 | +++ b/target/arm/gdbstub.c | ||
35 | @@ -XXX,XX +XXX,XX @@ int arm_cpu_gdb_write_register(CPUState *cs, uint8_t *mem_buf, int n) | ||
36 | |||
37 | if (n < 16) { | ||
38 | /* Core integer register. */ | ||
39 | + if (n == 13 && arm_feature(env, ARM_FEATURE_M)) { | ||
40 | + /* M profile SP low bits are always 0 */ | ||
41 | + tmp &= ~3; | ||
42 | + } | ||
43 | env->regs[n] = tmp; | ||
44 | return 4; | ||
45 | } | ||
46 | diff --git a/target/arm/m_helper.c b/target/arm/m_helper.c | ||
47 | index XXXXXXX..XXXXXXX 100644 | ||
48 | --- a/target/arm/m_helper.c | ||
49 | +++ b/target/arm/m_helper.c | ||
50 | @@ -XXX,XX +XXX,XX @@ void HELPER(v7m_msr)(CPUARMState *env, uint32_t maskreg, uint32_t val) | ||
51 | if (!env->v7m.secure) { | ||
52 | return; | ||
53 | } | ||
54 | - env->v7m.other_ss_msp = val; | ||
55 | + env->v7m.other_ss_msp = val & ~3; | ||
56 | return; | ||
57 | case 0x89: /* PSP_NS */ | ||
58 | if (!env->v7m.secure) { | ||
59 | return; | ||
60 | } | ||
61 | - env->v7m.other_ss_psp = val; | ||
62 | + env->v7m.other_ss_psp = val & ~3; | ||
63 | return; | ||
64 | case 0x8a: /* MSPLIM_NS */ | ||
65 | if (!env->v7m.secure) { | ||
66 | @@ -XXX,XX +XXX,XX @@ void HELPER(v7m_msr)(CPUARMState *env, uint32_t maskreg, uint32_t val) | ||
67 | |||
68 | limit = is_psp ? env->v7m.psplim[false] : env->v7m.msplim[false]; | ||
69 | |||
70 | + val &= ~0x3; | ||
71 | + | ||
72 | if (val < limit) { | ||
73 | raise_exception_ra(env, EXCP_STKOF, 0, 1, GETPC()); | ||
74 | } | ||
75 | @@ -XXX,XX +XXX,XX @@ void HELPER(v7m_msr)(CPUARMState *env, uint32_t maskreg, uint32_t val) | ||
76 | break; | ||
77 | case 8: /* MSP */ | ||
78 | if (v7m_using_psp(env)) { | ||
79 | - env->v7m.other_sp = val; | ||
80 | + env->v7m.other_sp = val & ~3; | ||
81 | } else { | ||
82 | - env->regs[13] = val; | ||
83 | + env->regs[13] = val & ~3; | ||
84 | } | ||
85 | break; | ||
86 | case 9: /* PSP */ | ||
87 | if (v7m_using_psp(env)) { | ||
88 | - env->regs[13] = val; | ||
89 | + env->regs[13] = val & ~3; | ||
90 | } else { | ||
91 | - env->v7m.other_sp = val; | ||
92 | + env->v7m.other_sp = val & ~3; | ||
93 | } | ||
94 | break; | ||
95 | case 10: /* MSPLIM */ | ||
13 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 96 | diff --git a/target/arm/translate.c b/target/arm/translate.c |
14 | index XXXXXXX..XXXXXXX 100644 | 97 | index XXXXXXX..XXXXXXX 100644 |
15 | --- a/target/arm/translate.c | 98 | --- a/target/arm/translate.c |
16 | +++ b/target/arm/translate.c | 99 | +++ b/target/arm/translate.c |
17 | @@ -XXX,XX +XXX,XX @@ static TCGv_ptr vfp_reg_ptr(bool dp, int reg) | 100 | @@ -XXX,XX +XXX,XX @@ void store_reg(DisasContext *s, int reg, TCGv_i32 var) |
18 | return ret; | 101 | */ |
19 | } | 102 | tcg_gen_andi_i32(var, var, s->thumb ? ~1 : ~3); |
20 | 103 | s->base.is_jmp = DISAS_JUMP; | |
21 | -#define tcg_gen_ld_f32 tcg_gen_ld_i32 | 104 | + } else if (reg == 13 && arm_dc_feature(s, ARM_FEATURE_M)) { |
22 | #define tcg_gen_st_f32 tcg_gen_st_i32 | 105 | + /* For M-profile SP bits [1:0] are always zero */ |
23 | 106 | + tcg_gen_andi_i32(var, var, ~3); | |
24 | #define ARM_CP_RW_BIT (1 << 20) | 107 | } |
25 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | 108 | tcg_gen_mov_i32(cpu_R[reg], var); |
26 | q || (rm & 1)) { | 109 | tcg_temp_free_i32(var); |
27 | return 1; | ||
28 | } | ||
29 | - tmp = tcg_temp_new_i32(); | ||
30 | - tmp2 = tcg_temp_new_i32(); | ||
31 | fpst = get_fpstatus_ptr(true); | ||
32 | ahp = get_ahp_flag(); | ||
33 | - tcg_gen_ld_f32(cpu_F0s, cpu_env, neon_reg_offset(rm, 0)); | ||
34 | - gen_helper_vfp_fcvt_f32_to_f16(tmp, cpu_F0s, fpst, ahp); | ||
35 | - tcg_gen_ld_f32(cpu_F0s, cpu_env, neon_reg_offset(rm, 1)); | ||
36 | - gen_helper_vfp_fcvt_f32_to_f16(tmp2, cpu_F0s, fpst, ahp); | ||
37 | + tmp = neon_load_reg(rm, 0); | ||
38 | + gen_helper_vfp_fcvt_f32_to_f16(tmp, tmp, fpst, ahp); | ||
39 | + tmp2 = neon_load_reg(rm, 1); | ||
40 | + gen_helper_vfp_fcvt_f32_to_f16(tmp2, tmp2, fpst, ahp); | ||
41 | tcg_gen_shli_i32(tmp2, tmp2, 16); | ||
42 | tcg_gen_or_i32(tmp2, tmp2, tmp); | ||
43 | - tcg_gen_ld_f32(cpu_F0s, cpu_env, neon_reg_offset(rm, 2)); | ||
44 | - gen_helper_vfp_fcvt_f32_to_f16(tmp, cpu_F0s, fpst, ahp); | ||
45 | - tcg_gen_ld_f32(cpu_F0s, cpu_env, neon_reg_offset(rm, 3)); | ||
46 | + tcg_temp_free_i32(tmp); | ||
47 | + tmp = neon_load_reg(rm, 2); | ||
48 | + gen_helper_vfp_fcvt_f32_to_f16(tmp, tmp, fpst, ahp); | ||
49 | + tmp3 = neon_load_reg(rm, 3); | ||
50 | neon_store_reg(rd, 0, tmp2); | ||
51 | - tmp2 = tcg_temp_new_i32(); | ||
52 | - gen_helper_vfp_fcvt_f32_to_f16(tmp2, cpu_F0s, fpst, ahp); | ||
53 | - tcg_gen_shli_i32(tmp2, tmp2, 16); | ||
54 | - tcg_gen_or_i32(tmp2, tmp2, tmp); | ||
55 | - neon_store_reg(rd, 1, tmp2); | ||
56 | + gen_helper_vfp_fcvt_f32_to_f16(tmp3, tmp3, fpst, ahp); | ||
57 | + tcg_gen_shli_i32(tmp3, tmp3, 16); | ||
58 | + tcg_gen_or_i32(tmp3, tmp3, tmp); | ||
59 | + neon_store_reg(rd, 1, tmp3); | ||
60 | tcg_temp_free_i32(tmp); | ||
61 | tcg_temp_free_i32(ahp); | ||
62 | tcg_temp_free_ptr(fpst); | ||
63 | -- | 110 | -- |
64 | 2.20.1 | 111 | 2.20.1 |
65 | 112 | ||
66 | 113 | diff view generated by jsdifflib |
1 | Stop using cpu_F0s in the Neon VCVT fixed-point operations. | 1 | In do_v7m_exception_exit(), we perform various checks as part of |
---|---|---|---|
2 | performing the exception return. If one of these checks fails, the | ||
3 | architecture requires that we take an appropriate exception on the | ||
4 | existing stackframe. We implement this by calling | ||
5 | v7m_exception_taken() to set up to take the new exception, and then | ||
6 | immediately returning from do_v7m_exception_exit() without proceeding | ||
7 | any further with the unstack-and-exception-return process. | ||
8 | |||
9 | In a couple of checks that are new in v8.1M, we forgot the "return" | ||
10 | statement, with the effect that if bad code in the guest tripped over | ||
11 | these checks we would set up to take a UsageFault exception but then | ||
12 | blunder on trying to also unstack and return from the original | ||
13 | exception, with the probable result that the guest would crash. | ||
14 | |||
15 | Add the missing return statements. | ||
2 | 16 | ||
3 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 17 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
4 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 18 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
5 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | 19 | Message-id: 20210723162146.5167-3-peter.maydell@linaro.org |
6 | Message-id: 20190613163917.28589-10-peter.maydell@linaro.org | ||
7 | --- | 20 | --- |
8 | target/arm/translate.c | 62 +++++++++++++++++++----------------------- | 21 | target/arm/m_helper.c | 2 ++ |
9 | 1 file changed, 28 insertions(+), 34 deletions(-) | 22 | 1 file changed, 2 insertions(+) |
10 | 23 | ||
11 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 24 | diff --git a/target/arm/m_helper.c b/target/arm/m_helper.c |
12 | index XXXXXXX..XXXXXXX 100644 | 25 | index XXXXXXX..XXXXXXX 100644 |
13 | --- a/target/arm/translate.c | 26 | --- a/target/arm/m_helper.c |
14 | +++ b/target/arm/translate.c | 27 | +++ b/target/arm/m_helper.c |
15 | @@ -XXX,XX +XXX,XX @@ static const char * const regnames[] = | 28 | @@ -XXX,XX +XXX,XX @@ static void do_v7m_exception_exit(ARMCPU *cpu) |
16 | /* Function prototypes for gen_ functions calling Neon helpers. */ | 29 | qemu_log_mask(CPU_LOG_INT, "...taking UsageFault on existing " |
17 | typedef void NeonGenThreeOpEnvFn(TCGv_i32, TCGv_env, TCGv_i32, | 30 | "stackframe: NSACR prevents clearing FPU registers\n"); |
18 | TCGv_i32, TCGv_i32); | 31 | v7m_exception_taken(cpu, excret, true, false); |
19 | +/* Function prototypes for gen_ functions for fix point conversions */ | 32 | + return; |
20 | +typedef void VFPGenFixPointFn(TCGv_i32, TCGv_i32, TCGv_i32, TCGv_ptr); | 33 | } else if (!cpacr_pass) { |
21 | 34 | armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_USAGE, | |
22 | /* initialize TCG globals. */ | 35 | exc_secure); |
23 | void arm_translate_init(void) | 36 | @@ -XXX,XX +XXX,XX @@ static void do_v7m_exception_exit(ARMCPU *cpu) |
24 | @@ -XXX,XX +XXX,XX @@ static TCGv_ptr get_fpstatus_ptr(int neon) | 37 | qemu_log_mask(CPU_LOG_INT, "...taking UsageFault on existing " |
25 | return statusptr; | 38 | "stackframe: CPACR prevents clearing FPU registers\n"); |
26 | } | 39 | v7m_exception_taken(cpu, excret, true, false); |
27 | 40 | + return; | |
28 | -#define VFP_GEN_FIX(name, round) \ | ||
29 | -static inline void gen_vfp_##name(int dp, int shift, int neon) \ | ||
30 | -{ \ | ||
31 | - TCGv_i32 tmp_shift = tcg_const_i32(shift); \ | ||
32 | - TCGv_ptr statusptr = get_fpstatus_ptr(neon); \ | ||
33 | - if (dp) { \ | ||
34 | - gen_helper_vfp_##name##d##round(cpu_F0d, cpu_F0d, tmp_shift, \ | ||
35 | - statusptr); \ | ||
36 | - } else { \ | ||
37 | - gen_helper_vfp_##name##s##round(cpu_F0s, cpu_F0s, tmp_shift, \ | ||
38 | - statusptr); \ | ||
39 | - } \ | ||
40 | - tcg_temp_free_i32(tmp_shift); \ | ||
41 | - tcg_temp_free_ptr(statusptr); \ | ||
42 | -} | ||
43 | -VFP_GEN_FIX(tosl, _round_to_zero) | ||
44 | -VFP_GEN_FIX(toul, _round_to_zero) | ||
45 | -VFP_GEN_FIX(slto, ) | ||
46 | -VFP_GEN_FIX(ulto, ) | ||
47 | -#undef VFP_GEN_FIX | ||
48 | - | ||
49 | static inline long vfp_reg_offset(bool dp, unsigned reg) | ||
50 | { | ||
51 | if (dp) { | ||
52 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
53 | } | 41 | } |
54 | } else if (op >= 14) { | ||
55 | /* VCVT fixed-point. */ | ||
56 | + TCGv_ptr fpst; | ||
57 | + TCGv_i32 shiftv; | ||
58 | + VFPGenFixPointFn *fn; | ||
59 | + | ||
60 | if (!(insn & (1 << 21)) || (q && ((rd | rm) & 1))) { | ||
61 | return 1; | ||
62 | } | ||
63 | + | ||
64 | + if (!(op & 1)) { | ||
65 | + if (u) { | ||
66 | + fn = gen_helper_vfp_ultos; | ||
67 | + } else { | ||
68 | + fn = gen_helper_vfp_sltos; | ||
69 | + } | ||
70 | + } else { | ||
71 | + if (u) { | ||
72 | + fn = gen_helper_vfp_touls_round_to_zero; | ||
73 | + } else { | ||
74 | + fn = gen_helper_vfp_tosls_round_to_zero; | ||
75 | + } | ||
76 | + } | ||
77 | + | ||
78 | /* We have already masked out the must-be-1 top bit of imm6, | ||
79 | * hence this 32-shift where the ARM ARM has 64-imm6. | ||
80 | */ | ||
81 | shift = 32 - shift; | ||
82 | + fpst = get_fpstatus_ptr(1); | ||
83 | + shiftv = tcg_const_i32(shift); | ||
84 | for (pass = 0; pass < (q ? 4 : 2); pass++) { | ||
85 | - tcg_gen_ld_f32(cpu_F0s, cpu_env, neon_reg_offset(rm, pass)); | ||
86 | - if (!(op & 1)) { | ||
87 | - if (u) | ||
88 | - gen_vfp_ulto(0, shift, 1); | ||
89 | - else | ||
90 | - gen_vfp_slto(0, shift, 1); | ||
91 | - } else { | ||
92 | - if (u) | ||
93 | - gen_vfp_toul(0, shift, 1); | ||
94 | - else | ||
95 | - gen_vfp_tosl(0, shift, 1); | ||
96 | - } | ||
97 | - tcg_gen_st_f32(cpu_F0s, cpu_env, neon_reg_offset(rd, pass)); | ||
98 | + TCGv_i32 tmpf = neon_load_reg(rm, pass); | ||
99 | + fn(tmpf, tmpf, shiftv, fpst); | ||
100 | + neon_store_reg(rd, pass, tmpf); | ||
101 | } | ||
102 | + tcg_temp_free_ptr(fpst); | ||
103 | + tcg_temp_free_i32(shiftv); | ||
104 | } else { | ||
105 | return 1; | ||
106 | } | 42 | } |
43 | /* Clear s0..s15, FPSCR and VPR */ | ||
107 | -- | 44 | -- |
108 | 2.20.1 | 45 | 2.20.1 |
109 | 46 | ||
110 | 47 | diff view generated by jsdifflib |
1 | Stop using cpu_F0s for the Neon f32/s32 VCVT operations. | 1 | For M-profile, we weren't reporting alignment faults triggered by the |
---|---|---|---|
2 | Since this is the last user of cpu_F0s in the Neon 2rm-op | 2 | generic TCG code correctly to the guest. These get passed into |
3 | loop, we can remove the handling code for it too. | 3 | arm_v7m_cpu_do_interrupt() as an EXCP_DATA_ABORT with an A-profile |
4 | style exception.fsr value of 1. We didn't check for this, and so | ||
5 | they fell through into the default of "assume this is an MPU fault" | ||
6 | and were reported to the guest as a data access violation MPU fault. | ||
7 | |||
8 | Report these alignment faults as UsageFaults which set the UNALIGNED | ||
9 | bit in the UFSR. | ||
4 | 10 | ||
5 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
6 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 12 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
7 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | 13 | Message-id: 20210723162146.5167-4-peter.maydell@linaro.org |
8 | Message-id: 20190613163917.28589-9-peter.maydell@linaro.org | ||
9 | --- | 14 | --- |
10 | target/arm/translate.c | 82 ++++++++++++------------------------------ | 15 | target/arm/m_helper.c | 8 ++++++++ |
11 | 1 file changed, 22 insertions(+), 60 deletions(-) | 16 | 1 file changed, 8 insertions(+) |
12 | 17 | ||
13 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 18 | diff --git a/target/arm/m_helper.c b/target/arm/m_helper.c |
14 | index XXXXXXX..XXXXXXX 100644 | 19 | index XXXXXXX..XXXXXXX 100644 |
15 | --- a/target/arm/translate.c | 20 | --- a/target/arm/m_helper.c |
16 | +++ b/target/arm/translate.c | 21 | +++ b/target/arm/m_helper.c |
17 | @@ -XXX,XX +XXX,XX @@ static TCGv_ptr get_fpstatus_ptr(int neon) | 22 | @@ -XXX,XX +XXX,XX @@ void arm_v7m_cpu_do_interrupt(CPUState *cs) |
18 | return statusptr; | 23 | env->v7m.sfsr |= R_V7M_SFSR_LSERR_MASK; |
19 | } | 24 | break; |
20 | 25 | case EXCP_UNALIGNED: | |
21 | -#define VFP_GEN_ITOF(name) \ | 26 | + /* Unaligned faults reported by M-profile aware code */ |
22 | -static inline void gen_vfp_##name(int dp, int neon) \ | 27 | armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_USAGE, env->v7m.secure); |
23 | -{ \ | 28 | env->v7m.cfsr[env->v7m.secure] |= R_V7M_CFSR_UNALIGNED_MASK; |
24 | - TCGv_ptr statusptr = get_fpstatus_ptr(neon); \ | 29 | break; |
25 | - if (dp) { \ | 30 | @@ -XXX,XX +XXX,XX @@ void arm_v7m_cpu_do_interrupt(CPUState *cs) |
26 | - gen_helper_vfp_##name##d(cpu_F0d, cpu_F0s, statusptr); \ | 31 | } |
27 | - } else { \ | 32 | armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_BUS, false); |
28 | - gen_helper_vfp_##name##s(cpu_F0s, cpu_F0s, statusptr); \ | 33 | break; |
29 | - } \ | 34 | + case 0x1: /* Alignment fault reported by generic code */ |
30 | - tcg_temp_free_ptr(statusptr); \ | 35 | + qemu_log_mask(CPU_LOG_INT, |
31 | -} | 36 | + "...really UsageFault with UFSR.UNALIGNED\n"); |
32 | - | 37 | + env->v7m.cfsr[env->v7m.secure] |= R_V7M_CFSR_UNALIGNED_MASK; |
33 | -VFP_GEN_ITOF(uito) | 38 | + armv7m_nvic_set_pending(env->nvic, ARMV7M_EXCP_USAGE, |
34 | -VFP_GEN_ITOF(sito) | 39 | + env->v7m.secure); |
35 | -#undef VFP_GEN_ITOF | 40 | + break; |
36 | - | 41 | default: |
37 | -#define VFP_GEN_FTOI(name) \ | 42 | /* |
38 | -static inline void gen_vfp_##name(int dp, int neon) \ | 43 | * All other FSR values are either MPU faults or "can't happen |
39 | -{ \ | ||
40 | - TCGv_ptr statusptr = get_fpstatus_ptr(neon); \ | ||
41 | - if (dp) { \ | ||
42 | - gen_helper_vfp_##name##d(cpu_F0s, cpu_F0d, statusptr); \ | ||
43 | - } else { \ | ||
44 | - gen_helper_vfp_##name##s(cpu_F0s, cpu_F0s, statusptr); \ | ||
45 | - } \ | ||
46 | - tcg_temp_free_ptr(statusptr); \ | ||
47 | -} | ||
48 | - | ||
49 | -VFP_GEN_FTOI(touiz) | ||
50 | -VFP_GEN_FTOI(tosiz) | ||
51 | -#undef VFP_GEN_FTOI | ||
52 | - | ||
53 | #define VFP_GEN_FIX(name, round) \ | ||
54 | static inline void gen_vfp_##name(int dp, int shift, int neon) \ | ||
55 | { \ | ||
56 | @@ -XXX,XX +XXX,XX @@ static const uint8_t neon_3r_sizes[] = { | ||
57 | #define NEON_2RM_VCVT_SF 62 | ||
58 | #define NEON_2RM_VCVT_UF 63 | ||
59 | |||
60 | -static int neon_2rm_is_float_op(int op) | ||
61 | -{ | ||
62 | - /* | ||
63 | - * Return true if this neon 2reg-misc op is float-to-float. | ||
64 | - * This is not a property of the operation but of our code -- | ||
65 | - * what we are asking here is "does the code for this case in | ||
66 | - * the Neon for-each-pass loop use cpu_F0s?". | ||
67 | - */ | ||
68 | - return op >= NEON_2RM_VCVT_FS; | ||
69 | -} | ||
70 | - | ||
71 | static bool neon_2rm_is_v8_op(int op) | ||
72 | { | ||
73 | /* Return true if this neon 2reg-misc op is ARMv8 and up */ | ||
74 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
75 | default: | ||
76 | elementwise: | ||
77 | for (pass = 0; pass < (q ? 4 : 2); pass++) { | ||
78 | - if (neon_2rm_is_float_op(op)) { | ||
79 | - tcg_gen_ld_f32(cpu_F0s, cpu_env, | ||
80 | - neon_reg_offset(rm, pass)); | ||
81 | - tmp = NULL; | ||
82 | - } else { | ||
83 | - tmp = neon_load_reg(rm, pass); | ||
84 | - } | ||
85 | + tmp = neon_load_reg(rm, pass); | ||
86 | switch (op) { | ||
87 | case NEON_2RM_VREV32: | ||
88 | switch (size) { | ||
89 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
90 | break; | ||
91 | } | ||
92 | case NEON_2RM_VCVT_FS: /* VCVT.F32.S32 */ | ||
93 | - gen_vfp_sito(0, 1); | ||
94 | + { | ||
95 | + TCGv_ptr fpstatus = get_fpstatus_ptr(1); | ||
96 | + gen_helper_vfp_sitos(tmp, tmp, fpstatus); | ||
97 | + tcg_temp_free_ptr(fpstatus); | ||
98 | break; | ||
99 | + } | ||
100 | case NEON_2RM_VCVT_FU: /* VCVT.F32.U32 */ | ||
101 | - gen_vfp_uito(0, 1); | ||
102 | + { | ||
103 | + TCGv_ptr fpstatus = get_fpstatus_ptr(1); | ||
104 | + gen_helper_vfp_uitos(tmp, tmp, fpstatus); | ||
105 | + tcg_temp_free_ptr(fpstatus); | ||
106 | break; | ||
107 | + } | ||
108 | case NEON_2RM_VCVT_SF: /* VCVT.S32.F32 */ | ||
109 | - gen_vfp_tosiz(0, 1); | ||
110 | + { | ||
111 | + TCGv_ptr fpstatus = get_fpstatus_ptr(1); | ||
112 | + gen_helper_vfp_tosizs(tmp, tmp, fpstatus); | ||
113 | + tcg_temp_free_ptr(fpstatus); | ||
114 | break; | ||
115 | + } | ||
116 | case NEON_2RM_VCVT_UF: /* VCVT.U32.F32 */ | ||
117 | - gen_vfp_touiz(0, 1); | ||
118 | + { | ||
119 | + TCGv_ptr fpstatus = get_fpstatus_ptr(1); | ||
120 | + gen_helper_vfp_touizs(tmp, tmp, fpstatus); | ||
121 | + tcg_temp_free_ptr(fpstatus); | ||
122 | break; | ||
123 | + } | ||
124 | default: | ||
125 | /* Reserved op values were caught by the | ||
126 | * neon_2rm_sizes[] check earlier. | ||
127 | */ | ||
128 | abort(); | ||
129 | } | ||
130 | - if (neon_2rm_is_float_op(op)) { | ||
131 | - tcg_gen_st_f32(cpu_F0s, cpu_env, | ||
132 | - neon_reg_offset(rd, pass)); | ||
133 | - } else { | ||
134 | - neon_store_reg(rd, pass, tmp); | ||
135 | - } | ||
136 | + neon_store_reg(rd, pass, tmp); | ||
137 | } | ||
138 | break; | ||
139 | } | ||
140 | -- | 44 | -- |
141 | 2.20.1 | 45 | 2.20.1 |
142 | 46 | ||
143 | 47 | diff view generated by jsdifflib |
1 | The architecture permits FPUs which have only single-precision | 1 | The ISCR.ISRPENDING bit is set when an external interrupt is pending. |
---|---|---|---|
2 | support, not double-precision; Cortex-M4 and Cortex-M33 are | 2 | This is true whether that external interrupt is enabled or not. |
3 | both like that. Add the necessary checks on the MVFR0 FPDP | 3 | This means that we can't use 's->vectpending == 0' as a shortcut to |
4 | field so that we UNDEF any double-precision instructions on | 4 | "ISRPENDING is zero", because s->vectpending indicates only the |
5 | CPUs like this. | 5 | highest priority pending enabled interrupt. |
6 | 6 | ||
7 | Note that even if FPDP==0 the insns like VMOV-to/from-gpreg, | 7 | Remove the incorrect optimization so that if there is no pending |
8 | VLDM/VSTM, VLDR/VSTR which take double precision registers | 8 | enabled interrupt we fall through to scanning through the whole |
9 | still exist. | 9 | interrupt array. |
10 | 10 | ||
11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 11 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
12 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 12 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
13 | Message-id: 20190614104457.24703-3-peter.maydell@linaro.org | 13 | Message-id: 20210723162146.5167-5-peter.maydell@linaro.org |
14 | --- | 14 | --- |
15 | target/arm/cpu.h | 6 +++ | 15 | hw/intc/armv7m_nvic.c | 9 ++++----- |
16 | target/arm/translate-vfp.inc.c | 84 ++++++++++++++++++++++++++++++++++ | 16 | 1 file changed, 4 insertions(+), 5 deletions(-) |
17 | 2 files changed, 90 insertions(+) | ||
18 | 17 | ||
19 | diff --git a/target/arm/cpu.h b/target/arm/cpu.h | 18 | diff --git a/hw/intc/armv7m_nvic.c b/hw/intc/armv7m_nvic.c |
20 | index XXXXXXX..XXXXXXX 100644 | 19 | index XXXXXXX..XXXXXXX 100644 |
21 | --- a/target/arm/cpu.h | 20 | --- a/hw/intc/armv7m_nvic.c |
22 | +++ b/target/arm/cpu.h | 21 | +++ b/hw/intc/armv7m_nvic.c |
23 | @@ -XXX,XX +XXX,XX @@ static inline bool isar_feature_aa32_fpshvec(const ARMISARegisters *id) | 22 | @@ -XXX,XX +XXX,XX @@ static bool nvic_isrpending(NVICState *s) |
24 | return FIELD_EX64(id->mvfr0, MVFR0, FPSHVEC) > 0; | 23 | { |
25 | } | 24 | int irq; |
26 | 25 | ||
27 | +static inline bool isar_feature_aa32_fpdp(const ARMISARegisters *id) | 26 | - /* We can shortcut if the highest priority pending interrupt |
28 | +{ | 27 | - * happens to be external or if there is nothing pending. |
29 | + /* Return true if CPU supports double precision floating point */ | 28 | + /* |
30 | + return FIELD_EX64(id->mvfr0, MVFR0, FPDP) > 0; | 29 | + * We can shortcut if the highest priority pending interrupt |
31 | +} | 30 | + * happens to be external; if not we need to check the whole |
32 | + | 31 | + * vectors[] array. |
33 | /* | 32 | */ |
34 | * We always set the FP and SIMD FP16 fields to indicate identical | 33 | if (s->vectpending > NVIC_FIRST_IRQ) { |
35 | * levels of support (assuming SIMD is implemented at all), so | ||
36 | diff --git a/target/arm/translate-vfp.inc.c b/target/arm/translate-vfp.inc.c | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/target/arm/translate-vfp.inc.c | ||
39 | +++ b/target/arm/translate-vfp.inc.c | ||
40 | @@ -XXX,XX +XXX,XX @@ static bool trans_VSEL(DisasContext *s, arg_VSEL *a) | ||
41 | ((a->vm | a->vn | a->vd) & 0x10)) { | ||
42 | return false; | ||
43 | } | ||
44 | + | ||
45 | + if (dp && !dc_isar_feature(aa32_fpdp, s)) { | ||
46 | + return false; | ||
47 | + } | ||
48 | + | ||
49 | rd = a->vd; | ||
50 | rn = a->vn; | ||
51 | rm = a->vm; | ||
52 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMINMAXNM(DisasContext *s, arg_VMINMAXNM *a) | ||
53 | ((a->vm | a->vn | a->vd) & 0x10)) { | ||
54 | return false; | ||
55 | } | ||
56 | + | ||
57 | + if (dp && !dc_isar_feature(aa32_fpdp, s)) { | ||
58 | + return false; | ||
59 | + } | ||
60 | + | ||
61 | rd = a->vd; | ||
62 | rn = a->vn; | ||
63 | rm = a->vm; | ||
64 | @@ -XXX,XX +XXX,XX @@ static bool trans_VRINT(DisasContext *s, arg_VRINT *a) | ||
65 | ((a->vm | a->vd) & 0x10)) { | ||
66 | return false; | ||
67 | } | ||
68 | + | ||
69 | + if (dp && !dc_isar_feature(aa32_fpdp, s)) { | ||
70 | + return false; | ||
71 | + } | ||
72 | + | ||
73 | rd = a->vd; | ||
74 | rm = a->vm; | ||
75 | |||
76 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT(DisasContext *s, arg_VCVT *a) | ||
77 | if (dp && !dc_isar_feature(aa32_fp_d32, s) && (a->vm & 0x10)) { | ||
78 | return false; | ||
79 | } | ||
80 | + | ||
81 | + if (dp && !dc_isar_feature(aa32_fpdp, s)) { | ||
82 | + return false; | ||
83 | + } | ||
84 | + | ||
85 | rd = a->vd; | ||
86 | rm = a->vm; | ||
87 | |||
88 | @@ -XXX,XX +XXX,XX @@ static bool do_vfp_3op_dp(DisasContext *s, VFPGen3OpDPFn *fn, | ||
89 | return false; | ||
90 | } | ||
91 | |||
92 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
93 | + return false; | ||
94 | + } | ||
95 | + | ||
96 | if (!dc_isar_feature(aa32_fpshvec, s) && | ||
97 | (veclen != 0 || s->vec_stride != 0)) { | ||
98 | return false; | ||
99 | @@ -XXX,XX +XXX,XX @@ static bool do_vfp_2op_dp(DisasContext *s, VFPGen2OpDPFn *fn, int vd, int vm) | ||
100 | return false; | ||
101 | } | ||
102 | |||
103 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
104 | + return false; | ||
105 | + } | ||
106 | + | ||
107 | if (!dc_isar_feature(aa32_fpshvec, s) && | ||
108 | (veclen != 0 || s->vec_stride != 0)) { | ||
109 | return false; | ||
110 | @@ -XXX,XX +XXX,XX @@ static bool trans_VFM_sp(DisasContext *s, arg_VFM_sp *a) | ||
111 | return false; | ||
112 | } | ||
113 | |||
114 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
115 | + return false; | ||
116 | + } | ||
117 | + | ||
118 | if (!vfp_access_check(s)) { | ||
119 | return true; | 34 | return true; |
120 | } | 35 | } |
121 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMOV_imm_dp(DisasContext *s, arg_VMOV_imm_dp *a) | 36 | - if (s->vectpending == 0) { |
122 | return false; | 37 | - return false; |
123 | } | 38 | - } |
124 | 39 | ||
125 | + if (!dc_isar_feature(aa32_fpdp, s)) { | 40 | for (irq = NVIC_FIRST_IRQ; irq < s->num_irq; irq++) { |
126 | + return false; | 41 | if (s->vectors[irq].pending) { |
127 | + } | ||
128 | + | ||
129 | if (!dc_isar_feature(aa32_fpshvec, s) && | ||
130 | (veclen != 0 || s->vec_stride != 0)) { | ||
131 | return false; | ||
132 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCMP_dp(DisasContext *s, arg_VCMP_dp *a) | ||
133 | return false; | ||
134 | } | ||
135 | |||
136 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
137 | + return false; | ||
138 | + } | ||
139 | + | ||
140 | if (!vfp_access_check(s)) { | ||
141 | return true; | ||
142 | } | ||
143 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT_f64_f16(DisasContext *s, arg_VCVT_f64_f16 *a) | ||
144 | return false; | ||
145 | } | ||
146 | |||
147 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
148 | + return false; | ||
149 | + } | ||
150 | + | ||
151 | if (!vfp_access_check(s)) { | ||
152 | return true; | ||
153 | } | ||
154 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT_f16_f64(DisasContext *s, arg_VCVT_f16_f64 *a) | ||
155 | return false; | ||
156 | } | ||
157 | |||
158 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
159 | + return false; | ||
160 | + } | ||
161 | + | ||
162 | if (!vfp_access_check(s)) { | ||
163 | return true; | ||
164 | } | ||
165 | @@ -XXX,XX +XXX,XX @@ static bool trans_VRINTR_dp(DisasContext *s, arg_VRINTR_dp *a) | ||
166 | return false; | ||
167 | } | ||
168 | |||
169 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
170 | + return false; | ||
171 | + } | ||
172 | + | ||
173 | if (!vfp_access_check(s)) { | ||
174 | return true; | ||
175 | } | ||
176 | @@ -XXX,XX +XXX,XX @@ static bool trans_VRINTZ_dp(DisasContext *s, arg_VRINTZ_dp *a) | ||
177 | return false; | ||
178 | } | ||
179 | |||
180 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
181 | + return false; | ||
182 | + } | ||
183 | + | ||
184 | if (!vfp_access_check(s)) { | ||
185 | return true; | ||
186 | } | ||
187 | @@ -XXX,XX +XXX,XX @@ static bool trans_VRINTX_dp(DisasContext *s, arg_VRINTX_dp *a) | ||
188 | return false; | ||
189 | } | ||
190 | |||
191 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
192 | + return false; | ||
193 | + } | ||
194 | + | ||
195 | if (!vfp_access_check(s)) { | ||
196 | return true; | ||
197 | } | ||
198 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT_sp(DisasContext *s, arg_VCVT_sp *a) | ||
199 | return false; | ||
200 | } | ||
201 | |||
202 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
203 | + return false; | ||
204 | + } | ||
205 | + | ||
206 | if (!vfp_access_check(s)) { | ||
207 | return true; | ||
208 | } | ||
209 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT_dp(DisasContext *s, arg_VCVT_dp *a) | ||
210 | return false; | ||
211 | } | ||
212 | |||
213 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
214 | + return false; | ||
215 | + } | ||
216 | + | ||
217 | if (!vfp_access_check(s)) { | ||
218 | return true; | ||
219 | } | ||
220 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT_int_dp(DisasContext *s, arg_VCVT_int_dp *a) | ||
221 | return false; | ||
222 | } | ||
223 | |||
224 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
225 | + return false; | ||
226 | + } | ||
227 | + | ||
228 | if (!vfp_access_check(s)) { | ||
229 | return true; | ||
230 | } | ||
231 | @@ -XXX,XX +XXX,XX @@ static bool trans_VJCVT(DisasContext *s, arg_VJCVT *a) | ||
232 | return false; | ||
233 | } | ||
234 | |||
235 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
236 | + return false; | ||
237 | + } | ||
238 | + | ||
239 | if (!vfp_access_check(s)) { | ||
240 | return true; | ||
241 | } | ||
242 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT_fix_dp(DisasContext *s, arg_VCVT_fix_dp *a) | ||
243 | return false; | ||
244 | } | ||
245 | |||
246 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
247 | + return false; | ||
248 | + } | ||
249 | + | ||
250 | if (!vfp_access_check(s)) { | ||
251 | return true; | ||
252 | } | ||
253 | @@ -XXX,XX +XXX,XX @@ static bool trans_VCVT_dp_int(DisasContext *s, arg_VCVT_dp_int *a) | ||
254 | return false; | ||
255 | } | ||
256 | |||
257 | + if (!dc_isar_feature(aa32_fpdp, s)) { | ||
258 | + return false; | ||
259 | + } | ||
260 | + | ||
261 | if (!vfp_access_check(s)) { | ||
262 | return true; | ||
263 | } | ||
264 | -- | 42 | -- |
265 | 2.20.1 | 43 | 2.20.1 |
266 | 44 | ||
267 | 45 | diff view generated by jsdifflib |
1 | Stop using cpu_F0s for NEON_2RM_VRECPE_F and NEON_2RM_VRSQRTE_F. | 1 | The VECTPENDING field in the ICSR is 9 bits wide, in bits [20:12] of |
---|---|---|---|
2 | the register. We were incorrectly masking it to 8 bits, so it would | ||
3 | report the wrong value if the pending exception was greater than 256. | ||
4 | Fix the bug. | ||
2 | 5 | ||
3 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 6 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
4 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 7 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
5 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | 8 | Message-id: 20210723162146.5167-6-peter.maydell@linaro.org |
6 | Message-id: 20190613163917.28589-8-peter.maydell@linaro.org | ||
7 | --- | 9 | --- |
8 | target/arm/translate.c | 6 +++--- | 10 | hw/intc/armv7m_nvic.c | 2 +- |
9 | 1 file changed, 3 insertions(+), 3 deletions(-) | 11 | 1 file changed, 1 insertion(+), 1 deletion(-) |
10 | 12 | ||
11 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 13 | diff --git a/hw/intc/armv7m_nvic.c b/hw/intc/armv7m_nvic.c |
12 | index XXXXXXX..XXXXXXX 100644 | 14 | index XXXXXXX..XXXXXXX 100644 |
13 | --- a/target/arm/translate.c | 15 | --- a/hw/intc/armv7m_nvic.c |
14 | +++ b/target/arm/translate.c | 16 | +++ b/hw/intc/armv7m_nvic.c |
15 | @@ -XXX,XX +XXX,XX @@ static int neon_2rm_is_float_op(int op) | 17 | @@ -XXX,XX +XXX,XX @@ static uint32_t nvic_readl(NVICState *s, uint32_t offset, MemTxAttrs attrs) |
16 | * what we are asking here is "does the code for this case in | 18 | /* VECTACTIVE */ |
17 | * the Neon for-each-pass loop use cpu_F0s?". | 19 | val = cpu->env.v7m.exception; |
18 | */ | 20 | /* VECTPENDING */ |
19 | - return op >= NEON_2RM_VRECPE_F; | 21 | - val |= (s->vectpending & 0xff) << 12; |
20 | + return op >= NEON_2RM_VCVT_FS; | 22 | + val |= (s->vectpending & 0x1ff) << 12; |
21 | } | 23 | /* ISRPENDING - set if any external IRQ is pending */ |
22 | 24 | if (nvic_isrpending(s)) { | |
23 | static bool neon_2rm_is_v8_op(int op) | 25 | val |= (1 << 22); |
24 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
25 | case NEON_2RM_VRECPE_F: | ||
26 | { | ||
27 | TCGv_ptr fpstatus = get_fpstatus_ptr(1); | ||
28 | - gen_helper_recpe_f32(cpu_F0s, cpu_F0s, fpstatus); | ||
29 | + gen_helper_recpe_f32(tmp, tmp, fpstatus); | ||
30 | tcg_temp_free_ptr(fpstatus); | ||
31 | break; | ||
32 | } | ||
33 | case NEON_2RM_VRSQRTE_F: | ||
34 | { | ||
35 | TCGv_ptr fpstatus = get_fpstatus_ptr(1); | ||
36 | - gen_helper_rsqrte_f32(cpu_F0s, cpu_F0s, fpstatus); | ||
37 | + gen_helper_rsqrte_f32(tmp, tmp, fpstatus); | ||
38 | tcg_temp_free_ptr(fpstatus); | ||
39 | break; | ||
40 | } | ||
41 | -- | 26 | -- |
42 | 2.20.1 | 27 | 2.20.1 |
43 | 28 | ||
44 | 29 | diff view generated by jsdifflib |
1 | We want to use vfp_expand_imm() in the AArch32 VFP decode; | 1 | In Arm v8.1M the VECTPENDING field in the ICSR has new behaviour: if |
---|---|---|---|
2 | move it from the a64-only header/source file to the | 2 | the register is accessed NonSecure and the highest priority pending |
3 | AArch32 one (which is always compiled even for AArch64). | 3 | enabled exception (that would be returned in the VECTPENDING field) |
4 | targets Secure, then the VECTPENDING field must read 1 rather than | ||
5 | the exception number of the pending exception. Implement this. | ||
4 | 6 | ||
5 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 7 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
6 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | 8 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> |
7 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | 9 | Message-id: 20210723162146.5167-7-peter.maydell@linaro.org |
8 | Message-id: 20190613163917.28589-2-peter.maydell@linaro.org | ||
9 | --- | 10 | --- |
10 | target/arm/translate-a64.h | 1 - | 11 | hw/intc/armv7m_nvic.c | 31 ++++++++++++++++++++++++------- |
11 | target/arm/translate.h | 7 +++++++ | 12 | 1 file changed, 24 insertions(+), 7 deletions(-) |
12 | target/arm/translate-a64.c | 32 -------------------------------- | ||
13 | target/arm/translate-vfp.inc.c | 33 +++++++++++++++++++++++++++++++++ | ||
14 | 4 files changed, 40 insertions(+), 33 deletions(-) | ||
15 | 13 | ||
16 | diff --git a/target/arm/translate-a64.h b/target/arm/translate-a64.h | 14 | diff --git a/hw/intc/armv7m_nvic.c b/hw/intc/armv7m_nvic.c |
17 | index XXXXXXX..XXXXXXX 100644 | 15 | index XXXXXXX..XXXXXXX 100644 |
18 | --- a/target/arm/translate-a64.h | 16 | --- a/hw/intc/armv7m_nvic.c |
19 | +++ b/target/arm/translate-a64.h | 17 | +++ b/hw/intc/armv7m_nvic.c |
20 | @@ -XXX,XX +XXX,XX @@ void write_fp_dreg(DisasContext *s, int reg, TCGv_i64 v); | 18 | @@ -XXX,XX +XXX,XX @@ void armv7m_nvic_acknowledge_irq(void *opaque) |
21 | TCGv_ptr get_fpstatus_ptr(bool); | 19 | nvic_irq_update(s); |
22 | bool logic_imm_decode_wmask(uint64_t *result, unsigned int immn, | ||
23 | unsigned int imms, unsigned int immr); | ||
24 | -uint64_t vfp_expand_imm(int size, uint8_t imm8); | ||
25 | bool sve_access_check(DisasContext *s); | ||
26 | |||
27 | /* We should have at some point before trying to access an FP register | ||
28 | diff --git a/target/arm/translate.h b/target/arm/translate.h | ||
29 | index XXXXXXX..XXXXXXX 100644 | ||
30 | --- a/target/arm/translate.h | ||
31 | +++ b/target/arm/translate.h | ||
32 | @@ -XXX,XX +XXX,XX @@ static inline void gen_ss_advance(DisasContext *s) | ||
33 | } | ||
34 | } | 20 | } |
35 | 21 | ||
36 | +/* | 22 | +static bool vectpending_targets_secure(NVICState *s) |
37 | + * Given a VFP floating point constant encoded into an 8 bit immediate in an | ||
38 | + * instruction, expand it to the actual constant value of the specified | ||
39 | + * size, as per the VFPExpandImm() pseudocode in the Arm ARM. | ||
40 | + */ | ||
41 | +uint64_t vfp_expand_imm(int size, uint8_t imm8); | ||
42 | + | ||
43 | /* Vector operations shared between ARM and AArch64. */ | ||
44 | extern const GVecGen3 mla_op[4]; | ||
45 | extern const GVecGen3 mls_op[4]; | ||
46 | diff --git a/target/arm/translate-a64.c b/target/arm/translate-a64.c | ||
47 | index XXXXXXX..XXXXXXX 100644 | ||
48 | --- a/target/arm/translate-a64.c | ||
49 | +++ b/target/arm/translate-a64.c | ||
50 | @@ -XXX,XX +XXX,XX @@ static void disas_fp_3src(DisasContext *s, uint32_t insn) | ||
51 | } | ||
52 | } | ||
53 | |||
54 | -/* The imm8 encodes the sign bit, enough bits to represent an exponent in | ||
55 | - * the range 01....1xx to 10....0xx, and the most significant 4 bits of | ||
56 | - * the mantissa; see VFPExpandImm() in the v8 ARM ARM. | ||
57 | - */ | ||
58 | -uint64_t vfp_expand_imm(int size, uint8_t imm8) | ||
59 | -{ | ||
60 | - uint64_t imm; | ||
61 | - | ||
62 | - switch (size) { | ||
63 | - case MO_64: | ||
64 | - imm = (extract32(imm8, 7, 1) ? 0x8000 : 0) | | ||
65 | - (extract32(imm8, 6, 1) ? 0x3fc0 : 0x4000) | | ||
66 | - extract32(imm8, 0, 6); | ||
67 | - imm <<= 48; | ||
68 | - break; | ||
69 | - case MO_32: | ||
70 | - imm = (extract32(imm8, 7, 1) ? 0x8000 : 0) | | ||
71 | - (extract32(imm8, 6, 1) ? 0x3e00 : 0x4000) | | ||
72 | - (extract32(imm8, 0, 6) << 3); | ||
73 | - imm <<= 16; | ||
74 | - break; | ||
75 | - case MO_16: | ||
76 | - imm = (extract32(imm8, 7, 1) ? 0x8000 : 0) | | ||
77 | - (extract32(imm8, 6, 1) ? 0x3000 : 0x4000) | | ||
78 | - (extract32(imm8, 0, 6) << 6); | ||
79 | - break; | ||
80 | - default: | ||
81 | - g_assert_not_reached(); | ||
82 | - } | ||
83 | - return imm; | ||
84 | -} | ||
85 | - | ||
86 | /* Floating point immediate | ||
87 | * 31 30 29 28 24 23 22 21 20 13 12 10 9 5 4 0 | ||
88 | * +---+---+---+-----------+------+---+------------+-------+------+------+ | ||
89 | diff --git a/target/arm/translate-vfp.inc.c b/target/arm/translate-vfp.inc.c | ||
90 | index XXXXXXX..XXXXXXX 100644 | ||
91 | --- a/target/arm/translate-vfp.inc.c | ||
92 | +++ b/target/arm/translate-vfp.inc.c | ||
93 | @@ -XXX,XX +XXX,XX @@ | ||
94 | #include "decode-vfp.inc.c" | ||
95 | #include "decode-vfp-uncond.inc.c" | ||
96 | |||
97 | +/* | ||
98 | + * The imm8 encodes the sign bit, enough bits to represent an exponent in | ||
99 | + * the range 01....1xx to 10....0xx, and the most significant 4 bits of | ||
100 | + * the mantissa; see VFPExpandImm() in the v8 ARM ARM. | ||
101 | + */ | ||
102 | +uint64_t vfp_expand_imm(int size, uint8_t imm8) | ||
103 | +{ | 23 | +{ |
104 | + uint64_t imm; | 24 | + /* Return true if s->vectpending targets Secure state */ |
105 | + | 25 | + if (s->vectpending_is_s_banked) { |
106 | + switch (size) { | 26 | + return true; |
107 | + case MO_64: | ||
108 | + imm = (extract32(imm8, 7, 1) ? 0x8000 : 0) | | ||
109 | + (extract32(imm8, 6, 1) ? 0x3fc0 : 0x4000) | | ||
110 | + extract32(imm8, 0, 6); | ||
111 | + imm <<= 48; | ||
112 | + break; | ||
113 | + case MO_32: | ||
114 | + imm = (extract32(imm8, 7, 1) ? 0x8000 : 0) | | ||
115 | + (extract32(imm8, 6, 1) ? 0x3e00 : 0x4000) | | ||
116 | + (extract32(imm8, 0, 6) << 3); | ||
117 | + imm <<= 16; | ||
118 | + break; | ||
119 | + case MO_16: | ||
120 | + imm = (extract32(imm8, 7, 1) ? 0x8000 : 0) | | ||
121 | + (extract32(imm8, 6, 1) ? 0x3000 : 0x4000) | | ||
122 | + (extract32(imm8, 0, 6) << 6); | ||
123 | + break; | ||
124 | + default: | ||
125 | + g_assert_not_reached(); | ||
126 | + } | 27 | + } |
127 | + return imm; | 28 | + return !exc_is_banked(s->vectpending) && |
29 | + exc_targets_secure(s, s->vectpending); | ||
128 | +} | 30 | +} |
129 | + | 31 | + |
130 | /* | 32 | void armv7m_nvic_get_pending_irq_info(void *opaque, |
131 | * Return the offset of a 16-bit half of the specified VFP single-precision | 33 | int *pirq, bool *ptargets_secure) |
132 | * register. If top is true, returns the top 16 bits; otherwise the bottom | 34 | { |
35 | @@ -XXX,XX +XXX,XX @@ void armv7m_nvic_get_pending_irq_info(void *opaque, | ||
36 | |||
37 | assert(pending > ARMV7M_EXCP_RESET && pending < s->num_irq); | ||
38 | |||
39 | - if (s->vectpending_is_s_banked) { | ||
40 | - targets_secure = true; | ||
41 | - } else { | ||
42 | - targets_secure = !exc_is_banked(pending) && | ||
43 | - exc_targets_secure(s, pending); | ||
44 | - } | ||
45 | + targets_secure = vectpending_targets_secure(s); | ||
46 | |||
47 | trace_nvic_get_pending_irq_info(pending, targets_secure); | ||
48 | |||
49 | @@ -XXX,XX +XXX,XX @@ static uint32_t nvic_readl(NVICState *s, uint32_t offset, MemTxAttrs attrs) | ||
50 | /* VECTACTIVE */ | ||
51 | val = cpu->env.v7m.exception; | ||
52 | /* VECTPENDING */ | ||
53 | - val |= (s->vectpending & 0x1ff) << 12; | ||
54 | + if (s->vectpending) { | ||
55 | + /* | ||
56 | + * From v8.1M VECTPENDING must read as 1 if accessed as | ||
57 | + * NonSecure and the highest priority pending and enabled | ||
58 | + * exception targets Secure. | ||
59 | + */ | ||
60 | + int vp = s->vectpending; | ||
61 | + if (!attrs.secure && arm_feature(&cpu->env, ARM_FEATURE_V8_1M) && | ||
62 | + vectpending_targets_secure(s)) { | ||
63 | + vp = 1; | ||
64 | + } | ||
65 | + val |= (vp & 0x1ff) << 12; | ||
66 | + } | ||
67 | /* ISRPENDING - set if any external IRQ is pending */ | ||
68 | if (nvic_isrpending(s)) { | ||
69 | val |= (1 << 22); | ||
133 | -- | 70 | -- |
134 | 2.20.1 | 71 | 2.20.1 |
135 | 72 | ||
136 | 73 | diff view generated by jsdifflib |
1 | Stop using cpu_F0s for the NEON_2RM_VCVT[ANPM][US] ops. | 1 | From: Mao Zhongyi <maozhongyi@cmss.chinamobile.com> |
---|---|---|---|
2 | 2 | ||
3 | Missed in commit f3478392 "docs: Move deprecation, build | ||
4 | and license info out of system/" | ||
5 | |||
6 | Signed-off-by: Mao Zhongyi <maozhongyi@cmss.chinamobile.com> | ||
7 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
8 | Message-id: 20210723065828.1336760-1-maozhongyi@cmss.chinamobile.com | ||
3 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 9 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
4 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
5 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
6 | Message-id: 20190613163917.28589-7-peter.maydell@linaro.org | ||
7 | --- | 10 | --- |
8 | target/arm/translate.c | 7 +++---- | 11 | configure | 2 +- |
9 | 1 file changed, 3 insertions(+), 4 deletions(-) | 12 | target/i386/cpu.c | 2 +- |
13 | MAINTAINERS | 2 +- | ||
14 | 3 files changed, 3 insertions(+), 3 deletions(-) | ||
10 | 15 | ||
11 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 16 | diff --git a/configure b/configure |
17 | index XXXXXXX..XXXXXXX 100755 | ||
18 | --- a/configure | ||
19 | +++ b/configure | ||
20 | @@ -XXX,XX +XXX,XX @@ fi | ||
21 | |||
22 | if test -n "${deprecated_features}"; then | ||
23 | echo "Warning, deprecated features enabled." | ||
24 | - echo "Please see docs/system/deprecated.rst" | ||
25 | + echo "Please see docs/about/deprecated.rst" | ||
26 | echo " features: ${deprecated_features}" | ||
27 | fi | ||
28 | |||
29 | diff --git a/target/i386/cpu.c b/target/i386/cpu.c | ||
12 | index XXXXXXX..XXXXXXX 100644 | 30 | index XXXXXXX..XXXXXXX 100644 |
13 | --- a/target/arm/translate.c | 31 | --- a/target/i386/cpu.c |
14 | +++ b/target/arm/translate.c | 32 | +++ b/target/i386/cpu.c |
15 | @@ -XXX,XX +XXX,XX @@ static int neon_2rm_is_float_op(int op) | 33 | @@ -XXX,XX +XXX,XX @@ static const X86CPUDefinition builtin_x86_defs[] = { |
16 | * what we are asking here is "does the code for this case in | 34 | * none", but this is just for compatibility while libvirt isn't |
17 | * the Neon for-each-pass loop use cpu_F0s?". | 35 | * adapted to resolve CPU model versions before creating VMs. |
18 | */ | 36 | * See "Runnability guarantee of CPU models" at |
19 | - return ((op >= NEON_2RM_VCVTAU && op <= NEON_2RM_VCVTMS) || | 37 | - * docs/system/deprecated.rst. |
20 | - op >= NEON_2RM_VRECPE_F); | 38 | + * docs/about/deprecated.rst. |
21 | + return op >= NEON_2RM_VRECPE_F; | 39 | */ |
22 | } | 40 | X86CPUVersion default_cpu_version = 1; |
23 | 41 | ||
24 | static bool neon_2rm_is_v8_op(int op) | 42 | diff --git a/MAINTAINERS b/MAINTAINERS |
25 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | 43 | index XXXXXXX..XXXXXXX 100644 |
26 | cpu_env); | 44 | --- a/MAINTAINERS |
27 | 45 | +++ b/MAINTAINERS | |
28 | if (is_signed) { | 46 | @@ -XXX,XX +XXX,XX @@ F: contrib/gitdm/* |
29 | - gen_helper_vfp_tosls(cpu_F0s, cpu_F0s, | 47 | |
30 | + gen_helper_vfp_tosls(tmp, tmp, | 48 | Incompatible changes |
31 | tcg_shift, fpst); | 49 | R: libvir-list@redhat.com |
32 | } else { | 50 | -F: docs/system/deprecated.rst |
33 | - gen_helper_vfp_touls(cpu_F0s, cpu_F0s, | 51 | +F: docs/about/deprecated.rst |
34 | + gen_helper_vfp_touls(tmp, tmp, | 52 | |
35 | tcg_shift, fpst); | 53 | Build System |
36 | } | 54 | ------------ |
37 | |||
38 | -- | 55 | -- |
39 | 2.20.1 | 56 | 2.20.1 |
40 | 57 | ||
41 | 58 | diff view generated by jsdifflib |
1 | Switch NEON_2RM_VRINT* away from using cpu_F0s. | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | 2 | ||
3 | Currently, our only caller is sve_zcr_len_for_el, which has | ||
4 | already masked the length extracted from ZCR_ELx, so the | ||
5 | masking done here is a nop. But we will shortly have uses | ||
6 | from other locations, where the length will be unmasked. | ||
7 | |||
8 | Saturate the length to ARM_MAX_VQ instead of truncating to | ||
9 | the low 4 bits. | ||
10 | |||
11 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> | ||
12 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
13 | Message-id: 20210723203344.968563-2-richard.henderson@linaro.org | ||
3 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 14 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
4 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
5 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
6 | Message-id: 20190613163917.28589-6-peter.maydell@linaro.org | ||
7 | --- | 15 | --- |
8 | target/arm/translate.c | 8 +++----- | 16 | target/arm/helper.c | 4 +++- |
9 | 1 file changed, 3 insertions(+), 5 deletions(-) | 17 | 1 file changed, 3 insertions(+), 1 deletion(-) |
10 | 18 | ||
11 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 19 | diff --git a/target/arm/helper.c b/target/arm/helper.c |
12 | index XXXXXXX..XXXXXXX 100644 | 20 | index XXXXXXX..XXXXXXX 100644 |
13 | --- a/target/arm/translate.c | 21 | --- a/target/arm/helper.c |
14 | +++ b/target/arm/translate.c | 22 | +++ b/target/arm/helper.c |
15 | @@ -XXX,XX +XXX,XX @@ static int neon_2rm_is_float_op(int op) | 23 | @@ -XXX,XX +XXX,XX @@ static uint32_t sve_zcr_get_valid_len(ARMCPU *cpu, uint32_t start_len) |
16 | * what we are asking here is "does the code for this case in | 24 | { |
17 | * the Neon for-each-pass loop use cpu_F0s?". | 25 | uint32_t end_len; |
18 | */ | 26 | |
19 | - return ((op >= NEON_2RM_VRINTN && op <= NEON_2RM_VRINTZ) || | 27 | - end_len = start_len &= 0xf; |
20 | - op == NEON_2RM_VRINTM || | 28 | + start_len = MIN(start_len, ARM_MAX_VQ - 1); |
21 | - (op >= NEON_2RM_VRINTP && op <= NEON_2RM_VCVTMS) || | 29 | + end_len = start_len; |
22 | + return ((op >= NEON_2RM_VCVTAU && op <= NEON_2RM_VCVTMS) || | 30 | + |
23 | op >= NEON_2RM_VRECPE_F); | 31 | if (!test_bit(start_len, cpu->sve_vq_map)) { |
24 | } | 32 | end_len = find_last_bit(cpu->sve_vq_map, start_len); |
25 | 33 | assert(end_len < start_len); | |
26 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
27 | tcg_rmode = tcg_const_i32(arm_rmode_to_sf(rmode)); | ||
28 | gen_helper_set_neon_rmode(tcg_rmode, tcg_rmode, | ||
29 | cpu_env); | ||
30 | - gen_helper_rints(cpu_F0s, cpu_F0s, fpstatus); | ||
31 | + gen_helper_rints(tmp, tmp, fpstatus); | ||
32 | gen_helper_set_neon_rmode(tcg_rmode, tcg_rmode, | ||
33 | cpu_env); | ||
34 | tcg_temp_free_ptr(fpstatus); | ||
35 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
36 | case NEON_2RM_VRINTX: | ||
37 | { | ||
38 | TCGv_ptr fpstatus = get_fpstatus_ptr(1); | ||
39 | - gen_helper_rints_exact(cpu_F0s, cpu_F0s, fpstatus); | ||
40 | + gen_helper_rints_exact(tmp, tmp, fpstatus); | ||
41 | tcg_temp_free_ptr(fpstatus); | ||
42 | break; | ||
43 | } | ||
44 | -- | 34 | -- |
45 | 2.20.1 | 35 | 2.20.1 |
46 | 36 | ||
47 | 37 | diff view generated by jsdifflib |
1 | Since Linux v3.17, the kernel's Image header includes a field image_size, | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | which gives the total size of the kernel including unpopulated data | ||
3 | sections such as the BSS). If this is present, then return it from | ||
4 | load_aarch64_image() as the true size of the kernel rather than | ||
5 | just using the size of the Image file itself. This allows the code | ||
6 | which calculates where to put the initrd to avoid putting it in | ||
7 | the kernel's BSS area. | ||
8 | 2 | ||
9 | This means that we should be able to reliably load kernel images | 3 | Rename from sve_zcr_get_valid_len and make accessible |
10 | which are larger than 128MB without accidentally putting the | 4 | from outside of helper.c. |
11 | initrd or dtb in locations that clash with the kernel itself. | ||
12 | 5 | ||
13 | Fixes: https://bugs.launchpad.net/qemu/+bug/1823998 | 6 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> |
7 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
8 | Message-id: 20210723203344.968563-3-richard.henderson@linaro.org | ||
14 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 9 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
15 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
16 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
17 | Tested-by: Mark Rutland <mark.rutland@arm.com> | ||
18 | Message-id: 20190516144733.32399-5-peter.maydell@linaro.org | ||
19 | --- | 10 | --- |
20 | hw/arm/boot.c | 17 +++++++++++++++-- | 11 | target/arm/internals.h | 10 ++++++++++ |
21 | 1 file changed, 15 insertions(+), 2 deletions(-) | 12 | target/arm/helper.c | 4 ++-- |
13 | 2 files changed, 12 insertions(+), 2 deletions(-) | ||
22 | 14 | ||
23 | diff --git a/hw/arm/boot.c b/hw/arm/boot.c | 15 | diff --git a/target/arm/internals.h b/target/arm/internals.h |
24 | index XXXXXXX..XXXXXXX 100644 | 16 | index XXXXXXX..XXXXXXX 100644 |
25 | --- a/hw/arm/boot.c | 17 | --- a/target/arm/internals.h |
26 | +++ b/hw/arm/boot.c | 18 | +++ b/target/arm/internals.h |
27 | @@ -XXX,XX +XXX,XX @@ static uint64_t load_aarch64_image(const char *filename, hwaddr mem_base, | 19 | @@ -XXX,XX +XXX,XX @@ void arm_translate_init(void); |
28 | hwaddr *entry, AddressSpace *as) | 20 | void arm_cpu_synchronize_from_tb(CPUState *cs, const TranslationBlock *tb); |
21 | #endif /* CONFIG_TCG */ | ||
22 | |||
23 | +/** | ||
24 | + * aarch64_sve_zcr_get_valid_len: | ||
25 | + * @cpu: cpu context | ||
26 | + * @start_len: maximum len to consider | ||
27 | + * | ||
28 | + * Return the maximum supported sve vector length <= @start_len. | ||
29 | + * Note that both @start_len and the return value are in units | ||
30 | + * of ZCR_ELx.LEN, so the vector bit length is (x + 1) * 128. | ||
31 | + */ | ||
32 | +uint32_t aarch64_sve_zcr_get_valid_len(ARMCPU *cpu, uint32_t start_len); | ||
33 | |||
34 | enum arm_fprounding { | ||
35 | FPROUNDING_TIEEVEN, | ||
36 | diff --git a/target/arm/helper.c b/target/arm/helper.c | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/target/arm/helper.c | ||
39 | +++ b/target/arm/helper.c | ||
40 | @@ -XXX,XX +XXX,XX @@ int sve_exception_el(CPUARMState *env, int el) | ||
41 | return 0; | ||
42 | } | ||
43 | |||
44 | -static uint32_t sve_zcr_get_valid_len(ARMCPU *cpu, uint32_t start_len) | ||
45 | +uint32_t aarch64_sve_zcr_get_valid_len(ARMCPU *cpu, uint32_t start_len) | ||
29 | { | 46 | { |
30 | hwaddr kernel_load_offset = KERNEL64_LOAD_ADDR; | 47 | uint32_t end_len; |
31 | + uint64_t kernel_size = 0; | 48 | |
32 | uint8_t *buffer; | 49 | @@ -XXX,XX +XXX,XX @@ uint32_t sve_zcr_len_for_el(CPUARMState *env, int el) |
33 | int size; | 50 | zcr_len = MIN(zcr_len, 0xf & (uint32_t)env->vfp.zcr_el[3]); |
34 | |||
35 | @@ -XXX,XX +XXX,XX @@ static uint64_t load_aarch64_image(const char *filename, hwaddr mem_base, | ||
36 | * is only valid if the image_size is non-zero. | ||
37 | */ | ||
38 | memcpy(&hdrvals, buffer + ARM64_TEXT_OFFSET_OFFSET, sizeof(hdrvals)); | ||
39 | - if (hdrvals[1] != 0) { | ||
40 | + | ||
41 | + kernel_size = le64_to_cpu(hdrvals[1]); | ||
42 | + | ||
43 | + if (kernel_size != 0) { | ||
44 | kernel_load_offset = le64_to_cpu(hdrvals[0]); | ||
45 | |||
46 | /* | ||
47 | @@ -XXX,XX +XXX,XX @@ static uint64_t load_aarch64_image(const char *filename, hwaddr mem_base, | ||
48 | } | ||
49 | } | 51 | } |
50 | 52 | ||
51 | + /* | 53 | - return sve_zcr_get_valid_len(cpu, zcr_len); |
52 | + * Kernels before v3.17 don't populate the image_size field, and | 54 | + return aarch64_sve_zcr_get_valid_len(cpu, zcr_len); |
53 | + * raw images have no header. For those our best guess at the size | ||
54 | + * is the size of the Image file itself. | ||
55 | + */ | ||
56 | + if (kernel_size == 0) { | ||
57 | + kernel_size = size; | ||
58 | + } | ||
59 | + | ||
60 | *entry = mem_base + kernel_load_offset; | ||
61 | rom_add_blob_fixed_as(filename, buffer, size, *entry, as); | ||
62 | |||
63 | g_free(buffer); | ||
64 | |||
65 | - return size; | ||
66 | + return kernel_size; | ||
67 | } | 55 | } |
68 | 56 | ||
69 | static void arm_setup_direct_kernel_boot(ARMCPU *cpu, | 57 | static void zcr_write(CPUARMState *env, const ARMCPRegInfo *ri, |
70 | -- | 58 | -- |
71 | 2.20.1 | 59 | 2.20.1 |
72 | 60 | ||
73 | 61 | diff view generated by jsdifflib |
1 | Allow VFP and neon to be disabled via a CPU property. As with | 1 | From: Richard Henderson <richard.henderson@linaro.org> |
---|---|---|---|
2 | the "pmu" property, we only allow these features to be removed | ||
3 | from CPUs which have it by default, not added to CPUs which | ||
4 | don't have it. | ||
5 | 2 | ||
6 | The primary motivation here is to be able to optionally | 3 | Mirror the behavour of /proc/sys/abi/sve_default_vector_length |
7 | create Cortex-M33 CPUs with no FPU, but we provide switches | 4 | under the real linux kernel. We have no way of passing along |
8 | for both VFP and Neon because the two interact: | 5 | a real default across exec like the kernel can, but this is a |
9 | * AArch64 can't have one without the other | 6 | decent way of adjusting the startup vector length of a process. |
10 | * Some ID register fields only change if both are disabled | ||
11 | 7 | ||
8 | Resolves: https://gitlab.com/qemu-project/qemu/-/issues/482 | ||
9 | Signed-off-by: Richard Henderson <richard.henderson@linaro.org> | ||
10 | Reviewed-by: Peter Maydell <peter.maydell@linaro.org> | ||
11 | Message-id: 20210723203344.968563-4-richard.henderson@linaro.org | ||
12 | [PMM: tweaked docs formatting, document -1 special-case, | ||
13 | added fixup patch from RTH mentioning QEMU's maximum veclen.] | ||
12 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 14 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
13 | Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
14 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
15 | Message-id: 20190517174046.11146-2-peter.maydell@linaro.org | ||
16 | --- | 15 | --- |
17 | target/arm/cpu.h | 4 ++ | 16 | docs/system/arm/cpu-features.rst | 15 ++++++++ |
18 | target/arm/cpu.c | 150 +++++++++++++++++++++++++++++++++++++++++++++-- | 17 | target/arm/cpu.h | 5 +++ |
19 | 2 files changed, 148 insertions(+), 6 deletions(-) | 18 | target/arm/cpu.c | 14 ++++++-- |
19 | target/arm/cpu64.c | 60 ++++++++++++++++++++++++++++++++ | ||
20 | 4 files changed, 92 insertions(+), 2 deletions(-) | ||
20 | 21 | ||
22 | diff --git a/docs/system/arm/cpu-features.rst b/docs/system/arm/cpu-features.rst | ||
23 | index XXXXXXX..XXXXXXX 100644 | ||
24 | --- a/docs/system/arm/cpu-features.rst | ||
25 | +++ b/docs/system/arm/cpu-features.rst | ||
26 | @@ -XXX,XX +XXX,XX @@ verbose command lines. However, the recommended way to select vector | ||
27 | lengths is to explicitly enable each desired length. Therefore only | ||
28 | example's (1), (4), and (6) exhibit recommended uses of the properties. | ||
29 | |||
30 | +SVE User-mode Default Vector Length Property | ||
31 | +-------------------------------------------- | ||
32 | + | ||
33 | +For qemu-aarch64, the cpu property ``sve-default-vector-length=N`` is | ||
34 | +defined to mirror the Linux kernel parameter file | ||
35 | +``/proc/sys/abi/sve_default_vector_length``. The default length, ``N``, | ||
36 | +is in units of bytes and must be between 16 and 8192. | ||
37 | +If not specified, the default vector length is 64. | ||
38 | + | ||
39 | +If the default length is larger than the maximum vector length enabled, | ||
40 | +the actual vector length will be reduced. Note that the maximum vector | ||
41 | +length supported by QEMU is 256. | ||
42 | + | ||
43 | +If this property is set to ``-1`` then the default vector length | ||
44 | +is set to the maximum possible length. | ||
21 | diff --git a/target/arm/cpu.h b/target/arm/cpu.h | 45 | diff --git a/target/arm/cpu.h b/target/arm/cpu.h |
22 | index XXXXXXX..XXXXXXX 100644 | 46 | index XXXXXXX..XXXXXXX 100644 |
23 | --- a/target/arm/cpu.h | 47 | --- a/target/arm/cpu.h |
24 | +++ b/target/arm/cpu.h | 48 | +++ b/target/arm/cpu.h |
25 | @@ -XXX,XX +XXX,XX @@ struct ARMCPU { | 49 | @@ -XXX,XX +XXX,XX @@ struct ARMCPU { |
26 | bool has_el3; | 50 | /* Used to set the maximum vector length the cpu will support. */ |
27 | /* CPU has PMU (Performance Monitor Unit) */ | 51 | uint32_t sve_max_vq; |
28 | bool has_pmu; | 52 | |
29 | + /* CPU has VFP */ | 53 | +#ifdef CONFIG_USER_ONLY |
30 | + bool has_vfp; | 54 | + /* Used to set the default vector length at process start. */ |
31 | + /* CPU has Neon */ | 55 | + uint32_t sve_default_vq; |
32 | + bool has_neon; | 56 | +#endif |
33 | 57 | + | |
34 | /* CPU has memory protection unit */ | 58 | /* |
35 | bool has_mpu; | 59 | * In sve_vq_map each set bit is a supported vector length of |
60 | * (bit-number + 1) * 16 bytes, i.e. each bit number + 1 is the vector | ||
36 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c | 61 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c |
37 | index XXXXXXX..XXXXXXX 100644 | 62 | index XXXXXXX..XXXXXXX 100644 |
38 | --- a/target/arm/cpu.c | 63 | --- a/target/arm/cpu.c |
39 | +++ b/target/arm/cpu.c | 64 | +++ b/target/arm/cpu.c |
40 | @@ -XXX,XX +XXX,XX @@ static Property arm_cpu_cfgend_property = | 65 | @@ -XXX,XX +XXX,XX @@ static void arm_cpu_reset(DeviceState *dev) |
41 | static Property arm_cpu_has_pmu_property = | 66 | env->cp15.cpacr_el1 = deposit64(env->cp15.cpacr_el1, 16, 2, 3); |
42 | DEFINE_PROP_BOOL("pmu", ARMCPU, has_pmu, true); | 67 | /* with reasonable vector length */ |
43 | 68 | if (cpu_isar_feature(aa64_sve, cpu)) { | |
44 | +static Property arm_cpu_has_vfp_property = | 69 | - env->vfp.zcr_el[1] = MIN(cpu->sve_max_vq - 1, 3); |
45 | + DEFINE_PROP_BOOL("vfp", ARMCPU, has_vfp, true); | 70 | + env->vfp.zcr_el[1] = |
71 | + aarch64_sve_zcr_get_valid_len(cpu, cpu->sve_default_vq - 1); | ||
72 | } | ||
73 | /* | ||
74 | * Enable TBI0 but not TBI1. | ||
75 | @@ -XXX,XX +XXX,XX @@ static void arm_cpu_initfn(Object *obj) | ||
76 | QLIST_INIT(&cpu->pre_el_change_hooks); | ||
77 | QLIST_INIT(&cpu->el_change_hooks); | ||
78 | |||
79 | -#ifndef CONFIG_USER_ONLY | ||
80 | +#ifdef CONFIG_USER_ONLY | ||
81 | +# ifdef TARGET_AARCH64 | ||
82 | + /* | ||
83 | + * The linux kernel defaults to 512-bit vectors, when sve is supported. | ||
84 | + * See documentation for /proc/sys/abi/sve_default_vector_length, and | ||
85 | + * our corresponding sve-default-vector-length cpu property. | ||
86 | + */ | ||
87 | + cpu->sve_default_vq = 4; | ||
88 | +# endif | ||
89 | +#else | ||
90 | /* Our inbound IRQ and FIQ lines */ | ||
91 | if (kvm_enabled()) { | ||
92 | /* VIRQ and VFIQ are unused with KVM but we add them to maintain | ||
93 | diff --git a/target/arm/cpu64.c b/target/arm/cpu64.c | ||
94 | index XXXXXXX..XXXXXXX 100644 | ||
95 | --- a/target/arm/cpu64.c | ||
96 | +++ b/target/arm/cpu64.c | ||
97 | @@ -XXX,XX +XXX,XX @@ static void cpu_arm_set_sve(Object *obj, bool value, Error **errp) | ||
98 | cpu->isar.id_aa64pfr0 = t; | ||
99 | } | ||
100 | |||
101 | +#ifdef CONFIG_USER_ONLY | ||
102 | +/* Mirror linux /proc/sys/abi/sve_default_vector_length. */ | ||
103 | +static void cpu_arm_set_sve_default_vec_len(Object *obj, Visitor *v, | ||
104 | + const char *name, void *opaque, | ||
105 | + Error **errp) | ||
106 | +{ | ||
107 | + ARMCPU *cpu = ARM_CPU(obj); | ||
108 | + int32_t default_len, default_vq, remainder; | ||
46 | + | 109 | + |
47 | +static Property arm_cpu_has_neon_property = | 110 | + if (!visit_type_int32(v, name, &default_len, errp)) { |
48 | + DEFINE_PROP_BOOL("neon", ARMCPU, has_neon, true); | ||
49 | + | ||
50 | static Property arm_cpu_has_mpu_property = | ||
51 | DEFINE_PROP_BOOL("has-mpu", ARMCPU, has_mpu, true); | ||
52 | |||
53 | @@ -XXX,XX +XXX,XX @@ void arm_cpu_post_init(Object *obj) | ||
54 | if (arm_feature(&cpu->env, ARM_FEATURE_M)) { | ||
55 | set_feature(&cpu->env, ARM_FEATURE_PMSA); | ||
56 | } | ||
57 | + /* Similarly for the VFP feature bits */ | ||
58 | + if (arm_feature(&cpu->env, ARM_FEATURE_VFP4)) { | ||
59 | + set_feature(&cpu->env, ARM_FEATURE_VFP3); | ||
60 | + } | ||
61 | + if (arm_feature(&cpu->env, ARM_FEATURE_VFP3)) { | ||
62 | + set_feature(&cpu->env, ARM_FEATURE_VFP); | ||
63 | + } | ||
64 | |||
65 | if (arm_feature(&cpu->env, ARM_FEATURE_CBAR) || | ||
66 | arm_feature(&cpu->env, ARM_FEATURE_CBAR_RO)) { | ||
67 | @@ -XXX,XX +XXX,XX @@ void arm_cpu_post_init(Object *obj) | ||
68 | &error_abort); | ||
69 | } | ||
70 | |||
71 | + /* | ||
72 | + * Allow user to turn off VFP and Neon support, but only for TCG -- | ||
73 | + * KVM does not currently allow us to lie to the guest about its | ||
74 | + * ID/feature registers, so the guest always sees what the host has. | ||
75 | + */ | ||
76 | + if (arm_feature(&cpu->env, ARM_FEATURE_VFP)) { | ||
77 | + cpu->has_vfp = true; | ||
78 | + if (!kvm_enabled()) { | ||
79 | + qdev_property_add_static(DEVICE(obj), &arm_cpu_has_vfp_property, | ||
80 | + &error_abort); | ||
81 | + } | ||
82 | + } | ||
83 | + | ||
84 | + if (arm_feature(&cpu->env, ARM_FEATURE_NEON)) { | ||
85 | + cpu->has_neon = true; | ||
86 | + if (!kvm_enabled()) { | ||
87 | + qdev_property_add_static(DEVICE(obj), &arm_cpu_has_neon_property, | ||
88 | + &error_abort); | ||
89 | + } | ||
90 | + } | ||
91 | + | ||
92 | if (arm_feature(&cpu->env, ARM_FEATURE_PMSA)) { | ||
93 | qdev_property_add_static(DEVICE(obj), &arm_cpu_has_mpu_property, | ||
94 | &error_abort); | ||
95 | @@ -XXX,XX +XXX,XX @@ static void arm_cpu_realizefn(DeviceState *dev, Error **errp) | ||
96 | return; | ||
97 | } | ||
98 | |||
99 | + if (arm_feature(env, ARM_FEATURE_AARCH64) && | ||
100 | + cpu->has_vfp != cpu->has_neon) { | ||
101 | + /* | ||
102 | + * This is an architectural requirement for AArch64; AArch32 is | ||
103 | + * more flexible and permits VFP-no-Neon and Neon-no-VFP. | ||
104 | + */ | ||
105 | + error_setg(errp, | ||
106 | + "AArch64 CPUs must have both VFP and Neon or neither"); | ||
107 | + return; | 111 | + return; |
108 | + } | 112 | + } |
109 | + | 113 | + |
110 | + if (!cpu->has_vfp) { | 114 | + /* Undocumented, but the kernel allows -1 to indicate "maximum". */ |
111 | + uint64_t t; | 115 | + if (default_len == -1) { |
112 | + uint32_t u; | 116 | + cpu->sve_default_vq = ARM_MAX_VQ; |
113 | + | 117 | + return; |
114 | + unset_feature(env, ARM_FEATURE_VFP); | ||
115 | + unset_feature(env, ARM_FEATURE_VFP3); | ||
116 | + unset_feature(env, ARM_FEATURE_VFP4); | ||
117 | + | ||
118 | + t = cpu->isar.id_aa64isar1; | ||
119 | + t = FIELD_DP64(t, ID_AA64ISAR1, JSCVT, 0); | ||
120 | + cpu->isar.id_aa64isar1 = t; | ||
121 | + | ||
122 | + t = cpu->isar.id_aa64pfr0; | ||
123 | + t = FIELD_DP64(t, ID_AA64PFR0, FP, 0xf); | ||
124 | + cpu->isar.id_aa64pfr0 = t; | ||
125 | + | ||
126 | + u = cpu->isar.id_isar6; | ||
127 | + u = FIELD_DP32(u, ID_ISAR6, JSCVT, 0); | ||
128 | + cpu->isar.id_isar6 = u; | ||
129 | + | ||
130 | + u = cpu->isar.mvfr0; | ||
131 | + u = FIELD_DP32(u, MVFR0, FPSP, 0); | ||
132 | + u = FIELD_DP32(u, MVFR0, FPDP, 0); | ||
133 | + u = FIELD_DP32(u, MVFR0, FPTRAP, 0); | ||
134 | + u = FIELD_DP32(u, MVFR0, FPDIVIDE, 0); | ||
135 | + u = FIELD_DP32(u, MVFR0, FPSQRT, 0); | ||
136 | + u = FIELD_DP32(u, MVFR0, FPSHVEC, 0); | ||
137 | + u = FIELD_DP32(u, MVFR0, FPROUND, 0); | ||
138 | + cpu->isar.mvfr0 = u; | ||
139 | + | ||
140 | + u = cpu->isar.mvfr1; | ||
141 | + u = FIELD_DP32(u, MVFR1, FPFTZ, 0); | ||
142 | + u = FIELD_DP32(u, MVFR1, FPDNAN, 0); | ||
143 | + u = FIELD_DP32(u, MVFR1, FPHP, 0); | ||
144 | + cpu->isar.mvfr1 = u; | ||
145 | + | ||
146 | + u = cpu->isar.mvfr2; | ||
147 | + u = FIELD_DP32(u, MVFR2, FPMISC, 0); | ||
148 | + cpu->isar.mvfr2 = u; | ||
149 | + } | 118 | + } |
150 | + | 119 | + |
151 | + if (!cpu->has_neon) { | 120 | + default_vq = default_len / 16; |
152 | + uint64_t t; | 121 | + remainder = default_len % 16; |
153 | + uint32_t u; | ||
154 | + | 122 | + |
155 | + unset_feature(env, ARM_FEATURE_NEON); | 123 | + /* |
156 | + | 124 | + * Note that the 512 max comes from include/uapi/asm/sve_context.h |
157 | + t = cpu->isar.id_aa64isar0; | 125 | + * and is the maximum architectural width of ZCR_ELx.LEN. |
158 | + t = FIELD_DP64(t, ID_AA64ISAR0, DP, 0); | 126 | + */ |
159 | + cpu->isar.id_aa64isar0 = t; | 127 | + if (remainder || default_vq < 1 || default_vq > 512) { |
160 | + | 128 | + error_setg(errp, "cannot set sve-default-vector-length"); |
161 | + t = cpu->isar.id_aa64isar1; | 129 | + if (remainder) { |
162 | + t = FIELD_DP64(t, ID_AA64ISAR1, FCMA, 0); | 130 | + error_append_hint(errp, "Vector length not a multiple of 16\n"); |
163 | + cpu->isar.id_aa64isar1 = t; | 131 | + } else if (default_vq < 1) { |
164 | + | 132 | + error_append_hint(errp, "Vector length smaller than 16\n"); |
165 | + t = cpu->isar.id_aa64pfr0; | 133 | + } else { |
166 | + t = FIELD_DP64(t, ID_AA64PFR0, ADVSIMD, 0xf); | 134 | + error_append_hint(errp, "Vector length larger than %d\n", |
167 | + cpu->isar.id_aa64pfr0 = t; | 135 | + 512 * 16); |
168 | + | 136 | + } |
169 | + u = cpu->isar.id_isar5; | 137 | + return; |
170 | + u = FIELD_DP32(u, ID_ISAR5, RDM, 0); | ||
171 | + u = FIELD_DP32(u, ID_ISAR5, VCMA, 0); | ||
172 | + cpu->isar.id_isar5 = u; | ||
173 | + | ||
174 | + u = cpu->isar.id_isar6; | ||
175 | + u = FIELD_DP32(u, ID_ISAR6, DP, 0); | ||
176 | + u = FIELD_DP32(u, ID_ISAR6, FHM, 0); | ||
177 | + cpu->isar.id_isar6 = u; | ||
178 | + | ||
179 | + u = cpu->isar.mvfr1; | ||
180 | + u = FIELD_DP32(u, MVFR1, SIMDLS, 0); | ||
181 | + u = FIELD_DP32(u, MVFR1, SIMDINT, 0); | ||
182 | + u = FIELD_DP32(u, MVFR1, SIMDSP, 0); | ||
183 | + u = FIELD_DP32(u, MVFR1, SIMDHP, 0); | ||
184 | + u = FIELD_DP32(u, MVFR1, SIMDFMAC, 0); | ||
185 | + cpu->isar.mvfr1 = u; | ||
186 | + | ||
187 | + u = cpu->isar.mvfr2; | ||
188 | + u = FIELD_DP32(u, MVFR2, SIMDMISC, 0); | ||
189 | + cpu->isar.mvfr2 = u; | ||
190 | + } | 138 | + } |
191 | + | 139 | + |
192 | + if (!cpu->has_neon && !cpu->has_vfp) { | 140 | + cpu->sve_default_vq = default_vq; |
193 | + uint64_t t; | 141 | +} |
194 | + uint32_t u; | ||
195 | + | 142 | + |
196 | + t = cpu->isar.id_aa64isar0; | 143 | +static void cpu_arm_get_sve_default_vec_len(Object *obj, Visitor *v, |
197 | + t = FIELD_DP64(t, ID_AA64ISAR0, FHM, 0); | 144 | + const char *name, void *opaque, |
198 | + cpu->isar.id_aa64isar0 = t; | 145 | + Error **errp) |
146 | +{ | ||
147 | + ARMCPU *cpu = ARM_CPU(obj); | ||
148 | + int32_t value = cpu->sve_default_vq * 16; | ||
199 | + | 149 | + |
200 | + t = cpu->isar.id_aa64isar1; | 150 | + visit_type_int32(v, name, &value, errp); |
201 | + t = FIELD_DP64(t, ID_AA64ISAR1, FRINTTS, 0); | 151 | +} |
202 | + cpu->isar.id_aa64isar1 = t; | 152 | +#endif |
203 | + | 153 | + |
204 | + u = cpu->isar.mvfr0; | 154 | void aarch64_add_sve_properties(Object *obj) |
205 | + u = FIELD_DP32(u, MVFR0, SIMDREG, 0); | 155 | { |
206 | + cpu->isar.mvfr0 = u; | 156 | uint32_t vq; |
207 | + } | 157 | @@ -XXX,XX +XXX,XX @@ void aarch64_add_sve_properties(Object *obj) |
158 | object_property_add(obj, name, "bool", cpu_arm_get_sve_vq, | ||
159 | cpu_arm_set_sve_vq, NULL, NULL); | ||
160 | } | ||
208 | + | 161 | + |
209 | /* Some features automatically imply others: */ | 162 | +#ifdef CONFIG_USER_ONLY |
210 | if (arm_feature(env, ARM_FEATURE_V8)) { | 163 | + /* Mirror linux /proc/sys/abi/sve_default_vector_length. */ |
211 | if (arm_feature(env, ARM_FEATURE_M)) { | 164 | + object_property_add(obj, "sve-default-vector-length", "int32", |
212 | @@ -XXX,XX +XXX,XX @@ static void arm_cpu_realizefn(DeviceState *dev, Error **errp) | 165 | + cpu_arm_get_sve_default_vec_len, |
213 | if (arm_feature(env, ARM_FEATURE_V5)) { | 166 | + cpu_arm_set_sve_default_vec_len, NULL, NULL); |
214 | set_feature(env, ARM_FEATURE_V4T); | 167 | +#endif |
215 | } | 168 | } |
216 | - if (arm_feature(env, ARM_FEATURE_VFP4)) { | 169 | |
217 | - set_feature(env, ARM_FEATURE_VFP3); | 170 | void arm_cpu_pauth_finalize(ARMCPU *cpu, Error **errp) |
218 | - } | ||
219 | - if (arm_feature(env, ARM_FEATURE_VFP3)) { | ||
220 | - set_feature(env, ARM_FEATURE_VFP); | ||
221 | - } | ||
222 | if (arm_feature(env, ARM_FEATURE_LPAE)) { | ||
223 | set_feature(env, ARM_FEATURE_V7MP); | ||
224 | set_feature(env, ARM_FEATURE_PXN); | ||
225 | -- | 171 | -- |
226 | 2.20.1 | 172 | 2.20.1 |
227 | 173 | ||
228 | 174 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | Allow the DSP extension to be disabled via a CPU property for | ||
2 | M-profile CPUs. (A and R-profile CPUs don't have this extension | ||
3 | as a defined separate optional architecture extension, so | ||
4 | they don't need the property.) | ||
5 | 1 | ||
6 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
7 | Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
8 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
9 | Message-id: 20190517174046.11146-3-peter.maydell@linaro.org | ||
10 | --- | ||
11 | target/arm/cpu.h | 2 ++ | ||
12 | target/arm/cpu.c | 29 +++++++++++++++++++++++++++++ | ||
13 | 2 files changed, 31 insertions(+) | ||
14 | |||
15 | diff --git a/target/arm/cpu.h b/target/arm/cpu.h | ||
16 | index XXXXXXX..XXXXXXX 100644 | ||
17 | --- a/target/arm/cpu.h | ||
18 | +++ b/target/arm/cpu.h | ||
19 | @@ -XXX,XX +XXX,XX @@ struct ARMCPU { | ||
20 | bool has_vfp; | ||
21 | /* CPU has Neon */ | ||
22 | bool has_neon; | ||
23 | + /* CPU has M-profile DSP extension */ | ||
24 | + bool has_dsp; | ||
25 | |||
26 | /* CPU has memory protection unit */ | ||
27 | bool has_mpu; | ||
28 | diff --git a/target/arm/cpu.c b/target/arm/cpu.c | ||
29 | index XXXXXXX..XXXXXXX 100644 | ||
30 | --- a/target/arm/cpu.c | ||
31 | +++ b/target/arm/cpu.c | ||
32 | @@ -XXX,XX +XXX,XX @@ static Property arm_cpu_has_vfp_property = | ||
33 | static Property arm_cpu_has_neon_property = | ||
34 | DEFINE_PROP_BOOL("neon", ARMCPU, has_neon, true); | ||
35 | |||
36 | +static Property arm_cpu_has_dsp_property = | ||
37 | + DEFINE_PROP_BOOL("dsp", ARMCPU, has_dsp, true); | ||
38 | + | ||
39 | static Property arm_cpu_has_mpu_property = | ||
40 | DEFINE_PROP_BOOL("has-mpu", ARMCPU, has_mpu, true); | ||
41 | |||
42 | @@ -XXX,XX +XXX,XX @@ void arm_cpu_post_init(Object *obj) | ||
43 | } | ||
44 | } | ||
45 | |||
46 | + if (arm_feature(&cpu->env, ARM_FEATURE_M) && | ||
47 | + arm_feature(&cpu->env, ARM_FEATURE_THUMB_DSP)) { | ||
48 | + qdev_property_add_static(DEVICE(obj), &arm_cpu_has_dsp_property, | ||
49 | + &error_abort); | ||
50 | + } | ||
51 | + | ||
52 | if (arm_feature(&cpu->env, ARM_FEATURE_PMSA)) { | ||
53 | qdev_property_add_static(DEVICE(obj), &arm_cpu_has_mpu_property, | ||
54 | &error_abort); | ||
55 | @@ -XXX,XX +XXX,XX @@ static void arm_cpu_realizefn(DeviceState *dev, Error **errp) | ||
56 | cpu->isar.mvfr0 = u; | ||
57 | } | ||
58 | |||
59 | + if (arm_feature(env, ARM_FEATURE_M) && !cpu->has_dsp) { | ||
60 | + uint32_t u; | ||
61 | + | ||
62 | + unset_feature(env, ARM_FEATURE_THUMB_DSP); | ||
63 | + | ||
64 | + u = cpu->isar.id_isar1; | ||
65 | + u = FIELD_DP32(u, ID_ISAR1, EXTEND, 1); | ||
66 | + cpu->isar.id_isar1 = u; | ||
67 | + | ||
68 | + u = cpu->isar.id_isar2; | ||
69 | + u = FIELD_DP32(u, ID_ISAR2, MULTU, 1); | ||
70 | + u = FIELD_DP32(u, ID_ISAR2, MULTS, 1); | ||
71 | + cpu->isar.id_isar2 = u; | ||
72 | + | ||
73 | + u = cpu->isar.id_isar3; | ||
74 | + u = FIELD_DP32(u, ID_ISAR3, SIMD, 1); | ||
75 | + u = FIELD_DP32(u, ID_ISAR3, SATURATE, 0); | ||
76 | + cpu->isar.id_isar3 = u; | ||
77 | + } | ||
78 | + | ||
79 | /* Some features automatically imply others: */ | ||
80 | if (arm_feature(env, ARM_FEATURE_V8)) { | ||
81 | if (arm_feature(env, ARM_FEATURE_M)) { | ||
82 | -- | ||
83 | 2.20.1 | ||
84 | |||
85 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | Create "vfp" and "dsp" properties on the armv7m container object | ||
2 | which will be forwarded to its CPU object, so that SoCs can | ||
3 | configure whether the CPU has these features. | ||
4 | 1 | ||
5 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
6 | Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
7 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
8 | Message-id: 20190517174046.11146-4-peter.maydell@linaro.org | ||
9 | --- | ||
10 | include/hw/arm/armv7m.h | 4 ++++ | ||
11 | hw/arm/armv7m.c | 18 ++++++++++++++++++ | ||
12 | 2 files changed, 22 insertions(+) | ||
13 | |||
14 | diff --git a/include/hw/arm/armv7m.h b/include/hw/arm/armv7m.h | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/include/hw/arm/armv7m.h | ||
17 | +++ b/include/hw/arm/armv7m.h | ||
18 | @@ -XXX,XX +XXX,XX @@ typedef struct { | ||
19 | * devices will be automatically layered on top of this view.) | ||
20 | * + Property "idau": IDAU interface (forwarded to CPU object) | ||
21 | * + Property "init-svtor": secure VTOR reset value (forwarded to CPU object) | ||
22 | + * + Property "vfp": enable VFP (forwarded to CPU object) | ||
23 | + * + Property "dsp": enable DSP (forwarded to CPU object) | ||
24 | * + Property "enable-bitband": expose bitbanded IO | ||
25 | */ | ||
26 | typedef struct ARMv7MState { | ||
27 | @@ -XXX,XX +XXX,XX @@ typedef struct ARMv7MState { | ||
28 | uint32_t init_svtor; | ||
29 | bool enable_bitband; | ||
30 | bool start_powered_off; | ||
31 | + bool vfp; | ||
32 | + bool dsp; | ||
33 | } ARMv7MState; | ||
34 | |||
35 | #endif | ||
36 | diff --git a/hw/arm/armv7m.c b/hw/arm/armv7m.c | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/hw/arm/armv7m.c | ||
39 | +++ b/hw/arm/armv7m.c | ||
40 | @@ -XXX,XX +XXX,XX @@ static void armv7m_realize(DeviceState *dev, Error **errp) | ||
41 | return; | ||
42 | } | ||
43 | } | ||
44 | + if (object_property_find(OBJECT(s->cpu), "vfp", NULL)) { | ||
45 | + object_property_set_bool(OBJECT(s->cpu), s->vfp, | ||
46 | + "vfp", &err); | ||
47 | + if (err != NULL) { | ||
48 | + error_propagate(errp, err); | ||
49 | + return; | ||
50 | + } | ||
51 | + } | ||
52 | + if (object_property_find(OBJECT(s->cpu), "dsp", NULL)) { | ||
53 | + object_property_set_bool(OBJECT(s->cpu), s->dsp, | ||
54 | + "dsp", &err); | ||
55 | + if (err != NULL) { | ||
56 | + error_propagate(errp, err); | ||
57 | + return; | ||
58 | + } | ||
59 | + } | ||
60 | |||
61 | /* | ||
62 | * Tell the CPU where the NVIC is; it will fail realize if it doesn't | ||
63 | @@ -XXX,XX +XXX,XX @@ static Property armv7m_properties[] = { | ||
64 | DEFINE_PROP_BOOL("enable-bitband", ARMv7MState, enable_bitband, false), | ||
65 | DEFINE_PROP_BOOL("start-powered-off", ARMv7MState, start_powered_off, | ||
66 | false), | ||
67 | + DEFINE_PROP_BOOL("vfp", ARMv7MState, vfp, true), | ||
68 | + DEFINE_PROP_BOOL("dsp", ARMv7MState, dsp, true), | ||
69 | DEFINE_PROP_END_OF_LIST(), | ||
70 | }; | ||
71 | |||
72 | -- | ||
73 | 2.20.1 | ||
74 | |||
75 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | The SSE-200 hardware has configurable integration settings which | ||
2 | determine whether its two CPUs have the FPU and DSP: | ||
3 | * CPU0_FPU (default 0) | ||
4 | * CPU0_DSP (default 0) | ||
5 | * CPU1_FPU (default 1) | ||
6 | * CPU1_DSP (default 1) | ||
7 | 1 | ||
8 | Similarly, the IoTKit has settings for its single CPU: | ||
9 | * CPU0_FPU (default 1) | ||
10 | * CPU0_DSP (default 1) | ||
11 | |||
12 | Of our four boards that use either the IoTKit or the SSE-200: | ||
13 | * mps2-an505, mps2-an521 and musca-a use the default settings | ||
14 | * musca-b1 enables FPU and DSP on both CPUs | ||
15 | |||
16 | Currently QEMU models all these boards using CPUs with | ||
17 | both FPU and DSP enabled. This means that we are incorrect | ||
18 | for mps2-an521 and musca-a, which should not have FPU or DSP | ||
19 | on CPU0. | ||
20 | |||
21 | Create QOM properties on the ARMSSE devices corresponding to the | ||
22 | default h/w integration settings, and make the Musca-B1 board | ||
23 | enable FPU and DSP on both CPUs. This fixes the mps2-an521 | ||
24 | and musca-a behaviour, and leaves the musca-b1 and mps2-an505 | ||
25 | behaviour unchanged. | ||
26 | |||
27 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
28 | Reviewed-by: Alex Bennée <alex.bennee@linaro.org> | ||
29 | Message-id: 20190517174046.11146-5-peter.maydell@linaro.org | ||
30 | --- | ||
31 | include/hw/arm/armsse.h | 7 +++++ | ||
32 | hw/arm/armsse.c | 58 ++++++++++++++++++++++++++++++++--------- | ||
33 | hw/arm/musca.c | 8 ++++++ | ||
34 | 3 files changed, 61 insertions(+), 12 deletions(-) | ||
35 | |||
36 | diff --git a/include/hw/arm/armsse.h b/include/hw/arm/armsse.h | ||
37 | index XXXXXXX..XXXXXXX 100644 | ||
38 | --- a/include/hw/arm/armsse.h | ||
39 | +++ b/include/hw/arm/armsse.h | ||
40 | @@ -XXX,XX +XXX,XX @@ | ||
41 | * address of each SRAM bank (and thus the total amount of internal SRAM) | ||
42 | * + QOM property "init-svtor" sets the initial value of the CPU SVTOR register | ||
43 | * (where it expects to load the PC and SP from the vector table on reset) | ||
44 | + * + QOM properties "CPU0_FPU", "CPU0_DSP", "CPU1_FPU" and "CPU1_DSP" which | ||
45 | + * set whether the CPUs have the FPU and DSP features present. The default | ||
46 | + * (matching the hardware) is that for CPU0 in an IoTKit and CPU1 in an | ||
47 | + * SSE-200 both are present; CPU0 in an SSE-200 has neither. | ||
48 | + * Since the IoTKit has only one CPU, it does not have the CPU1_* properties. | ||
49 | * + Named GPIO inputs "EXP_IRQ" 0..n are the expansion interrupts for CPU 0, | ||
50 | * which are wired to its NVIC lines 32 .. n+32 | ||
51 | * + Named GPIO inputs "EXP_CPU1_IRQ" 0..n are the expansion interrupts for | ||
52 | @@ -XXX,XX +XXX,XX @@ typedef struct ARMSSE { | ||
53 | uint32_t mainclk_frq; | ||
54 | uint32_t sram_addr_width; | ||
55 | uint32_t init_svtor; | ||
56 | + bool cpu_fpu[SSE_MAX_CPUS]; | ||
57 | + bool cpu_dsp[SSE_MAX_CPUS]; | ||
58 | } ARMSSE; | ||
59 | |||
60 | typedef struct ARMSSEInfo ARMSSEInfo; | ||
61 | diff --git a/hw/arm/armsse.c b/hw/arm/armsse.c | ||
62 | index XXXXXXX..XXXXXXX 100644 | ||
63 | --- a/hw/arm/armsse.c | ||
64 | +++ b/hw/arm/armsse.c | ||
65 | @@ -XXX,XX +XXX,XX @@ struct ARMSSEInfo { | ||
66 | bool has_cachectrl; | ||
67 | bool has_cpusecctrl; | ||
68 | bool has_cpuid; | ||
69 | + Property *props; | ||
70 | +}; | ||
71 | + | ||
72 | +static Property iotkit_properties[] = { | ||
73 | + DEFINE_PROP_LINK("memory", ARMSSE, board_memory, TYPE_MEMORY_REGION, | ||
74 | + MemoryRegion *), | ||
75 | + DEFINE_PROP_UINT32("EXP_NUMIRQ", ARMSSE, exp_numirq, 64), | ||
76 | + DEFINE_PROP_UINT32("MAINCLK", ARMSSE, mainclk_frq, 0), | ||
77 | + DEFINE_PROP_UINT32("SRAM_ADDR_WIDTH", ARMSSE, sram_addr_width, 15), | ||
78 | + DEFINE_PROP_UINT32("init-svtor", ARMSSE, init_svtor, 0x10000000), | ||
79 | + DEFINE_PROP_BOOL("CPU0_FPU", ARMSSE, cpu_fpu[0], true), | ||
80 | + DEFINE_PROP_BOOL("CPU0_DSP", ARMSSE, cpu_dsp[0], true), | ||
81 | + DEFINE_PROP_END_OF_LIST() | ||
82 | +}; | ||
83 | + | ||
84 | +static Property armsse_properties[] = { | ||
85 | + DEFINE_PROP_LINK("memory", ARMSSE, board_memory, TYPE_MEMORY_REGION, | ||
86 | + MemoryRegion *), | ||
87 | + DEFINE_PROP_UINT32("EXP_NUMIRQ", ARMSSE, exp_numirq, 64), | ||
88 | + DEFINE_PROP_UINT32("MAINCLK", ARMSSE, mainclk_frq, 0), | ||
89 | + DEFINE_PROP_UINT32("SRAM_ADDR_WIDTH", ARMSSE, sram_addr_width, 15), | ||
90 | + DEFINE_PROP_UINT32("init-svtor", ARMSSE, init_svtor, 0x10000000), | ||
91 | + DEFINE_PROP_BOOL("CPU0_FPU", ARMSSE, cpu_fpu[0], false), | ||
92 | + DEFINE_PROP_BOOL("CPU0_DSP", ARMSSE, cpu_dsp[0], false), | ||
93 | + DEFINE_PROP_BOOL("CPU1_FPU", ARMSSE, cpu_fpu[1], true), | ||
94 | + DEFINE_PROP_BOOL("CPU1_DSP", ARMSSE, cpu_dsp[1], true), | ||
95 | + DEFINE_PROP_END_OF_LIST() | ||
96 | }; | ||
97 | |||
98 | static const ARMSSEInfo armsse_variants[] = { | ||
99 | @@ -XXX,XX +XXX,XX @@ static const ARMSSEInfo armsse_variants[] = { | ||
100 | .has_cachectrl = false, | ||
101 | .has_cpusecctrl = false, | ||
102 | .has_cpuid = false, | ||
103 | + .props = iotkit_properties, | ||
104 | }, | ||
105 | { | ||
106 | .name = TYPE_SSE200, | ||
107 | @@ -XXX,XX +XXX,XX @@ static const ARMSSEInfo armsse_variants[] = { | ||
108 | .has_cachectrl = true, | ||
109 | .has_cpusecctrl = true, | ||
110 | .has_cpuid = true, | ||
111 | + .props = armsse_properties, | ||
112 | }, | ||
113 | }; | ||
114 | |||
115 | @@ -XXX,XX +XXX,XX @@ static void armsse_realize(DeviceState *dev, Error **errp) | ||
116 | return; | ||
117 | } | ||
118 | } | ||
119 | + if (!s->cpu_fpu[i]) { | ||
120 | + object_property_set_bool(cpuobj, false, "vfp", &err); | ||
121 | + if (err) { | ||
122 | + error_propagate(errp, err); | ||
123 | + return; | ||
124 | + } | ||
125 | + } | ||
126 | + if (!s->cpu_dsp[i]) { | ||
127 | + object_property_set_bool(cpuobj, false, "dsp", &err); | ||
128 | + if (err) { | ||
129 | + error_propagate(errp, err); | ||
130 | + return; | ||
131 | + } | ||
132 | + } | ||
133 | |||
134 | if (i > 0) { | ||
135 | memory_region_add_subregion_overlap(&s->cpu_container[i], 0, | ||
136 | @@ -XXX,XX +XXX,XX @@ static const VMStateDescription armsse_vmstate = { | ||
137 | } | ||
138 | }; | ||
139 | |||
140 | -static Property armsse_properties[] = { | ||
141 | - DEFINE_PROP_LINK("memory", ARMSSE, board_memory, TYPE_MEMORY_REGION, | ||
142 | - MemoryRegion *), | ||
143 | - DEFINE_PROP_UINT32("EXP_NUMIRQ", ARMSSE, exp_numirq, 64), | ||
144 | - DEFINE_PROP_UINT32("MAINCLK", ARMSSE, mainclk_frq, 0), | ||
145 | - DEFINE_PROP_UINT32("SRAM_ADDR_WIDTH", ARMSSE, sram_addr_width, 15), | ||
146 | - DEFINE_PROP_UINT32("init-svtor", ARMSSE, init_svtor, 0x10000000), | ||
147 | - DEFINE_PROP_END_OF_LIST() | ||
148 | -}; | ||
149 | - | ||
150 | static void armsse_reset(DeviceState *dev) | ||
151 | { | ||
152 | ARMSSE *s = ARMSSE(dev); | ||
153 | @@ -XXX,XX +XXX,XX @@ static void armsse_class_init(ObjectClass *klass, void *data) | ||
154 | DeviceClass *dc = DEVICE_CLASS(klass); | ||
155 | IDAUInterfaceClass *iic = IDAU_INTERFACE_CLASS(klass); | ||
156 | ARMSSEClass *asc = ARMSSE_CLASS(klass); | ||
157 | + const ARMSSEInfo *info = data; | ||
158 | |||
159 | dc->realize = armsse_realize; | ||
160 | dc->vmsd = &armsse_vmstate; | ||
161 | - dc->props = armsse_properties; | ||
162 | + dc->props = info->props; | ||
163 | dc->reset = armsse_reset; | ||
164 | iic->check = armsse_idau_check; | ||
165 | - asc->info = data; | ||
166 | + asc->info = info; | ||
167 | } | ||
168 | |||
169 | static const TypeInfo armsse_info = { | ||
170 | diff --git a/hw/arm/musca.c b/hw/arm/musca.c | ||
171 | index XXXXXXX..XXXXXXX 100644 | ||
172 | --- a/hw/arm/musca.c | ||
173 | +++ b/hw/arm/musca.c | ||
174 | @@ -XXX,XX +XXX,XX @@ static void musca_init(MachineState *machine) | ||
175 | qdev_prop_set_uint32(ssedev, "init-svtor", mmc->init_svtor); | ||
176 | qdev_prop_set_uint32(ssedev, "SRAM_ADDR_WIDTH", mmc->sram_addr_width); | ||
177 | qdev_prop_set_uint32(ssedev, "MAINCLK", SYSCLK_FRQ); | ||
178 | + /* | ||
179 | + * Musca-A takes the default SSE-200 FPU/DSP settings (ie no for | ||
180 | + * CPU0 and yes for CPU1); Musca-B1 explicitly enables them for CPU0. | ||
181 | + */ | ||
182 | + if (mmc->type == MUSCA_B1) { | ||
183 | + qdev_prop_set_bit(ssedev, "CPU0_FPU", true); | ||
184 | + qdev_prop_set_bit(ssedev, "CPU0_DSP", true); | ||
185 | + } | ||
186 | object_property_set_bool(OBJECT(&mms->sse), true, "realized", | ||
187 | &error_fatal); | ||
188 | |||
189 | -- | ||
190 | 2.20.1 | ||
191 | |||
192 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | The GIC ID registers cover an area 0x30 bytes in size | ||
2 | (12 registers, 4 bytes each). We were incorrectly decoding | ||
3 | only the first 0x20 bytes. | ||
4 | 1 | ||
5 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
6 | Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
7 | Message-id: 20190524124248.28394-2-peter.maydell@linaro.org | ||
8 | --- | ||
9 | hw/intc/arm_gicv3_dist.c | 4 ++-- | ||
10 | hw/intc/arm_gicv3_redist.c | 4 ++-- | ||
11 | 2 files changed, 4 insertions(+), 4 deletions(-) | ||
12 | |||
13 | diff --git a/hw/intc/arm_gicv3_dist.c b/hw/intc/arm_gicv3_dist.c | ||
14 | index XXXXXXX..XXXXXXX 100644 | ||
15 | --- a/hw/intc/arm_gicv3_dist.c | ||
16 | +++ b/hw/intc/arm_gicv3_dist.c | ||
17 | @@ -XXX,XX +XXX,XX @@ static MemTxResult gicd_readl(GICv3State *s, hwaddr offset, | ||
18 | } | ||
19 | return MEMTX_OK; | ||
20 | } | ||
21 | - case GICD_IDREGS ... GICD_IDREGS + 0x1f: | ||
22 | + case GICD_IDREGS ... GICD_IDREGS + 0x2f: | ||
23 | /* ID registers */ | ||
24 | *data = gicv3_idreg(offset - GICD_IDREGS); | ||
25 | return MEMTX_OK; | ||
26 | @@ -XXX,XX +XXX,XX @@ static MemTxResult gicd_writel(GICv3State *s, hwaddr offset, | ||
27 | gicd_write_irouter(s, attrs, irq, r); | ||
28 | return MEMTX_OK; | ||
29 | } | ||
30 | - case GICD_IDREGS ... GICD_IDREGS + 0x1f: | ||
31 | + case GICD_IDREGS ... GICD_IDREGS + 0x2f: | ||
32 | case GICD_TYPER: | ||
33 | case GICD_IIDR: | ||
34 | /* RO registers, ignore the write */ | ||
35 | diff --git a/hw/intc/arm_gicv3_redist.c b/hw/intc/arm_gicv3_redist.c | ||
36 | index XXXXXXX..XXXXXXX 100644 | ||
37 | --- a/hw/intc/arm_gicv3_redist.c | ||
38 | +++ b/hw/intc/arm_gicv3_redist.c | ||
39 | @@ -XXX,XX +XXX,XX @@ static MemTxResult gicr_readl(GICv3CPUState *cs, hwaddr offset, | ||
40 | } | ||
41 | *data = cs->gicr_nsacr; | ||
42 | return MEMTX_OK; | ||
43 | - case GICR_IDREGS ... GICR_IDREGS + 0x1f: | ||
44 | + case GICR_IDREGS ... GICR_IDREGS + 0x2f: | ||
45 | *data = gicv3_idreg(offset - GICR_IDREGS); | ||
46 | return MEMTX_OK; | ||
47 | default: | ||
48 | @@ -XXX,XX +XXX,XX @@ static MemTxResult gicr_writel(GICv3CPUState *cs, hwaddr offset, | ||
49 | return MEMTX_OK; | ||
50 | case GICR_IIDR: | ||
51 | case GICR_TYPER: | ||
52 | - case GICR_IDREGS ... GICR_IDREGS + 0x1f: | ||
53 | + case GICR_IDREGS ... GICR_IDREGS + 0x2f: | ||
54 | /* RO registers, ignore the write */ | ||
55 | qemu_log_mask(LOG_GUEST_ERROR, | ||
56 | "%s: invalid guest write to RO register at offset " | ||
57 | -- | ||
58 | 2.20.1 | ||
59 | |||
60 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | The GICv3 specification says that the GICD_TYPER.SecurityExtn bit | ||
2 | is RAZ if GICD_CTLR.DS is 1. We were incorrectly making it RAZ | ||
3 | if the security extension is unsupported. "Security extension | ||
4 | unsupported" always implies GICD_CTLR.DS == 1, but the guest can | ||
5 | also set DS on a GIC which does support the security extension. | ||
6 | Fix the condition to correctly check the GICD_CTLR.DS bit. | ||
7 | 1 | ||
8 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
9 | Message-id: 20190524124248.28394-3-peter.maydell@linaro.org | ||
10 | --- | ||
11 | hw/intc/arm_gicv3_dist.c | 8 +++++++- | ||
12 | 1 file changed, 7 insertions(+), 1 deletion(-) | ||
13 | |||
14 | diff --git a/hw/intc/arm_gicv3_dist.c b/hw/intc/arm_gicv3_dist.c | ||
15 | index XXXXXXX..XXXXXXX 100644 | ||
16 | --- a/hw/intc/arm_gicv3_dist.c | ||
17 | +++ b/hw/intc/arm_gicv3_dist.c | ||
18 | @@ -XXX,XX +XXX,XX @@ static MemTxResult gicd_readl(GICv3State *s, hwaddr offset, | ||
19 | * ITLinesNumber == (num external irqs / 32) - 1 | ||
20 | */ | ||
21 | int itlinesnumber = ((s->num_irq - GIC_INTERNAL) / 32) - 1; | ||
22 | + /* | ||
23 | + * SecurityExtn must be RAZ if GICD_CTLR.DS == 1, and | ||
24 | + * "security extensions not supported" always implies DS == 1, | ||
25 | + * so we only need to check the DS bit. | ||
26 | + */ | ||
27 | + bool sec_extn = !(s->gicd_ctlr & GICD_CTLR_DS); | ||
28 | |||
29 | - *data = (1 << 25) | (1 << 24) | (s->security_extn << 10) | | ||
30 | + *data = (1 << 25) | (1 << 24) | (sec_extn << 10) | | ||
31 | (0xf << 19) | itlinesnumber; | ||
32 | return MEMTX_OK; | ||
33 | } | ||
34 | -- | ||
35 | 2.20.1 | ||
36 | |||
37 | diff view generated by jsdifflib |
1 | The AArch32 VMOV (immediate) instruction uses the same VFP encoded | 1 | From: Philippe Mathieu-Daudé <f4bug@amsat.org> |
---|---|---|---|
2 | immediate format we already handle in vfp_expand_imm(). Use that | ||
3 | function rather than hand-decoding it. | ||
4 | 2 | ||
5 | Suggested-by: Richard Henderson <richard.henderson@linaro.org> | 3 | Signed-off-by: Philippe Mathieu-Daudé <f4bug@amsat.org> |
4 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
5 | Message-id: 20210726150953.1218690-1-f4bug@amsat.org | ||
6 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 6 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
7 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
8 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
9 | Message-id: 20190613163917.28589-3-peter.maydell@linaro.org | ||
10 | --- | 7 | --- |
11 | target/arm/translate-vfp.inc.c | 28 ++++------------------------ | 8 | hw/arm/nseries.c | 2 +- |
12 | target/arm/vfp.decode | 10 ++++++---- | 9 | 1 file changed, 1 insertion(+), 1 deletion(-) |
13 | 2 files changed, 10 insertions(+), 28 deletions(-) | ||
14 | 10 | ||
15 | diff --git a/target/arm/translate-vfp.inc.c b/target/arm/translate-vfp.inc.c | 11 | diff --git a/hw/arm/nseries.c b/hw/arm/nseries.c |
16 | index XXXXXXX..XXXXXXX 100644 | 12 | index XXXXXXX..XXXXXXX 100644 |
17 | --- a/target/arm/translate-vfp.inc.c | 13 | --- a/hw/arm/nseries.c |
18 | +++ b/target/arm/translate-vfp.inc.c | 14 | +++ b/hw/arm/nseries.c |
19 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMOV_imm_sp(DisasContext *s, arg_VMOV_imm_sp *a) | 15 | @@ -XXX,XX +XXX,XX @@ static uint32_t mipid_txrx(void *opaque, uint32_t cmd, int len) |
20 | uint32_t delta_d = 0; | 16 | default: |
21 | int veclen = s->vec_len; | 17 | bad_cmd: |
22 | TCGv_i32 fd; | 18 | qemu_log_mask(LOG_GUEST_ERROR, |
23 | - uint32_t n, i, vd; | 19 | - "%s: unknown command %02x\n", __func__, s->cmd); |
24 | + uint32_t vd; | 20 | + "%s: unknown command 0x%02x\n", __func__, s->cmd); |
25 | 21 | break; | |
26 | vd = a->vd; | ||
27 | |||
28 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMOV_imm_sp(DisasContext *s, arg_VMOV_imm_sp *a) | ||
29 | } | ||
30 | } | 22 | } |
31 | 23 | ||
32 | - n = (a->imm4h << 28) & 0x80000000; | ||
33 | - i = ((a->imm4h << 4) & 0x70) | a->imm4l; | ||
34 | - if (i & 0x40) { | ||
35 | - i |= 0x780; | ||
36 | - } else { | ||
37 | - i |= 0x800; | ||
38 | - } | ||
39 | - n |= i << 19; | ||
40 | - | ||
41 | - fd = tcg_temp_new_i32(); | ||
42 | - tcg_gen_movi_i32(fd, n); | ||
43 | + fd = tcg_const_i32(vfp_expand_imm(MO_32, a->imm)); | ||
44 | |||
45 | for (;;) { | ||
46 | neon_store_reg32(fd, vd); | ||
47 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMOV_imm_dp(DisasContext *s, arg_VMOV_imm_dp *a) | ||
48 | uint32_t delta_d = 0; | ||
49 | int veclen = s->vec_len; | ||
50 | TCGv_i64 fd; | ||
51 | - uint32_t n, i, vd; | ||
52 | + uint32_t vd; | ||
53 | |||
54 | vd = a->vd; | ||
55 | |||
56 | @@ -XXX,XX +XXX,XX @@ static bool trans_VMOV_imm_dp(DisasContext *s, arg_VMOV_imm_dp *a) | ||
57 | } | ||
58 | } | ||
59 | |||
60 | - n = (a->imm4h << 28) & 0x80000000; | ||
61 | - i = ((a->imm4h << 4) & 0x70) | a->imm4l; | ||
62 | - if (i & 0x40) { | ||
63 | - i |= 0x3f80; | ||
64 | - } else { | ||
65 | - i |= 0x4000; | ||
66 | - } | ||
67 | - n |= i << 16; | ||
68 | - | ||
69 | - fd = tcg_temp_new_i64(); | ||
70 | - tcg_gen_movi_i64(fd, ((uint64_t)n) << 32); | ||
71 | + fd = tcg_const_i64(vfp_expand_imm(MO_64, a->imm)); | ||
72 | |||
73 | for (;;) { | ||
74 | neon_store_reg64(fd, vd); | ||
75 | diff --git a/target/arm/vfp.decode b/target/arm/vfp.decode | ||
76 | index XXXXXXX..XXXXXXX 100644 | ||
77 | --- a/target/arm/vfp.decode | ||
78 | +++ b/target/arm/vfp.decode | ||
79 | @@ -XXX,XX +XXX,XX @@ | ||
80 | %vmov_idx_b 21:1 5:2 | ||
81 | %vmov_idx_h 21:1 6:1 | ||
82 | |||
83 | +%vmov_imm 16:4 0:4 | ||
84 | + | ||
85 | # VMOV scalar to general-purpose register; note that this does | ||
86 | # include some Neon cases. | ||
87 | VMOV_to_gp ---- 1110 u:1 1. 1 .... rt:4 1011 ... 1 0000 \ | ||
88 | @@ -XXX,XX +XXX,XX @@ VFM_sp ---- 1110 1.10 .... .... 1010 . o2:1 . 0 .... \ | ||
89 | VFM_dp ---- 1110 1.10 .... .... 1011 . o2:1 . 0 .... \ | ||
90 | vm=%vm_dp vn=%vn_dp vd=%vd_dp o1=2 | ||
91 | |||
92 | -VMOV_imm_sp ---- 1110 1.11 imm4h:4 .... 1010 0000 imm4l:4 \ | ||
93 | - vd=%vd_sp | ||
94 | -VMOV_imm_dp ---- 1110 1.11 imm4h:4 .... 1011 0000 imm4l:4 \ | ||
95 | - vd=%vd_dp | ||
96 | +VMOV_imm_sp ---- 1110 1.11 .... .... 1010 0000 .... \ | ||
97 | + vd=%vd_sp imm=%vmov_imm | ||
98 | +VMOV_imm_dp ---- 1110 1.11 .... .... 1011 0000 .... \ | ||
99 | + vd=%vd_dp imm=%vmov_imm | ||
100 | |||
101 | VMOV_reg_sp ---- 1110 1.11 0000 .... 1010 01.0 .... \ | ||
102 | vd=%vd_sp vm=%vm_sp | ||
103 | -- | 24 | -- |
104 | 2.20.1 | 25 | 2.20.1 |
105 | 26 | ||
106 | 27 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | Where Neon instructions are floating point operations, we | ||
2 | mostly use the old VFP utility functions like gen_vfp_abs() | ||
3 | which work on the TCG globals cpu_F0s and cpu_F1s. The | ||
4 | Neon for-each-element loop conditionally loads the inputs | ||
5 | into either a plain old TCG temporary for most operations | ||
6 | or into cpu_F0s for float operations, and similarly stores | ||
7 | back either cpu_F0s or the temporary. | ||
8 | 1 | ||
9 | Switch NEON_2RM_VABS_F away from using cpu_F0s, and | ||
10 | update neon_2rm_is_float_op() accordingly. | ||
11 | |||
12 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
13 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
14 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
15 | Message-id: 20190613163917.28589-4-peter.maydell@linaro.org | ||
16 | --- | ||
17 | target/arm/translate.c | 19 ++++++++----------- | ||
18 | 1 file changed, 8 insertions(+), 11 deletions(-) | ||
19 | |||
20 | diff --git a/target/arm/translate.c b/target/arm/translate.c | ||
21 | index XXXXXXX..XXXXXXX 100644 | ||
22 | --- a/target/arm/translate.c | ||
23 | +++ b/target/arm/translate.c | ||
24 | @@ -XXX,XX +XXX,XX @@ static TCGv_ptr get_fpstatus_ptr(int neon) | ||
25 | return statusptr; | ||
26 | } | ||
27 | |||
28 | -static inline void gen_vfp_abs(int dp) | ||
29 | -{ | ||
30 | - if (dp) | ||
31 | - gen_helper_vfp_absd(cpu_F0d, cpu_F0d); | ||
32 | - else | ||
33 | - gen_helper_vfp_abss(cpu_F0s, cpu_F0s); | ||
34 | -} | ||
35 | - | ||
36 | static inline void gen_vfp_neg(int dp) | ||
37 | { | ||
38 | if (dp) | ||
39 | @@ -XXX,XX +XXX,XX @@ static const uint8_t neon_3r_sizes[] = { | ||
40 | |||
41 | static int neon_2rm_is_float_op(int op) | ||
42 | { | ||
43 | - /* Return true if this neon 2reg-misc op is float-to-float */ | ||
44 | - return (op == NEON_2RM_VABS_F || op == NEON_2RM_VNEG_F || | ||
45 | + /* | ||
46 | + * Return true if this neon 2reg-misc op is float-to-float. | ||
47 | + * This is not a property of the operation but of our code -- | ||
48 | + * what we are asking here is "does the code for this case in | ||
49 | + * the Neon for-each-pass loop use cpu_F0s?". | ||
50 | + */ | ||
51 | + return (op == NEON_2RM_VNEG_F || | ||
52 | (op >= NEON_2RM_VRINTN && op <= NEON_2RM_VRINTZ) || | ||
53 | op == NEON_2RM_VRINTM || | ||
54 | (op >= NEON_2RM_VRINTP && op <= NEON_2RM_VCVTMS) || | ||
55 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
56 | break; | ||
57 | } | ||
58 | case NEON_2RM_VABS_F: | ||
59 | - gen_vfp_abs(0); | ||
60 | + gen_helper_vfp_abss(tmp, tmp); | ||
61 | break; | ||
62 | case NEON_2RM_VNEG_F: | ||
63 | gen_vfp_neg(0); | ||
64 | -- | ||
65 | 2.20.1 | ||
66 | |||
67 | diff view generated by jsdifflib |
Deleted patch | |||
---|---|---|---|
1 | Switch NEON_2RM_VABS_F away from using cpu_F0s. | ||
2 | 1 | ||
3 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | ||
4 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
5 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
6 | Message-id: 20190613163917.28589-5-peter.maydell@linaro.org | ||
7 | --- | ||
8 | target/arm/translate.c | 13 ++----------- | ||
9 | 1 file changed, 2 insertions(+), 11 deletions(-) | ||
10 | |||
11 | diff --git a/target/arm/translate.c b/target/arm/translate.c | ||
12 | index XXXXXXX..XXXXXXX 100644 | ||
13 | --- a/target/arm/translate.c | ||
14 | +++ b/target/arm/translate.c | ||
15 | @@ -XXX,XX +XXX,XX @@ static TCGv_ptr get_fpstatus_ptr(int neon) | ||
16 | return statusptr; | ||
17 | } | ||
18 | |||
19 | -static inline void gen_vfp_neg(int dp) | ||
20 | -{ | ||
21 | - if (dp) | ||
22 | - gen_helper_vfp_negd(cpu_F0d, cpu_F0d); | ||
23 | - else | ||
24 | - gen_helper_vfp_negs(cpu_F0s, cpu_F0s); | ||
25 | -} | ||
26 | - | ||
27 | #define VFP_GEN_ITOF(name) \ | ||
28 | static inline void gen_vfp_##name(int dp, int neon) \ | ||
29 | { \ | ||
30 | @@ -XXX,XX +XXX,XX @@ static int neon_2rm_is_float_op(int op) | ||
31 | * what we are asking here is "does the code for this case in | ||
32 | * the Neon for-each-pass loop use cpu_F0s?". | ||
33 | */ | ||
34 | - return (op == NEON_2RM_VNEG_F || | ||
35 | - (op >= NEON_2RM_VRINTN && op <= NEON_2RM_VRINTZ) || | ||
36 | + return ((op >= NEON_2RM_VRINTN && op <= NEON_2RM_VRINTZ) || | ||
37 | op == NEON_2RM_VRINTM || | ||
38 | (op >= NEON_2RM_VRINTP && op <= NEON_2RM_VCVTMS) || | ||
39 | op >= NEON_2RM_VRECPE_F); | ||
40 | @@ -XXX,XX +XXX,XX @@ static int disas_neon_data_insn(DisasContext *s, uint32_t insn) | ||
41 | gen_helper_vfp_abss(tmp, tmp); | ||
42 | break; | ||
43 | case NEON_2RM_VNEG_F: | ||
44 | - gen_vfp_neg(0); | ||
45 | + gen_helper_vfp_negs(tmp, tmp); | ||
46 | break; | ||
47 | case NEON_2RM_VSWP: | ||
48 | tmp2 = neon_load_reg(rd, pass); | ||
49 | -- | ||
50 | 2.20.1 | ||
51 | |||
52 | diff view generated by jsdifflib |
1 | Remove the now unused TCG globals cpu_F0s, cpu_F0d, cpu_F1s, cpu_F1d. | 1 | From: Joel Stanley <joel@jms.id.au> |
---|---|---|---|
2 | 2 | ||
3 | cpu_M0 is still used by the iwmmxt code, and cpu_V0 and | 3 | The macro used to calculate the maximum memory size of the MMIO region |
4 | cpu_V1 are used by both iwmmxt and Neon. | 4 | had a mistake, causing all GPIO models to create a mapping of 0x9D8. |
5 | The intent was to have it be 0x9D8 - 0x800. | ||
5 | 6 | ||
7 | This extra size doesn't matter on ast2400 and ast2500, which have a 4KB | ||
8 | region set aside for the GPIO controller. | ||
9 | |||
10 | On the ast2600 the 3.3V and 1.8V GPIO controllers are 2KB apart, so the | ||
11 | regions would overlap. Worse was the 1.8V controller would map over the | ||
12 | top of the following peripheral, which happens to be the RTC. | ||
13 | |||
14 | The mmio region used by each device is a maximum of 2KB, so avoid the | ||
15 | calculations and hard code this as the maximum. | ||
16 | |||
17 | Fixes: 36d737ee82b2 ("hw/gpio: Add in AST2600 specific implementation") | ||
18 | Signed-off-by: Joel Stanley <joel@jms.id.au> | ||
19 | Reviewed-by: Rashmica Gupta <rashmica.g@gmail.com> | ||
20 | Reviewed-by: Cédric Le Goater <clg@kaod.org> | ||
21 | Message-id: 20210713065854.134634-2-joel@jms.id.au | ||
22 | [PMM: fix autocorrect error in commit message] | ||
6 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> | 23 | Signed-off-by: Peter Maydell <peter.maydell@linaro.org> |
7 | Reviewed-by: Richard Henderson <richard.henderson@linaro.org> | ||
8 | Tested-by: Philippe Mathieu-Daudé <philmd@redhat.com> | ||
9 | Message-id: 20190613163917.28589-13-peter.maydell@linaro.org | ||
10 | --- | 24 | --- |
11 | target/arm/translate.c | 12 ++---------- | 25 | hw/gpio/aspeed_gpio.c | 3 +-- |
12 | 1 file changed, 2 insertions(+), 10 deletions(-) | 26 | 1 file changed, 1 insertion(+), 2 deletions(-) |
13 | 27 | ||
14 | diff --git a/target/arm/translate.c b/target/arm/translate.c | 28 | diff --git a/hw/gpio/aspeed_gpio.c b/hw/gpio/aspeed_gpio.c |
15 | index XXXXXXX..XXXXXXX 100644 | 29 | index XXXXXXX..XXXXXXX 100644 |
16 | --- a/target/arm/translate.c | 30 | --- a/hw/gpio/aspeed_gpio.c |
17 | +++ b/target/arm/translate.c | 31 | +++ b/hw/gpio/aspeed_gpio.c |
18 | @@ -XXX,XX +XXX,XX @@ TCGv_i32 cpu_CF, cpu_NF, cpu_VF, cpu_ZF; | 32 | @@ -XXX,XX +XXX,XX @@ |
19 | TCGv_i64 cpu_exclusive_addr; | 33 | #define GPIO_1_8V_MEM_SIZE 0x9D8 |
20 | TCGv_i64 cpu_exclusive_val; | 34 | #define GPIO_1_8V_REG_ARRAY_SIZE ((GPIO_1_8V_MEM_SIZE - \ |
21 | 35 | GPIO_1_8V_REG_OFFSET) >> 2) | |
22 | -/* FIXME: These should be removed. */ | 36 | -#define GPIO_MAX_MEM_SIZE MAX(GPIO_3_6V_MEM_SIZE, GPIO_1_8V_MEM_SIZE) |
23 | -static TCGv_i32 cpu_F0s, cpu_F1s; | 37 | |
24 | -static TCGv_i64 cpu_F0d, cpu_F1d; | 38 | static int aspeed_evaluate_irq(GPIOSets *regs, int gpio_prev_high, int gpio) |
25 | - | 39 | { |
26 | #include "exec/gen-icount.h" | 40 | @@ -XXX,XX +XXX,XX @@ static void aspeed_gpio_realize(DeviceState *dev, Error **errp) |
27 | |||
28 | static const char * const regnames[] = | ||
29 | @@ -XXX,XX +XXX,XX @@ static void arm_tr_init_disas_context(DisasContextBase *dcbase, CPUState *cs) | ||
30 | dc->base.max_insns = MIN(dc->base.max_insns, bound); | ||
31 | } | 41 | } |
32 | 42 | ||
33 | - cpu_F0s = tcg_temp_new_i32(); | 43 | memory_region_init_io(&s->iomem, OBJECT(s), &aspeed_gpio_ops, s, |
34 | - cpu_F1s = tcg_temp_new_i32(); | 44 | - TYPE_ASPEED_GPIO, GPIO_MAX_MEM_SIZE); |
35 | - cpu_F0d = tcg_temp_new_i64(); | 45 | + TYPE_ASPEED_GPIO, 0x800); |
36 | - cpu_F1d = tcg_temp_new_i64(); | 46 | |
37 | - cpu_V0 = cpu_F0d; | 47 | sysbus_init_mmio(sbd, &s->iomem); |
38 | - cpu_V1 = cpu_F1d; | ||
39 | + cpu_V0 = tcg_temp_new_i64(); | ||
40 | + cpu_V1 = tcg_temp_new_i64(); | ||
41 | /* FIXME: cpu_M0 can probably be the same as cpu_V0. */ | ||
42 | cpu_M0 = tcg_temp_new_i64(); | ||
43 | } | 48 | } |
44 | -- | 49 | -- |
45 | 2.20.1 | 50 | 2.20.1 |
46 | 51 | ||
47 | 52 | diff view generated by jsdifflib |