Semantics for compiling data parallelism door