Contents
Notice that ppcmem (PLDI’11 simulator) terminates in decent
time and memory space for 379 tests out of 9763.
| | PLDI11 | ARM | Tegra2 | APQ8060 | A5X | A6X | Exynos5250 | Tegra3 | Exynos4412 | Exynos5410 | APQ8064 |
| CoRR1 | Forbid | Ok, 10M/102G | Ok, 928k/12G | Ok, 87/24G | Ok, 249k/3.9G | No, 0/14G | No, 0/8.3G | Ok, 7.7M/18G | Ok, 1.0M/11G | No, 0/6.3G | Ok, 612/5.4G |
| | | Forbid invalidated | Forbid invalidated | Forbid invalidated | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| CO-MP | Forbid | Ok, 10M/119G | Ok, 182k/15G | Ok, 80/46G | Ok, 493k/4.4G | No, 0/13G | No, 0/8.3G | Ok, 8.5M/7.6G | Ok, 766k/11G | No, 0/6.3G | Ok, 860/7.5G |
| | | Forbid invalidated | Forbid invalidated | Forbid invalidated | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| CO-MP+dmb+po | Forbid | Ok, 38M/116G | Ok, 12M/13G | Ok, 1.6k/44G | Ok, 12M/5.1G | No, 0/14G | No, 0/8.3G | Ok, 12M/7.5G | Ok, 1.1M/11G | No, 0/6.3G | Ok, 47/7.5G |
| | | Forbid invalidated | Forbid invalidated | Forbid invalidated | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| CoRR3 | Forbid | Ok, 15M/82G | Ok, 10M/20G | Ok, 74/10G | Ok, 464k/3.9G | No, 0/14G | No, 0/8.3G | Ok, 3.3M/1.8G | Ok, 841k/11G | No, 0/6.3G | Ok, 910/7.5G |
| | | Forbid invalidated | Forbid invalidated | Forbid invalidated | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| CoRR3I | Forbid | Ok, 39k/88G | Ok, 13k/7.0G | No, 0/8.5G | Ok, 17k/7.3G | No, 0/14G | No, 0/8.3G | Ok, 755/11G | Ok, 8.7k/22G | No, 0/6.3G | No, 0/4.5G |
| | | Forbid invalidated | Forbid invalidated | | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | |
| CO-LB+fri+pos-fri | Forbid | Ok, 2.7M/109G | Ok, 468k/3.4G | No, 0/31G | Ok, 77k/7.7G | No, 0/14G | No, 0/8.3G | Ok, 816k/12G | Ok, 1.3M/21G | No, 0/6.3G | Ok, 1.2k/4.5G |
| | | Forbid invalidated | Forbid invalidated | | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| CO-S+wsi+pos-fri | Forbid | Ok, 18M/109G | Ok, 168k/3.4G | No, 0/31G | Ok, 356k/7.7G | No, 0/14G | No, 0/8.3G | Ok, 16M/12G | Ok, 1.1M/21G | No, 0/6.3G | Ok, 2.3k/4.5G |
| | | Forbid invalidated | Forbid invalidated | | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| CO-SBI | Forbid | Ok, 2.8k/129G | Ok, 368/16G | No, 0/36G | Ok, 701/8.7G | No, 0/14G | No, 0/8.3G | Ok, 1.4k/13G | Ok, 321/22G | No, 0/6.3G | No, 0/4.5G |
| | | Forbid invalidated | Forbid invalidated | | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | |
| CoRR1-1 | Forbid | Ok, 37M/82G | Ok, 31M/20G | Ok, 32/10G | Ok, 2.4M/3.9G | No, 0/14G | No, 0/8.3G | Ok, 924k/1.8G | Ok, 2.0M/11G | No, 0/6.3G | Ok, 42k/7.5G |
| | | Forbid invalidated | Forbid invalidated | Forbid invalidated | Forbid invalidated | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| MP+dmb+fri-rfi-ctrlisb | Forbid | Ok, 153k/193G | No, 0/44G | Ok, 153k/10G | No, 0/9.0G | No, 0/14G | No, 0/8.3G | No, 0/62G | No, 0/34G | No, 0/6.3G | No, 0/4.7G |
| | | Forbid invalidated | | Forbid invalidated | | | | | | | |
| RDW | Forbid | Ok, 450k/40G | — | — | — | — | — | Ok, 295k/23G | Ok, 155k/11G | No, 0/3.1G | No, 0/2.3G |
| | | Forbid invalidated | | | | | | Forbid invalidated | Forbid invalidated | | |
| CO-IRIW | Forbid | Ok, 11M/14G | — | — | — | — | — | Ok, 7.9M/3.3G | Ok, 3.0M/5.3G | No, 0/3.1G | Ok, 1.4k/2.3G |
| | | Forbid invalidated | | | | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
| CoRR2 | Forbid | Ok, 4.9M/12G | — | — | — | — | — | Ok, 2.6M/1.0G | Ok, 2.3M/5.3G | No, 0/3.1G | Ok, 3.1k/2.3G |
| | | Forbid invalidated | | | | | | Forbid invalidated | Forbid invalidated | | Forbid invalidated |
Allowed by PLDI11 and unobserved
| | PLDI11 | ARM | Tegra3 | Exynos4412 | Exynos5410 | APQ8064 |
| RWC+addr+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| RWC+addr+dsb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| RWC+ctrlisb+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| RWC+ctrlisb+dsb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+addr+ctrlisb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+addr+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+addr+dsb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+addrs | Allow | No, 0/40G | No, 0/23G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrl+addr | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrl+ctrlisb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrl+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrl+dsb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrlisb+addr | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrlisb+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrlisb+dsb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+ctrlisbs | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+data+addr | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+data+ctrlisb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+data+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRC+data+dsb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRW+2W+addr+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WRW+2W+addr+dsb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WWC+addr+dmb | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| WWC+addrs | Allow | No, 0/24G | No, 0/7.3G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| IRIW+addrs | Allow | No, 0/40G | No, 0/23G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| IRIW+ctrlisb+addr | Allow | No, 0/24G | No, 0/7.2G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| IRIW+ctrlisbs | Allow | No, 0/24G | No, 0/7.4G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| IRIW+dmb+addr | Allow | No, 0/24G | No, 0/7.4G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| IRIW+dmb+ctrlisb | Allow | No, 0/24G | No, 0/7.4G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| IRIW+dsb+addr | Allow | No, 0/24G | No, 0/7.4G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
| IRIW+dsb+ctrlisb | Allow | No, 0/24G | No, 0/7.4G | No, 0/11G | No, 0/3.1G | No, 0/2.3G |
| | | Allow unseen | Allow unseen | Allow unseen | Allow unseen | Allow unseen |
This document was translated from LATEX by
HEVEA.