svadev AT lists.siebelschool.illinois.edu

Subject: Svadev mailing list

List archive

[svadev] [GSoC'16] Weekly Status - June 27 - Zhengyang Liu

From: Zhengyang Liu <zhengyang-liu AT hotmail.com>
To: "llvm-dev AT lists.llvm.org" <llvm-dev AT lists.llvm.org>, "svadev AT lists.cs.illinois.edu" <svadev AT lists.cs.illinois.edu>
Subject: [svadev] [GSoC'16] Weekly Status - June 27 - Zhengyang Liu
Date: Mon, 27 Jun 2016 14:10:57 +0000
Accept-language: en-US
Authentication-results: spf=softfail (sender IP is 25.152.252.57) smtp.mailfrom=hotmail.com; lists.llvm.org; dkim=none (message not signed) header.d=none;lists.llvm.org; dmarc=fail action=none header.from=hotmail.com;

Dear LLVM and SVA community:

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.

1. Move the implementation of runOnModule of RegisterGlobalVar pass from .h back to .cpp file.
2. Introduce two new functions to register and unregister function prototypes on llvm.compiler.used.
3. Added two regression tests for PromoteArrayAllocas pases.
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
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.

This week, I plan to

1. Test SAFECode’s bbac implementation on more real-world programs, and fix possible crashes.
2. Discuss with my mentor Prof. John Criswell about the insertion point of free in PromoteArrayAllocas pass.

Best regards,
Zhengyang.

[svadev] [GSoC'16] Weekly Status - June 27 - Zhengyang Liu, Zhengyang Liu, 06/27/2016