| // RUN: %clang_cc1 -finclude-default-header -triple \ |
| // RUN: dxil-pc-shadermodel6.3-compute %s -emit-llvm -disable-llvm-passes -o - | \ |
| // RUN: FileCheck %s --check-prefixes=CHECK,CHECK-DXIL |
| // RUN: %clang_cc1 -finclude-default-header -triple \ |
| // RUN: spirv-pc-vulkan-compute %s -emit-llvm -disable-llvm-passes -o - | \ |
| // RUN: FileCheck %s --check-prefixes=CHECK,CHECK-SPV |
| |
| // Test lowering of asdouble expansion to shuffle/bitcast and splat when required |
| |
| // CHECK-LABEL: test_uint |
| double test_uint(uint low, uint high) { |
| // CHECK-SPV: %[[LOW_INSERT:.*]] = insertelement <1 x i32> |
| // CHECK-SPV: %[[LOW_SHUFFLE:.*]] = shufflevector <1 x i32> %[[LOW_INSERT]], {{.*}} zeroinitializer |
| // CHECK-SPV: %[[HIGH_INSERT:.*]] = insertelement <1 x i32> |
| // CHECK-SPV: %[[HIGH_SHUFFLE:.*]] = shufflevector <1 x i32> %[[HIGH_INSERT]], {{.*}} zeroinitializer |
| |
| // CHECK-SPV: %[[SHUFFLE0:.*]] = shufflevector <1 x i32> %[[LOW_SHUFFLE]], <1 x i32> %[[HIGH_SHUFFLE]], |
| // CHECK-SPV-SAME: {{.*}} <i32 0, i32 1> |
| // CHECK-SPV: bitcast <2 x i32> %[[SHUFFLE0]] to double |
| |
| // CHECK-DXIL: call reassoc nnan ninf nsz arcp afn double @llvm.dx.asdouble.i32 |
| return asdouble(low, high); |
| } |
| |
| // CHECK-DXIL: declare double @llvm.dx.asdouble.i32 |
| |
| // CHECK-LABEL: test_vuint |
| double3 test_vuint(uint3 low, uint3 high) { |
| // CHECK-SPV: %[[SHUFFLE1:.*]] = shufflevector |
| // CHECK-SPV-SAME: {{.*}} <i32 0, i32 3, i32 1, i32 4, i32 2, i32 5> |
| // CHECK-SPV: bitcast <6 x i32> %[[SHUFFLE1]] to <3 x double> |
| |
| // CHECK-DXIL: call reassoc nnan ninf nsz arcp afn <3 x double> @llvm.dx.asdouble.v3i32 |
| return asdouble(low, high); |
| } |
| |
| // CHECK-DXIL: declare <3 x double> @llvm.dx.asdouble.v3i32 |
