LC

Implement Loop Optimizations

medium6/8

Basic Block Analysis Implement Function Inline Expansion

Language

Compiler

2.0s Limit 256MB

Implementation

Implement loop optimizations for intermediate code.

Requirements:

Detect loop structures in code
Identify loop-invariant expressions
Move invariant code outside loops
Implement induction variable elimination
Apply loop unrolling for small fixed-size loops
Test with various loop patterns
Measure performance improvements

Why This Matters

Programs spend 90% of time in loops, so LICM, unrolling, and strength reduction are the highest-value passes in GCC and LLVM — Fortran compilers built the supercomputing industry on them. Polyhedral frameworks like LLVM's Polly and the loop optimizers in Intel's ICC are billion-dollar elaborations of what you implement here.

Hints

0 / 3 revealed

Validation Suite

main.c

Workspace 1.0