The disclosure describes various aspects of a software-defined quantum computer. For example, a method is described for generating an intermediate representation of source code for a software-defined quantum computer. The method includes performing a lexical analysis on a high-level intermediate representation of a quantum programming language; performing semantic analysis on an output of the lexical analysis; and generating a mid-level intermediate representation of the quantum programming language based on an output of the semantic analysis.