test/Transforms/SimplifyCFG/speculate-math.ll

   1 ; RUN: opt -S -simplifycfg -phi-node-folding-threshold=2 < %s | FileCheck %s
   2
   3 declare float @llvm.sqrt.f32(float) nounwind readonly
   4 declare float @llvm.fma.f32(float, float, float) nounwind readonly
   5 declare float @llvm.fmuladd.f32(float, float, float) nounwind readonly
   6 declare float @llvm.fabs.f32(float) nounwind readonly
   7 declare float @llvm.minnum.f32(float, float) nounwind readonly
   8 declare float @llvm.maxnum.f32(float, float) nounwind readonly
   9
  10 ; CHECK-LABEL: @sqrt_test(
  11 ; CHECK: select
  12 define void @sqrt_test(float addrspace(1)* noalias nocapture %out, float %a) nounwind {
  13 entry:
  14   %cmp.i = fcmp olt float %a, 0.000000e+00
  15   br i1 %cmp.i, label %test_sqrt.exit, label %cond.else.i
  16
  17 cond.else.i:                                      ; preds = %entry
  18   %0 = tail call float @llvm.sqrt.f32(float %a) nounwind readnone
  19   br label %test_sqrt.exit
  20
  21 test_sqrt.exit:                                   ; preds = %cond.else.i, %entry
  22   %cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
  23   store float %cond.i, float addrspace(1)* %out, align 4
  24   ret void
  25 }
  26
  27 ; CHECK-LABEL: @fabs_test(
  28 ; CHECK: select
  29 define void @fabs_test(float addrspace(1)* noalias nocapture %out, float %a) nounwind {
  30 entry:
  31   %cmp.i = fcmp olt float %a, 0.000000e+00
  32   br i1 %cmp.i, label %test_fabs.exit, label %cond.else.i
  33
  34 cond.else.i:                                      ; preds = %entry
  35   %0 = tail call float @llvm.fabs.f32(float %a) nounwind readnone
  36   br label %test_fabs.exit
  37
  38 test_fabs.exit:                                   ; preds = %cond.else.i, %entry
  39   %cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
  40   store float %cond.i, float addrspace(1)* %out, align 4
  41   ret void
  42 }
  43
  44 ; CHECK-LABEL: @fma_test(
  45 ; CHECK: select
  46 define void @fma_test(float addrspace(1)* noalias nocapture %out, float %a, float %b, float %c) nounwind {
  47 entry:
  48   %cmp.i = fcmp olt float %a, 0.000000e+00
  49   br i1 %cmp.i, label %test_fma.exit, label %cond.else.i
  50
  51 cond.else.i:                                      ; preds = %entry
  52   %0 = tail call float @llvm.fma.f32(float %a, float %b, float %c) nounwind readnone
  53   br label %test_fma.exit
  54
  55 test_fma.exit:                                   ; preds = %cond.else.i, %entry
  56   %cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
  57   store float %cond.i, float addrspace(1)* %out, align 4
  58   ret void
  59 }
  60
  61 ; CHECK-LABEL: @fmuladd_test(
  62 ; CHECK: select
  63 define void @fmuladd_test(float addrspace(1)* noalias nocapture %out, float %a, float %b, float %c) nounwind {
  64 entry:
  65   %cmp.i = fcmp olt float %a, 0.000000e+00
  66   br i1 %cmp.i, label %test_fmuladd.exit, label %cond.else.i
  67
  68 cond.else.i:                                      ; preds = %entry
  69   %0 = tail call float @llvm.fmuladd.f32(float %a, float %b, float %c) nounwind readnone
  70   br label %test_fmuladd.exit
  71
  72 test_fmuladd.exit:                                   ; preds = %cond.else.i, %entry
  73   %cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
  74   store float %cond.i, float addrspace(1)* %out, align 4
  75   ret void
  76 }
  77
  78 ; CHECK-LABEL: @minnum_test(
  79 ; CHECK: select
  80 define void @minnum_test(float addrspace(1)* noalias nocapture %out, float %a, float %b) nounwind {
  81 entry:
  82   %cmp.i = fcmp olt float %a, 0.000000e+00
  83   br i1 %cmp.i, label %test_minnum.exit, label %cond.else.i
  84
  85 cond.else.i:                                      ; preds = %entry
  86   %0 = tail call float @llvm.minnum.f32(float %a, float %b) nounwind readnone
  87   br label %test_minnum.exit
  88
  89 test_minnum.exit:                                   ; preds = %cond.else.i, %entry
  90   %cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
  91   store float %cond.i, float addrspace(1)* %out, align 4
  92   ret void
  93 }
  94
  95 ; CHECK-LABEL: @maxnum_test(
  96 ; CHECK: select
  97 define void @maxnum_test(float addrspace(1)* noalias nocapture %out, float %a, float %b) nounwind {
  98 entry:
  99   %cmp.i = fcmp olt float %a, 0.000000e+00
 100   br i1 %cmp.i, label %test_maxnum.exit, label %cond.else.i
 101
 102 cond.else.i:                                      ; preds = %entry
 103   %0 = tail call float @llvm.maxnum.f32(float %a, float %b) nounwind readnone
 104   br label %test_maxnum.exit
 105
 106 test_maxnum.exit:                                   ; preds = %cond.else.i, %entry
 107   %cond.i = phi float [ %0, %cond.else.i ], [ 0x7FF8000000000000, %entry ]
 108   store float %cond.i, float addrspace(1)* %out, align 4
 109   ret void
 110 }