search for: deterministisc

...called by clang or llc. -----Original Messages----- From:"Alexandre Isoard" <alexandre.isoard at gmail.com> Sent Time:2017-07-17 03:49:48 (Monday) To: "章明" <editing at zju.edu.cn> Cc: llvm-dev <llvm-dev at lists.llvm.org> Subject: Re: [llvm-dev] Is clang+llvm deterministisc? Hi Ming Zhang, If you don't want to rely on Clang reproducibility, you could save the IR into a .bc file. Clang can directly take a .bc file as input. You then: - instrument a copy of that .bc file and run your counting - add control flow checking on an other copy of the original .bc fil...

Hi, there, I am working on a project on software control flow checking, which instruments a program to check if the control flow at runtime matches the control flow graph computed at compile-time. My instrumentation process has to make use of control flow information, including as control flow graph and dominator/post-dominator trees, so it is better part of the compiler. On the other