; RUN: opt -passes='loop(simple-loop-unswitch),verify<loops>' -S < %s | FileCheck %s
; RUN: opt -verify-memoryssa -passes='loop-mssa(simple-loop-unswitch),verify<loops>' -S < %s | FileCheck %s

declare void @incf()
declare void @decf()

define i32 @test2(i32 %c) {
; CHECK-LABEL: @test2(
  br label %loop_begin

; CHECK: !prof ![[MD0:[0-9]+]]
; CHECK: loop_begin:
; CHECK: !prof ![[MD1:[0-9]+]]
loop_begin:

  switch i32 %c, label %default [
      i32 1, label %inc
      i32 2, label %dec
  ], !prof !{!"branch_weights", i32 99, i32 1, i32 2}

inc:
  call void @incf()
  br label %loop_begin

dec:
  call void @decf()
  br label %loop_begin

default:
  ret i32 0
}

; CHECK: ![[MD0]] = !{!"branch_weights", i32 99, i32 1, i32 2}
; CHECK: ![[MD1]] = !{!"branch_weights", i32 2, i32 1}