1; RUN: opt < %s -passes=simplifycfg -S | FileCheck %s 2; 3; Ensure that the loop metadata is preserved when converting the 4; conditional branch to an unconditional. 5 6define void @commondest_loopid(i1 %T) { 7; CHECK-LABEL: @commondest_loopid( 8; CHECK: !llvm.loop !0 9; CHECK: !0 = distinct !{!0, !1} 10; CHECK: !1 = !{!"loopprop"} 11entry: 12 br label %loop 13 14loop: 15 br i1 %T, label %loop, label %loop, !llvm.loop !0 16} 17 18!0 = distinct !{!0, !1} 19!1 = !{!"loopprop"} 20