48 lines · plain
1; RUN: opt -S -dxil-intrinsic-expansion %s | FileCheck %s2 3target triple = "dxil-pc-shadermodel6.6-compute"4 5define void @storef64(double %0) {6 ; CHECK: [[B:%.*]] = tail call target("dx.TypedBuffer", double, 1, 0, 0)7 ; CHECK-SAME: @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_f64_1_0_0t(8 ; CHECK-SAME: i32 0, i32 0, i32 1, i32 0, ptr null)9 %buffer = tail call target("dx.TypedBuffer", double, 1, 0, 0)10 @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_f64_1_0_0t(11 i32 0, i32 0, i32 1, i32 0, ptr null)12 13 ; check we split the double and store the lo and hi bits14 ; CHECK: [[SD:%.*]] = call { i32, i32 } @llvm.dx.splitdouble.i32(double %0)15 ; CHECK: [[Lo:%.*]] = extractvalue { i32, i32 } [[SD]], 016 ; CHECK: [[Hi:%.*]] = extractvalue { i32, i32 } [[SD]], 117 ; CHECK: [[Vec1:%.*]] = insertelement <2 x i32> poison, i32 [[Lo]], i32 018 ; CHECK: [[Vec2:%.*]] = insertelement <2 x i32> [[Vec1]], i32 [[Hi]], i32 119 ; CHECK: call void @llvm.dx.resource.store.typedbuffer.tdx.TypedBuffer_f64_1_0_0t.v2i32(20 ; CHECK-SAME: target("dx.TypedBuffer", double, 1, 0, 0) [[B]], i32 0, <2 x i32> [[Vec2]])21 call void @llvm.dx.resource.store.typedbuffer(22 target("dx.TypedBuffer", double, 1, 0, 0) %buffer, i32 0,23 double %0)24 ret void25}26 27 28define void @storev2f64(<2 x double> %0) {29 ; CHECK: [[B:%.*]] = tail call target("dx.TypedBuffer", <2 x double>, 1, 0, 0)30 ; CHECK-SAME: @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_v2f64_1_0_0t(31 ; CHECK-SAME: i32 0, i32 0, i32 1, i32 0, ptr null)32 %buffer = tail call target("dx.TypedBuffer", <2 x double>, 1, 0, 0)33 @llvm.dx.resource.handlefrombinding.tdx.TypedBuffer_v2f64_1_0_0t(34 i32 0, i32 0, i32 1, i32 0, ptr null)35 36 ; CHECK: [[SD:%.*]] = call { <2 x i32>, <2 x i32> }37 ; CHECK-SAME: @llvm.dx.splitdouble.v2i32(<2 x double> %0)38 ; CHECK: [[Lo:%.*]] = extractvalue { <2 x i32>, <2 x i32> } [[SD]], 039 ; CHECK: [[Hi:%.*]] = extractvalue { <2 x i32>, <2 x i32> } [[SD]], 140 ; CHECK: [[Vec:%.*]] = shufflevector <2 x i32> [[Lo]], <2 x i32> [[Hi]], <4 x i32> <i32 0, i32 2, i32 1, i32 3>41 ; CHECK: call void @llvm.dx.resource.store.typedbuffer.tdx.TypedBuffer_v2f64_1_0_0t.v4i32(42 ; CHECK-SAME: target("dx.TypedBuffer", <2 x double>, 1, 0, 0) [[B]], i32 0, <4 x i32> [[Vec]])43 call void @llvm.dx.resource.store.typedbuffer(44 target("dx.TypedBuffer", <2 x double>, 1, 0, 0) %buffer, i32 0,45 <2 x double> %0)46 ret void47}48