[PATCH] D12932: [LazyValueInfo] Report nonnull range for nonnull pointers

[Phabricator via llvm-commits]

This revision was automatically updated to reflect the committed changes.
Closed by commit rL247985: [LazyValueInfo] Report nonnull range for nonnull pointers (authored by igor.laevsky).

Changed prior to commit:
  http://reviews.llvm.org/D12932?vs=34984&id=35077#toc

Repository:
  rL LLVM

http://reviews.llvm.org/D12932

Files:
  llvm/trunk/lib/Analysis/LazyValueInfo.cpp
  llvm/trunk/test/Transforms/CorrelatedValuePropagation/non-null.ll

Index: llvm/trunk/test/Transforms/CorrelatedValuePropagation/non-null.ll
===================================================================
--- llvm/trunk/test/Transforms/CorrelatedValuePropagation/non-null.ll
+++ llvm/trunk/test/Transforms/CorrelatedValuePropagation/non-null.ll
@@ -140,3 +140,24 @@
   ; 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
+}
Index: llvm/trunk/lib/Analysis/LazyValueInfo.cpp
===================================================================
--- llvm/trunk/lib/Analysis/LazyValueInfo.cpp
+++ llvm/trunk/lib/Analysis/LazyValueInfo.cpp
@@ -531,8 +531,10 @@
     return true;
   }
 
-  if (AllocaInst *AI = dyn_cast<AllocaInst>(BBI)) {
-    Res = LVILatticeVal::getNot(ConstantPointerNull::get(AI->getType()));
+  // If this value is a nonnull pointer, record it's range and bailout.
+  PointerType *PT = dyn_cast<PointerType>(BBI->getType());
+  if (PT && isKnownNonNull(BBI)) {
+    Res = LVILatticeVal::getNot(ConstantPointerNull::get(PT));
     insertResult(Val, BB, Res);
     return true;
   }


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12932.35077.patch
Type: text/x-patch
Size: 1568 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150918/cb90776b/attachment.bin>