RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

[SCCP] Extend nonnull metadata test (NFC)

Browse Source
This commit is contained in:
Nikita Popov 2020-07-12 17:48:05 +02:00
parent 976154adb1
commit efae740eca
1 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
test/Transforms/SCCP/metadata.ll
View File

@ -44,16 +44,39 @@ define i32 @load_range_single_volatile(i32* %p) {
ret i32 %v
}
define void @load_nonnull(i32** %p) {
define void @load_nonnull(i32** %p, i32** %p2) {
; CHECK-LABEL: @load_nonnull(
; CHECK-NEXT: [[V:%.*]] = load i32*, i32** [[P:%.*]], align 8, !nonnull !2
; CHECK-NEXT: [[V2:%.*]] = load i32*, i32** [[P2:%.*]], align 8, !nonnull !2
; CHECK-NEXT: [[C1:%.*]] = icmp ne i32* [[V]], null
; CHECK-NEXT: call void @use(i1 [[C1]])
; CHECK-NEXT: [[C2:%.*]] = icmp eq i32* [[V]], null
; CHECK-NEXT: call void @use(i1 [[C2]])
; CHECK-NEXT: [[C3:%.*]] = icmp ne i32* null, [[V]]
; CHECK-NEXT: call void @use(i1 [[C3]])
; CHECK-NEXT: [[C4:%.*]] = icmp eq i32* null, [[V]]
; CHECK-NEXT: call void @use(i1 [[C4]])
; CHECK-NEXT: [[C5:%.*]] = icmp eq i32* [[V]], [[V2]]
; CHECK-NEXT: call void @use(i1 [[C5]])
; CHECK-NEXT: [[C6:%.*]] = icmp ne i32* [[V]], [[V2]]
; CHECK-NEXT: call void @use(i1 [[C6]])
; CHECK-NEXT: ret void
;
%v = load i32*, i32** %p, !nonnull !{}
%v2 = load i32*, i32** %p2, !nonnull !{}
%c1 = icmp ne i32* %v, null
call void @use(i1 %c1)
%c2 = icmp eq i32* %v, null
call void @use(i1 %c2)
%c3 = icmp ne i32* null, %v
call void @use(i1 %c3)
%c4 = icmp eq i32* null, %v
call void @use(i1 %c4)
; There is no particular relationship between two nonnull values.
%c5 = icmp eq i32* %v, %v2
call void @use(i1 %c5)
%c6 = icmp ne i32* %v, %v2
call void @use(i1 %c6)
ret void
}