diff options
Diffstat (limited to 'results/scraper/launchpad-without-comments/1924669')
| -rw-r--r-- | results/scraper/launchpad-without-comments/1924669 | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/results/scraper/launchpad-without-comments/1924669 b/results/scraper/launchpad-without-comments/1924669 new file mode 100644 index 00000000..f31b6e30 --- /dev/null +++ b/results/scraper/launchpad-without-comments/1924669 @@ -0,0 +1,10 @@ +VFP code cannot see CPACR write in the same TB + +If FPU is enabled by writing to CPACR, and the code is in the same translation block as the following VFP code, qemu generates "v7M NOCP UsageFault". + +This can be reproduced with git HEAD (commit 8fe9f1f891eff4e37f82622b7480ee748bf4af74). + +The target binary is attached. The qemu command is: +qemu-system-arm -nographic -monitor null -serial null -semihosting -machine mps2-an505 -cpu cortex-m33 -kernel cpacr_vfp.elf -d in_asm,int,exec,cpu,cpu_reset,unimp,guest_errors,nochain -D log + +If the code is changed a little, so that they are not in the same block, VFP code can see the effect of CPACR, or -singlestep of qemu has the same result. \ No newline at end of file |