search for: meinersbur

> -----Original Message----- > From: meinersbur at googlemail.com [mailto:meinersbur at googlemail.com] On > Behalf Of Michael Kruse > Sent: Wednesday, October 18, 2017 1:18 PM > To: Song, Ruiling <ruiling.song at intel.com> > Cc: Michael Kruse <llvm at meinersbur.de>; llvm-dev at lists.llvm.org > Subject: Re: Possible...

> -----Original Message----- > From: meinersbur at googlemail.com [mailto:meinersbur at googlemail.com] On > Behalf Of Michael Kruse > Sent: Tuesday, October 17, 2017 3:26 PM > To: Song, Ruiling <ruiling.song at intel.com> > Cc: llvm at meinersbur.de; llvm-dev at lists.llvm.org > Subject: Re: Possible bug of Alias Analysis?...

Hi LLVM Devs, I am in the process of building my own plugin for Clang/LLVM in Windows on Visual Studio. I am having difficulty generating the .dll shared file to use at compile time. How have the .dlls corresponding to the example plugins been built? This works: clang -fplugin=C:/Users/User/llvm-project/build/Release/bin/PrintFunctionNames.dll -Xclang -plugin -Xclang print-fns test.c This

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 > you used before. > > SimplifyCFG actually helps the loop being removed: > https://godbolt.org/z/5v7SXh > > But this doesn't even involve JumpThreading. > > Michael > -----------...

...e unroller propagates a new type of metadata analog to noalias scope, but loop_parallel scope or something like that. We have methods to achieve this with intrinsics, but I am looking for something more robust that also works with clang. On Mon, May 18, 2020 at 8:44 PM Michael Kruse <llvmdev at meinersbur.de> wrote: > What would be its semantics? When would clang attach that attribute? > > Michael > > Am Mo., 18. Mai 2020 um 14:01 Uhr schrieb Hendrik Greving < > hgreving at google.com>: > > > > Would you guys be open to supporting a new hint with the right &gt...

...u guys be open to supporting a new hint with the right semantics, like e.g. llvm.loop.noalias_accesses?! I would need to find support in clang however and the main point of support would be the loop unroller behaving as stated in the OP. On Thu, May 14, 2020 at 3:04 PM Michael Kruse <llvmdev at meinersbur.de> wrote: > Trivial example: > > #pragma clang loop vectorize(assume_safety) > for (int i = 0; i < n; i+=1) { > (void)A[0]; > } > > I hope it is obvious that the loop is parallel and can be vectorized, > but A[0] from iteration 0 will alias with A[0] from iterat...

i put following line in CMakeLists.txt; add_subdirectory(mypass) then used make -j9 then i used following and run on canonicalize IR $ opt -load lib/LLVMmypass.so -mypass vec-sum.preopt.ll On Mon, Jan 29, 2018 at 9:39 PM, Michael Kruse <llvmdev at meinersbur.de> wrote: > 2018-01-29 10:18 GMT-06:00 hameeza ahmed <hahmed2305 at gmail.com>: > > I tried writing following code. Could you please help me on this? What to > > modify here? > > Please send a script executing the commands that you have been using, > including all...

...t; Full details are available at: > http://lab.llvm.org:8011/builders/polly-amd64-linux/builds/6539 > > Buildbot URL: http://lab.llvm.org:8011/ > > Buildslave for this Build: grosser1 > > Build Reason: scheduler > Build Source Stamp: [branch trunk] 302339 > Blamelist: meinersbur Hi Michael, the recent commit caused a failure: /home/grosser/buildslave/polly-amd64-linux/llvm.src/tools/polly/test/DeLICM/reduction_overapproximate.ll:102:16: error: expected string not found in input ; APPROX-NEXT: new: { Stmt_reduction_inc[i0, i1] -> MemRef_A[2] : i0 <= 3 and 0 <= i...

...reply. I've seen but have not used it. FWIW, the problem is not how to generate the runtime checks (although it'd be good if we can get it for free), but how to clean up the SCEVs. Does PSE do that ? Cheers, Stefanos Στις Δευ, 21 Σεπ 2020 στις 11:59 π.μ., ο/η Michael Kruse < llvmdev at meinersbur.de> έγραψε: > Have you looked into PredicatedScalarEvolution? It can generate > runtime-checks for no-overflow assumptions > (PredicatedScalarEvolution::setNoOverflow). > > Michael > > Am Fr., 18. Sept. 2020 um 18:13 Uhr schrieb Stefanos Baziotis via llvm-dev > <llvm-...

...runk for people who want to fine tune the optimizations. Should I submit a patch? I am not sure if my code follows all the best practices of the community, but it is working from my own testing. Thanks again for your help! Qiongsi > On Jun 1, 2018, at 1:16 PM, Michael Kruse <llvmdev at meinersbur.de> wrote: > > Some passes have supported options to disable them, e.g. > -fno-vectorize and -fno-unroll-loops, but there is no general option. > Since it's not useful in general to disable arbitrary options, some > handywork is required. Using the legacy (=default) pass mana...

2017-05-02 0:50 GMT+02:00 Eugene Zelenko via llvm-dev <llvm-dev at lists.llvm.org>: > On Mon, May 1, 2017 at 3:27 PM, Michael Kruse <llvmdev at meinersbur.de> wrote: >> 2017-05-01 20:16 GMT+02:00 Eugene Zelenko via llvm-dev >> <llvm-dev at lists.llvm.org>: >>> Hi, Hongbin! >>> >>> On Mon, May 1, 2017 at 11:06 AM, Hongbin Zheng <etherzhhb at gmail.com> wrote: >>>> Hi Eugene, >>&gt...

...just two if-else blocks gets optimized yet more doesn't. > An interesting point to make is that I don't think it's jump threading optimizing the original example fully: https://godbolt.org/z/rGvHJk > > -Karl > > On Mon, Feb 3, 2020 at 12:29 PM Michael Kruse <llvmdev at meinersbur.de> wrote: >> >> How does the code you would like to have look like? I don't see a >> relevant difference compared to gcc: >> https://godbolt.org/z/F-oah4 >> (clang unnecessarily introduces another temporary register, but that >> seems unrelated) >>...

> On Aug 18, 2020, at 16:59, Michael Kruse <llvmdev at meinersbur.de> wrote: > > Thanks for all the work. The reductions in stores look promising. Do you also have performance numbers how much this improves the execution time? Did you observe any regressions where MSSA resulted in fewer removed stores? I did not gather numbers for execution time yet, b...

On 10/14/2017 05:28 PM, Daniel Berlin via llvm-dev wrote: > > > On Sat, Oct 14, 2017 at 2:54 PM, Michael Kruse <llvmdev at meinersbur.de > <mailto:llvmdev at meinersbur.de>> wrote: > > 2017-10-14 5:03 GMT+02:00 Daniel Berlin <dberlin at dberlin.org > <mailto:dberlin at dberlin.org>>: > > FWIW: We hit a subset of this issue with MemorySSA (which > subclasses value >...

When I build LLVM, the message LLVMHello ignored -- Loadable modules not supported on this platform is shown and the LLVM Hello pass doesn't work. I am using Windows. Is this correct? LLVM Hello pass works only on Linux? Thanks. -------------- next part -------------- An HTML attachment was scrubbed... URL:

...ehm123 at gmail.com> wrote: > Ah, I see. I think there's something else going on here too, though. > https://godbolt.org/z/dCqdvv is optimized away but ScEv doesn't know > whether this loop terminates either. > > On Mon, Feb 3, 2020 at 1:36 PM Michael Kruse <llvmdev at meinersbur.de> > wrote: > >> I am not convinced this is a jump-threading issue, but in the domain >> of ScalarEvolution. ScEv would need to find out which of the exits are >> taken or whether it loops infinitely. One can see that it exits after >> 10000 iterations, but ScalarE...

2017-10-14 5:03 GMT+02:00 Daniel Berlin <dberlin at dberlin.org>: > FWIW: We hit a subset of this issue with MemorySSA (which subclasses value > for the MemoryAccess's, etc), and it was discussed as well during > PredicateInfo. > > NewGVN has a variant the same issue as well, where it actually creates > unattached (IE not in a basic block) new instructions just so it

On Thu, Apr 9, 2020 at 10:29 AM Michael Kruse <llvmdev at meinersbur.de> wrote: > I was always assuming that the suggested commit is assembled in the > PHP code run by arcanist command run locally. If indeed the arc > command requests the commit message from the server, I assumed so too until I went digging for it. Seems the client-side stuff only dea...

On Tue, Jun 11, 2019 at 12:26 PM Michael Kruse <llvmdev at meinersbur.de> wrote: vector.size() returns a size_t, which on 64-bit platforms can represent types values larger than those that can fit into an int64_t. So to turn your argument around, since it's theoretically possible to have a vector with more items than an int64_t can represent, isn't it al...

Am Mi., 1. Juli 2020 um 05:46 Uhr schrieb MyDeveloper Day via llvm-dev <llvm-dev at lists.llvm.org>: > I always knew "polly" was mostly clean too, and actually one of the areas I already test against, (along with lib/Format obviously). You have no other choice. Polly verifies its source formatting as part of check-polly, so every commit that violates formatting will get an