[PATCH] D108221: [LoopIdiom] Keep TBAA when creating memcpy/memmove

William Moses via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Jan 31 11:08:38 PST 2022


wsmoses added inline comments.


================
Comment at: llvm/test/Transforms/LoopIdiom/memcpy-tbaa.ll:45
+; CHECK-NEXT:    [[M2:%.*]] = bitcast double* [[M:%.*]] to i8*
+; CHECK-NEXT:    call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 [[OUT1]], i8* align 8 [[M2]], i64 256, i1 false), !tbaa [[TBAAF:![0-9]+]]
+; CHECK-NEXT:    br label [[FOR_BODY4:%.*]]
----------------
jeroen.dobbelaere wrote:
> I get `!tbaa %0`. Is this what we would expect ? Shouldn't the tbaa be dropped here ? (float vs double)
Good catch, it appears the merge has become not in place. Fixed


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D108221/new/

https://reviews.llvm.org/D108221



More information about the llvm-commits mailing list