Ziyang Xu

Merge changes of SLAMP to master

SpecPriv Peephole optimizations bug in Release mode

1

Peephole optimization 3 tries to specialize the size of private read and write. However, in the release mode, `tail call void @__specpriv_private_write_range(i8* %126, i32 8) #6` is optimized to `call...

## Code Documentation - [ ] Update Doxygen (currently here https://liberty.princeton.edu/Documentation/) - [ ] Have a better commit/issue template ## High-Level Documentation - [ ] Use GitHub Wiki - [...

Dijkstra is still failing when running regression. Similar problem happens to swaptions. The reason is that `malloc/calloc/free` are moved out of Pure Function list. Todos: - [ ] Handle SpecPriv...

Make profilings optional

2

Make LAMP and SpecPriv optional - [x] LAMP - [ ] SpecPriv

Make PS-DSWP work

4

Make PS-DSWP whole pipeline work on KS

Switch GitHub worker to white and start nightly regression

1

By the end of this week, we need - [x] Create GitHub build environment on white - [x] For both CPF and SCAF, do automatic build test - [x] Start...

Profiler Improvement

3

Fix bugs and improve speed of profilers ## Profilers - EdgeProf - LoopProf - LAMP - SpecPriv Pending on #3 results

Improve Devirtualization Precision

2

## Possible Technique - [ ] More aggressively marking "final" to functions due to whole program visible assumption - [ ] Combine existing techniques (from LLVM/NOELLE to CPF) - [x]...

## Overview Some functions has `available_external` linkage type and with definition (instead of declaration) and SpecPriv will go inside and add profile calls. However, this functions will not be codegened...