search for: fpizlo

On 7 June 2014 00:14, Filip Pizlo <fpizlo at apple.com> wrote: > The only setback is to ensure that we synchronize the renaming with WebKit. > > The WebKit->LLVM interface currently avoids revision-lock; you can take any > recent revision of either and build a working browser engine. This is mostly > true even when we...

On Sat, Jun 7, 2014 at 6:30 PM, Filip Pizlo <fpizlo at apple.com> wrote: > > > On June 7, 2014 at 1:29:04 PM, Alp Toker (alp at nuanti.com) wrote: > > > On 07/06/2014 18:35, Filip Pizlo wrote: >> That would work. :-) >> >> What about exposing C API a function to query for the presence of an >> intrinsic?...

It might not be available, so all codepaths have to recover from zlib unavailability. For example, I don't think compressed DWARF works on Windows. On Tue, Sep 16, 2014 at 3:21 PM, Filip Pizlo <fpizlo at apple.com> wrote: > What is the downside of Zlib dependency? I'm curious! :-) > > -Filip > > On Sep 16, 2014, at 2:45 PM, Christophe Duvernois < > christophe.duvernois at gmail.com> wrote: > > Hi > > Miniz (https://code.google.com/p/miniz/ ) is very s...

...retain backward/forward compatibility instead of attempting to specify C API for instruction introspection(!). Alp. > > -Fil > >> On Jun 7, 2014, at 3:37 AM, Rafael Espíndola <rafael.espindola at gmail.com> wrote: >> >>> On 7 June 2014 00:14, Filip Pizlo <fpizlo at apple.com> wrote: >>> The only setback is to ensure that we synchronize the renaming with WebKit. >>> >>> The WebKit->LLVM interface currently avoids revision-lock; you can take any >>> recent revision of either and build a working browser engine. This i...

> On Aug 18, 2014, at 4:25 PM, Filip Pizlo <fpizlo at apple.com> wrote: > > > >> On Aug 18, 2014, at 3:21 PM, Chris Bieneman <beanz at apple.com> wrote: >> >> >>>> On Aug 18, 2014, at 3:09 PM, Rafael Espíndola <rafael.espindola at gmail.com> wrote: >>>> >>>> Some pa...

Once LLVM is built and used as a dylib, we'd just mark the zlib symbols as hidden. :-) I tend to think that bundling is ugly because it makes it harder for a distributor or integrator to pick the exact versions of all of the components in the system. I don't know if this was mentioned already, but maybe we can have a compromise where a configure option can be used to select between the

On Tue, Aug 5, 2014 at 2:57 PM, Filip Pizlo <fpizlo at apple.com> wrote: > > On Aug 5, 2014, at 2:51 PM, Eric Christopher <echristo at gmail.com> wrote: > > On Tue, Aug 5, 2014 at 2:49 PM, Filip Pizlo <fpizlo at apple.com> wrote: > > > On Aug 5, 2014, at 1:46 PM, Eric Christopher <echristo at gmail.com> wrot...

On April 25, 2014 at 10:48:18 AM, Reid Kleckner (rnk at google.com) wrote: On Fri, Apr 25, 2014 at 10:19 AM, Filip Pizlo <fpizlo at apple.com> wrote: The sdiv operation in LLVM IR only makes sense for C and its very direct relatives.  The amount of control flow necessary to represent a safe division for any other language is ghastly.  (a/b) becomes something like (b != 0 ? ((a != INT_MIN || b != -1) ? a / b : INT_MIN) : 0...

...uation, which is "a pain" since it's more-or-less reinventing the wheel. It's not made any harder by LLVM, but it's tough in the sense that we're not getting it for free like we would if we were on something like the JVM. On Sat, Oct 11, 2014 at 11:37 PM, Filip Pizlo <fpizlo at apple.com> wrote: > > > > On Oct 10, 2014, at 6:24 PM, Hayden Livingston <halivingston at gmail.com> > wrote: > > > > Hello, > > > > I was wondering if there is an example list somewhere of whole program > optimizations done by LLVM based compi...

On Tue, Aug 5, 2014 at 2:49 PM, Filip Pizlo <fpizlo at apple.com> wrote: > >> On Aug 5, 2014, at 1:46 PM, Eric Christopher <echristo at gmail.com> wrote: >> >>> (7) Make the C API truly great. >>> >>> I think it’s harmful to LLVM in the long run if external embedders use the C++ API. I think that o...

On Nov 8, 2013, at 9:36 PM, Chandler Carruth <chandlerc at google.com> wrote: > > On Fri, Nov 8, 2013 at 8:44 AM, Filip Pizlo <fpizlo at apple.com> wrote: >> Is the expectation that to utilize this metadata an optimization pass would have to inspect the body of @f and reason about its behavior given <args>? > > Yes. > >> >> If so, then I think this is pretty bad. If we ever want to parallel...

> On Nov 8, 2013, at 1:13 AM, Chandler Carruth <chandlerc at google.com> wrote: > > >> On Thu, Nov 7, 2013 at 9:39 PM, Filip Pizlo <fpizlo at apple.com> wrote: >> NEW PROPOSAL >> >> The solution is to introduce meta-data that is explicit about how the safe-to-execute condition ought to be evaluated. Instead of an SSA use, we can have meta-data that says: >> >> %v = load %p !notrap !{ @f, &lt...

On Thu, Nov 7, 2013 at 9:39 PM, Filip Pizlo <fpizlo at apple.com> wrote: > NEW PROPOSAL > > The solution is to introduce meta-data that is explicit about how the > safe-to-execute condition ought to be evaluated. Instead of an SSA use, we > can have meta-data that says: > > %v = load %p !notrap !{ @f, <args> }...

...ting passes I will ensure that each pass that has cl::opts also has a default constructor, an overridden constructor to populate each option, and the corresponding factory methods for the C API. Does this sound reasonable for a first step? -Chris > On Aug 19, 2014, at 8:29 AM, Filip Pizlo <fpizlo at apple.com> wrote: > > > > On Aug 18, 2014, at 4:30 PM, Chris Bieneman <beanz at apple.com <mailto:beanz at apple.com>> wrote: > >> >>> On Aug 18, 2014, at 4:25 PM, Filip Pizlo <fpizlo at apple.com <mailto:fpizlo at apple.com>> wrote:...

cmpxchg only support exchange on int operands, but pointer values can be very useful here, e.g. stack<T> in a linked-list, the top can be atomic<Node<T>*>. in clang++, cmpxchg operations on atomic<T*> are bitcasted i64 and do the operation, which is ugly. Any reason or concern why cmpxchg doesn't support pointer operands? Thanks -------------- next part

...oting memory to scalar Ah right, I had missed the cbz, my bad. It is indeed sound under that condition. My point was that just hoisting/sinking unconditionally the memory accesses is unsound. It is good news that gcc learnt how to do it carefully :) On Tue, Sep 2, 2014 at 4:36 PM, Filip Pizlo <fpizlo at apple.com> wrote: I think gcc is right.  It inserted a branch for n == 0 (the cbz at the top), so that's not a problem.  In all other regards, this is safe: if you examine the sequence of loads and stores, it eliminated all but the first load and all but the last store. How's that u...

...e ----- >> >> >> >> >> >> On Nov 8, 2013, at 1:13 AM, Chandler Carruth < chandlerc at google.com > >> wrote: >> >> >> >> >> >> >> >> >> On Thu, Nov 7, 2013 at 9:39 PM, Filip Pizlo < fpizlo at apple.com > >> wrote: >> >> >> >> NEW PROPOSAL >> >> The solution is to introduce meta-data that is explicit about how the >> safe-to-execute condition ought to be evaluated. Instead of an SSA >> use, we can have meta-data that says: &...

...16, 2014, at 3:42 PM, Reid Kleckner <rnk at google.com> wrote: > > It might not be available, so all codepaths have to recover from zlib > unavailability. For example, I don't think compressed DWARF works on > Windows. > > On Tue, Sep 16, 2014 at 3:21 PM, Filip Pizlo <fpizlo at apple.com> wrote: > >> What is the downside of Zlib dependency? I'm curious! :-) >> >> -Filip >> >> On Sep 16, 2014, at 2:45 PM, Christophe Duvernois < >> christophe.duvernois at gmail.com> wrote: >> >> Hi >> >> Miniz (...

On Sun, Aug 10, 2014 at 1:43 PM, Filip Pizlo <fpizlo at apple.com> wrote: > I think this ignores the real problem with the MCJIT debugging interface: it doesn't give MCJIT clients any way of directly accessing and parsing the debug metadata. > Parsing the existing debug metadata isn't necessarily a good idea anyhow. It's not a s...

...gt; Instead, you probably want to consider something like the late safepoint placement approach we've been pushing. Hopefully, once the statepoint stuff lands, we can get that upstreamed fairly soon. > > Philip > >> >> On Sat, Oct 11, 2014 at 11:37 PM, Filip Pizlo <fpizlo at apple.com> wrote: >>> >>> >>> > On Oct 10, 2014, at 6:24 PM, Hayden Livingston <halivingston at gmail.com> wrote: >>> > >>> > Hello, >>> > >>> > I was wondering if there is an example list somewhere of whole...