| 468 | } |
| 469 | |
| 470 | expr Pointer::isBlockAligned(uint64_t align, bool exact) const { |
| 471 | if (!exact && align == 1) |
| 472 | return true; |
| 473 | |
| 474 | auto bits = ilog2(align); |
| 475 | expr blk_align = blockAlignment(); |
| 476 | return exact ? blk_align == bits : blk_align.uge(bits); |
| 477 | } |
| 478 | |
| 479 | expr Pointer::isAligned(uint64_t align) { |
| 480 | if (align == 1) |