diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-11 04:11:47 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-04-11 04:11:47 +0000 |
| commit | 92ce1e76c5995e3188d481bb3c8c5f1377ddab1b (patch) | |
| tree | 431364d81ef4d48a5209682ebd4a5825792eea24 /llvm/test/Transforms | |
| parent | b63ed9154961eb17e2eb92f3184fbd26acefb2e1 (diff) | |
| download | bcm5719-llvm-92ce1e76c5995e3188d481bb3c8c5f1377ddab1b.tar.gz bcm5719-llvm-92ce1e76c5995e3188d481bb3c8c5f1377ddab1b.zip | |
[LoopUnswitch] Fix a test case
(h/t to Chandler for pointing this out)
The test in question was not at all testing what it was supposed to
test. We do not //care// about placing `!make.implicit` in inner
constant branch (since it will be folded away anyway). We care about
placing `!make.implicit` in the outer branch that switches between
either version of the loop.
Having said that, it is _correct_ to leave behind the `!make.implicit`
in the inner branch, but there is no need to do so.
llvm-svn: 299912
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/LoopUnswitch/copy-metadata.ll | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/llvm/test/Transforms/LoopUnswitch/copy-metadata.ll b/llvm/test/Transforms/LoopUnswitch/copy-metadata.ll index 2a634c25a23..3302bce9a6e 100644 --- a/llvm/test/Transforms/LoopUnswitch/copy-metadata.ll +++ b/llvm/test/Transforms/LoopUnswitch/copy-metadata.ll @@ -3,11 +3,11 @@ ; This test checks if unswitched condition preserve make.implicit metadata. define i32 @test(i1 %cond) { -; CHECK: br i1 %cond, label %..split_crit_edge, label %.loop_exit.split_crit_edge, !make.implicit !0 +; CHECK-LABEL: @test( +; CHECK: br i1 %cond, label %..split_crit_edge, label %.loop_exit.split_crit_edge, !make.implicit !0 br label %loop_begin loop_begin: -; CHECK: br i1 true, label %continue, label %loop_exit, !make.implicit !0 br i1 %cond, label %continue, label %loop_exit, !make.implicit !0 continue: |
