unsigned long long calc_mulx_u64 (unsigned long long x, unsigned long long y, unsigned long long *res_h) { return _mulx_u64 (x, y, res_h); }
unsigned long long test_mulx_u64(unsigned long long __X, unsigned long long __Y, unsigned long long *__P) { // CHECK: @test_mulx_u64 // CHECK: mul i128 return _mulx_u64(__X, __Y, __P); }