In compiler theory, dependence analysis produces execution-order constraints bet ween statements/instructions.

Broadly speaking, a statement S2 depends on S1 if S1 must be executed before S2. Broadly, there are two classes of dependencies--c ontrol dependencies and data dependencies. Dependence analysis determines whether or not it is safe to reorder or paralleli ze statements.