search for: simplycfg

Hm. I assumed that JumpThreading would be the primary factor in optimizing code like this. Guess not. I'll need to look into SimplifyCFG to see what prevents it from doing the same thing to the other loop: https://godbolt.org/z/F6NjdG On Mon, Feb 3, 2020 at 3:09 PM Michael Kruse <llvmdev at meinersbur.de> wrote: > I assumed the LLVM-IR behind the godbolt link represented the C code

...ts (ie clang source_file) and all it's doing is lowering the switch (the same problem still exists). Seems confusing to me? ps. Round has no control flow logic in it and when the loop is unrolled there is no control flow at all (uncond branching, etc). The logic gets even more convoluted when simplycfg and other opts are applied. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20120913/31afcd9d/attachment.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: cfg.o2_decry...

Hello everyone, As a research project we are trying to figure out how to insert some annotations in the compiler in order to optimize the code. For example: /*@ ensures x == 5 */ if(x>5){ {...} } where the comment is written in ACSL<http://en.wikipedia.org/wiki/ANSI/ISO_C_Specification_Language>. The example is trivial, but gives the idea, if LLVM is be able to read the annotation, it

...y range) & secondly (at least for the case of non inline constructors) the ability to provide some kind of assert that, post construction, the vptr is equal to some known constant. (this assertion is currently possible with a branch to unreachable, except llvm throws out the unreachable code in SimplyCFG before any optimizations run - so we need to see if we can keep them around longer - there are some PRs filed for this but I haven't made much progress on it From: Matthieu Monrocq Sent: 9/29/2012 4:41 PM To: cfe-dev at cs.uiuc.edu; llvmdev Subject: [cfe-dev] Inlining and virtualization in Clan...

...r the case of non inline >> constructors) the ability to provide some kind of assert that, post >> construction, the vptr is equal to some known constant. (this assertion >> is currently possible with a branch to unreachable, except llvm throws >> out the unreachable code in SimplyCFG before any optimizations run - so >> we need to see if we can keep them around longer - there are some PRs >> filed for this but I haven't made much progress on it >> From: Matthieu Monrocq >> Sent: 9/29/2012 4:41 PM >> To: cfe-dev at cs.uiuc.edu; llvmdev >>...

...dly (at least for the case of non inline > constructors) the ability to provide some kind of assert that, post > construction, the vptr is equal to some known constant. (this assertion > is currently possible with a branch to unreachable, except llvm throws > out the unreachable code in SimplyCFG before any optimizations run - so > we need to see if we can keep them around longer - there are some PRs > filed for this but I haven't made much progress on it > From: Matthieu Monrocq > Sent: 9/29/2012 4:41 PM > To: cfe-dev at cs.uiuc.edu; llvmdev > Subject: [cfe-dev] Inlin...

...line > >> constructors) the ability to provide some kind of assert that, post > >> construction, the vptr is equal to some known constant. (this assertion > >> is currently possible with a branch to unreachable, except llvm throws > >> out the unreachable code in SimplyCFG before any optimizations run - so > >> we need to see if we can keep them around longer - there are some PRs > >> filed for this but I haven't made much progress on it > >> From: Matthieu Monrocq > >> Sent: 9/29/2012 4:41 PM > >> To: cfe-dev at cs.ui...

...t;> constructors) the ability to provide some kind of assert that, post >> >> construction, the vptr is equal to some known constant. (this assertion >> >> is currently possible with a branch to unreachable, except llvm throws >> >> out the unreachable code in SimplyCFG before any optimizations run - so >> >> we need to see if we can keep them around longer - there are some PRs >> >> filed for this but I haven't made much progress on it >> >> From: Matthieu Monrocq >> >> Sent: 9/29/2012 4:41 PM >> >>...

...ructors) the ability to provide some kind of assert that, post >>> >> construction, the vptr is equal to some known constant. (this assertion >>> >> is currently possible with a branch to unreachable, except llvm throws >>> >> out the unreachable code in SimplyCFG before any optimizations run - so >>> >> we need to see if we can keep them around longer - there are some PRs >>> >> filed for this but I haven't made much progress on it >>> >> From: Matthieu Monrocq >>> >> Sent: 9/29/2012 4:41 PM &g...