| ; RUN: opt -S  -dxil-intrinsic-expansion -mtriple=dxil-pc-shadermodel6.3-library %s | FileCheck %s --check-prefixes=CHECK,EXPCHECK | 
 | ; RUN: opt -S  -dxil-intrinsic-expansion -dxil-op-lower -mtriple=dxil-pc-shadermodel6.3-library %s | FileCheck %s --check-prefixes=CHECK,DOPCHECK | 
 |  | 
 | ; Make sure dxil operation function calls for pow are generated. | 
 |  | 
 | define noundef float @pow_float(float noundef %a, float noundef %b) { | 
 | entry: | 
 | ; DOPCHECK: call float @dx.op.unary.f32(i32 23, float %a) | 
 | ; EXPCHECK: call float @llvm.log2.f32(float %a) | 
 | ; CHECK: fmul float %{{.*}}, %b | 
 | ; DOPCHECK: call float @dx.op.unary.f32(i32 21, float %{{.*}}) | 
 | ; EXPCHECK: call float @llvm.exp2.f32(float %{{.*}}) | 
 |   %elt.pow = call float @llvm.pow.f32(float %a, float %b) | 
 |   ret float %elt.pow | 
 | } | 
 |  | 
 | define noundef half @pow_half(half noundef %a, half noundef %b) { | 
 | entry: | 
 | ; DOPCHECK: call half @dx.op.unary.f16(i32 23, half %a) | 
 | ; EXPCHECK: call half @llvm.log2.f16(half %a) | 
 | ; CHECK: fmul half %{{.*}}, %b | 
 | ; DOPCHECK: call half @dx.op.unary.f16(i32 21, half %{{.*}}) | 
 | ; EXPCHECK: call half @llvm.exp2.f16(half %{{.*}}) | 
 |   %elt.pow = call half @llvm.pow.f16(half %a, half %b) | 
 |   ret half %elt.pow | 
 | } | 
 |  | 
 | define noundef float @powi_float(float noundef %a, i32 noundef %b) { | 
 | entry: | 
 | ; CHECK: [[CAST:%.*]] = sitofp i32 %b to float | 
 | ; DOPCHECK: call float @dx.op.unary.f32(i32 23, float %a) | 
 | ; EXPCHECK: call float @llvm.log2.f32(float %a) | 
 | ; CHECK: fmul float %{{.*}}, [[CAST]] | 
 | ; DOPCHECK: call float @dx.op.unary.f32(i32 21, float %{{.*}}) | 
 | ; EXPCHECK: call float @llvm.exp2.f32(float %{{.*}}) | 
 |   %elt.powi = call float @llvm.powi.f32.i32(float %a, i32 %b) | 
 |   ret float %elt.powi | 
 | } | 
 |  | 
 | define noundef half @powi_half(half noundef %a, i32 noundef %b) { | 
 | entry: | 
 | ; CHECK: [[CAST:%.*]] = sitofp i32 %b to half | 
 | ; DOPCHECK: call half @dx.op.unary.f16(i32 23, half %a) | 
 | ; EXPCHECK: call half @llvm.log2.f16(half %a) | 
 | ; CHECK: fmul half %{{.*}}, [[CAST]] | 
 | ; DOPCHECK: call half @dx.op.unary.f16(i32 21, half %{{.*}}) | 
 | ; EXPCHECK: call half @llvm.exp2.f16(half %{{.*}}) | 
 |   %elt.powi = call half @llvm.powi.f16.i32(half %a, i32 %b) | 
 |   ret half %elt.powi | 
 | } | 
 |  | 
 | declare half @llvm.pow.f16(half,half) | 
 | declare float @llvm.pow.f32(float,float) | 
 | declare half @llvm.powi.f16.i32(half,i32) | 
 | declare float @llvm.powi.f32.i32(float,i32) |