| ; RUN: opt < %s -analyze -branch-prob | FileCheck %s |
| |
| ; This function tests the floating point unorder comparison. The probability |
| ; of NaN should be extremely small. |
| ; CHECK: Printing analysis 'Branch Probability Analysis' for function 'uno' |
| ; CHECK: edge -> a probability is 0x00000800 / 0x80000000 = 0.00% |
| ; CHECK: edge -> b probability is 0x7ffff800 / 0x80000000 = 100.00% [HOT edge] |
| |
| define void @uno(float %val1, float %val2) { |
| %cond = fcmp uno float %val1, %val2 |
| br i1 %cond, label %a, label %b |
| |
| a: |
| call void @fa() |
| ret void |
| |
| b: |
| call void @fb() |
| ret void |
| } |
| |
| ; This function tests the floating point order comparison. |
| ; CHECK: Printing analysis 'Branch Probability Analysis' for function 'ord' |
| ; CHECK: edge -> a probability is 0x7ffff800 / 0x80000000 = 100.00% [HOT edge] |
| ; CHECK: edge -> b probability is 0x00000800 / 0x80000000 = 0.00% |
| |
| define void @ord(float %val1, float %val2) { |
| %cond = fcmp ord float %val1, %val2 |
| br i1 %cond, label %a, label %b |
| |
| a: |
| call void @fa() |
| ret void |
| |
| b: |
| call void @fb() |
| ret void |
| } |
| |
| declare void @fa() |
| declare void @fb() |
