search for: apilipenko

...17497: Support arbitrary address space for intrinsics >> Date: Mon, 22 Feb 2016 08:39:38 +0000 >> From: Elena Demikhovsky <elena.demikhovsky at intel.com> >> Reply-To: reviews+D17497+public+90f3d1b9468ba8ca at reviews.llvm.org >> To: elena.demikhovsky at intel.com, apilipenko at azulsystems.com, >> listmail at philipreames.com, ayal.zaks at intel.com, >> Matthew.Arsenault at amd.com, pjcoup at gmail.com >> CC: llvm-commits at lists.llvm.org >> >> >> >> delena created this revision. >> delena added reviewers: apilipenko,...

Hi, On 13 Jul 2015, at 15:59, Hal Finkel <hfinkel at anl.gov<mailto:hfinkel at anl.gov>> wrote: ----- Original Message ----- From: "Artur Pilipenko" <apilipenko at azulsystems.com<mailto:apilipenko at azulsystems.com>> To: llvmdev at cs.uiuc.edu<mailto:llvmdev at cs.uiuc.edu> Cc: "Hal Finkel" <hfinkel at anl.gov<mailto:hfinkel at anl.gov>> Sent: Monday, July 13, 2015 6:45:35 AM Subject: String attributes for function ar...

...t number of sets which could get slow. Metadata attached to the function or the function arguments is likely to scale better than strings/metadata in the AttributeSets, but I guess it all depends on whether many are even needed. Pete > > On Mon, Jul 13, 2015 at 7:42 AM, Artur Pilipenko <apilipenko at azulsystems.com <mailto:apilipenko at azulsystems.com>> wrote: > Hi, > >> On 13 Jul 2015, at 15:59, Hal Finkel <hfinkel at anl.gov <mailto:hfinkel at anl.gov>> wrote: >> >> ----- Original Message ----- >>> From: "Artur Pilipenko"...

...ed back using fptosi, then the transform does not work. > > define float @test(i32 %x) { > %mul = mul i32 %x, 58 > %conv = sitofp i32 %mul to float > %add = fadd float %conv, 1.0 > ret float %add > } > > > On Mon, Mar 20, 2017 at 4:25 AM, Artur Pilipenko <apilipenko at azul.com <mailto:apilipenko at azul.com>> wrote: > This C program produces different results with -O0 and -O3 optimization levels. > > #include <stdio.h> > float test(unsigned int arg) { > return (float)((int)(arg * 58)) + 1; > } > int main() { > p...

Yes, I'm running all the existing passes that I know how to run. I didn't know they returned change-made. Thanks! On Mon, Dec 21, 2015 at 12:36 PM, Artur Pilipenko < apilipenko at azulsystems.com> wrote: > Are you going to run some of the existing passes? Why can’t you just use > the returned change-made value from the passes? > > Artur > > > On 20 Dec 2015, at 15:43, Russell Wallace via llvm-dev < > llvm-dev at lists.llvm.org> wrote: &gt...

...Message -------- Subject: [PATCH] D17497: Support arbitrary address space for intrinsics Date: Mon, 22 Feb 2016 08:39:38 +0000 From: Elena Demikhovsky <elena.demikhovsky at intel.com> Reply-To: reviews+D17497+public+90f3d1b9468ba8ca at reviews.llvm.org To: elena.demikhovsky at intel.com, apilipenko at azulsystems.com, listmail at philipreames.com, ayal.zaks at intel.com, Matthew.Arsenault at amd.com, pjcoup at gmail.com CC: llvm-commits at lists.llvm.org delena created this revision. delena added reviewers: apilipenko, reames, Ayal, arsenm, pjcoup. delena added a subscriber: llvm-commit...

Hi Sanjay, Some time ago you implemented a sext(add_nsw(x, C)) --> add(sext(x), C_sext) transformation in X86ISelLowering https://reviews.llvm.org/D13757 Is there any reason why this transformation is limited to sexts and doesn’t support zexts? Thanks, Artur -------------- next part -------------- An HTML attachment was scrubbed... URL:

...Mon, Sep 28, 2015 at 11:17 PM Subject: buildbot failure in LLVM on clang-ppc64-elf-linux2 To: Aaron Ballman <aaron at aaronballman.com>, Adrian Prantl <aprantl at apple.com>, Andrew Kaylor <andrew.kaylor at intel.com>, Artem Belevich <tra at google.com>, Artur Pilipenko <apilipenko at azulsystems.com>, Dan Gohman < dan433584 at gmail.com>, Daniel Jasper <djasper at google.com>, Daniel Sanders < daniel.sanders at imgtec.com>, David Blaikie <dblaikie at gmail.com>, Evgeniy Stepanov <eugeni.stepanov at gmail.com>, Fiona Glaser <escha at apple....

...Like in the case where vectorizer tries to do something about it: https://godbolt.org/z/60RuEw https://bugs.llvm.org/show_bug.cgi?id=42708 At the current state I'm forced to use memset() to express uint64 load from an array of bytes. // P. On Thu, Sep 12, 2019 at 4:22 AM Artur Pilipenko <apilipenko at azul.com> wrote: > Hi, > > Load widening/combine for the original pattern was implemented in DAG > combiner. See: > > https://github.com/llvm/llvm-project/blob/23bbeb52f392d88bf0d0527392a7a11561ee09c0/llvm/lib/CodeGen/SelectionDAG/DAGCombiner.cpp#L6872 > > Later a sim...

...make the best sense. Mostly just trying to see about you getting the right fixes in for the support you need and the rest of us not having to worry about not breaking things that no one cares about :) -eric > Philip > > > On Mon, Jul 13, 2015 at 7:42 AM, Artur Pilipenko < > apilipenko at azulsystems.com> wrote: > >> Hi, >> >> On 13 Jul 2015, at 15:59, Hal Finkel <hfinkel at anl.gov> wrote: >> >> ----- Original Message ----- >> >> From: "Artur Pilipenko" <apilipenko at azulsystems.com> >> To: llvmdev at...

...ec 2015, at 19:59, Russell Wallace <russell.wallace at gmail.com<mailto:russell.wallace at gmail.com>> wrote: Yes, I'm running all the existing passes that I know how to run. I didn't know they returned change-made. Thanks! On Mon, Dec 21, 2015 at 12:36 PM, Artur Pilipenko <apilipenko at azulsystems.com<mailto:apilipenko at azulsystems.com>> wrote: Are you going to run some of the existing passes? Why can’t you just use the returned change-made value from the passes? Artur > On 20 Dec 2015, at 15:43, Russell Wallace via llvm-dev <llvm-dev at lists.llvm.org<ma...

This C program produces different results with -O0 and -O3 optimization levels. #include <stdio.h> float test(unsigned int arg) { return (float)((int)(arg * 58)) + 1; } int main() { printf("%d\n", (int)test((unsigned int)-831710640)); } O0 result is -994576896 O3 result is -994576832 It happens because LLVM (specifically instcombine) does the following transformation:

...failure in LLVM on clang-ppc64-elf-linux2 > > To: Aaron Ballman < aaron at aaronballman.com >, Adrian Prantl < > > aprantl at apple.com >, Andrew Kaylor < andrew.kaylor at intel.com >, > > Artem Belevich < tra at google.com >, Artur Pilipenko < > > apilipenko at azulsystems.com >, Dan Gohman < dan433584 at gmail.com >, > > Daniel Jasper < djasper at google.com >, Daniel Sanders < > > daniel.sanders at imgtec.com >, David Blaikie < dblaikie at gmail.com >, > > Evgeniy Stepanov < eugeni.stepanov at gmail.com...

...; Subject: [PATCH] D17497: Support arbitrary address space for intrinsics > Date: Mon, 22 Feb 2016 08:39:38 +0000 > From: Elena Demikhovsky <elena.demikhovsky at intel.com> > Reply-To: reviews+D17497+public+90f3d1b9468ba8ca at reviews.llvm.org > To: elena.demikhovsky at intel.com, apilipenko at azulsystems.com, listmail at philipreames.com, ayal.zaks at intel.com, Matthew.Arsenault at amd.com, pjcoup at gmail.com > CC: llvm-commits at lists.llvm.org > > delena created this revision. > delena added reviewers: apilipenko, reames, Ayal, arsenm, pjcoup. > delena added a sub...

...ps://godbolt.org/z/60RuEw >> https://bugs.llvm.org/show_bug.cgi?id=42708 >> >> At the current state I'm forced to use memset() to express uint64 >> load from an array of bytes. >> >> // P. >> >> On Thu, Sep 12, 2019 at 4:22 AM Artur Pilipenko <apilipenko at azul.com >> <mailto:apilipenko at azul.com>> wrote: >> >> Hi, >> >> Load widening/combine for the original pattern was implemented in >> DAG combiner. See: >> https://github.com/llvm/llvm-project/blob/23bbeb52f392d88bf0d0527392a...

Hi, I’d like to support string attributes on function arguments and return values. We are going to use them in our tree to express higher level language types. Internally attributes framework have everything to do this, it’s even possible to generate string attributes via API right now: Function *function; function->setAttributes(function->getAttributes().addAttribute(context, i,

Hi, Is it intentional that LazyValueInfo.getPredicateAt doesn't solve for the value and only takes assumptions into account? getPredicateAt gets lattice value from cache using getValueAt call: LVILatticeVal LazyValueInfoCache::getValueAt(Value *V, Instruction *CxtI) { ... LVILatticeVal Result; mergeAssumeBlockValueConstantRange(V, Result, CxtI); ... return Result; } Other

Hi, There are several optimizations where we try to load speculatively. There are also two similar functions to determine whether it's a safe transformation: * isSafeToLoadUnconditionally * isSafeToSpeculativelyExecute isSafeToLoadUnconditionally tries to take load alignment into account but fails to do this in some cases. It checks alignment for pointers derived from allocas and global

...> to revisit our decision later. But in order to do widening earlier we need > to have a way to undo this transformation. > > I’m going to try implementing MIR optimization but not in the immediate > future. > > Artur > > > On 28 Sep 2016, at 19:32, Artur Pilipenko <apilipenko at azulsystems.com> > wrote: > > > > One of the arguments for doing this earlier is inline cost perception of > the original pattern. Reading i32/i64 by bytes look much more expensive > than it is and can prevent inlining of interesting function. > > > > Inhibiti...

...see what kinds of patterns you're seeing and want to optimize. It's possible that IR transforms could eliminate the need for the backend fixups...or it could make them harder. Are there bug reports for the cases that you are looking at? On Tue, Jul 19, 2016 at 9:13 AM, Artur Pilipenko <apilipenko at azulsystems.com<mailto:apilipenko at azulsystems.com>> wrote: Hi Sanjay, Some time ago you implemented a sext(add_nsw(x, C)) --> add(sext(x), C_sext) transformation in X86ISelLowering https://reviews.llvm.org/D13757 Is there any reason why this transformation is limited to sexts and...