test/Analysis/BranchProbabilityInfo/fcmp.ll

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