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

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

xbolva00 added a comment.

https://pastebin.com/8bxCuV5V + this patch
opt -instcombine p.ll -S

After I mark it, CI->dump() prints "  %call = call i64 @strlen(i8* nonnull %s) #2" but later, some code turns this to undef.


https://reviews.llvm.org/D53342