llvm/test/CodeGen/DirectX/ceil.ll

   1 ; RUN: opt -S -scalarizer -dxil-op-lower -mtriple=dxil-pc-shadermodel6.3-library %s | FileCheck %s
   2
   3 ; Make sure dxil operation function calls for ceil are generated for float and half.
   4
   5 define noundef float @ceil_float(float noundef %a) {
   6 entry:
   7 ; CHECK:call float @dx.op.unary.f32(i32 28, float %{{.*}}) #[[#ATTR:]]
   8   %elt.ceil = call float @llvm.ceil.f32(float %a)
   9   ret float %elt.ceil
  10 }
  11
  12 define noundef half @ceil_half(half noundef %a) {
  13 entry:
  14 ; CHECK:call half @dx.op.unary.f16(i32 28, half %{{.*}}) #[[#ATTR]]
  15   %elt.ceil = call half @llvm.ceil.f16(half %a)
  16   ret half %elt.ceil
  17 }
  18
  19 define noundef <4 x float> @ceil_float4(<4 x float> noundef %a) {
  20 entry:
  21   ; CHECK: [[ee0:%.*]] = extractelement <4 x float> %a, i64 0
  22   ; CHECK: [[ie0:%.*]] = call float @dx.op.unary.f32(i32 28, float [[ee0]]) #[[#ATTR]]
  23   ; CHECK: [[ee1:%.*]] = extractelement <4 x float> %a, i64 1
  24   ; CHECK: [[ie1:%.*]] = call float @dx.op.unary.f32(i32 28, float [[ee1]]) #[[#ATTR]]
  25   ; CHECK: [[ee2:%.*]] = extractelement <4 x float> %a, i64 2
  26   ; CHECK: [[ie2:%.*]] = call float @dx.op.unary.f32(i32 28, float [[ee2]]) #[[#ATTR]]
  27   ; CHECK: [[ee3:%.*]] = extractelement <4 x float> %a, i64 3
  28   ; CHECK: [[ie3:%.*]] = call float @dx.op.unary.f32(i32 28, float [[ee3]]) #[[#ATTR]]
  29   ; CHECK: insertelement <4 x float> poison, float [[ie0]], i64 0
  30   ; CHECK: insertelement <4 x float> %{{.*}}, float [[ie1]], i64 1
  31   ; CHECK: insertelement <4 x float> %{{.*}}, float [[ie2]], i64 2
  32   ; CHECK: insertelement <4 x float> %{{.*}}, float [[ie3]], i64 3
  33   %2 = call <4 x float> @llvm.ceil.v4f32(<4 x float> %a)
  34   ret <4 x float> %2
  35 }
  36
  37 ; CHECK: attributes #[[#ATTR]] = {{{.*}} memory(none) {{.*}}}
  38
  39 declare half @llvm.ceil.f16(half)
  40 declare float @llvm.ceil.f32(float)
  41 declare <4 x float> @llvm.ceil.v4f32(<4 x float>)