We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 72106d3 commit c18530dCopy full SHA for c18530d
llvm/test/Transforms/InstSimplify/known-non-zero-opaque-ptrs.ll
@@ -4,7 +4,6 @@
4
declare void @zero_args()
5
declare void @two_args(ptr, ptr)
6
7
-; TODO: Could be non-null based on call-site attributes.
8
define i1 @test_zero_args_nonnull(ptr %p) {
9
; CHECK-LABEL: @test_zero_args_nonnull(
10
; CHECK-NEXT: call void @zero_args(ptr noundef nonnull [[P:%.*]])
@@ -26,7 +25,6 @@ define i1 @test_zero_args_maybe_null(ptr %p) {
26
25
ret i1 %c
27
}
28
29
30
define i1 @test_two_args_nonnull(ptr %p) {
31
; CHECK-LABEL: @test_two_args_nonnull(
32
; CHECK-NEXT: call void @two_args(ptr noundef nonnull [[P:%.*]])
0 commit comments