Lines Matching refs:check64
229 check64(res64, 0xffffffffffffff87LL); in main()
256 check64(res64, 0xffffffff8a87ffffLL); in main()
283 check64(res64, 0xffffffff12345678LL); in main()
310 check64(res64, 0x123456789abcdef0LL); in main()
328 check64(res64, 0xffffffffffffffffLL); in main()
332 check64(res64, 0xffffffff12345678LL); in main()
336 check64(res64, 0xffffffffffffffffLL); in main()
340 check64(res64, 0x12345678ffffffffLL); in main()
372 check64(res64, 0xffffffffffffffffLL); in main()
377 check64(res64, 0xffffffffffffffffLL); in main()
402 check64(res64, 0x1234567812345678LL); in main()
403 check64(n.d[0], 0xc0ffeedac0ffeedaLL); in main()
408 check64(res64, 0xc0ffeedac0ffeedaLL); in main()
409 check64(n.d[0], 0xc0ffeedac0ffeedaLL); in main()
414 check64(res64, 0x1234567812345678LL); in main()
415 check64(n.d[0], 0xc0ffeedac0ffeedaLL); in main()
420 check64(res64, 0xc0ffeedac0ffeedaLL); in main()
421 check64(n.d[0], 0xc0ffeedac0ffeedaLL); in main()