How to generate code from LLVM which is then I want to given a the input to the Z3 prover

Question

I have to generate an intermediate code from LLVM and I have to given that as the input to the Z3 prover. Is it possible?