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
|
/*
For knowing how to write assembly profiling stubs.
*/
#include <stdint.h>
#include <stdio.h>
#include <errno.h>
typedef uint8_t md5_hash[16];
typedef uint64_t condition_counters[2];
void _compcert_write_profiling_table(unsigned int nr_items,
md5_hash id_table[],
condition_counters counter_table[]);
static md5_hash id_table[42] = {{1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16}};
static condition_counters counter_table[42];
void write_profile(void) {
_compcert_write_profiling_table(42, id_table, counter_table);
}
static _Atomic uint64_t counter;
void incr_counter(void) {
counter++;
}
|
