codegen.cpp revision dd7bc3319deb2b77c5d07a51b7d6cd7e11b5beb0 
1#include <stdio.h>
2#include <stdint.h>
3
4extern "C" void ggl_test_codegen(
5        uint32_t n, uint32_t p, uint32_t t0, uint32_t t1);
6
7
8int main(int argc, char** argv)
9{
10    if (argc != 2) {
11        printf("usage: %s 00000117:03454504_00001501_00000000\n", argv[0]);
12        return 0;
13    }
14    uint32_t n;
15    uint32_t p;
16    uint32_t t0;
17    uint32_t t1;
18    sscanf(argv[1], "%08x:%08x_%08x_%08x", &p, &n, &t0, &t1);
19    ggl_test_codegen(n, p,  t0, t1);
20    return 0;
21}
22