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