ARM Litmus Tests

This is a collection of ARM litmus tests: analogues of the POWER litmus tests used in our PLDI paper.

• Tests and Test Results
  • Tests cited by name in the paper
  • Systematic tests
    • MP: Message Passing
    • SB: Store Buffer forwarding (sometimes called Dekker’s example)
    • LB: Load Buffering
    • IRIW: Independent Reads of Independent Writes
    • WRC: Write to Read Causality
    • RWC: Read to Write Causality
    • ISA2: Second example from POWER documentation
    • 2+2W:
    • R:
    • S:
    • WWC:
    • WRW+2W:
    • PPO:
  • Extra tests

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