Searched refs:model_fadd (Results 1 – 1 of 1) sorted by relevance
85 uint32_t model_fadd(uint32_t x, uint32_t y) { in model_fadd() function131 printf("{0x%08xu, 0x%08xu, 0x%08xu},\n", x, y, model_fadd(x, y)); in main()
