1 #include <stdio.h> 2 #include <stdint.h> 3 4 extern "C" void ggl_test_codegen( 5 uint32_t n, uint32_t p, uint32_t t0, uint32_t t1); 6 7 main(int argc,char ** argv)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