(load_a, store_a, load_b, store_b)
| 36 | } |
| 37 | |
| 38 | function assertMemoryIndependence(load_a, store_a, load_b, store_b) { |
| 39 | |
| 40 | assertEquals(0, load_a(0)); |
| 41 | assertEquals(0, load_b(0)); |
| 42 | assertEquals(0, load_a(4)); |
| 43 | assertEquals(0, load_b(4)); |
| 44 | |
| 45 | store_a(0, 101); |
| 46 | assertEquals(101, load_a(0)); |
| 47 | assertEquals(0, load_b(0)); |
| 48 | assertEquals(0, load_a(4)); |
| 49 | assertEquals(0, load_b(4)); |
| 50 | |
| 51 | store_a(4, 102); |
| 52 | assertEquals(101, load_a(0)); |
| 53 | assertEquals(0, load_b(0)); |
| 54 | assertEquals(102, load_a(4)); |
| 55 | assertEquals(0, load_b(4)); |
| 56 | |
| 57 | store_b(0, 103); |
| 58 | assertEquals(101, load_a(0)); |
| 59 | assertEquals(103, load_b(0)); |
| 60 | assertEquals(102, load_a(4)); |
| 61 | assertEquals(0, load_b(4)); |
| 62 | |
| 63 | store_b(4, 107); |
| 64 | assertEquals(101, load_a(0)); |
| 65 | assertEquals(103, load_b(0)); |
| 66 | assertEquals(102, load_a(4)); |
| 67 | assertEquals(107, load_b(4)); |
| 68 | |
| 69 | store_a(0, 0); |
| 70 | store_a(4, 0); |
| 71 | store_b(0, 0); |
| 72 | store_b(4, 0); |
| 73 | } |
| 74 | |
| 75 | // A simple test for memory-independence between modules. |
| 76 | (function SimpleMemoryIndependenceTest() { |
no test coverage detected