Searched refs:is_power_of_two (Results 1 – 6 of 6) sorted by relevance
50 ALIGN.is_power_of_two(), in new() 76 if align.is_power_of_two() { in new_checked() 127 if !self.0.is_power_of_two() { in as_nonzero()
168 #define is_power_of_two(x) ( !((x) & ((x)-1)) ) macro170 #define is_valid_mask(x) is_power_of_two(1LU + (x) + low_bit_mask(x))
148 kani::requires(align.is_power_of_two()),227 kani::requires(align.is_power_of_two()),248 debug_assert!(align.is_power_of_two()); in round_down_to_next_multiple_of_alignment()
191 const_assert!(align.get().is_power_of_two()); in new_zst()351 const_assert!(max_align.get().is_power_of_two()); in extend()1963 kani::assume(align.is_power_of_two()); in any()2060 kani::assume(max_align.is_power_of_two()); in prove_dst_layout_extend()2183 kani::assume(max_align.is_power_of_two()); in prove_dst_layout_extend_dst_panics()
296 assert!(align.is_power_of_two()); in test_alignment()
572 if nz.get().is_power_of_two() { in from_meta()