; 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}