ARM model vs. AArch32 model

Contents

As we saw no behaviour accepted by aarch32.cat and rejected by arm.cat, the aarch32.cat model is “experimentaly stronger” then the historic arm.cat model. Namely, arm.cat is not not multi-copy atomic, has a weaker ppo and a weaker dsb fence.

Furthermore, there are few new invalid behaviours and none on the most recent (64bits running in 32bits mode) Raspberry Pi machines.

Behaviours allowed by arm.cat and forbidden by aarch32.cat

There are 572 such tests
 ARMAArch32Hardware
R+dmb+dsb.stAllowForbidNo, 0/84G
R+dmb.st+dsb.stAllowForbidNo, 0/84G
R+dsb+dsb.stAllowForbidNo, 0/84G
R+dsb.stsAllowForbidNo, 0/84G
SB+dmb+dsb.stAllowForbidNo, 0/82G
SB+dsb+dsb.stAllowForbidNo, 0/82G
SB+dsb.stsAllowForbidNo, 0/84G
DETOUR0158AllowForbidNo, 0/69G
LB0064AllowForbidNo, 0/73G
LB+data+data-wsiAllowForbidNo, 0/290G
DETOUR0160AllowForbidOk, 12k/59G
   Forbid invalidated
DETOUR0169AllowForbidNo, 0/67G
DETOUR0288AllowForbidNo, 0/69G
DETOUR0189AllowForbidNo, 0/67G
DETOUR0298AllowForbidNo, 0/69G
DETOUR0359AllowForbidNo, 0/67G
DETOUR0457AllowForbidNo, 0/69G
LB+data+pos-data-wsiAllowForbidNo, 0/287G
LB0066AllowForbidOk, 61k/88G
   Forbid invalidated
LB0087AllowForbidNo, 0/69G
DETOUR0302AllowForbidNo, 0/185G
LB+data+data-wsi-rfi-friAllowForbidNo, 0/49G
RWC+addr+dmbAllowForbidNo, 0/24G
RWC+addr+dsbAllowForbidNo, 0/24G
RWC+addr+dsb.stAllowForbidNo, 0/20G
RWC+ctrlisb+dmbAllowForbidNo, 0/24G
RWC+ctrlisb+dsbAllowForbidNo, 0/24G
RWC+ctrlisb+dsb.stAllowForbidNo, 0/20G
RWC+dmb+dsb.stAllowForbidNo, 0/20G
RWC+dsb+dsb.stAllowForbidNo, 0/20G
WRC+addr+ctrlisbAllowForbidNo, 0/24G
WRC+addr+dmbAllowForbidNo, 0/24G
WRC+addr+dsbAllowForbidNo, 0/24G
WRC+addrsAllowForbidNo, 0/63G
WRC+ctrl+addrAllowForbidNo, 0/24G
WRC+ctrl+ctrlisbAllowForbidNo, 0/24G
WRC+ctrl+dmbAllowForbidNo, 0/24G
WRC+ctrl+dsbAllowForbidNo, 0/24G
WRC+ctrlisb+addrAllowForbidNo, 0/24G
WRC+ctrlisb+dmbAllowForbidNo, 0/24G
WRC+ctrlisb+dsbAllowForbidNo, 0/24G
WRC+ctrlisbsAllowForbidNo, 0/24G
WRC+data+addrAllowForbidNo, 0/24G
WRC+data+ctrlisbAllowForbidNo, 0/24G
WRC+data+dmbAllowForbidNo, 0/24G
WRC+data+dsbAllowForbidNo, 0/24G
WRR+2W+addr+dmbAllowForbidNo, 0/24G
WRR+2W+addr+dmb.stAllowForbidNo, 0/23G
WRR+2W+addr+dsbAllowForbidNo, 0/21G
WRR+2W+addr+dsb.stAllowForbidNo, 0/20G
WRR+2W+ctrlisb+dmbAllowForbidNo, 0/24G
WRR+2W+ctrlisb+dmb.stAllowForbidNo, 0/23G
WRR+2W+ctrlisb+dsbAllowForbidNo, 0/21G
WRR+2W+ctrlisb+dsb.stAllowForbidNo, 0/24G
WRW+2W+addr+dmbAllowForbidNo, 0/24G
WRW+2W+addr+dmb.stAllowForbidNo, 0/20G
WRW+2W+addr+dsbAllowForbidNo, 0/24G
WRW+2W+addr+dsb.stAllowForbidNo, 0/20G
WRW+2W+ctrl+dmbAllowForbidNo, 0/21G
WRW+2W+ctrl+dmb.stAllowForbidNo, 0/20G
WRW+2W+ctrl+dsbAllowForbidNo, 0/21G
WRW+2W+ctrl+dsb.stAllowForbidNo, 0/20G
WRW+2W+ctrlisb+dmbAllowForbidNo, 0/21G
WRW+2W+ctrlisb+dmb.stAllowForbidNo, 0/20G
WRW+2W+ctrlisb+dsbAllowForbidNo, 0/21G
WRW+2W+ctrlisb+dsb.stAllowForbidNo, 0/20G
WRW+2W+data+dmbAllowForbidNo, 0/21G
WRW+2W+data+dmb.stAllowForbidNo, 0/20G
WRW+2W+data+dsbAllowForbidNo, 0/21G
WRW+2W+data+dsb.stAllowForbidNo, 0/20G
WRW+WR+addr+dmbAllowForbidNo, 0/21G
WRW+WR+addr+dsbAllowForbidNo, 0/21G
WRW+WR+addr+dsb.stAllowForbidNo, 0/20G
WRW+WR+ctrl+dmbAllowForbidNo, 0/21G
WRW+WR+ctrl+dsbAllowForbidNo, 0/21G
WRW+WR+ctrl+dsb.stAllowForbidNo, 0/20G
WRW+WR+ctrlisb+dmbAllowForbidNo, 0/21G
WRW+WR+ctrlisb+dsbAllowForbidNo, 0/21G
WRW+WR+ctrlisb+dsb.stAllowForbidNo, 0/20G
WRW+WR+data+dmbAllowForbidNo, 0/21G
WRW+WR+data+dsbAllowForbidNo, 0/21G
WRW+WR+data+dsb.stAllowForbidNo, 0/20G
WRW+WR+dmb+dsb.stAllowForbidNo, 0/20G
WRW+WR+dsb+dsb.stAllowForbidNo, 0/20G
WWC+addr+ctrlAllowForbidNo, 0/21G
WWC+addr+ctrlisbAllowForbidNo, 0/21G
WWC+addr+dataAllowForbidNo, 0/21G
WWC+addr+dmbAllowForbidNo, 0/24G
WWC+addr+dsbAllowForbidNo, 0/21G
WWC+addrsAllowForbidNo, 0/24G
WWC+ctrl+addrAllowForbidNo, 0/21G
WWC+ctrl+ctrlisbAllowForbidNo, 0/21G
WWC+ctrl+dataAllowForbidNo, 0/21G
WWC+ctrl+dmbAllowForbidNo, 0/21G
WWC+ctrl+dsbAllowForbidNo, 0/21G
WWC+ctrlisb+addrAllowForbidNo, 0/21G
WWC+ctrlisb+ctrlAllowForbidNo, 0/21G
WWC+ctrlisb+dataAllowForbidNo, 0/21G
WWC+ctrlisb+dmbAllowForbidNo, 0/21G
WWC+ctrlisb+dsbAllowForbidNo, 0/21G
WWC+ctrlisbsAllowForbidNo, 0/21G
WWC+ctrlsAllowForbidNo, 0/21G
WWC+data+addrAllowForbidNo, 0/21G
WWC+data+ctrlAllowForbidNo, 0/21G
WWC+data+ctrlisbAllowForbidNo, 0/21G
WWC+data+dmbAllowForbidNo, 0/21G
WWC+data+dsbAllowForbidNo, 0/21G
WWC+datasAllowForbidNo, 0/21G
3.SB+dmb+dmb+dsb.stAllowForbidNo, 0/21G
3.SB+dmb+dsb+dsb.stAllowForbidNo, 0/21G
3.SB+dmb+dsb.st+dsbAllowForbidNo, 0/21G
3.SB+dmb+dsb.st+dsb.stAllowForbidNo, 0/21G
3.SB+dsb+dsb+dsb.stAllowForbidNo, 0/21G
3.SB+dsb+dsb.st+dsb.stAllowForbidNo, 0/21G
3.SB+dsb.stsAllowForbidNo, 0/21G
DETOUR0049AllowForbidNo, 0/17G
DETOUR0070AllowForbidNo, 0/17G
DETOUR0091AllowForbidNo, 0/17G
DETOUR0520AllowForbidNo, 0/17G
DETOUR0541AllowForbidNo, 0/17G
DETOUR0974AllowForbidNo, 0/17G
DETOUR0995AllowForbidNo, 0/17G
DETOUR1016AllowForbidNo, 0/17G
ISA2+dmb+fri+addrAllowForbidNo, 0/41G
MOREDETOUR0192AllowForbidNo, 0/16G
MOREDETOUR0222AllowForbidNo, 0/16G
MP+dmb+[fr-rf]-addrAllowForbidNo, 0/1.4G
MP+dmb+pos-ctrlisb+BISAllowForbidNo, 0/38G
W+RWC+dmb+addr+dsb.stAllowForbidNo, 0/20G
W+RWC+dmb+ctrlisb+dsb.stAllowForbidNo, 0/20G
W+RWC+dmb+dmb+dsb.stAllowForbidNo, 0/20G
W+RWC+dmb+dsb+dsb.stAllowForbidNo, 0/20G
W+RWC+dmb.st+addr+dsb.stAllowForbidNo, 0/20G
W+RWC+dmb.st+ctrlisb+dsb.stAllowForbidNo, 0/20G
W+RWC+dmb.st+dmb+dsb.stAllowForbidNo, 0/20G
W+RWC+dmb.st+dsb+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb+addr+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb+ctrlisb+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb+dmb+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb+dsb+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb.st+addr+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb.st+ctrlisb+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb.st+dmb+dsb.stAllowForbidNo, 0/20G
W+RWC+dsb.st+dsb+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb+addr+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb+ctrl+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb+ctrlisb+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb+data+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb+dmb+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb+dsb+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb.st+addr+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb.st+ctrl+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb.st+ctrlisb+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb.st+data+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb.st+dmb+dsb.stAllowForbidNo, 0/20G
Z6.0+dmb.st+dsb+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb+addr+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb+ctrl+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb+ctrlisb+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb+data+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb+dmb+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb+dsb+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb.st+addr+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb.st+ctrl+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb.st+ctrlisb+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb.st+data+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb.st+dmb+dsb.stAllowForbidNo, 0/20G
Z6.0+dsb.st+dsb+dsb.stAllowForbidNo, 0/20G
Z6.4+dmb+dmb+dsb.stAllowForbidNo, 0/20G
Z6.4+dmb+dsb+dsb.stAllowForbidNo, 0/20G
Z6.4+dmb+dsb.st+dmbAllowForbidNo, 0/20G
Z6.4+dmb+dsb.st+dsbAllowForbidNo, 0/20G
Z6.4+dmb+dsb.st+dsb.stAllowForbidNo, 0/20G
Z6.4+dmb.st+dmb+dsb.stAllowForbidNo, 0/20G
Z6.4+dmb.st+dsb+dsb.stAllowForbidNo, 0/20G
Z6.4+dmb.st+dsb.st+dmbAllowForbidNo, 0/20G
Z6.4+dmb.st+dsb.st+dsbAllowForbidNo, 0/20G
Z6.4+dmb.st+dsb.st+dsb.stAllowForbidNo, 0/20G
Z6.4+dsb+dmb+dsb.stAllowForbidNo, 0/20G
Z6.4+dsb+dsb+dsb.stAllowForbidNo, 0/20G
Z6.4+dsb+dsb.st+dmbAllowForbidNo, 0/20G
Z6.4+dsb+dsb.st+dsbAllowForbidNo, 0/20G
Z6.4+dsb+dsb.st+dsb.stAllowForbidNo, 0/20G
Z6.4+dsb.st+dmb+dsb.stAllowForbidNo, 0/20G
Z6.4+dsb.st+dsb+dsb.stAllowForbidNo, 0/20G
Z6.4+dsb.st+dsb.st+dmbAllowForbidNo, 0/20G
Z6.4+dsb.st+dsb.st+dsbAllowForbidNo, 0/20G
Z6.4+dsb.stsAllowForbidNo, 0/20G
Z6.5+dmb+dmb+dsb.stAllowForbidNo, 0/20G
Z6.5+dmb+dmb.st+dsb.stAllowForbidNo, 0/20G
Z6.5+dmb+dsb+dsb.stAllowForbidNo, 0/20G
Z6.5+dmb+dsb.st+dsb.stAllowForbidNo, 0/20G
Z6.5+dmb.st+dmb+dsb.stAllowForbidNo, 0/20G
Z6.5+dmb.st+dmb.st+dsb.stAllowForbidNo, 0/20G
Z6.5+dmb.st+dsb+dsb.stAllowForbidNo, 0/20G
Z6.5+dmb.st+dsb.st+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb+dmb+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb+dmb.st+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb+dsb+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb+dsb.st+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb.st+dmb+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb.st+dmb.st+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb.st+dsb+dsb.stAllowForbidNo, 0/20G
Z6.5+dsb.stsAllowForbidNo, 0/20G
DETOUR0003AllowForbidNo, 0/17G
DETOUR0101AllowForbidNo, 0/17G
DETOUR0007AllowForbidNo, 0/17G
DETOUR0103AllowForbidNo, 0/17G
DETOUR0011AllowForbidNo, 0/17G
DETOUR0105AllowForbidNo, 0/17G
DETOUR0023AllowForbidNo, 0/17G
DETOUR0044AllowForbidNo, 0/17G
DETOUR0046AllowForbidNo, 0/17G
DETOUR0050AllowForbidNo, 0/17G
DETOUR0052AllowForbidNo, 0/17G
DETOUR0053AllowForbidNo, 0/17G
DETOUR0065AllowForbidNo, 0/17G
DETOUR0067AllowForbidNo, 0/17G
DETOUR0071AllowForbidNo, 0/17G
DETOUR0073AllowForbidNo, 0/17G
DETOUR0074AllowForbidNo, 0/17G
DETOUR0086AllowForbidNo, 0/17G
DETOUR0088AllowForbidNo, 0/17G
DETOUR0092AllowForbidNo, 0/17G
DETOUR0094AllowForbidNo, 0/17G
DETOUR0095AllowForbidNo, 0/17G
DETOUR0112AllowForbidNo, 0/17G
DETOUR0123AllowForbidNo, 0/17G
DETOUR0127AllowForbidNo, 0/17G
DETOUR0141AllowForbidNo, 0/17G
DETOUR0162AllowForbidOk, 654/17G
   Forbid invalidated
DETOUR0294AllowForbidOk, 594/17G
   Forbid invalidated
DETOUR0203AllowForbidNo, 0/17G
DETOUR0309AllowForbidNo, 0/17G
DETOUR0204AllowForbidNo, 0/17G
DETOUR0310AllowForbidNo, 0/17G
DETOUR0205AllowForbidNo, 0/17G
DETOUR0311AllowForbidNo, 0/17G
DETOUR0207AllowForbidNo, 0/17G
DETOUR0313AllowForbidNo, 0/17G
DETOUR0404AllowForbidNo, 0/17G
DETOUR0425AllowForbidNo, 0/17G
DETOUR0446AllowForbidNo, 0/17G
DETOUR0517AllowForbidNo, 0/17G
DETOUR0521AllowForbidNo, 0/17G
DETOUR0523AllowForbidNo, 0/17G
DETOUR0524AllowForbidNo, 0/17G
DETOUR0536AllowForbidNo, 0/17G
DETOUR0538AllowForbidNo, 0/17G
DETOUR0542AllowForbidNo, 0/17G
DETOUR0544AllowForbidNo, 0/17G
DETOUR0545AllowForbidNo, 0/17G
DETOUR0551AllowForbidNo, 0/17G
DETOUR0553AllowForbidNo, 0/17G
DETOUR0555AllowForbidNo, 0/17G
DETOUR0562AllowForbidNo, 0/17G
DETOUR0840AllowForbidNo, 0/17G
DETOUR0861AllowForbidNo, 0/17G
DETOUR0969AllowForbidNo, 0/17G
DETOUR0971AllowForbidNo, 0/17G
DETOUR0975AllowForbidNo, 0/17G
DETOUR0977AllowForbidNo, 0/17G
DETOUR0978AllowForbidNo, 0/17G
DETOUR0990AllowForbidNo, 0/17G
DETOUR0992AllowForbidNo, 0/17G
DETOUR0996AllowForbidNo, 0/17G
DETOUR0998AllowForbidNo, 0/17G
DETOUR0999AllowForbidNo, 0/17G
DETOUR1011AllowForbidNo, 0/17G
DETOUR1013AllowForbidNo, 0/17G
DETOUR1017AllowForbidNo, 0/17G
DETOUR1019AllowForbidNo, 0/17G
DETOUR1020AllowForbidNo, 0/17G
DETOUR1026AllowForbidNo, 0/17G
DETOUR1028AllowForbidNo, 0/17G
DETOUR1030AllowForbidNo, 0/17G
DETOUR1037AllowForbidNo, 0/17G
DETOUR1048AllowForbidNo, 0/17G
DETOUR1052AllowForbidNo, 0/17G
DETOUR1066AllowForbidNo, 0/17G
DETOUR1238AllowForbidNo, 0/17G
DETOUR1259AllowForbidNo, 0/17G
DETOUR1280AllowForbidNo, 0/17G
LB+data+fri-detw-addrAllowForbidNo, 0/8.4G
LB+data+fri-detw-ctrlAllowForbidNo, 0/8.4G
LB+data+fri-detw-dataAllowForbidNo, 0/8.4G
MOREDETOUR0007AllowForbidNo, 0/16G
MOREDETOUR0014AllowForbidNo, 0/16G
MOREDETOUR0021AllowForbidNo, 0/16G
MOREDETOUR0028AllowForbidNo, 0/16G
MOREDETOUR0034AllowForbidNo, 0/16G
MOREDETOUR0050AllowForbidNo, 0/16G
MOREDETOUR0193AllowForbidOk, 32k/16G
   Forbid invalidated
MOREDETOUR0196AllowForbidNo, 0/16G
MOREDETOUR0201AllowForbidNo, 0/16G
MOREDETOUR0203AllowForbidNo, 0/16G
MOREDETOUR0204AllowForbidNo, 0/16G
MOREDETOUR0206AllowForbidNo, 0/16G
MOREDETOUR0211AllowForbidNo, 0/16G
MOREDETOUR0214AllowForbidNo, 0/16G
MOREDETOUR0223AllowForbidNo, 0/16G
MOREDETOUR0224AllowForbidOk, 125k/16G
   Forbid invalidated
MOREDETOUR0234AllowForbidNo, 0/16G
MOREDETOUR0240AllowForbidNo, 0/28G
MOREDETOUR0246AllowForbidNo, 0/16G
MOREDETOUR0328AllowForbidNo, 0/16G
MOREDETOUR0344AllowForbidNo, 0/22G
MOREDETOUR0385AllowForbidNo, 0/16G
MOREDETOUR0630AllowForbidNo, 0/16G
MOREDETOUR0637AllowForbidNo, 0/16G
MOREDETOUR0644AllowForbidNo, 0/16G
MOREDETOUR0650AllowForbidNo, 0/16G
MOREDETOUR0666AllowForbidNo, 0/16G
MP+dmb+fri-rfi-ctrlisb+BISAllowForbidNo, 0/31G
DETOUR0042AllowForbidNo, 0/17G
DETOUR0063AllowForbidNo, 0/17G
DETOUR0084AllowForbidNo, 0/17G
DETOUR0358AllowForbidNo, 0/17G
DETOUR0456AllowForbidNo, 0/17G
DETOUR0362AllowForbidNo, 0/17G
DETOUR0458AllowForbidNo, 0/17G
DETOUR0366AllowForbidNo, 0/17G
DETOUR0460AllowForbidNo, 0/17G
DETOUR0378AllowForbidNo, 0/17G
DETOUR0399AllowForbidNo, 0/17G
DETOUR0401AllowForbidNo, 0/17G
DETOUR0405AllowForbidNo, 0/17G
DETOUR0407AllowForbidNo, 0/17G
DETOUR0408AllowForbidNo, 0/17G
DETOUR0420AllowForbidNo, 0/17G
DETOUR0422AllowForbidNo, 0/17G
DETOUR0426AllowForbidNo, 0/17G
DETOUR0428AllowForbidNo, 0/17G
DETOUR0429AllowForbidNo, 0/17G
DETOUR0441AllowForbidNo, 0/17G
DETOUR0443AllowForbidNo, 0/17G
DETOUR0447AllowForbidNo, 0/17G
DETOUR0449AllowForbidNo, 0/17G
DETOUR0450AllowForbidNo, 0/17G
DETOUR0467AllowForbidNo, 0/17G
DETOUR0478AllowForbidNo, 0/17G
DETOUR0482AllowForbidNo, 0/17G
DETOUR0496AllowForbidNo, 0/17G
DETOUR0515AllowForbidNo, 0/17G
DETOUR0534AllowForbidNo, 0/17G
DETOUR0837AllowForbidNo, 0/17G
DETOUR0841AllowForbidNo, 0/17G
DETOUR0843AllowForbidNo, 0/17G
DETOUR0844AllowForbidNo, 0/17G
DETOUR0856AllowForbidNo, 0/17G
DETOUR0858AllowForbidNo, 0/17G
DETOUR0862AllowForbidNo, 0/17G
DETOUR0864AllowForbidNo, 0/17G
DETOUR0865AllowForbidNo, 0/17G
DETOUR0871AllowForbidNo, 0/17G
DETOUR0873AllowForbidNo, 0/17G
DETOUR0875AllowForbidNo, 0/17G
DETOUR0882AllowForbidNo, 0/17G
DETOUR0967AllowForbidNo, 0/17G
DETOUR0988AllowForbidNo, 0/17G
DETOUR1009AllowForbidNo, 0/17G
DETOUR1233AllowForbidNo, 0/17G
DETOUR1235AllowForbidNo, 0/17G
DETOUR1239AllowForbidNo, 0/17G
DETOUR1241AllowForbidNo, 0/17G
DETOUR1242AllowForbidNo, 0/17G
DETOUR1254AllowForbidNo, 0/17G
DETOUR1256AllowForbidNo, 0/17G
DETOUR1260AllowForbidNo, 0/17G
DETOUR1262AllowForbidNo, 0/17G
DETOUR1263AllowForbidNo, 0/17G
DETOUR1275AllowForbidNo, 0/17G
DETOUR1277AllowForbidNo, 0/17G
DETOUR1281AllowForbidNo, 0/17G
DETOUR1283AllowForbidNo, 0/17G
DETOUR1284AllowForbidNo, 0/17G
DETOUR1290AllowForbidNo, 0/17G
DETOUR1292AllowForbidNo, 0/17G
DETOUR1294AllowForbidNo, 0/17G
DETOUR1301AllowForbidNo, 0/17G
DETOUR1312AllowForbidNo, 0/17G
DETOUR1316AllowForbidNo, 0/17G
DETOUR1330AllowForbidNo, 0/17G
LB+data+data-detww+LOCALAllowForbidNo, 0/104G
LB+data+detr-fri-rfi-addrAllowForbidNo, 0/8.4G
LB+data+detr-fri-rfi-ctrlAllowForbidNo, 0/8.4G
LB+data+detr-fri-rfi-dataAllowForbidNo, 0/8.4G
MOREDETOUR0008AllowForbidNo, 0/16G
MOREDETOUR0015AllowForbidNo, 0/22G
MOREDETOUR0022AllowForbidNo, 0/16G
MOREDETOUR0121AllowForbidNo, 0/16G
MOREDETOUR0129AllowForbidNo, 0/16G
MOREDETOUR0137AllowForbidNo, 0/16G
MOREDETOUR0147AllowForbidNo, 0/16G
MOREDETOUR0197AllowForbidNo, 0/16G
MOREDETOUR0198AllowForbidNo, 0/16G
MOREDETOUR0199AllowForbidNo, 0/16G
MOREDETOUR0231AllowForbidNo, 0/16G
MOREDETOUR0233AllowForbidNo, 0/16G
MOREDETOUR0235AllowForbidNo, 0/16G
MOREDETOUR0236AllowForbidOk, 905/16G
   Forbid invalidated
MOREDETOUR0239AllowForbidNo, 0/16G
MOREDETOUR0241AllowForbidNo, 0/16G
MOREDETOUR0242AllowForbidOk, 11k/16G
   Forbid invalidated
MOREDETOUR0245AllowForbidNo, 0/16G
MOREDETOUR0247AllowForbidNo, 0/16G
MOREDETOUR0248AllowForbidOk, 26k/16G
   Forbid invalidated
MOREDETOUR0251AllowForbidNo, 0/16G
MOREDETOUR0252AllowForbidNo, 0/16G
MOREDETOUR0253AllowForbidNo, 0/16G
MOREDETOUR0254AllowForbidNo, 0/16G
MOREDETOUR0256AllowForbidNo, 0/16G
MOREDETOUR0258AllowForbidNo, 0/16G
MOREDETOUR0259AllowForbidNo, 0/16G
MOREDETOUR0261AllowForbidNo, 0/16G
MOREDETOUR0266AllowForbidNo, 0/16G
MOREDETOUR0270AllowForbidNo, 0/16G
MOREDETOUR0281AllowForbidNo, 0/16G
MOREDETOUR0288AllowForbidNo, 0/16G
MOREDETOUR0295AllowForbidNo, 0/16G
MOREDETOUR0302AllowForbidNo, 0/16G
MOREDETOUR0308AllowForbidNo, 0/16G
MOREDETOUR0324AllowForbidNo, 0/16G
MOREDETOUR0350AllowForbidNo, 0/16G
MOREDETOUR0354AllowForbidNo, 0/16G
MOREDETOUR0358AllowForbidNo, 0/16G
MOREDETOUR0372AllowForbidNo, 0/16G
MOREDETOUR0379AllowForbidNo, 0/16G
MOREDETOUR0443AllowForbidNo, 0/16G
MOREDETOUR0451AllowForbidNo, 0/16G
MOREDETOUR0566AllowForbidNo, 0/16G
MOREDETOUR0624AllowForbidNo, 0/16G
MOREDETOUR0631AllowForbidNo, 0/16G
MOREDETOUR0638AllowForbidNo, 0/16G
MOREDETOUR0714AllowForbidNo, 0/16G
MOREDETOUR0722AllowForbidNo, 0/16G
MOREDETOUR0730AllowForbidNo, 0/16G
MOREDETOUR0873AllowForbidNo, 0/16G
MOREDETOUR0880AllowForbidNo, 0/16G
MOREDETOUR0887AllowForbidNo, 0/16G
MOREDETOUR0893AllowForbidNo, 0/16G
MOREDETOUR0909AllowForbidNo, 0/16G
WWC+LBsAllowForbidNo, 0/23G
DETOUR0397AllowForbidNo, 0/17G
DETOUR0418AllowForbidNo, 0/17G
DETOUR0439AllowForbidNo, 0/17G
DETOUR0835AllowForbidNo, 0/17G
DETOUR0854AllowForbidNo, 0/17G
DETOUR1231AllowForbidNo, 0/17G
DETOUR1252AllowForbidNo, 0/17G
DETOUR1273AllowForbidNo, 0/17G
LB+data+detrw-rfi-addrAllowForbidNo, 0/8.4G
LB+data+detrw-rfi-ctrlAllowForbidNo, 0/8.4G
LB+data+detrw-rfi-dataAllowForbidNo, 0/8.4G
MOREDETOUR0150AllowForbidNo, 0/16G
MOREDETOUR0151AllowForbidNo, 0/16G
MOREDETOUR0152AllowForbidNo, 0/16G
MOREDETOUR0185AllowForbidNo, 0/16G
MOREDETOUR0186AllowForbidNo, 0/16G
MOREDETOUR0187AllowForbidNo, 0/16G
MOREDETOUR0189AllowForbidNo, 0/16G
MOREDETOUR0191AllowForbidNo, 0/16G
MOREDETOUR0282AllowForbidNo, 0/16G
MOREDETOUR0289AllowForbidNo, 0/16G
MOREDETOUR0296AllowForbidNo, 0/16G
MOREDETOUR0553AllowForbidNo, 0/16G
MOREDETOUR0560AllowForbidNo, 0/16G
MOREDETOUR0867AllowForbidNo, 0/16G
MOREDETOUR0874AllowForbidNo, 0/16G
MOREDETOUR0881AllowForbidNo, 0/16G
S+dmb+detr-fri-rfi-dataAllowForbidNo, 0/8.4G
S+dmb+detrw-rfi-ctrlAllowForbidNo, 0/8.4G
S+dmb+detrw-rfi-dataAllowForbidNo, 0/8.4G
IRIW+addr+ctrlisbAllowForbidNo, 0/21G
IRIW+addrsAllowForbidNo, 0/63G
IRIW+ctrlisb+addrAllowForbidNo, 0/24G
IRIW+ctrlisbsAllowForbidNo, 0/24G
IRIW+dmb+addrAllowForbidNo, 0/24G
IRIW+dmb+ctrlisbAllowForbidNo, 0/24G
IRIW+dsb+addrAllowForbidNo, 0/24G
IRIW+dsb+ctrlisbAllowForbidNo, 0/24G
IRRWIW+addr+ctrlAllowForbidNo, 0/21G
IRRWIW+addr+ctrlisbAllowForbidNo, 0/21G
IRRWIW+addr+dataAllowForbidNo, 0/21G
IRRWIW+addr+dmbAllowForbidNo, 0/21G
IRRWIW+addr+dsbAllowForbidNo, 0/21G
IRRWIW+addrsAllowForbidNo, 0/21G
IRRWIW+ctrlisb+addrAllowForbidNo, 0/21G
IRRWIW+ctrlisb+ctrlAllowForbidNo, 0/21G
IRRWIW+ctrlisb+dataAllowForbidNo, 0/21G
IRRWIW+ctrlisb+dmbAllowForbidNo, 0/21G
IRRWIW+ctrlisb+dsbAllowForbidNo, 0/21G
IRRWIW+ctrlisbsAllowForbidNo, 0/21G
IRRWIW+dmb+addrAllowForbidNo, 0/21G
IRRWIW+dmb+ctrlAllowForbidNo, 0/21G
IRRWIW+dmb+ctrlisbAllowForbidNo, 0/21G
IRRWIW+dmb+dataAllowForbidNo, 0/21G
IRRWIW+dsb+addrAllowForbidNo, 0/21G
IRRWIW+dsb+ctrlAllowForbidNo, 0/21G
IRRWIW+dsb+ctrlisbAllowForbidNo, 0/21G
IRRWIW+dsb+dataAllowForbidNo, 0/21G
IRWIW+addr+ctrlAllowForbidNo, 0/21G
IRWIW+addr+ctrlisbAllowForbidNo, 0/21G
IRWIW+addr+dataAllowForbidNo, 0/21G
IRWIW+addrsAllowForbidNo, 0/21G
IRWIW+ctrl+ctrlisbAllowForbidNo, 0/21G
IRWIW+ctrlisbsAllowForbidNo, 0/21G
IRWIW+ctrlsAllowForbidNo, 0/21G
IRWIW+data+ctrlAllowForbidNo, 0/21G
IRWIW+data+ctrlisbAllowForbidNo, 0/21G
IRWIW+datasAllowForbidNo, 0/21G
IRWIW+dmb+addrAllowForbidNo, 0/21G
IRWIW+dmb+ctrlAllowForbidNo, 0/21G
IRWIW+dmb+ctrlisbAllowForbidNo, 0/21G
IRWIW+dmb+dataAllowForbidNo, 0/21G
IRWIW+dsb+addrAllowForbidNo, 0/21G
IRWIW+dsb+ctrlAllowForbidNo, 0/21G
IRWIW+dsb+ctrlisbAllowForbidNo, 0/21G
IRWIW+dsb+dataAllowForbidNo, 0/21G
DETOUR0055AllowForbidOk, 1/17G
   Forbid invalidated
DETOUR0076AllowForbidNo, 0/17G
DETOUR0097AllowForbidNo, 0/17G
DETOUR0526AllowForbidNo, 0/17G
DETOUR0547AllowForbidNo, 0/17G
DETOUR0606AllowForbidNo, 0/17G
DETOUR0610AllowForbidNo, 0/17G
DETOUR0614AllowForbidNo, 0/17G
DETOUR0629AllowForbidNo, 0/17G
DETOUR0980AllowForbidNo, 0/17G
DETOUR1001AllowForbidNo, 0/17G
DETOUR1022AllowForbidNo, 0/17G
MOREDETOUR0057AllowForbidNo, 0/16G
MOREDETOUR0073AllowForbidNo, 0/16G
MOREDETOUR0195AllowForbidOk, 1.4k/16G
   Forbid invalidated
MOREDETOUR0226AllowForbidOk, 72/16G
   Forbid invalidated
DETOUR0410AllowForbidNo, 0/17G
DETOUR0431AllowForbidNo, 0/17G
DETOUR0452AllowForbidNo, 0/17G
DETOUR0846AllowForbidNo, 0/17G
DETOUR0867AllowForbidNo, 0/17G
DETOUR0926AllowForbidNo, 0/17G
DETOUR0930AllowForbidNo, 0/17G
DETOUR0934AllowForbidNo, 0/17G
DETOUR0949AllowForbidNo, 0/17G
DETOUR1244AllowForbidNo, 0/17G
DETOUR1265AllowForbidNo, 0/17G
DETOUR1286AllowForbidNo, 0/17G
MOREDETOUR0079AllowForbidNo, 0/16G
MOREDETOUR0083AllowForbidNo, 0/16G
MOREDETOUR0087AllowForbidNo, 0/16G
MOREDETOUR0215AllowForbidNo, 0/16G
MOREDETOUR0216AllowForbidNo, 0/16G
MOREDETOUR0217AllowForbidNo, 0/16G
MOREDETOUR0219AllowForbidOk, 14k/16G
   Forbid invalidated
MOREDETOUR0221AllowForbidNo, 0/16G
MOREDETOUR0238AllowForbidOk, 41/16G
   Forbid invalidated
MOREDETOUR0244AllowForbidOk, 548/16G
   Forbid invalidated
MOREDETOUR0250AllowForbidOk, 30/16G
   Forbid invalidated
MOREDETOUR0331AllowForbidNo, 0/16G
MOREDETOUR0347AllowForbidNo, 0/16G
MOREDETOUR0673AllowForbidNo, 0/16G
MOREDETOUR0689AllowForbidNo, 0/16G
MOREDETOUR0353AllowForbidNo, 0/16G
MOREDETOUR0357AllowForbidNo, 0/16G
MOREDETOUR0361AllowForbidNo, 0/16G
MOREDETOUR0695AllowForbidNo, 0/16G
MOREDETOUR0699AllowForbidNo, 0/16G
MOREDETOUR0703AllowForbidNo, 0/16G
MOREDETOUR0916AllowForbidNo, 0/16G
MOREDETOUR0932AllowForbidNo, 0/16G
MP+dmb+fri-rfi-ctrlisb+BIS+obsAllowForbidNo, 0/31G
IRIW+addrs-twiceAllowForbidNo, 0/10G

Behaviours allowed by aarch32.cat and forbidden by arm.cat

There is no such test

New invalid behaviours

This table reproduces the lines of table More behaviours, for which the behaviours newly forbidden by arch64.cat have been observed on (old) ARMv7 hardware.

There are 16 such tests
 ARMAArch32HardwareTegra2APQ8060A5XA6XExynos5250Denver32Tegra3Exynos4412Exynos5410APQ8064BCM2836PI3BCortex-A72
DETOUR0160AllowForbidOk, 12k/59GOk, 902/2.6GNo, 0/5.2GOk, 2.3k/4.4GNo, 0/10GNo, 0/8.3GNo, 0/1.1GOk, 947/1.3GOk, 6.2k/8.4GNo, 0/6.8GNo, 0/4.9GNo, 0/840MNo, 0/970MNo, 0/5.3G
   Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidatedForbid invalidated     
LB0066AllowForbidOk, 61k/88GOk, 1.2k/2.7GNo, 0/26GOk, 30k/4.4GNo, 0/13GNo, 0/8.3GNo, 0/1.1GOk, 27k/6.9GOk, 3.6k/14GNo, 0/6.8GNo, 0/4.9GNo, 0/840MNo, 0/980MNo, 0/5.3G
   Forbid invalidatedForbid invalidated Forbid invalidated   Forbid invalidatedForbid invalidated     
DETOUR0162AllowForbidOk, 654/17G——————Ok, 613/3.1GOk, 6/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
DETOUR0294AllowForbidOk, 594/17G——————Ok, 558/3.1GOk, 5/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0193AllowForbidOk, 32k/16G——————Ok, 1.8k/3.1GOk, 30k/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0224AllowForbidOk, 125k/16G——————Ok, 123k/3.1GOk, 2.1k/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0236AllowForbidOk, 905/16G——————Ok, 441/3.1GOk, 464/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0242AllowForbidOk, 11k/16G——————Ok, 8.4k/3.1GOk, 3.0k/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0248AllowForbidOk, 26k/16G——————Ok, 25k/3.1GOk, 397/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
DETOUR0055AllowForbidOk, 1/17G——————Ok, 1/3.1GNo, 0/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/453MNo, 0/2.6G
   Forbid invalidated      Forbid invalidated      
MOREDETOUR0195AllowForbidOk, 1.4k/16G——————Ok, 45/3.1GOk, 1.4k/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0226AllowForbidOk, 72/16G——————Ok, 42/3.1GOk, 30/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0219AllowForbidOk, 14k/16G——————Ok, 1.7k/3.1GOk, 12k/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0238AllowForbidOk, 41/16G——————Ok, 10/3.1GOk, 31/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0244AllowForbidOk, 548/16G——————Ok, 116/3.1GOk, 432/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
MOREDETOUR0250AllowForbidOk, 30/16G——————Ok, 8/3.1GOk, 22/6.8GNo, 0/3.4GNo, 0/2.5GNo, 0/420MNo, 0/448MNo, 0/2.6G
   Forbid invalidated      Forbid invalidatedForbid invalidated     
This document was translated from LATEX by HEVEA.