| ; RUN: opt < %s -passes=simplifycfg -S | FileCheck %s | |
| ; | |
| ; Ensure that the loop metadata is preserved when converting the | |
| ; conditional branch to an unconditional. | |
| define void @commondest_loopid(i1 %T) { | |
| ; CHECK-LABEL: @commondest_loopid( | |
| ; CHECK: !llvm.loop !0 | |
| ; CHECK: !0 = distinct !{!0, !1} | |
| ; CHECK: !1 = !{!"loopprop"} | |
| entry: | |
| br label %loop | |
| loop: | |
| br i1 %T, label %loop, label %loop, !llvm.loop !0 | |
| } | |
| !0 = distinct !{!0, !1} | |
| !1 = !{!"loopprop"} |