Make the dataflow analysis framework monadic.
Make the dataflow analysis framework monadic.

This allows transfer functions to be run inside of the context of an
arbitrary monad.  This is especially useful for Writer (logging) or
Reader (global constant information).  If using both, just use RWS for
speed.

travitch/llvm-analysis,travitch/llvm-analysis,wangxiayang/llvm-analysis,wangxiayang/llvm-analysis