188 lines · plain
1// RUN: %clang_cc1 -triple dxil-pc-shadermodel6.0-library -disable-llvm-passes -emit-llvm -finclude-default-header -o - %s | FileCheck %s2 3// array truncation to a scalar4// CHECK-LABEL: define void {{.*}}call05// CHECK: [[A:%.*]] = alloca [2 x i32], align 46// CHECK-NEXT: [[B:%.*]] = alloca float, align 47// CHECK-NEXT: [[Tmp:%.*]] = alloca [2 x i32], align 48// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[A]], ptr align 4 {{.*}}, i32 8, i1 false)9// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp]], ptr align 4 [[A]], i32 8, i1 false)10// CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds [2 x i32], ptr [[Tmp]], i32 0, i32 011// CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds [2 x i32], ptr [[Tmp]], i32 0, i32 112// CHECK-NEXT: [[L:%.*]] = load i32, ptr [[G1]], align 413// CHECK-NEXT: [[C:%.*]] = sitofp i32 [[L]] to float14// CHECK-NEXT: store float [[C]], ptr [[B]], align 415export void call0() {16 int A[2] = {0,1};17 float B = (float)A;18}19 20// array truncation21// CHECK-LABEL: define void {{.*}}call122// CHECK: [[A:%.*]] = alloca [2 x i32], align 423// CHECK-NEXT: [[B:%.*]] = alloca [1 x i32], align 424// CHECK-NEXT: [[Tmp:%.*]] = alloca [2 x i32], align 425// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[A]], ptr align 4 {{.*}}, i32 8, i1 false)26// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[B]], ptr align 4 {{.*}}, i32 4, i1 false)27// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp]], ptr align 4 [[A]], i32 8, i1 false)28// CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds [1 x i32], ptr [[B]], i32 0, i32 029// CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds [2 x i32], ptr [[Tmp]], i32 0, i32 030// CHECK-NEXT: [[G3:%.*]] = getelementptr inbounds [2 x i32], ptr [[Tmp]], i32 0, i32 131// CHECK-NEXT: [[L:%.*]] = load i32, ptr [[G2]], align 432// CHECK-NEXT: store i32 [[L]], ptr [[G1]], align 433export void call1() {34 int A[2] = {0,1};35 int B[1] = {4};36 B = (int[1])A;37}38 39// just a cast40// CHECK-LABEL: define void {{.*}}call241// CHECK: [[A:%.*]] = alloca [1 x i32], align 442// CHECK-NEXT: [[B:%.*]] = alloca [1 x float], align 443// CHECK-NEXT: [[Tmp:%.*]] = alloca [1 x i32], align 444// CHECK-NEXT: call void @llvm.memset.p0.i32(ptr align 4 [[A]], i8 0, i32 4, i1 false)45// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[B]], ptr align 4 {{.*}}, i32 4, i1 false)46// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp]], ptr align 4 [[A]], i32 4, i1 false)47// CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds [1 x float], ptr [[B]], i32 0, i32 048// CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds [1 x i32], ptr [[Tmp]], i32 0, i32 049// CHECK-NEXT: [[L:%.*]] = load i32, ptr [[G2]], align 450// CHECK-NEXT: [[C:%.*]] = sitofp i32 [[L]] to float51// CHECK-NEXT: store float [[C]], ptr [[G1]], align 452export void call2() {53 int A[1] = {0};54 float B[1] = {1.0};55 B = (float[1])A;56}57 58// vector to array59// CHECK-LABEL: define void {{.*}}call360// CHECK: [[A:%.*]] = alloca <1 x float>, align 461// CHECK-NEXT: [[B:%.*]] = alloca [1 x i32], align 462// CHECK-NEXT: store <1 x float> splat (float 0x3FF3333340000000), ptr [[A]], align 463// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[B]], ptr align 4 {{.*}}, i32 4, i1 false)64// CHECK-NEXT: [[C:%.*]] = load <1 x float>, ptr [[A]], align 465// CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds [1 x i32], ptr [[B]], i32 0, i32 066// CHECK-NEXT: [[V:%.*]] = extractelement <1 x float> [[C]], i64 067// CHECK-NEXT: [[C:%.*]] = fptosi float [[V]] to i3268// CHECK-NEXT: store i32 [[C]], ptr [[G1]], align 469export void call3() {70 float1 A = {1.2};71 int B[1] = {1};72 B = (int[1])A;73}74 75// flatten array of vector to array with cast76// CHECK-LABEL: define void {{.*}}call577// CHECK: [[A:%.*]] = alloca [1 x <2 x float>], align 878// CHECK-NEXT: [[B:%.*]] = alloca [2 x i32], align 479// CHECK-NEXT: [[Tmp:%.*]] = alloca [1 x <2 x float>], align 880// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 8 [[A]], ptr align 8 {{.*}}, i32 8, i1 false)81// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[B]], ptr align 4 {{.*}}, i32 8, i1 false)82// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 8 [[Tmp]], ptr align 8 [[A]], i32 8, i1 false)83// CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds [2 x i32], ptr [[B]], i32 0, i32 084// CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds [2 x i32], ptr [[B]], i32 0, i32 185// CHECK-NEXT: [[VG:%.*]] = getelementptr inbounds [1 x <2 x float>], ptr [[Tmp]], i32 0, i32 086// CHECK-NEXT: [[L:%.*]] = load <2 x float>, ptr [[VG]], align 887// CHECK-NEXT: [[VL:%.*]] = extractelement <2 x float> [[L]], i32 088// CHECK-NEXT: [[C:%.*]] = fptosi float [[VL]] to i3289// CHECK-NEXT: store i32 [[C]], ptr [[G1]], align 490// CHECK-NEXT: [[L4:%.*]] = load <2 x float>, ptr [[VG]], align 891// CHECK-NEXT: [[VL5:%.*]] = extractelement <2 x float> [[L4]], i32 192// CHECK-NEXT: [[C6:%.*]] = fptosi float [[VL5]] to i3293// CHECK-NEXT: store i32 [[C6]], ptr [[G2]], align 494export void call5() {95 float2 A[1] = {{1.2,3.4}};96 int B[2] = {1,2};97 B = (int[2])A;98}99 100// flatten 2d array101// CHECK-LABEL: define void {{.*}}call6102// CHECK: [[A:%.*]] = alloca [2 x [1 x i32]], align 4103// CHECK-NEXT: [[B:%.*]] = alloca [2 x i32], align 4104// CHECK-NEXT: [[Tmp:%.*]] = alloca [2 x [1 x i32]], align 4105// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[A]], ptr align 4 {{.*}}, i32 8, i1 false)106// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[B]], ptr align 4 {{.*}}, i32 8, i1 false)107// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[Tmp]], ptr align 4 [[A]], i32 8, i1 false)108// CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds [2 x i32], ptr [[B]], i32 0, i32 0109// CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds [2 x i32], ptr [[B]], i32 0, i32 1110// CHECK-NEXT: [[G3:%.*]] = getelementptr inbounds [2 x [1 x i32]], ptr [[Tmp]], i32 0, i32 0, i32 0111// CHECK-NEXT: [[G4:%.*]] = getelementptr inbounds [2 x [1 x i32]], ptr [[Tmp]], i32 0, i32 1, i32 0112// CHECK-NEXT: [[L:%.*]] = load i32, ptr [[G3]], align 4113// CHECK-NEXT: store i32 [[L]], ptr [[G1]], align 4114// CHECK-NEXT: [[L4:%.*]] = load i32, ptr [[G4]], align 4115// CHECK-NEXT: store i32 [[L4]], ptr [[G2]], align 4116export void call6() {117 int A[2][1] = {{1},{3}};118 int B[2] = {1,2};119 B = (int[2])A;120}121 122struct S {123 int X;124 float Y;125};126 127// flatten and truncate from a struct128// CHECK-LABEL: define void {{.*}}call7129// CHECK: [[s:%.*]] = alloca %struct.S, align 1130// CHECK-NEXT: [[A:%.*]] = alloca [1 x i32], align 4131// CHECK-NEXT: [[Tmp:%.*]] = alloca %struct.S, align 1132// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 1 [[s]], ptr align 1 {{.*}}, i32 8, i1 false)133// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 4 [[A]], ptr align 4 {{.*}}, i32 4, i1 false)134// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 1 [[Tmp]], ptr align 1 [[s]], i32 8, i1 false)135// CHECK-NEXT: [[G1:%.*]] = getelementptr inbounds [1 x i32], ptr [[A]], i32 0, i32 0136// CHECK-NEXT: [[G2:%.*]] = getelementptr inbounds %struct.S, ptr [[Tmp]], i32 0, i32 0137// CHECK-NEXT: [[G3:%.*]] = getelementptr inbounds %struct.S, ptr [[Tmp]], i32 0, i32 1138// CHECK-NEXT: [[L:%.*]] = load i32, ptr [[G2]], align 4139// CHECK-NEXT: store i32 [[L]], ptr [[G1]], align 4140export void call7() {141 S s = {1, 2.9};142 int A[1] = {1};143 A = (int[1])s;144}145 146struct BFields {147 double D;148 int E: 15;149 int : 8;150 float F;151};152 153struct Derived : BFields {154 int G;155};156 157// flatten from a derived struct with bitfields158// CHECK-LABEL: call8159// CHECK: [[A:%.*]] = alloca [4 x i32], align 4160// CHECK-NEXT: [[Tmp:%.*]] = alloca %struct.Derived, align 1161// CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr align 1 [[Tmp]], ptr align 1 %D, i32 19, i1 false)162// CHECK-NEXT: [[Gep:%.*]] = getelementptr inbounds [4 x i32], ptr [[A]], i32 0, i32 0163// CHECK-NEXT: [[Gep1:%.*]] = getelementptr inbounds [4 x i32], ptr [[A]], i32 0, i32 1164// CHECK-NEXT: [[Gep2:%.*]] = getelementptr inbounds [4 x i32], ptr [[A]], i32 0, i32 2165// CHECK-NEXT: [[Gep3:%.*]] = getelementptr inbounds [4 x i32], ptr [[A]], i32 0, i32 3166// CHECK-NEXT: [[Gep4:%.*]] = getelementptr inbounds %struct.Derived, ptr [[Tmp]], i32 0, i32 0167// CHECK-NEXT: [[E:%.*]] = getelementptr inbounds nuw %struct.BFields, ptr [[Gep4]], i32 0, i32 1168// CHECK-NEXT: [[Gep5:%.*]] = getelementptr inbounds %struct.Derived, ptr [[Tmp]], i32 0, i32 0, i32 0169// CHECK-NEXT: [[Gep6:%.*]] = getelementptr inbounds %struct.Derived, ptr [[Tmp]], i32 0, i32 0, i32 2170// CHECK-NEXT: [[Gep7:%.*]] = getelementptr inbounds %struct.Derived, ptr [[Tmp]], i32 0, i32 1171// CHECK-NEXT: [[Z:%.*]] = load double, ptr [[Gep5]], align 8172// CHECK-NEXT: [[C:%.*]] = fptosi double [[Z]] to i32173// CHECK-NEXT: store i32 [[C]], ptr [[Gep]], align 4174// CHECK-NEXT: [[BFL:%.*]] = load i24, ptr [[E]], align 1175// CHECK-NEXT: [[BFShl:%.*]] = shl i24 [[BFL]], 9176// CHECK-NEXT: [[BFAshr:%.*]] = ashr i24 [[BFShl]], 9177// CHECK-NEXT: [[BFC:%.*]] = sext i24 [[BFAshr]] to i32178// CHECK-NEXT: store i32 [[BFC]], ptr [[Gep1]], align 4179// CHECK-NEXT: [[Y:%.*]] = load float, ptr [[Gep6]], align 4180// CHECK-NEXT: [[C8:%.*]] = fptosi float [[Y]] to i32181// CHECK-NEXT: store i32 [[C8]], ptr [[Gep2]], align 4182// CHECK-NEXT: [[X:%.*]] = load i32, ptr [[Gep7]], align 4183// CHECK-NEXT: store i32 [[X]], ptr [[Gep3]], align 4184// CHECK-NEXT: ret void185export void call8(Derived D) {186 int A[4] = (int[4])D; 187}188