maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[test][InstCombine] Update precommitted test

This commit is contained in:
Arthur Eubanks 2022-09-01 09:06:30 -07:00
parent 858fe8664e
commit 79a4fa366c
1 changed files with 45 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

52
llvm/test/Transforms/InstCombine/call-undef.ll
View File

@ -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
}