[llvm] 79a4fa3 - [test][InstCombine] Update precommitted test

[Arthur Eubanks via llvm-commits]

Author: Arthur Eubanks
Date: 2022-09-01T09:08:44-07:00
New Revision: 79a4fa366c6e6ecc6a5ea78f41f2bb1d33e95e4a

URL: https://github.com/llvm/llvm-project/commit/79a4fa366c6e6ecc6a5ea78f41f2bb1d33e95e4a
DIFF: https://github.com/llvm/llvm-project/commit/79a4fa366c6e6ecc6a5ea78f41f2bb1d33e95e4a.diff

LOG: [test][InstCombine] Update precommitted test

Added: 
    

Modified: 
    llvm/test/Transforms/InstCombine/call-undef.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/InstCombine/call-undef.ll b/llvm/test/Transforms/InstCombine/call-undef.ll
index 03d9353e76da..3342b42ccc76 100644
--- a/llvm/test/Transforms/InstCombine/call-undef.ll
+++ b/llvm/test/Transforms/InstCombine/call-undef.ll
@@ -2,7 +2,9 @@
 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
 
 declare void @c(i32 noundef)
-declare void @d(i32)
+declare void @d(ptr dereferenceable(1))
+declare void @e(i32)
+declare void @f(ptr)
 
 define void @test1() {
 ; CHECK-LABEL: @test1(
@@ -24,27 +26,63 @@ define void @test2() {
 
 define void @test3() {
 ; CHECK-LABEL: @test3(
-; CHECK-NEXT:    call void @d(i32 noundef undef)
+; CHECK-NEXT:    call void @e(i32 noundef undef)
 ; CHECK-NEXT:    ret void
 ;
-  call void @d(i32 noundef undef)
+  call void @e(i32 noundef undef)
   ret void
 }
 
 define void @test4() {
 ; CHECK-LABEL: @test4(
-; CHECK-NEXT:    call void @d(i32 noundef poison)
+; CHECK-NEXT:    call void @e(i32 noundef poison)
 ; CHECK-NEXT:    ret void
 ;
-  call void @d(i32 noundef poison)
+  call void @e(i32 noundef poison)
+  ret void
+}
+
+define void @test5() {
+; CHECK-LABEL: @test5(
+; CHECK-NEXT:    call void @d(ptr undef)
+; CHECK-NEXT:    ret void
+;
+  call void @d(ptr undef)
+  ret void
+}
+
+define void @test6() {
+; CHECK-LABEL: @test6(
+; CHECK-NEXT:    call void @d(ptr poison)
+; CHECK-NEXT:    ret void
+;
+  call void @d(ptr poison)
+  ret void
+}
+
+define void @test7() {
+; CHECK-LABEL: @test7(
+; CHECK-NEXT:    call void @f(ptr dereferenceable(1) undef)
+; CHECK-NEXT:    ret void
+;
+  call void @f(ptr dereferenceable(1) undef)
+  ret void
+}
+
+define void @test8() {
+; CHECK-LABEL: @test8(
+; CHECK-NEXT:    call void @f(ptr dereferenceable(1) poison)
+; CHECK-NEXT:    ret void
+;
+  call void @f(ptr dereferenceable(1) poison)
   ret void
 }
 
 define void @test_mismatched_call() {
 ; CHECK-LABEL: @test_mismatched_call(
-; CHECK-NEXT:    call void @d(i8 poison)
+; CHECK-NEXT:    call void @e(i8 poison)
 ; CHECK-NEXT:    ret void
 ;
-  call void @d(i8 poison)
+  call void @e(i8 poison)
   ret void
 }