search for: value_is_instr

...voke: Instruction::Call: Instruction::Malloc: Instruction::Alloca: etc. e.g. encoded as an Ocaml type "llinstr" ? (b) ML bindings for functions like Instruction::getOpcode e.g. functions like val instr_of_value : llvalue -> llinstr val value_is_instr : llvalue -> bool etc. Are these available somewhere ? Even if they are not, I am happy to try to add these bindings ... Thanks!, -Ranjit. > (ccing llvmdev) Hi Ranjit! I only ported Chris's tutorial and Gordon > did the vast majority of the bindings, so they deserve most of...

(ccing llvmdev) Hi Ranjit! I only ported Chris's tutorial and Gordon did the vast majority of the bindings, so they deserve most of the praise. I believe there are techniques for walking over the CFG. You can load up code using Llvm_bitreader, use things like Llvm.iter_globals, Llvm.iter_functions, and Llvm.iter_instrs to walk over the module, and write out a new llmodule using