LLVM dataflow instruction refinement to stdlib