llvm/test/Transforms/SimplifyCFG/commondest-loopid.ll

   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
   6 define 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"}
  11 entry:
  12         br label %loop
  13
  14 loop:
  15         br i1 %T, label %loop, label %loop, !llvm.loop !0
  16 }
  17
  18 !0 = distinct !{!0, !1}
  19 !1 = !{!"loopprop"}