search for: simplif

I am trying to implement if-conversion as an LLVM pass. My reference is Chapter 7 of the book ""Optimizing Compilers for Modern Architectures", based on the suggestion here: https://groups.google.com/d/msg/llvm-dev/FlDGnqSGbR8/eH5hO9IBbXYJ Some steps in the if-conversion pass require simplification of Boolean Expressions. Is this doable within the LLVM API? llvm::ConstantExpr seems like the data structure to use, but I haven't found a way to simplify a value represented by a ConstantExpr. Thanks for any advice you may have, Anirudh

The PNaCl project has implemented various IR simplification passes that simplify LLVM IR by lowering complex features to simpler features. We'd like to upstream some of these IR passes to LLVM. We'd like to explore if this acceptable, and if so, how we should go about doing this. The immediate reason is that Emscripten is reusing PNaCl'...

Dear list, Fully according to the documented behaviour, I was bitten by apply() simplifying results to vectors or arrays when the lengths of the individual objects returns by FUN are the same (over simplification). sapply() has argument simplify with default TRUE to control whether it attempts to simplify the returned objects or not. I do find it a little annoying that one is not ab...

...+++----------------------------- 1 file > > changed, 55 insertions(+), 58 deletions(-) > > Applied, thanks. > > Paulo > > -- I could be wrong but, wasn't there a later set of patches, _replacing_ this one? Am I mixing unrelated / independent set of patches? Also, simplification / unification sometimes might imply that a later check / test / review / patch (e.g. for one particular supported filesystem, or adding support for a new fs) might be more complicated, or might (unwillingly) affect other filesystem support. Am I wrong? Regards, Ady.

I would like to nominate Sanjoy Das as code owner of Scalar Evolution and Induction Variable Simplification. Scalar Evolution has never had an official code owner, but does regularly need in depth review. Over the past year and a half, Sanjoy has made fantastic contributions to SCEV and has been responsive reviewing patches. He is clearly the authority at this point. Induction variable simplific...

...es of 256 wide doesn't get reduced to a single shuffle instruction in the resulting X86 code (Shuffle.s attached). The second sequence is identical to first and is a rewidening of the sequence for a higher vector length. Can this be explained and where in the machine lowering passes does this simplification happen? Thanks -- Kind regards, Charith Mendis Graduate Student, CSAIL, Massachusetts Institute of Technology -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20161028/fb2f054e/attachment.html> ---...

...From: "Paul Redmond" <paul.redmond at intel.com> > To: "Hal Finkel" <hfinkel at anl.gov> > Cc: "llvmdev at cs.uiuc.edu Dev" <llvmdev at cs.uiuc.edu> > Sent: Friday, March 1, 2013 10:49:24 AM > Subject: Re: [LLVMdev] parallel loop metadata simplification > > > On 2013-03-01, at 11:35 AM, Hal Finkel wrote: > > > ----- Original Message ----- > >> From: "Paul Redmond" <paul.redmond at intel.com> > >> To: "Hal Finkel" <hfinkel at anl.gov> > >> Cc: "llvmdev at cs...

Hello, I have consciously avoided using step() for model simplification in favour of manually updating the model by removing non-significant terms one at a time. I'm using The R Book by M.J. Crawley as a guide. It comes as no surprise that my analysis does proceed as smoothly as does Crawley's and being a beginner, I'm struggling with what to do nex...

...om> > Cc: "Hal Finkel" <hfinkel at anl.gov>, "Tobias Grosser" <tobias at grosser.es>, "<llvmdev at cs.uiuc.edu>" > <llvmdev at cs.uiuc.edu> > Sent: Tuesday, March 5, 2013 11:49:28 AM > Subject: Re: [LLVMdev] parallel loop metadata simplification > > On 03/05/2013 07:12 PM, Redmond, Paul wrote: > > Attached is my most recent patch for clang. Maybe someone wants to > > play with > > it or has ideas on how to refine the llvm.mem metadata generation. > > + } else if (I->mayReadOrWriteMemory()) >...

...97 0.3709914 -2.47 0.0140 Random effects Group Variable Std Dev Variance infestation/population1 (Intercept) 0.6367618042 0.4054655953 infestation (Intercept) 0.0199767654 0.0003990712 To assess if the interaction is needed I would normally do a model simplification m1<-update(m,~.-condition:infection) however, this gives me error in formula.default(object, env = baseenv()) : invalid formula I do not encounter this problem without a random effect in coxph. So my question is (1)Is it not possible to do model simplification with coxme? (2)Is there...

...l Redmond" <paul.redmond at intel.com> >> To: "Hal Finkel" <hfinkel at anl.gov> >> Cc: "llvmdev at cs.uiuc.edu Dev" <llvmdev at cs.uiuc.edu> >> Sent: Friday, March 1, 2013 10:06:51 AM >> Subject: Re: [LLVMdev] parallel loop metadata simplification >> >> Hi Hal, >> >> On 2013-02-28, at 9:33 PM, Hal Finkel wrote: >> >>> ----- Original Message ----- >>>> From: "Paul Redmond" <paul.redmond at intel.com> >>>> To: "llvmdev at cs.uiuc.edu Dev" <llv...

Hallo. Here is a simplification of the automake stuff for nut 2.2.2. The idea is simple: libcommon.a contains stuff for the binaries libparseconf.la contains stuff for binaries and shared library Both are NOINST, automake understands perfectly our intentions. The rest is only a removal of the implicitly defined stuff. On...

Hi all, I try to make a split-plot with poisson errors using glmmPQL, but I have some doubts about the model simplification. Look my system: Block = 3 blocks Xvar1 = 2 levels Xvar2 = 13 levels Yvar = Count data Response I need know about the behaviour of Var1, Var2 and interaction Var1:Var2. Look the levels: > levels(Xvar1) [1] "A" "B" > levels(Xvar2) [1] "a" "b&quot...

Hello, I noticed that our SCEVUDiv does not simplify anything when the RHS is not a constant. Is that because there is a potential issue with division by zero being simplified? For instance, would it be okay to simplify: ((%i * %n)<nuw> /u %n) into: %i The way I see it, if %n is 0, then that division is undefined and we can "define it...

...39;a' stays in it's `r15d` register with no extra costs. -- Danila From: Finkel, Hal J. [mailto:hfinkel at anl.gov] Sent: Thursday, August 8, 2019 21:24 To: Danila Malyutin <Danila.Malyutin at synopsys.com> Subject: Re: [llvm-dev] How to best deal with undesirable Induction Variable Simplification? Hi, Danila, Regarding the first case, this is certainly a problem that has come up before. As I recall, and I believe this is still true, LoopStrengthReduce, where we reason about induction variables while accounting for register pressure, won't currently add new PHIs. People have...

On Tue, Mar 4, 2014 at 3:11 PM, Sean Silva <chisophugis at gmail.com> wrote: > On Tue, Mar 4, 2014 at 4:04 PM, Mark Seaborn <mseaborn at chromium.org>wrote: > >> The PNaCl project has implemented various IR simplification passes that >> simplify LLVM IR by lowering complex features to simpler features. We'd >> like to upstream some of these IR passes to LLVM. We'd like to explore if >> this acceptable, and if so, how we should go about doing this. >> >> The immediate re...

...From: "Hal Finkel" <hfinkel at anl.gov> > To: "Paul Redmond" <paul.redmond at intel.com> > Cc: "llvmdev at cs.uiuc.edu Dev" <llvmdev at cs.uiuc.edu> > Sent: Friday, March 1, 2013 11:13:06 AM > Subject: Re: [LLVMdev] parallel loop metadata simplification > > ----- Original Message ----- > > From: "Paul Redmond" <paul.redmond at intel.com> > > To: "Hal Finkel" <hfinkel at anl.gov> > > Cc: "llvmdev at cs.uiuc.edu Dev" <llvmdev at cs.uiuc.edu> > > Sent: Friday, March...

...hilip Reames [mailto:listmail at philipreames.com] Sent: Saturday, August 10, 2019 02:05 To: Danila Malyutin <Danila.Malyutin at synopsys.com>; Finkel, Hal J. <hfinkel at anl.gov> Cc: llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] How to best deal with undesirable Induction Variable Simplification? On 8/9/19 8:27 AM, Danila Malyutin via llvm-dev wrote: Hi Hal, I see. So LSR could theoretically counteract undesirable Ind Var transformations but it's not implemented at the moment? I think I've managed to come up with a small reproducer that can also exhibit similar problem...

Hi, We recently found a testcase showing that simplifications in instcombine sometimes change the instruction without reducing the instruction cost, but causing problems in TwoAddressInstruction pass. And it looks like the problem is generic and other simplification may have the same issue. I want to get some ideas about what is the best way to fix s...

...From: "Paul Redmond" <paul.redmond at intel.com> > To: "Hal Finkel" <hfinkel at anl.gov> > Cc: "llvmdev at cs.uiuc.edu Dev" <llvmdev at cs.uiuc.edu> > Sent: Friday, March 1, 2013 10:06:51 AM > Subject: Re: [LLVMdev] parallel loop metadata simplification > > Hi Hal, > > On 2013-02-28, at 9:33 PM, Hal Finkel wrote: > > > ----- Original Message ----- > >> From: "Paul Redmond" <paul.redmond at intel.com> > >> To: "llvmdev at cs.uiuc.edu Dev" <llvmdev at cs.uiuc.edu> >...