[PATCH] D65402: [Attributor][MustExec] Deduce dereferenceable and nonnull attribute using MustBeExecutedContextExplorer

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

Uhm.

Even simple case with "-mllvm -enable-nonnull-arg-prop" does not work.. strange.

define dso_local noalias %struct.tHashTableItem* @symbolNewCopy(i8* nocapture readonly %s) local_unnamed_addr #0 {
entry:

  %call = tail call noalias i8* @calloc(i64 1, i64 64) #8
  %call.i = tail call noalias i8* @calloc(i64 1, i64 64) #8
  %Index.i = getelementptr inbounds i8, i8* %call.i, i64 24
  %0 = bitcast i8* %Index.i to i32*
  store i32 -1, i32* %0, align 8, !tbaa !14
  %bcmp = tail call i32 @bcmp(i8* nonnull dereferenceable(7) %call.i, i8* nonnull dereferenceable(7) %s, i64 7)


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

https://reviews.llvm.org/D65402