From 3a7d55b623752dbef21258409ec120cd4e70410f Mon Sep 17 00:00:00 2001 From: Michael Zolotukhin Date: Wed, 29 Jul 2015 18:10:29 +0000 Subject: [Unroll] Don't crash when simplified branch condition is undef. llvm-svn: 243544 --- .../Transforms/LoopUnroll/full-unroll-crashers.ll | 25 ++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'llvm/test/Transforms') diff --git a/llvm/test/Transforms/LoopUnroll/full-unroll-crashers.ll b/llvm/test/Transforms/LoopUnroll/full-unroll-crashers.ll index ac814526647..0bf13278e83 100644 --- a/llvm/test/Transforms/LoopUnroll/full-unroll-crashers.ll +++ b/llvm/test/Transforms/LoopUnroll/full-unroll-crashers.ll @@ -2,6 +2,8 @@ ; RUN: opt < %s -S -loop-unroll -unroll-max-iteration-count-to-analyze=1000 -unroll-threshold=10 -unroll-percent-dynamic-cost-saved-threshold=20 -o /dev/null target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +@known_constant = internal unnamed_addr constant [10 x i32] [i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1, i32 1], align 16 + define void @foo1() { entry: br label %for.body @@ -32,3 +34,26 @@ for.body: for.exit: ret void } + +define void @cmp_undef() { +entry: + br label %for.body + +for.body: ; preds = %for.inc, %entry + %iv.0 = phi i64 [ 0, %entry ], [ %iv.1, %for.inc ] + %arrayidx1 = getelementptr inbounds [10 x i32], [10 x i32]* @known_constant, i64 0, i64 %iv.0 + %x1 = load i32, i32* %arrayidx1, align 4 + %cmp = icmp eq i32 %x1, undef + br i1 %cmp, label %if.then, label %for.inc + +if.then: ; preds = %for.body + br label %for.inc + +for.inc: ; preds = %for.body, %if.then + %iv.1 = add nuw nsw i64 %iv.0, 1 + %exitcond = icmp eq i64 %iv.1, 10 + br i1 %exitcond, label %for.end, label %for.body + +for.end: ; preds = %for.inc + ret void +} -- cgit v1.2.3