[PATCH] D68501: [PATCH 18/38] [noalias] Remove noalias related part from assume test.

Jeroen Dobbelaere via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 4 14:48:00 PDT 2019


jeroen.dobbelaere created this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
jeroen.dobbelaere added reviewers: hfinkel, jdoerfert.

This is part of the series started by D68484 <https://reviews.llvm.org/D68484>.

Note: this is a stable point and tests should run fine with the patches applied up to this point.


https://reviews.llvm.org/D68501

Files:
  llvm/test/Transforms/InstCombine/assume.ll


Index: llvm/test/Transforms/InstCombine/assume.ll
===================================================================
--- llvm/test/Transforms/InstCombine/assume.ll
+++ llvm/test/Transforms/InstCombine/assume.ll
@@ -339,24 +339,6 @@
 
 declare void @llvm.dbg.value(metadata, metadata, metadata)
 
-define i1 @nonnull5(i32** %a) {
-entry:
-  %load = load i32*, i32** %a
-  ;; This call cannot actually trap, and so should not disrupt the assume.
-  %v = call i32* @llvm.noalias.p0i32(i32* %load, metadata !1)
-  %cmp = icmp ne i32* %load, null
-  tail call void @llvm.assume(i1 %cmp)
-  %q = bitcast i32** %a to i32*
-  %rval = icmp eq i32* %v, %q
-  ret i1 %rval
-
-; CHECK-LABEL: @nonnull5
-; CHECK: !nonnull
-; CHECK-NOT: call void @llvm.assume
-}
-
-declare i32* @llvm.noalias.p0i32(i32*, metadata) nounwind
-
 !llvm.dbg.cu = !{!0}
 !llvm.module.flags = !{!5, !6, !7, !8}
 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D68501.223304.patch
Type: text/x-patch
Size: 877 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191004/e23057df/attachment.bin>


More information about the llvm-commits mailing list