
<html>


<head>


<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


</head>


<body bgcolor="#FFFFFF" text="#000000">


Dear LLVM and SVA community:<br>


<br>


This is to brief you the progress of this week. I mainly focused on minor fixes this week. Following is what I finished this week.<br>


<br>


<blockquote>1. Move the implementation of runOnModule of RegisterGlobalVar pass from .h back to .cpp file.<br>


2. Introduce two new functions to register and unregister function prototypes on llvm.compiler.used.<br>


3. Added two regression tests for PromoteArrayAllocas pases.<br>


4. Rewrite InitAllocas pass. This pass is originally written as a function pass. Rewrite this pass to Module pass to make the intrinsic function llvm.malloc<br>


5. The customized malloc, calloc, and realloc in safecode/runtime/BBRuntime/AlignedMalloc.cpp could be overrided by system implementation on some environments. Thus I added a __sc_bb_ prefix to these customized heap allocation functions. I also write a module


 pass to automatically rename all malloc / calloc / realloc to __sc_bb_malloc ... Regression tests are also completed for this pass.<br>


</blockquote>


<br>


This week, I plan to<br>


<blockquote>1. Test SAFECode’s bbac implementation on more real-world programs, and fix possible crashes.<br>


2. Discuss with my mentor Prof. John Criswell about the insertion point of free in PromoteArrayAllocas pass.<br>


</blockquote>


<br>


Best regards,<br>


Zhengyang.<br>


</body>


</html>