search for: guanhua

SCHOOL OF COMPUTING University of Teesside Fully funded University Ph.D. studentship (3 years) Ref: QinOCT11 Applications are invited for a Ph.D. student to work on program analysis and software verification or a closely related topic under the supervision of Dr. Shengchao Qin in the School of Computing in Teesside University. Dr. Qin currently has a number of postdoc and Ph.D students in his

...anyone have good ideas to dynamically measure the stack size of a program by using LLVM. I am trying to add some new intrinsic functions after each "alloca" in bitcode. Is it a good way to do it? Any existing tools can help me to do so? Any help will be deeply appreciated. Thank you, GUanhua -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20080417/42c36136/attachment.html>

...odule() in ModulePass, runOnFunction() in FunctionPass in OCaml? I have looked through the tutorial, http://llvm.org/docs/tutorial/OCamlLangImpl1.html, it looks like just a tutorial about "Implementing a language with LLVM" in Objective Caml. Thank you for your help. Best Regards, GUanhua

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...

...Gabriel Fernandez <gabriel.fernandez@stericsson.com> Gajanan Bhat <gajanan.bhat@intel.com> Ganesan Ramalingam <ganesanr@broadcom.com> Ganesan Ramalingam <ganesanr@netlogicmicro.com> Gang Wei <gang.wei@intel.com> Gao feng <gaofeng@cn.fujitsu.com> Gao Guanhua-B22826 <B22826@freescale.com> Gaohuai Han <hangaohuai@huawei.com> Gaosen Zhang <gaosen.zhang@mediatek.com> Garrett, Robert <robertx.e.garrett@intel.com> Garrick He <garrickhe@gmail.com> Gary Hade <garyhade@us.ibm.com> Gary Morain <gmorain@google.co...