  Automatic oracle generation techniques can find optimized quantum circuits
for classical components in quantum algorithms. However, most implementations
of oracle generation techniques require that the classical component is
expressed in terms of a conventional logic representation such as logic
networks, truth tables, or decision diagrams. We implemented LLVM passes that
can automatically generate QIR functions representing classical Q# functions
into QIR code implementing such functions quantumly. We are using
state-of-the-art logic optimization and oracle generation techniques based on
XOR-AND graphs for this purpose. This enables not only a more natural
description of the quantum algorithm on a higher level of abstraction, but also
enables technology-dependent or application-specific generation of the oracles.
