Function align_ge_size

ir/memory.cpp:176–179

}

static bool align_ge_size(const expr &align, const expr &size) {
  uint64_t algn, sz;
  return align.isUInt(algn) && size.isUInt(sz) && (1ull << algn) >= sz;
}

static bool align_gt_size(const expr &align, const expr &size) {
  uint64_t algn, sz;