search for: dberlin

...ngle entry and a common post-dominator which seems straight forward but in the general case it seems much harder. Any prior experience on that problem? david From: Hal Finkel <hfinkel at anl.gov<mailto:hfinkel at anl.gov>> Date: Friday, January 29, 2016 at 4:50 PM To: Daniel Berlin <dberlin at dberlin.org<mailto:dberlin at dberlin.org>> Cc: LLVM Dev Mailing list <llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>>, David Callahan <dcallahan at fb.com<mailto:dcallahan at fb.com>> Subject: Re: [llvm-dev] DCE in the presence of control flow....

I had assumed you would treat phi nodes differently from other operations in that they don’t need to keep the block alive just to retain the data flow facts but it would be simplest to do that. Thanks Daniel From: Daniel Berlin <dberlin at dberlin.org<mailto:dberlin at dberlin.org>> Date: Friday, January 29, 2016 at 10:26 PM To: David Callahan <dcallahan at fb.com<mailto:dcallahan at fb.com>>, Hal Finkel <hfinkel at anl.gov<mailto:hfinkel at anl.gov>> Cc: LLVM Dev Mailing list <llvm-dev at lists...

Hi Daniel, Thanks a lot for all these explanation, I will try it out. Hongbin On Tue, Apr 25, 2017 at 7:04 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > > > On Tue, Apr 25, 2017 at 6:42 PM, Hongbin Zheng <etherzhhb at gmail.com> > wrote: > >> >> >> On Tue, Apr 25, 2017 at 6:32 PM, Daniel Berlin <dberlin at dberlin.org> >> wrote: >> >>> >>> >&g...

...ck here. Does gcc record the incoming edge to a phi? If so, won’t those change when you delete blocks in a non-trivial manner? How are those updated? From: David Callahan <dcallahan at fb.com<mailto:dcallahan at fb.com>> Date: Saturday, January 30, 2016 at 7:02 AM To: Daniel Berlin <dberlin at dberlin.org<mailto:dberlin at dberlin.org>>, Hal Finkel <hfinkel at anl.gov<mailto:hfinkel at anl.gov>> Cc: LLVM Dev Mailing list <llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>> Subject: Re: [llvm-dev] DCE in the presence of control flow. I had a...

...; wrote: > It looks like there's already something similar in PropagateEquality which > eg X >= Y == true and replaces X < Y == false, which is somewhat similar - > could I base an addition off of that? > > > - CL > > On Jul 3, 2016, at 7:13 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > > It's going to be really hard to do something sane in the current > infrastructure. > Its possible, but it would also be slow. You would have to go looking at > uses of variables compared in predicates in PropagateEquality and if the > uses appea...

...rect. There are probably some other problems. I need to >> recheck >> it. Thanks for your help, Daniel. >> >> Best, >> Zhi >> >> On Thu, Apr 16, 2015 at 11:40 PM, Daniel Berlin >> <dberlin at dberlin.org <mailto:dberlin at dberlin.org> >> <mailto:dberlin at dberlin.org <mailto:dberlin at dberlin.org>>> wrote: >> >> Value * is the instruction. >> >> use dyn_cast<Instruction> to get to it...

My understanding was that compiling directly to native code wasn't supported on Windows yet. At least Clang seems to require having GCC in the path on Windows. -----Original Message----- From: Daniel Berlin [mailto:dberlin at dberlin.org] Sent: Tuesday, May 11, 2010 4:14 PM To: Michael Smith Cc: llvmdev at cs.uiuc.edu Subject: Re: [LLVMdev] Machine Code, JIT, and Windows On Tue, May 11, 2010 at 6:48 PM, Michael Smith <Michael.Smith at synopsys.com> wrote: > I'm writing an application that generates LLV...

Hello Michael, That's for the final linkage. Since the JIT does linking at the bitcode level, it doesn't need to access an external linker AFAIK. --Sam ----- Original Message ---- > From: Michael Smith <Michael.Smith at synopsys.com> > To: Daniel Berlin <dberlin at dberlin.org> > Cc: "llvmdev at cs.uiuc.edu" <llvmdev at cs.uiuc.edu> > Sent: Tue, May 11, 2010 6:49:52 PM > Subject: Re: [LLVMdev] Machine Code, JIT, and Windows > > My understanding was that compiling directly to native code wasn't supported on > Windo...

...raph, v dominates u whenever u,v is a back-arc) On Tue, Apr 25, 2017 at 7:38 PM, Hongbin Zheng <etherzhhb at gmail.com> wrote: > Hi Daniel, > > Thanks a lot for all these explanation, I will try it out. > > Hongbin > > On Tue, Apr 25, 2017 at 7:04 PM, Daniel Berlin <dberlin at dberlin.org> > wrote: > >> >> >> On Tue, Apr 25, 2017 at 6:42 PM, Hongbin Zheng <etherzhhb at gmail.com> >> wrote: >> >>> >>> >>> On Tue, Apr 25, 2017 at 6:32 PM, Daniel Berlin <dberlin at dberlin.org> >>> wro...

...gle entry and > a common post-dominator which seems straight forward but in the general > case it seems much harder. Any prior experience on that problem? > david > > From: Hal Finkel <hfinkel at anl.gov> > Date: Friday, January 29, 2016 at 4:50 PM > To: Daniel Berlin <dberlin at dberlin.org> > > Cc: LLVM Dev Mailing list <llvm-dev at lists.llvm.org>, David Callahan < > dcallahan at fb.com> > Subject: Re: [llvm-dev] DCE in the presence of control flow. > > > > ------------------------------ > > *From: *"Daniel Berlin&quot...

...my reading of this (very confusing) code. The most frustrating aspect of this is that it means the delegation behavior of CFL shouldn't have mattered at all because BasicAA ran first... However BasicAA does do its own caching, so who knows. On Fri, Jan 16, 2015 at 12:22 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > Okay, overnight i ran a ton of tests on this patch, and it seems right. > Nick, Hal, can you review it? > > I've reattached it for simplicity > > > On Thu, Jan 15, 2015 at 3:05 PM, Daniel Berlin <dberlin at dberlin.org> > wrote: > &g...

Daniel, Well then my next (dumb?) question is why aren’t we using source level assert information For optimization ? --Peter Lawrence. From: Daniel Berlin [mailto:dberlin at dberlin.org] Sent: Friday, June 10, 2016 5:39 PM To: Lawrence, Peter <c_plawre at qca.qualcomm.com> Cc: llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] Early CSE clobbering llvm.assume On Fri, Jun 10, 2016 at 5:34 PM, Lawrence, Peter via llvm-dev <llvm-dev at lists.llvm.org<mai...

Installed it, thanks. Seems to work! 2009/3/23 Misha Brukman <brukman at gmail.com>: > On Mon, Mar 23, 2009 at 12:18 PM, Daniel Berlin <dberlin at dberlin.org> wrote: >> >> I'll see which plugins others use. >> Which wiki's pretty printing are you thinking of in particular? > > I like Wikipedia's use of http://en.wikipedia.org/wiki/GeSHi . > > _______________________________________________ >...

On Thu, Jan 28, 2016 at 10:09 PM, Hal Finkel <hfinkel at anl.gov> wrote: > > ------------------------------ > > *From: *"David Callahan via llvm-dev" <llvm-dev at lists.llvm.org> > *To: *"Daniel Berlin" <dberlin at dberlin.org>, "LLVM Dev Mailing list" < > llvm-dev at lists.llvm.org> > *Sent: *Thursday, January 28, 2016 11:35:49 PM > *Subject: *Re: [llvm-dev] DCE in the presence of control flow. > > Thanks > Also I found that some cases are also caught by a specialized...

On Wed, Jul 15, 2015 at 1:10 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > IMHO, This doesn't make a lot of sense to turn off this part on it's own. > I would just use the enable-pre flag to turn off scalar PRE, as it > will cause the same issue in other cases as well. > Is there some reason you aren't just doing that? &...

...ing, IE we should be able to get “assume” to work for free if we are doing it right. Asking “how do I get this intrinsic to work” is perhaps the wrong question, Perhaps the right question is, how do we represent assume so that we get it for free. ---Peter Lawrence. From: Daniel Berlin [mailto:dberlin at dberlin.org] Sent: Friday, June 10, 2016 6:32 PM To: Lawrence, Peter <c_plawre at qca.qualcomm.com> Cc: llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] Early CSE clobbering llvm.assume We do, implicitly, because assert generates if conditions. Or at least, gvn knows how to propagate th...

On Tue, Apr 25, 2017 at 6:32 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > > > On Tue, Apr 25, 2017 at 6:17 PM, Hongbin Zheng <etherzhhb at gmail.com> > wrote: > >> Hi Daniel, >> >> I mean "*As a set*, B + C dominate D". >> >> On Tue, Apr 25, 2017 at 5:42 PM, Daniel Berlin <dberli...

...eturn PartialAlias? %ohi does partially overlap, so this correct, but what happens when the overlap is partial or control dependent? I thought you had concluded that CFL should return only NoAlias or MayAlias? Thanks again, Hal ----- Original Message ----- > From: "Daniel Berlin" <dberlin at dberlin.org> > To: "Nick Lewycky" <nlewycky at google.com> > Cc: "Jiangning Liu" <Jiangning.Liu at arm.com>, "George Burgess IV" <george.burgess.iv at gmail.com>, "LLVM Developers > Mailing List" <llvmdev at cs.uiuc.edu>...

...vectorizer twice by annotate the remainder loop with metadata to limit the vectorization factor for epilog vector loop. Regards, Ashutosh From: anemet at apple.com [mailto:anemet at apple.com] Sent: Tuesday, February 28, 2017 1:33 AM To: Hal Finkel <hfinkel at anl.gov> Cc: Daniel Berlin <dberlin at dberlin.org>; Nema, Ashutosh <Ashutosh.Nema at amd.com>; Zaks, Ayal <ayal.zaks at intel.com>; Renato Golin <renato.golin at linaro.org>; mkuper at google.com; Mehdi Amini <mehdi.amini at apple.com>; llvm-dev <llvm-dev at lists.llvm.org> Subject: Re: [llvm-dev] [P...

2017-03-31 0:19 GMT+02:00 Daniel Berlin <dberlin at dberlin.org>: >> I modified Polly's code generator to produce >> >> if (c) { >> llvm.lifetime.start(&var) >> } else { >> llvm.lifetime.start(&var) >> } >> [...] >> llvm.lifetime.end(&var) &gt...