search for: change_dynamic_type_expr

...r testcase > fail. > It isn't. The program should be valid, without the union, on platforms where int and float have the same size an alignment. > > In practice, handling placement new properly in gcc required the > equivalent of a new intrinsic (in gcc, it required adding > CHANGE_DYNAMIC_TYPE_EXPR). > Sure; my question is whether or not there is already a solution in the works for LLVM. If not, then I'll try to work with some folks to propose an intrinsic. -- HT -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-de...

I've heard from a few people that placement new is going to be handled by LLVM using the llvm.invariant.group.barrier intrinsic; however, the documentation for that intrinsic seems to indicate that it deals with only invariant.group metadata and not TBAA metadata. I would like to understand how the solution would work in the context of

...ment. > > Right, so you need to debug that first, and see what's going wrong. > Without TBAA info in the .ll file, this should just work. > > > > In practice, handling placement new properly in gcc required the equivalent of a new intrinsic (in gcc, it required adding CHANGE_DYNAMIC_TYPE_EXPR). > Sure; my question is whether or not there is already a solution in the works for LLVM. If not, then I'll try to work with some folks to propose an intrinsic. > > I would first focus on understanding why the testcase fails without any TBAA info at all. > In that case, i would ex...