facilitate synthesizing loop with memory compression