llvm/test/Transforms/LICM/hoist-round.ll

   1 ; RUN: opt -aa-pipeline=basic-aa -passes='require<aa>,require<targetir>,require<scalar-evolution>,require<opt-remark-emit>,loop-mssa(licm)' -S %s | FileCheck %s
   2 ; RUN: opt -S -licm -verify-memoryssa < %s | FileCheck %s
   3
   4 target datalayout = "E-m:e-p:32:32-i8:8:8-i16:16:16-i64:32:32-f64:32:32-v64:32:32-v128:32:32-a0:0:32-n32"
   5
   6 ; This test verifies that ceil, floor, nearbyint, trunc, rint, round,
   7 ; copysign, minnum, maxnum, minimum, maximum, and fabs intrinsics are
   8 ; considered safe to speculate.
   9
  10 ; CHECK-LABEL: @test
  11 ; CHECK: call float @llvm.ceil.f32
  12 ; CHECK: call float @llvm.floor.f32
  13 ; CHECK: call float @llvm.nearbyint.f32
  14 ; CHECK: call float @llvm.rint.f32
  15 ; CHECK: call float @llvm.round.f32
  16 ; CHECK: call float @llvm.trunc.f32
  17 ; CHECK: call float @llvm.fabs.f32
  18 ; CHECK: call float @llvm.copysign.f32
  19 ; CHECK: call float @llvm.minnum.f32
  20 ; CHECK: call float @llvm.maxnum.f32
  21 ; CHECK: call float @llvm.powi.f32
  22 ; CHECK: call float @llvm.roundeven.f32
  23 ; CHECK: for.body:
  24
  25 define void @test(float %arg1, float %arg2) {
  26 entry:
  27   br label %for.head
  28
  29 for.head:
  30   %IND = phi i32 [ 0, %entry ], [ %IND.new, %for.body ]
  31   %CMP = icmp slt i32 %IND, 10
  32   br i1 %CMP, label %for.body, label %exit
  33
  34 for.body:
  35   %tmp.1 = call float @llvm.ceil.f32(float %arg1)
  36   %tmp.2 = call float @llvm.floor.f32(float %tmp.1)
  37   %tmp.3 = call float @llvm.nearbyint.f32(float %tmp.2)
  38   %tmp.4 = call float @llvm.rint.f32(float %tmp.3)
  39   %tmp.5 = call float @llvm.round.f32(float %tmp.4)
  40   %tmp.6 = call float @llvm.trunc.f32(float %tmp.5)
  41   %tmp.7 = call float @llvm.fabs.f32(float %tmp.6)
  42   %tmp.8 = call float @llvm.copysign.f32(float %tmp.7, float %arg2)
  43   %tmp.9 = call float @llvm.minnum.f32(float %tmp.8, float %arg2)
  44   %tmp.10 = call float @llvm.maxnum.f32(float %tmp.9, float %arg2)
  45   %tmp.11 = call float @llvm.minimum.f32(float %tmp.10, float %arg2)
  46   %tmp.12 = call float @llvm.maximum.f32(float %tmp.11, float %arg2)
  47   %tmp.13 = call float @llvm.powi.f32.i32(float %tmp.12, i32 4)
  48   %tmp.14 = call float @llvm.roundeven.f32(float %tmp.13)
  49   call void @consume(float %tmp.14)
  50   %IND.new = add i32 %IND, 1
  51   br label %for.head
  52
  53 exit:
  54   ret void
  55 }
  56
  57 declare void @consume(float)
  58
  59 declare float @llvm.ceil.f32(float)
  60 declare float @llvm.floor.f32(float)
  61 declare float @llvm.nearbyint.f32(float)
  62 declare float @llvm.rint.f32(float)
  63 declare float @llvm.round.f32(float)
  64 declare float @llvm.trunc.f32(float)
  65 declare float @llvm.fabs.f32(float)
  66 declare float @llvm.copysign.f32(float, float)
  67 declare float @llvm.minnum.f32(float, float)
  68 declare float @llvm.maxnum.f32(float, float)
  69 declare float @llvm.minimum.f32(float, float)
  70 declare float @llvm.maximum.f32(float, float)
  71 declare float @llvm.powi.f32.i32(float, i32)
  72 declare float @llvm.roundeven.f32(float)