summaryrefslogtreecommitdiffstats
path: root/test/Transforms/SimplifyCFG/unreachable-blocks.ll
diff options
context:
space:
mode:
authorNick Lewycky <nicholas@mxc.ca>2012-01-23 00:05:17 +0000
committerNick Lewycky <nicholas@mxc.ca>2012-01-23 00:05:17 +0000
commit37abc488a0527bb682af5aa6c4f376b5b99d67e4 (patch)
tree13d1df3a5e17ba9f525ed60688ff0a9c4d9692d4 /test/Transforms/SimplifyCFG/unreachable-blocks.ll
parent1906d32e55224b7481cd9e5726bd5e14b55f5cc1 (diff)
downloadexternal_llvm-37abc488a0527bb682af5aa6c4f376b5b99d67e4.zip
external_llvm-37abc488a0527bb682af5aa6c4f376b5b99d67e4.tar.gz
external_llvm-37abc488a0527bb682af5aa6c4f376b5b99d67e4.tar.bz2
Make Value::isDereferenceablePointer() handle unreachable code blocks. (This
returns false in the event the computation feeding into the pointer is unreachable, which maybe ought to be true -- but this is at least consistent with undef->isDereferenceablePointer().) Fixes PR11825! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@148671 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms/SimplifyCFG/unreachable-blocks.ll')
-rw-r--r--test/Transforms/SimplifyCFG/unreachable-blocks.ll28
1 files changed, 28 insertions, 0 deletions
diff --git a/test/Transforms/SimplifyCFG/unreachable-blocks.ll b/test/Transforms/SimplifyCFG/unreachable-blocks.ll
new file mode 100644
index 0000000..1df0eab
--- /dev/null
+++ b/test/Transforms/SimplifyCFG/unreachable-blocks.ll
@@ -0,0 +1,28 @@
+; RUN: opt -simplifycfg < %s -disable-output
+
+target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
+target triple = "x86_64-pc-linux-gnu"
+
+; PR11825
+define void @test1() {
+entry:
+ br label %return
+
+while_block: ; preds = %and_if_cont2, %and_if_cont
+ %newlen = sub i32 %newlen, 1
+ %newptr = getelementptr i8* %newptr, i64 1
+ %test = icmp sgt i32 %newlen, 0
+ br i1 %test, label %and_if1, label %and_if_cont2
+
+and_if1: ; preds = %while_block
+ %char = load i8* %newptr
+ %test2 = icmp ule i8 %char, 32
+ br label %and_if_cont2
+
+and_if_cont2: ; preds = %and_if1, %while_block
+ %a18 = phi i1 [ %test, %while_block ], [ %test2, %and_if1 ]
+ br i1 %a18, label %while_block, label %return
+
+return: ; preds = %and_if_cont2, %and_if_cont
+ ret void
+}