Skip to content
Snippets Groups Projects
Commit 9f7d17bd authored by Ralph Giles's avatar Ralph Giles
Browse files

Uncomment the reporting for UADD32 and USUB32 in fixed_debug.h.

parent 5c06f8c5
No related branches found
No related tags found
No related merge requests found
......@@ -269,12 +269,12 @@ static inline unsigned int USUB32_(unsigned long long a, unsigned long long b, c
unsigned long long res;
if (!VERIFY_UINT(a) || !VERIFY_UINT(b))
{
/*fprintf (stderr, "USUB32: inputs are not int: %llu %llu in %s: line %d\n", (unsigned)a, (unsigned)b, file, line);*/
fprintf (stderr, "USUB32: inputs are not int: %llu %llu in %s: line %d\n", (unsigned)a, (unsigned)b, file, line);
}
res = a-b;
if (!VERIFY_UINT(res))
{
/*fprintf (stderr, "USUB32: output is not int: %llu - %llu = %llu in %s: line %d\n", a, b, res, file, line);*/
fprintf (stderr, "USUB32: output is not int: %llu - %llu = %llu in %s: line %d\n", a, b, res, file, line);
}
celt_mips+=2;
return res;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment