[PATCH] D53342: [SimplifyLibCalls][WIP] Mark known arguments with nonnull

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In https://reviews.llvm.org/D53342#1272785, @xbolva00 wrote:

> Ping @spatel whether he has any idea why instcombine turns
>  define dso_local i32 @fff6(i8* nocapture readonly %s) local_unnamed_addr #5 {
> entry:
>  %call = tail call i64 @strlen(i8* nonnull %s) #8
>  %conv = trunc i64 %call to i32
>  ret i32 %conv
>  }
>
> to undef


I don't see this happening in the minimal case. Can you post the full IR and 'opt' command that you're using?


https://reviews.llvm.org/D53342