search for: runtimeverification

Displaying 4 results from an estimated 4 matches for "runtimeverification".

2019 Sep 18
3
Setting llvm::TargetOptions::GuaranteedTailCallOpt in LTO Code Generation
...cation. I also feel like passing -tailcallopt in the linker stage is kind of fragile. It is better to create an attribute (on function or callInst) to force tailcallopt and some compiler flag to generated that during IRGen. Steven > On Sep 18, 2019, at 10:09 AM, Dwight Guth <dwight.guth at runtimeverification.com> wrote: > > On Wed, Sep 18, 2019, 11:57 AM Teresa Johnson <tejohnson at google.com <mailto:tejohnson at google.com>> wrote: > Hi Dwight, > > Welcome to LLVM-dev! A few comments below. Cc'ing a few people who hopefully can add info on some of the specific issu...
2019 Sep 16
2
Setting llvm::TargetOptions::GuaranteedTailCallOpt in LTO Code Generation
...e how all the components fit together at a high level and thus what the correct design for something like this would be. Or am I going to have to resign myself to waiting until lld is well supported at linking mach-o files? Thanks, -- Dwight Guth Director of Engineering Email: dwight.guth at runtimeverification.com <https://www.runtimeverification.com> <https://github.com/dwightguth> <https://www.linkedin.com/company/3142238/> <https://twitter.com/rv_inc> -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev...
2019 Sep 18
2
Setting llvm::TargetOptions::GuaranteedTailCallOpt in LTO Code Generation
...> supported at linking mach-o files? > +Rui Ueyama <ruiu at google.com> and +Eric Christopher <echristo at gmail.com> to comment on lld Mach-O support. Teresa > > Thanks, > > -- > > Dwight Guth > > Director of Engineering > > Email: dwight.guth at runtimeverification.com > > <https://www.runtimeverification.com> > > <https://github.com/dwightguth> > <https://www.linkedin.com/company/3142238/> <https://twitter.com/rv_inc> > > > > > _______________________________________________ > LLVM Developers mailing...
2019 Sep 18
2
Setting llvm::TargetOptions::GuaranteedTailCallOpt in LTO Code Generation
...be problems with calling convention if the function was externally visible, but for our use case it should be fine if the looser musttail attribute only worked for functions local to a module, I think... > > Steven > > On Sep 18, 2019, at 10:09 AM, Dwight Guth < > dwight.guth at runtimeverification.com> wrote: > > On Wed, Sep 18, 2019, 11:57 AM Teresa Johnson <tejohnson at google.com> > wrote: > >> Hi Dwight, >> >> Welcome to LLVM-dev! A few comments below. Cc'ing a few people who >> hopefully can add info on some of the specific issues here. &...