search for: pr15501

...ed about cost yet. The added complexity in this case happens at SSA update, which does need to visit meta users explicitly. I believe this is currently broken for dbg.value and works by luck for simple cases. So we need to fix this one way or another. I contrived a test case for this and submitted PR15501. -Andy > We should also use this new class of users to replace a lot of the special-case code that currently exists for making some of these intrinsics free (and removing them before CodeGen, etc.). > > Specifically regarding invariants; I think that dbg and lifetime (and annotation?) w...

----- Original Message ----- > From: "Andrew Trick" <atrick at apple.com> > To: "Hal Finkel" <hfinkel at anl.gov> > Cc: "llvmdev at cs.uiuc.edu List" <llvmdev at cs.uiuc.edu>, "Michele Scandale" <michele.scandale at gmail.com> > Sent: Friday, February 8, 2013 1:52:55 PM > Subject: llvm.meta (was Rotated loop

...cial case. Maybe something like this: tail call void @llvm.assume.aligned(metadata !{i32* %ptr}, i32 16) but then the problem becomes making sure that these things stick around long enough to help the interesting inlining cases. Thoughts? > > I contrived a test case for this and submitted PR15501. Interesting. Thanks again, Hal > > -Andy > > > We should also use this new class of users to replace a lot of the > > special-case code that currently exists for making some of these > > intrinsics free (and removing them before CodeGen, etc.). > > > >...

...we get the "updating" of the invariants for free, and optimizations are blocked only when they'd kill the invariant (or, at least that's the theory)). Thanks again, Hal > > > -Andy > > > > > > > I contrived a test case for this and submitted PR15501. > > Interesting. > > Thanks again, > Hal > > > > > -Andy > > > > We should also use this new class of users to replace a lot of the > special-case code that currently exists for making some of these > intrinsics free (and removing them befor...

...ant instrinsic to every load? The meta-data use is a potential back-up solution if we hit problems. -Andy > > Thanks again, > Hal > >> >> >> -Andy >> >> >> >> >> >> >> I contrived a test case for this and submitted PR15501. >> >> Interesting. >> >> Thanks again, >> Hal >> >> >> >> >> -Andy >> >> >> >> We should also use this new class of users to replace a lot of the >> special-case code that currently exists for making...

...%ptr, i32 16) 2c) Add a meta-use to an intrinsic (pure meta-intrinsic): tail call void @llvm.assume.aligned(metadata !{i32* %ptr}, i32 16) I think it’s a question of whether the simpler approaches work well enough for you. -Andy >> >> I contrived a test case for this and submitted PR15501. > > Interesting. > > Thanks again, > Hal > >> >> -Andy >> >>> We should also use this new class of users to replace a lot of the >>> special-case code that currently exists for making some of these >>> intrinsics free (and removin...

...d? > > > The meta-data use is a potential back-up solution if we hit problems. > > > -Andy > > > > > > Thanks again, > Hal > > > > > > -Andy > > > > > > > I contrived a test case for this and submitted PR15501. > > Interesting. > > Thanks again, > Hal > > > > > -Andy > > > > We should also use this new class of users to replace a lot of the > special-case code that currently exists for making some of these > intrinsics free (and removing them befor...