diff options
| author | David Majnemer <david.majnemer@gmail.com> | 2014-12-12 23:59:29 +0000 |
|---|---|---|
| committer | David Majnemer <david.majnemer@gmail.com> | 2014-12-12 23:59:29 +0000 |
| commit | 9b6097586ccae0528326527e53fa16721c012b74 (patch) | |
| tree | 97a4d16f03c38d4560cbd0e5c257ab04d9623a84 /llvm/test/Transforms | |
| parent | f770683f14f98eae7c64b942c1e6c3470ec0c81b (diff) | |
| download | bcm5719-llvm-9b6097586ccae0528326527e53fa16721c012b74.tar.gz bcm5719-llvm-9b6097586ccae0528326527e53fa16721c012b74.zip | |
ValueTracking: Don't recurse too deeply in computeKnownBitsFromAssume
Respect the MaxDepth recursion limit, doing otherwise will trigger an
assert in computeKnownBits.
This fixes PR21891.
llvm-svn: 224168
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/pr21891.ll | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/pr21891.ll b/llvm/test/Transforms/InstCombine/pr21891.ll new file mode 100644 index 00000000000..8194976b623 --- /dev/null +++ b/llvm/test/Transforms/InstCombine/pr21891.ll @@ -0,0 +1,18 @@ +; RUN: opt %s -instcombine + +define i32 @f(i32 %theNumber) { +entry: + %cmp = icmp sgt i32 %theNumber, -1 + call void @llvm.assume(i1 %cmp) + br i1 true, label %if.then, label %if.end + +if.then: ; preds = %entry + %shl = shl nuw i32 %theNumber, 1 + br label %if.end + +if.end: ; preds = %if.then, %entry + %phi = phi i32 [ %shl, %if.then ], [ undef, %entry ] + ret i32 %phi +} + +declare void @llvm.assume(i1) |
