42 lines · plain
1; RUN: opt < %s -passes='print<branch-prob>' -disable-output 2>&1 | FileCheck %s2 3; This function tests the floating point unorder comparison. The probability4; of NaN should be extremely small.5; CHECK: Printing analysis {{.*}} for function 'uno'6; CHECK: edge %0 -> %a probability is 0x00000800 / 0x80000000 = 0.00%7; CHECK: edge %0 -> %b probability is 0x7ffff800 / 0x80000000 = 100.00% [HOT edge]8 9define void @uno(float %val1, float %val2) {10 %cond = fcmp uno float %val1, %val211 br i1 %cond, label %a, label %b12 13a:14 call void @fa()15 ret void16 17b:18 call void @fb()19 ret void20}21 22; This function tests the floating point order comparison.23; CHECK: Printing analysis {{.*}} for function 'ord'24; CHECK: edge %0 -> %a probability is 0x7ffff800 / 0x80000000 = 100.00% [HOT edge]25; CHECK: edge %0 -> %b probability is 0x00000800 / 0x80000000 = 0.00%26 27define void @ord(float %val1, float %val2) {28 %cond = fcmp ord float %val1, %val229 br i1 %cond, label %a, label %b30 31a:32 call void @fa()33 ret void34 35b:36 call void @fb()37 ret void38}39 40declare void @fa()41declare void @fb()42