diff --git a/llvm/test/Transforms/InstCombine/call-undef.ll b/llvm/test/Transforms/InstCombine/call-undef.ll
new file mode 100644
index 000000000000..03d9353e76da
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/call-undef.ll
@@ -0,0 +1,50 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+
+declare void @c(i32 noundef)
+declare void @d(i32)
+
+define void @test1() {
+; CHECK-LABEL: @test1(
+; CHECK-NEXT:    call void @c(i32 undef)
+; CHECK-NEXT:    ret void
+;
+  call void @c(i32 undef)
+  ret void
+}
+
+define void @test2() {
+; CHECK-LABEL: @test2(
+; CHECK-NEXT:    call void @c(i32 poison)
+; CHECK-NEXT:    ret void
+;
+  call void @c(i32 poison)
+  ret void
+}
+
+define void @test3() {
+; CHECK-LABEL: @test3(
+; CHECK-NEXT:    call void @d(i32 noundef undef)
+; CHECK-NEXT:    ret void
+;
+  call void @d(i32 noundef undef)
+  ret void
+}
+
+define void @test4() {
+; CHECK-LABEL: @test4(
+; CHECK-NEXT:    call void @d(i32 noundef poison)
+; CHECK-NEXT:    ret void
+;
+  call void @d(i32 noundef poison)
+  ret void
+}
+
+define void @test_mismatched_call() {
+; CHECK-LABEL: @test_mismatched_call(
+; CHECK-NEXT:    call void @d(i8 poison)
+; CHECK-NEXT:    ret void
+;
+  call void @d(i8 poison)
+  ret void
+}