RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-01 05:01:59 +01:00
Code Issues Projects Releases Wiki Activity

[InstCombine] Add more tests to nonnull-select.ll (NFC)

Browse Source
This commit is contained in:
Juneyoung Lee 2021-02-20 16:59:52 +09:00
parent 63f16fef3a
commit 0bb24cab51
1 changed files with 61 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

61
test/Transforms/InstCombine/nonnull-select.ll
View File

@ -27,8 +27,47 @@ define nonnull i32* @nonnull_ret(i1 %cond, i32* %p) {
ret i32* %res
}
define nonnull i32* @nonnull_ret2(i1 %cond, i32* %p) {
; CHECK-LABEL: @nonnull_ret2(
; CHECK-NEXT: [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
; CHECK-NEXT: ret i32* [[RES]]
;
%res = select i1 %cond, i32* null, i32* %p
ret i32* %res
}
define nonnull noundef i32* @nonnull_noundef_ret(i1 %cond, i32* %p) {
; CHECK-LABEL: @nonnull_noundef_ret(
; CHECK-NEXT: [[RES:%.*]] = select i1 [[COND:%.*]], i32* [[P:%.*]], i32* null
; CHECK-NEXT: ret i32* [[RES]]
;
%res = select i1 %cond, i32* %p, i32* null
ret i32* %res
}
define nonnull noundef i32* @nonnull_noundef_ret2(i1 %cond, i32* %p) {
; CHECK-LABEL: @nonnull_noundef_ret2(
; CHECK-NEXT: [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
; CHECK-NEXT: ret i32* [[RES]]
;
%res = select i1 %cond, i32* null, i32* %p
ret i32* %res
}
define void @nonnull_call(i1 %cond, i32* %p) {
; CHECK-LABEL: @nonnull_call(
; CHECK-NEXT: [[RES:%.*]] = select i1 [[COND:%.*]], i32* [[P:%.*]], i32* null
; CHECK-NEXT: call void @f(i32* nonnull [[RES]])
; CHECK-NEXT: ret void
;
%res = select i1 %cond, i32* %p, i32* null
call void @f(i32* nonnull %res)
ret void
}
define void @nonnull_call2(i1 %cond, i32* %p) {
; CHECK-LABEL: @nonnull_call2(
; CHECK-NEXT: [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
; CHECK-NEXT: call void @f(i32* nonnull [[RES]])
; CHECK-NEXT: ret void
@ -38,4 +77,26 @@ define void @nonnull_call(i1 %cond, i32* %p) {
ret void
}
define void @nonnull_noundef_call(i1 %cond, i32* %p) {
; CHECK-LABEL: @nonnull_noundef_call(
; CHECK-NEXT: [[RES:%.*]] = select i1 [[COND:%.*]], i32* [[P:%.*]], i32* null
; CHECK-NEXT: call void @f(i32* noundef nonnull [[RES]])
; CHECK-NEXT: ret void
;
%res = select i1 %cond, i32* %p, i32* null
call void @f(i32* nonnull noundef %res)
ret void
}
define void @nonnull_noundef_call2(i1 %cond, i32* %p) {
; CHECK-LABEL: @nonnull_noundef_call2(
; CHECK-NEXT: [[RES:%.*]] = select i1 [[COND:%.*]], i32* null, i32* [[P:%.*]]
; CHECK-NEXT: call void @f(i32* noundef nonnull [[RES]])
; CHECK-NEXT: ret void
;
%res = select i1 %cond, i32* null, i32* %p
call void @f(i32* nonnull noundef %res)
ret void
}
declare void @f(i32*)