search for: kavon

Displaying 14 results from an estimated 14 matches for "kavon".

2017 Oct 14
2
IR Pass Ordering Sensitivity
...tion passes and I seem to run into segfaults in opt (in LLVM5) with certain pass orderings. Is this expected behavior? If so, what would be the recommended way of determining pass dependencies so that I can encode them into the tuner? The test program can be found here: https://gist.github.com/kavon/92d153cdd54ce9b77162af3af47d4c95 Here's what happens: kavon at cronus:~/m/autotune|master⚡*? ➤ /Users/kavon/msr/llvm5/bin/opt -inline -mem2reg -inferattrs -ipconstprop -gvn -simplifycfg -bdce -sink -dse -adce -instcombine -early-cse-memssa -early-cse-memssa -dse -adce -simplifycfg -sink -ipc...
2017 Apr 14
2
TBAA falsely reporting may alias?
On Fri, Apr 14, 2017 at 6:12 AM, Hal Finkel via llvm-dev < llvm-dev at lists.llvm.org> wrote: > > On 04/14/2017 08:03 AM, Kavon Farvardin via llvm-dev wrote: > >> Thanks for the explanation Sanjoy! >> >> Another question I have is: are there are any passes that invalidate or >> make the TBAA analysis information less precise? >> > > Some transformation drop TBAA information when they m...
2017 Apr 14
2
TBAA falsely reporting may alias?
...rmation less precise? I noticed that TBAA is only run once, early on in the pass ordering for O1 through O3. My thinking is that if a pass that duplicates code is run, the analysis info may not have data for the result of the new load/stores. A solution might be to add -tbaa after each -basicaa. ~kavon > On Apr 14, 2017, at 4:45 AM, Sanjoy Das <sanjoy at playingwithpointers.com> wrote: > > Hi Kavon, > > On April 13, 2017 at 11:31:17 AM, Kavon Farvardin via llvm-dev > (llvm-dev at lists.llvm.org) wrote: >> I'm trying to work with Type Based Alias Analysis (TBAA...
2017 Apr 17
2
[RFC] Adding CPS call support
...39;s SSA IR? Yes, there are a few reasons. Undoing the CPS transformation earlier in the pipeline would mean that we are using LLVM's built-in stack. The special layout and usage of the stack in GHC is achieved through CPS, so it is baked the compiler and garbage-collected runtime system. ~kavon > On Apr 17, 2017, at 8:56 PM, Manuel Jacob <me at manueljacob.de> wrote: > > Hi Kavon, > > Is there a reason you can't use the algorithm from the paper "A Correspondence between Continuation Passing Style and Static Single Assignment Form" to convert your IR t...
2017 Apr 13
2
TBAA falsely reporting may alias?
...responses (0.0%) 1 may alias responses (100.0%) 0 partial alias responses (0.0%) 0 must alias responses (0.0%) Alias Analysis Evaluator Pointer Alias Summary: 0%/100%/0%/0% Alias Analysis Mod/Ref Evaluator Summary: no mod/ref! What is going on here? Am I doing something wrong? Thanks, Kavon
2019 Dec 04
3
ABI-specific Stack Pointer Register?
...from what I've seen in the x86 backend (and instruction selection), RSP is assumed to be the stack- pointer register and is hard-coded in a number of places. Any other suggestions of alternate ways to achieve this change in LLVM code generation for both ARM64 and x86-64 are welcomed! Thanks, Kavon -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20191204/5fc77963/attachment.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-sign...
2019 Aug 19
3
[ORC] Removing / replacing JITDylibs
...tionEngine that was created for each "JITDylib". Should I do the same with ExecutionSessions? For reference, here's the short bit of code I'm playing with for linking with ORC: https://github.com/halo-project/llvm/blob/master/compiler-rt/lib/halomon/DynamicLinker.h#L55 Thanks, Kavon -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20190819/ae346237/attachment.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: signature.asc Type: application/pgp-sign...
2017 Apr 19
3
[RFC] Adding CPS call support
...;returnsto" is optional to cover both CPS calls and returns. Another alternative would be to emulate this terminator using an intrinsic. So, my question is: would there be more support for a version of this terminator (whether as an intrinsic or not) instead of what I was proposing earlier? ~kavon > On Apr 18, 2017, at 7:24 PM, Philip Reames via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > > > On 04/17/2017 08:30 AM, Kavon Farvardin via llvm-dev wrote: >> Summary >> ======= >> >> There is a need for dedicated continuation-passing style (C...
2017 Oct 15
2
IR Pass Ordering Sensitivity
On Sat, Oct 14, 2017 at 10:58:17PM -0500, Kavon Farvardin via llvm-dev wrote: > > something simpler will do, IMHO. Happy to discuss this further if > > folks are in California next week :) > > Yes, I'll be in California next week, let's chat! > > We could make use of the autotuner I'm currently building: &gt...
2017 Apr 17
9
[RFC] Adding CPS call support
...to the SelectionDAG. I welcome any suggestions or tips on the best way to approach this. An important goal for us is to merge this into trunk since we do not want to bundle a special version of LLVM with GHC. Please let me know soon if you have any objections to this feature. Thanks for reading, Kavon References ========== [1] http://llvm.org/docs/LangRef.html#blockaddress [2] http://kavon.farvard.in/papers/ml16-cwc-llvm.pdf
2017 Oct 14
2
IR Pass Ordering Sensitivity
On Sat, Oct 14, 2017 at 11:05 AM, John Regehr via llvm-dev <llvm-dev at lists.llvm.org> wrote: > These are definitely LLVM bugs. It would be best to report reduced test > cases against top of tree. > > We should have some automated infrastructure for finding these too... > > John > Zhendong & friends generally do that (and reported many bugs :) I tried that myself,
2017 Apr 17
2
[RFC] Adding CPS call support
...g a special assembly routine. We currently this workaround in Manticore when a thread is preempted. But, it has too much overhead for GHC, since the workaround would penalize general function calls. This is why support is necessary for GHC (and related compilers) in order to use LLVM effectively. ~kavon > On Apr 17, 2017, at 7:47 PM, Friedman, Eli <efriedma at codeaurora.org> wrote: > > On 4/17/2017 8:30 AM, Kavon Farvardin via llvm-dev wrote: >> Summary >> ======= >> >> There is a need for dedicated continuation-passing style (CPS) calls in LLVM to >&g...
2019 Sep 23
4
"Freeing" functions generated with SimpleORC for JIT use-case
Hi all, I am using LLVM for JIT use-case and compile functions on the fly. I want to "free" the modules after some time and reclaim any memory associated with it. I am using the SimpleORC API <https://llvm.org/docs/tutorial/BuildingAJIT1.html> now. Is there an API to "free" all the memory associated with the module? I use one "compiler" instance (think similar
2017 Apr 18
2
[RFC] Adding CPS call support
...ular non-tail call, as they are all derived from the values returned in the struct. Any register spills allocated to the LLVM stack before the non-tail call are dead, as they have been copied to the GHC stack frame if they were live. If you have a particular example in mind that would be great. ~kavon > On Apr 18, 2017, at 2:32 AM, Friedman, Eli <efriedma at codeaurora.org> wrote: > > On 4/17/2017 3:52 PM, Kavon Farvardin wrote: >> (Sorry for the 2nd email Eli, I forgot to reply-all). >> >>> I'm not following how explicitly representing the return addr...