A compiler optimization technique