16 lines · plain
1; Test prof-verify for functions explicitly marked as cold2 3; RUN: opt -passes=prof-inject,prof-verify %s -o - 2>&1 | FileCheck %s4 5define void @foo(i32 %i) !prof !0 {6 %c = icmp eq i32 %i, 07 br i1 %c, label %yes, label %no8yes:9 ret void10no:11 ret void12}13!0 = !{!"function_entry_count", i32 0}14 15; CHECK-NOT: Profile verification failed16