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
105
106
107
108
109
110
|
/* Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
* Copyright (C) 1997-2000 NEC Research Institute.
*
* MLton is released under a BSD-style license.
* See the file MLton-LICENSE for details.
*/
GC_sourceSeqIndex getCachedStackTopFrameSourceSeqIndex (GC_state s) {
GC_frameIndex i;
i = getCachedStackTopFrameIndex (s);
assert(i < s->sourceMaps.frameSourcesLength);
return s->sourceMaps.frameSources[i];
}
char* getSourceName (GC_state s, GC_sourceIndex i) {
assert (i < s->sourceMaps.sourcesLength);
return s->sourceMaps.sourceNames[s->sourceMaps.sources[i].sourceNameIndex];
}
char* GC_sourceName (GC_state s, GC_sourceIndex i) {
return getSourceName (s, i);
}
#if HAS_TIME_PROFILING
int compareSourceLabels (const void *v1, const void *v2) {
const struct GC_sourceLabel* l1 = (const struct GC_sourceLabel*)v1;
const struct GC_sourceLabel* l2 = (const struct GC_sourceLabel*)v2;
uintptr_t ui1 = (uintptr_t)(l1->label);
uintptr_t ui2 = (uintptr_t)(l2->label);
if (ui1 < ui2)
return -1;
else if (ui1 == ui2)
return 0;
else /* if (ui1 > ui2) */
return 1;
}
void sortSourceLabels (GC_state s) {
GC_sourceLabelIndex i;
/* Sort sourceLabels by address. */
qsort (s->sourceMaps.sourceLabels,
s->sourceMaps.sourceLabelsLength,
sizeof (*s->sourceMaps.sourceLabels),
compareSourceLabels);
if (0 == s->sourceMaps.sourceLabels[s->sourceMaps.sourceLabelsLength - 1].label)
die ("Max source label is 0 -- something is wrong.");
if (ASSERT)
for (i = 1; i < s->sourceMaps.sourceLabelsLength; i++)
assert (s->sourceMaps.sourceLabels[i-1].label
<= s->sourceMaps.sourceLabels[i].label);
}
void compressSourceLabels (GC_state s) {
GC_sourceLabelIndex in, out, i;
GC_sourceSeqIndex sourceSeqIndex;
/* Eliminate duplicate sourceLabels */
out = 0;
sourceSeqIndex = SOURCE_SEQ_UNKNOWN;
for (in = 0; in < s->sourceMaps.sourceLabelsLength; ++in) {
if (s->sourceMaps.sourceLabels[in].sourceSeqIndex != sourceSeqIndex) {
s->sourceMaps.sourceLabels[out++] = s->sourceMaps.sourceLabels[in];
sourceSeqIndex = s->sourceMaps.sourceLabels[in].sourceSeqIndex;
}
}
s->sourceMaps.sourceLabelsLength = out;
if (DEBUG_SOURCES)
for (i = 0; i < s->sourceMaps.sourceLabelsLength; i++)
fprintf (stderr, FMTPTR" "FMTSSI"\n",
(uintptr_t)s->sourceMaps.sourceLabels[i].label,
s->sourceMaps.sourceLabels[i].sourceSeqIndex);
}
void initSourceLabels (GC_state s) {
sortSourceLabels (s);
compressSourceLabels (s);
}
#endif
void showSources (GC_state s) {
uint32_t i;
uint32_t j;
fprintf (stdout, "0x%08"PRIx32"\n", s->magic);
fprintf (stdout, "%"PRIu32"\n", s->sourceMaps.sourceNamesLength);
for (i = 0; i < s->sourceMaps.sourceNamesLength; i++)
fprintf (stdout, "%s\n", s->sourceMaps.sourceNames[i]);
fprintf (stdout, "%"PRIu32"\n", s->sourceMaps.sourcesLength);
for (i = 0; i < s->sourceMaps.sourcesLength; i++)
fprintf (stdout, "%"PRIu32" %"PRIu32"\n",
s->sourceMaps.sources[i].sourceNameIndex,
s->sourceMaps.sources[i].successorSourceSeqIndex);
fprintf (stdout, "%"PRIu32"\n", s->sourceMaps.sourceSeqsLength);
for (i = 0; i < s->sourceMaps.sourceSeqsLength; i++) {
uint32_t *sourceSeq;
sourceSeq = s->sourceMaps.sourceSeqs[i];
for (j = 1; j <= sourceSeq[0]; j++)
fprintf (stdout, "%"PRIu32" ", sourceSeq[j]);
fprintf (stdout, "\n");
}
}
|
