Searched defs:u64 (Results 1 – 8 of 8) sorted by relevance
24 uint64_t u64; member
56 auto u64 = paramType("u64")(); in TEST_F() local127 auto u64 = paramType("u64")(); in TEST_F() local
47 auto u64 = type_system.Parametric(sort["u64"])(); in TEST_F() local
50 auto u64 = type_system.Parametric(sort["u64"])(); in TEST_F() local
46 auto u64 = type_system.Parametric(sort["u64"])(); in TEST_F() local
39 uint64_t u64; in TEST() local181 uint64_t u64 = random_gen(), u64_z = 0, u64_min = std::numeric_limits<uint64_t>::min(), in TEST() local
662 auto u64 = bit_cast<uint64_t>(d); in DoubleToInt() local
519 IrConstructor &u64() // NOLINT(readability-identifier-naming) in u64() function