Compiler supports non-atomic conditional do-loops