diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2016-07-23 20:41:05 +0000 |
| commit | 01095a5d43bbfde13731688ddcf6048ebb8b7721 (patch) | |
| tree | 4def12e759965de927d963ac65840d663ef9d1ea /test/Transforms/JumpThreading/pr26096.ll | |
| parent | f0f4822ed4b66e3579e92a89f368f8fb860e218e (diff) | |
Notes
Diffstat (limited to 'test/Transforms/JumpThreading/pr26096.ll')
| -rw-r--r-- | test/Transforms/JumpThreading/pr26096.ll | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/test/Transforms/JumpThreading/pr26096.ll b/test/Transforms/JumpThreading/pr26096.ll index 2671e82b6177..096d43e24d2c 100644 --- a/test/Transforms/JumpThreading/pr26096.ll +++ b/test/Transforms/JumpThreading/pr26096.ll @@ -10,19 +10,24 @@ entry: br i1 %B, label %if.end, label %if.then if.then: ; preds = %entry - call void @fn2() + call void @fn2(i1 %B) ret void if.end: ; preds = %entry - call void @fn2() + call void @fn2(i1 %B) ret void } -define internal void @fn2() unnamed_addr { +define internal void @fn2(i1 %B) unnamed_addr { entry: call void @fn1() call void @fn1() call void @fn1() + br i1 %B, label %if.end, label %if.then +if.then: + unreachable + +if.end: unreachable } |