142 lines · plain
1// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.3-library -x hlsl -emit-llvm -disable-llvm-passes -o - %s | FileCheck %s2 3// CHECK-LABEL: f3_to_d44// CHECK: [[f3:%.*]] = alloca <3 x float>5// CHECK: [[d4:%.*]] = alloca <4 x double>6// CHECK: store <3 x float> splat (float 1.000000e+00), ptr [[f3]]7// CHECK: [[vecf3:%.*]] = load <3 x float>, ptr [[f3]]8// CHECK: [[vecf4:%.*]] = shufflevector <3 x float> [[vecf3]], <3 x float> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 0>9// CHECK: [[vecd4:%.*]] = fpext reassoc nnan ninf nsz arcp afn <4 x float> [[vecf4]] to <4 x double>10// CHECK: store <4 x double> [[vecd4]], ptr [[d4]]11void f3_to_d4() {12 vector<float,3> f3 = 1.0;13 vector<double,4> d4 = f3.xyzx;14}15 16// CHECK-LABEL: f3_to_f217// CHECK: [[f3:%.*]] = alloca <3 x float>18// CHECK: [[f2:%.*]] = alloca <2 x float>19// CHECK: store <3 x float> splat (float 2.000000e+00), ptr [[f3]]20// CHECK: [[vecf3:%.*]] = load <3 x float>, ptr [[f3]]21// CHECK: [[vecf2:%.*]] = shufflevector <3 x float> [[vecf3]], <3 x float> poison, <2 x i32> <i32 0, i32 1>22// CHECK: store <2 x float> [[vecf2]], ptr [[f2]]23void f3_to_f2() {24 vector<float,3> f3 = 2.0;25 vector<float,2> f2 = f3;26}27 28// CHECK-LABEL: d4_to_f229// CHECK: [[d4:%.*]] = alloca <4 x double>30// CHECK: [[f2:%.*]] = alloca <2 x float>31// CHECK: store <4 x double> splat (double 3.000000e+00), ptr [[d4]]32// CHECK: [[vecd4:%.*]] = load <4 x double>, ptr [[d4]]33// CHECK: [[vecf4:%.*]] = fptrunc reassoc nnan ninf nsz arcp afn <4 x double> [[vecd4]] to <4 x float>34// CHECK: [[vecf2:%.*]] = shufflevector <4 x float> [[vecf4]], <4 x float> poison, <2 x i32> <i32 0, i32 1>35// CHECK: store <2 x float> [[vecf2]], ptr [[f2]]36void d4_to_f2() {37 vector<double,4> d4 = 3.0;38 vector<float,2> f2 = d4;39}40 41// CHECK-LABEL: f2_to_i242// CHECK: [[f2:%.*]] = alloca <2 x float>43// CHECK: [[i2:%.*]] = alloca <2 x i32>44// CHECK: store <2 x float> splat (float 4.000000e+00), ptr [[f2]]45// CHECK: [[vecf2:%.*]] = load <2 x float>, ptr [[f2]]46// CHECK: [[veci2:%.*]] = fptosi <2 x float> [[vecf2]] to <2 x i32>47// CHECK: store <2 x i32> [[veci2]], ptr [[i2]]48void f2_to_i2() {49 vector<float,2> f2 = 4.0;50 vector<int,2> i2 = f2;51}52 53// CHECK-LABEL: d4_to_i254// CHECK: [[f4:%.*]] = alloca <4 x double>55// CHECK: [[i2:%.*]] = alloca <2 x i32>56// CHECK: store <4 x double> splat (double 5.000000e+00), ptr [[d4]]57// CHECK: [[vecd4:%.*]] = load <4 x double>, ptr [[d4]]58// CHECK: [[veci4:%.*]] = fptosi <4 x double> [[vecd4]] to <4 x i32>59// CHECK: [[veci2:%.*]] = shufflevector <4 x i32> [[veci4]], <4 x i32> poison, <2 x i32> <i32 0, i32 1>60// CHECK: store <2 x i32> [[veci2]], ptr [[i2]]61void d4_to_i2() {62 vector<double,4> d4 = 5.0;63 vector<int,2> i2 = d4;64}65 66// CHECK-LABEL: d4_to_l467// CHECK: [[d4:%.*]] = alloca <4 x double>68// CHECK: [[l4:%.*]] = alloca <4 x i64>69// CHECK: store <4 x double> splat (double 6.000000e+00), ptr [[d4]]70// CHECK: [[vecd4:%.*]] = load <4 x double>, ptr [[d4]]71// CHECK: [[vecl4:%.*]] = fptosi <4 x double> [[vecd4]] to <4 x i64>72// CHECK: store <4 x i64> [[vecl4]], ptr [[l4]]73void d4_to_l4() {74 vector<double,4> d4 = 6.0;75 vector<long,4> l4 = d4;76}77 78 79// CHECK-LABEL: l4_to_i280// CHECK: [[l4:%.*]] = alloca <4 x i64>81// CHECK: [[i2:%.*]] = alloca <2 x i32>82// CHECK: store <4 x i64> splat (i64 7), ptr [[l4]]83// CHECK: [[vecl4:%.*]] = load <4 x i64>, ptr [[l4]]84// CHECK: [[veci4:%.*]] = trunc <4 x i64> [[vecl4]] to <4 x i32>85// CHECK: [[veci2:%.*]] = shufflevector <4 x i32> [[veci4]], <4 x i32> poison, <2 x i32> <i32 0, i32 1>86// CHECK: store <2 x i32> [[veci2]], ptr [[i2]]87void l4_to_i2() {88 vector<long, 4> l4 = 7;89 vector<int,2> i2 = l4;90}91 92// CHECK-LABEL: i2_to_b293// CHECK: [[l2:%.*]] = alloca <2 x i32>94// CHECK: [[b2:%.*]] = alloca <2 x i32>95// CHECK: store <2 x i32> splat (i32 8), ptr [[i2]]96// CHECK: [[veci2:%.*]] = load <2 x i32>, ptr [[i2]]97// CHECK: [[vecb2:%.*]] = icmp ne <2 x i32> [[veci2]], zeroinitializer98// CHECK: [[vecb8:%.*]] = zext <2 x i1> [[vecb2]] to <2 x i32>99// CHECK: store <2 x i32> [[vecb8]], ptr [[b2]]100void i2_to_b2() {101 vector<int, 2> i2 = 8;102 vector<bool, 2> b2 = i2;103}104 105// CHECK-LABEL: d4_to_b2106// CHECK: [[d4:%.*]] = alloca <4 x double>107// CHECK: [[b2:%.*]] = alloca <2 x i32>108// CHECK: store <4 x double> splat (double 9.000000e+00), ptr [[d4]]109// CHECK: [[vecd4:%.*]] = load <4 x double>, ptr [[d4]]110// CHECK: [[vecb4:%.*]] = fcmp reassoc nnan ninf nsz arcp afn une <4 x double> [[vecd4]], zeroinitializer111// CHECK: [[vecd2:%.*]] = shufflevector <4 x i1> [[vecb4]], <4 x i1> poison, <2 x i32> <i32 0, i32 1>112// CHECK: [[vecb8:%.*]] = zext <2 x i1> [[vecd2]] to <2 x i32>113// CHECK: store <2 x i32> [[vecb8]], ptr [[b2]]114void d4_to_b2() {115 vector<double,4> d4 = 9.0;116 vector<bool, 2> b2 = d4;117}118 119// CHECK-LABEL: d4_to_d1120// CHECK: [[d4:%.*]] = alloca <4 x double>121// CHECK: [[d1:%.*]] = alloca <1 x double>122// CHECK: store <4 x double> splat (double 9.000000e+00), ptr [[d4]]123// CHECK: [[vecd4:%.*]] = load <4 x double>, ptr [[d4]]124// CHECK: [[vecd1:%.*]] = shufflevector <4 x double> [[vecd4]], <4 x double> poison, <1 x i32> zeroinitializer125// CHECK: store <1 x double> [[vecd1]], ptr [[d1:%.*]], align 8126void d4_to_d1() {127 vector<double,4> d4 = 9.0;128 vector<double,1> d1 = d4;129}130 131// CHECK-LABEL: d4_to_dScalar132// CHECK: [[d4:%.*]] = alloca <4 x double>133// CHECK: [[d:%.*]] = alloca double134// CHECK: store <4 x double> splat (double 9.000000e+00), ptr [[d4]]135// CHECK: [[vecd4:%.*]] = load <4 x double>, ptr [[d4]]136// CHECK: [[d4x:%.*]] = extractelement <4 x double> [[vecd4]], i32 0137// CHECK: store double [[d4x]], ptr [[d]]138void d4_to_dScalar() {139 vector<double,4> d4 = 9.0;140 double d = d4;141}142