1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
|
/*
TEST_HEADER
id = $Id$
summary = regression test for scan of invalid obj after I=A
language = c
link = testlib.o newfmt.o
END_HEADER
*/
#include "testlib.h"
#include "mpscamc.h"
#include "mpsavm.h"
#include "newfmt.h"
#define genCOUNT (3)
static mps_gen_param_s testChain[genCOUNT] = {
{ 6000, 0.90 }, { 8000, 0.65 }, { 16000, 0.50 } };
static void test(void *stack_pointer)
{
mps_arena_t arena;
mps_pool_t pool;
mps_thr_t thread;
mps_root_t root;
mps_ap_t apA, apB;
mps_fmt_t format;
mps_chain_t chain;
mycell *ambigref;
size_t bytes;
size_t alignment;
mps_addr_t q;
mps_word_t i;
cdie(mps_arena_create(&arena, mps_arena_class_vm(), mmqaArenaSIZE),
"create arena");
cdie(mps_thread_reg(&thread, arena), "register thread");
cdie(mps_root_create_thread(&root, arena, thread, stack_pointer), "thread root");
cdie(mps_fmt_create_A(&format, arena, &fmtA), "create format");
cdie(mps_chain_create(&chain, arena, genCOUNT, testChain), "chain_create");
cdie(mmqa_pool_create_chain(&pool, arena, mps_class_amc(), format, chain),
"create pool");
die(mps_ap_create(&apA, pool, mps_rank_exact()), "create apA");
die(mps_ap_create(&apB, pool, mps_rank_exact()), "create apB");
bytes = offsetof(struct data, ref)+sizeof(struct refitem);
alignment = MPS_PF_ALIGN;
bytes = (bytes+alignment-1)&~(alignment-1);
die(mps_reserve(&q, apB, bytes), "reserve: ");
comment("Reserve");
ambigref = q;
ambigref->data.tag = MCdata;
ambigref->data.id = MCerrorid;
ambigref->data.numrefs = 0;
ambigref->data.size = bytes;
i = mps_collections(arena)+2;
while ((unsigned) mps_collections(arena) < i) {
allocdumb(apA, 1024*256);
}
apB->init = apB->alloc;
while (mps_collections(arena) < i+2) {
allocdumb(apA, 1024*256);
}
asserts((apB->limit != 0 || mps_ap_trip(apB, q, bytes))==0,
"Commit succeeded!");
comment("Finished");
mps_arena_park(arena);
mps_ap_destroy(apA);
mps_ap_destroy(apB);
mps_pool_destroy(pool);
mps_chain_destroy(chain);
mps_fmt_destroy(format);
mps_root_destroy(root);
mps_thread_dereg(thread);
mps_arena_destroy(arena);
comment("Destroyed arena.");
}
int main(void)
{
run_test(test);
pass();
return 0;
}
|
