Hi list, <div><br></div><div>I am trying to implement the technique outlined in the following paper: <meta http-equiv="content-type" content="text/html; charset=utf-8"><a href="http://www.cs.umd.edu/~mwh/papers/martin10ownership.html">http://www.cs.umd.edu/~mwh/papers/martin10ownership.html</a> in LLVM. My approach so far involves the use of an IR level transform (via runOnFunction) to identify memory loads and stores. One thing I need to do (I am pretty sure I need to do it at least) is automatically mark each stack frame as "owned" by the current thread. </div>
<div><br></div><div>I'm not sure where the best place in the LLVM architecture to do this is. As I currently understand it, the concept of a stack frame appears pretty late in target code generation. I've hacked in a hook for this in X86FrameLowering.cpp in the emitPrologue and emitEpilogue methods. </div>
<div><br></div><div>Is there a cleaner way I can do this? Is there a way I can subclass the X86 code generator to "hook" those two methods and insert my instrumentation? Is there something I'm missing with runOnMachineFunction? </div>
<div><br></div><div>Thank you, <br><div><br></div><div>Andrew</div></div>