OSchip
/
llvm-project
mirror of https://github.com/THU-DSP-LAB/llvm-project.git
13
0
Fork 6
Code Issues Packages Projects Releases Wiki Activity

[test][InstCombine] Precommit some undef/noundef tests

This commit is contained in:
Arthur Eubanks 2022-08-31 11:19:07 -07:00
parent 30a4264f5f
commit 8c7b103055
1 changed files with 50 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
llvm/test/Transforms/InstCombine/call-undef.ll Normal file
View File

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