[PATCH] D12779: [InstCombineCalls] Use isKnownNonNullAt() to check nullness of passing arguments at callsite
Chen Li via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 10 15:58:26 PDT 2015
chenli added inline comments.
Comment at: test/Transforms/InstCombine/call_nonnull_arg.ll:3
@@ +2,3 @@
+; InstCombine should mark null-checked argument as nonnull at callsite
+declare void @dummy(i32*)
> Not sure this needs to be it's own file. It could probably just be added to the existing file which contains the previous nonnull attribute tests.
I dont think there is an existing test case to check nonnull attribute at callsite. I didn't find one under InstCombine/ directory.
More information about the llvm-commits