AArch64 Model vs. Hardware

The model is the refence model aarch64.cat.

We provide our test base of about 8950 tests, the output of our model and the consolidated log of our experiments (also by tested device).

Some additional tests are present in hardware logs only, those are mixed-size tests. Simulating these tests with herd7 requires supplying the command-line option -variant mixed. Output will be clearer with the command-line option -hexa true. Specific web pages describe mixed-size experiments.

We have tested many devices that feature ARMv8 (compatible) processors, which we usually identify by SoC name.

Contents
A few specific tests
Comparing model and hardware
Specific behaviours
New this round
Comparison with previous version
- More behaviours
- Less behaviours
Comparison with the operational (FLAT) model
- More behaviours
- Less behaviours
Comparison with some experimental model

This document was translated from L^AT_EX by H^EV^EA.