| #include <stdio.h> | |
| #include <stdint.h> | |
| extern "C" void ggl_test_codegen( | |
| uint32_t n, uint32_t p, uint32_t t0, uint32_t t1); | |
| int main(int argc, char** argv) | |
| { | |
| if (argc != 2) { | |
| printf("usage: %s 00000117:03454504_00001501_00000000\n", argv[0]); | |
| return 0; | |
| } | |
| uint32_t n; | |
| uint32_t p; | |
| uint32_t t0; | |
| uint32_t t1; | |
| sscanf(argv[1], "%08x:%08x_%08x_%08x", &p, &n, &t0, &t1); | |
| ggl_test_codegen(n, p, t0, t1); | |
| return 0; | |
| } |