[LLVMdev] [cfe-dev] Clang devirtualization proposal

[Hal Finkel]

Hi Piotr,

Thanks for posting this! First, a question. When you say, regarding i8* @llvm.invariant.group.barrier(i8*):

"Required to handle destructors, placement new and std::launder. Call of this function will be put on the end of each of this functions"

I completely understand placement new and std::launder. I don't understand destructors, could you explain?

Also, am I correct in saying that we could handle the case of 'final' classes I highlighted in initial e-mail by inserting these assumptions whenever a pointer/reference to a class of such a type came into scope?

struct A {
  virtual void foo() = 0;
};

struct B final : public A {
  void foo();
};

void entry(B *b) {
 // emit assumptions about vtbl of 'b' here?
}

Thanks again,
Hal

----- Original Message -----
> From: "Piotr Padlewski" <prazek at google.com>
> To: "cfe-dev at cs.uiuc.edu Developers" <cfe-dev at cs.uiuc.edu>, llvmdev at cs.uiuc.edu
> Cc: "Richard Smith" <richard at metafoo.co.uk>
> Sent: Wednesday, July 22, 2015 4:55:43 PM
> Subject: [cfe-dev] Clang devirtualization proposal
> 
> 
> 
> 
> Hi folks,
> this summer I will work with Richard Smith on clang devirtualization.
> Check out our proposal:
> 
> https://docs.google.com/document/d/1f2SGa4TIPuBGm6y6YO768GrQsA8awNfGEJSBFukLhYA/edit?usp=sharing
> 
> 
> 
> And modified LangRef
> http://reviews.llvm.org/D11399
> 
> 
> 
> You can also check out previous disscussion that was started before
> our proposal was ready -
> http://lists.cs.uiuc.edu/pipermail/cfe-dev/2015-July/044052.html
> 
> 
> Regards
> Piotr Padlewski
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory