mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 20:12:56 +02:00
569f8cfea2
Currently LazyValueInfo will report only alloca's as having nonnull range. For loads with !nonnull metadata it will bailout with no additional information. Same is true for calls returning nonnull pointers. This change extends LazyValueInfo to handle additional nonnull instructions. Differential Revision: http://reviews.llvm.org/D12932 llvm-svn: 247985
164 lines
3.9 KiB
LLVM
164 lines
3.9 KiB
LLVM
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
|
|
|
define void @test1(i8* %ptr) {
|
|
; CHECK: test1
|
|
%A = load i8, i8* %ptr
|
|
br label %bb
|
|
bb:
|
|
icmp ne i8* %ptr, null
|
|
; CHECK-NOT: icmp
|
|
ret void
|
|
}
|
|
|
|
define void @test2(i8* %ptr) {
|
|
; CHECK: test2
|
|
store i8 0, i8* %ptr
|
|
br label %bb
|
|
bb:
|
|
icmp ne i8* %ptr, null
|
|
; CHECK-NOT: icmp
|
|
ret void
|
|
}
|
|
|
|
define void @test3() {
|
|
; CHECK: test3
|
|
%ptr = alloca i8
|
|
br label %bb
|
|
bb:
|
|
icmp ne i8* %ptr, null
|
|
; CHECK-NOT: icmp
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.memcpy.p0i8.p0i8.i32(i8*, i8*, i32, i32, i1)
|
|
define void @test4(i8* %dest, i8* %src) {
|
|
; CHECK: test4
|
|
call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, i32 1, i32 1, i1 false)
|
|
br label %bb
|
|
bb:
|
|
icmp ne i8* %dest, null
|
|
icmp ne i8* %src, null
|
|
; CHECK-NOT: icmp
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.memmove.p0i8.p0i8.i32(i8*, i8*, i32, i32, i1)
|
|
define void @test5(i8* %dest, i8* %src) {
|
|
; CHECK: test5
|
|
call void @llvm.memmove.p0i8.p0i8.i32(i8* %dest, i8* %src, i32 1, i32 1, i1 false)
|
|
br label %bb
|
|
bb:
|
|
icmp ne i8* %dest, null
|
|
icmp ne i8* %src, null
|
|
; CHECK-NOT: icmp
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.memset.p0i8.i32(i8*, i8, i32, i32, i1)
|
|
define void @test6(i8* %dest) {
|
|
; CHECK: test6
|
|
call void @llvm.memset.p0i8.i32(i8* %dest, i8 255, i32 1, i32 1, i1 false)
|
|
br label %bb
|
|
bb:
|
|
icmp ne i8* %dest, null
|
|
; CHECK-NOT: icmp
|
|
ret void
|
|
}
|
|
|
|
define void @test7(i8* %dest, i8* %src, i32 %len) {
|
|
; CHECK: test7
|
|
call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, i32 %len, i32 1, i1 false)
|
|
br label %bb
|
|
bb:
|
|
%KEEP1 = icmp ne i8* %dest, null
|
|
; CHECK: KEEP1
|
|
%KEEP2 = icmp ne i8* %src, null
|
|
; CHECK: KEEP2
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.memcpy.p1i8.p1i8.i32(i8 addrspace(1) *, i8 addrspace(1) *, i32, i32, i1)
|
|
define void @test8(i8 addrspace(1) * %dest, i8 addrspace(1) * %src) {
|
|
; CHECK: test8
|
|
call void @llvm.memcpy.p1i8.p1i8.i32(i8 addrspace(1) * %dest, i8 addrspace(1) * %src, i32 1, i32 1, i1 false)
|
|
br label %bb
|
|
bb:
|
|
%KEEP1 = icmp ne i8 addrspace(1) * %dest, null
|
|
; CHECK: KEEP1
|
|
%KEEP2 = icmp ne i8 addrspace(1) * %src, null
|
|
; CHECK: KEEP2
|
|
ret void
|
|
}
|
|
|
|
define void @test9(i8* %dest, i8* %src) {
|
|
; CHECK: test9
|
|
call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dest, i8* %src, i32 1, i32 1, i1 true)
|
|
br label %bb
|
|
bb:
|
|
%KEEP1 = icmp ne i8* %dest, null
|
|
; CHECK: KEEP1
|
|
%KEEP2 = icmp ne i8* %src, null
|
|
; CHECK: KEEP2
|
|
ret void
|
|
}
|
|
|
|
declare void @test10_helper(i8* %arg1, i8* %arg2, i32 %non-pointer-arg)
|
|
define void @test10(i8* %arg1, i8* %arg2, i32 %non-pointer-arg) {
|
|
; CHECK-LABEL: @test10
|
|
entry:
|
|
%is_null = icmp eq i8* %arg1, null
|
|
br i1 %is_null, label %null, label %non_null
|
|
|
|
non_null:
|
|
call void @test10_helper(i8* %arg1, i8* %arg2, i32 %non-pointer-arg)
|
|
; CHECK: call void @test10_helper(i8* nonnull %arg1, i8* %arg2, i32 %non-pointer-arg)
|
|
br label %null
|
|
|
|
null:
|
|
call void @test10_helper(i8* %arg1, i8* %arg2, i32 %non-pointer-arg)
|
|
; CHECK: call void @test10_helper(i8* %arg1, i8* %arg2, i32 %non-pointer-arg)
|
|
ret void
|
|
}
|
|
|
|
declare void @test11_helper(i8* %arg)
|
|
define void @test11(i8* %arg1, i8** %arg2) {
|
|
; CHECK-LABEL: @test11
|
|
entry:
|
|
%is_null = icmp eq i8* %arg1, null
|
|
br i1 %is_null, label %null, label %non_null
|
|
|
|
non_null:
|
|
br label %merge
|
|
|
|
null:
|
|
%another_arg = alloca i8
|
|
br label %merge
|
|
|
|
merge:
|
|
%merged_arg = phi i8* [%another_arg, %null], [%arg1, %non_null]
|
|
call void @test11_helper(i8* %merged_arg)
|
|
; CHECK: call void @test11_helper(i8* nonnull %merged_arg)
|
|
ret void
|
|
}
|
|
|
|
declare void @test12_helper(i8* %arg)
|
|
define void @test12(i8* %arg1, i8** %arg2) {
|
|
; CHECK-LABEL: @test12
|
|
entry:
|
|
%is_null = icmp eq i8* %arg1, null
|
|
br i1 %is_null, label %null, label %non_null
|
|
|
|
non_null:
|
|
br label %merge
|
|
|
|
null:
|
|
%another_arg = load i8*, i8** %arg2, !nonnull !{}
|
|
br label %merge
|
|
|
|
merge:
|
|
%merged_arg = phi i8* [%another_arg, %null], [%arg1, %non_null]
|
|
call void @test12_helper(i8* %merged_arg)
|
|
; CHECK: call void @test12_helper(i8* nonnull %merged_arg)
|
|
ret void
|
|
}
|