1 // RUN: %clang_cc1 %s -triple hexagon-unknown-elf -O2 -emit-llvm -o - | FileCheck %s 2 3 typedef union __attribute__((aligned(4))) { 4 unsigned short uh[2]; 5 unsigned uw; 6 } vect32; 7 8 void bar(vect32 p[][2]); 9 10 // CHECK-LABEL: define dso_local void @fred 11 // CHECK-SAME: (i32 noundef [[NUM:%.*]], ptr noundef writeonly captures(none) initializes((0, 8)) [[VEC:%.*]], ptr noundef readonly captures(none) [[INDEX:%.*]], ptr noundef readonly captures(none) [[ARR:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] { 12 // CHECK-NEXT: entry: 13 // CHECK-NEXT: [[TMP:%.*]] = alloca [4 x [2 x %union.vect32]], align 8 14 // CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 32, ptr nonnull [[TMP]]) #[[ATTR3:[0-9]+]] 15 // CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[INDEX]], align 4, !tbaa [[TBAA2:![0-9]+]] 16 // CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [2 x i32], ptr [[ARR]], i32 [[TMP0]] 17 // CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[ARRAYIDX]], align 4, !tbaa [[TBAA2]] 18 // CHECK-NEXT: [[MUL:%.*]] = mul i32 [[TMP1]], [[NUM]] 19 // CHECK-NEXT: [[ARRAYIDX2:%.*]] = getelementptr inbounds [4 x [2 x %union.vect32]], ptr [[TMP]], i32 0, i32 [[TMP0]] 20 // CHECK-NEXT: store i32 [[MUL]], ptr [[ARRAYIDX2]], align 8, !tbaa [[TBAA6:![0-9]+]] 21 // CHECK-NEXT: [[ARRAYIDX5:%.*]] = getelementptr inbounds [2 x i32], ptr [[ARR]], i32 [[TMP0]], i32 1 22 // CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[ARRAYIDX5]], align 4, !tbaa [[TBAA2]] 23 // CHECK-NEXT: [[MUL6:%.*]] = mul i32 [[TMP2]], [[NUM]] 24 // CHECK-NEXT: [[ARRAYIDX8:%.*]] = getelementptr inbounds [4 x [2 x %union.vect32]], ptr [[TMP]], i32 0, i32 [[TMP0]], i32 1 25 // CHECK-NEXT: store i32 [[MUL6]], ptr [[ARRAYIDX8]], align 4, !tbaa [[TBAA6]] 26 // CHECK-NEXT: [[TMP3:%.*]] = lshr i32 [[MUL]], 16 27 // CHECK-NEXT: store i32 [[TMP3]], ptr [[VEC]], align 4, !tbaa [[TBAA2]] 28 // CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[INDEX]], align 4, !tbaa [[TBAA2]] 29 // CHECK-NEXT: [[ARRAYIDX14:%.*]] = getelementptr inbounds [4 x [2 x %union.vect32]], ptr [[TMP]], i32 0, i32 [[TMP4]], i32 1 30 // CHECK-NEXT: [[ARRAYIDX15:%.*]] = getelementptr inbounds nuw i8, ptr [[ARRAYIDX14]], i32 2 31 // CHECK-NEXT: [[TMP5:%.*]] = load i16, ptr [[ARRAYIDX15]], align 2, !tbaa [[TBAA6]] 32 // CHECK-NEXT: [[CONV16:%.*]] = zext i16 [[TMP5]] to i32 33 // CHECK-NEXT: [[ARRAYIDX17:%.*]] = getelementptr inbounds nuw i8, ptr [[VEC]], i32 4 34 // CHECK-NEXT: store i32 [[CONV16]], ptr [[ARRAYIDX17]], align 4, !tbaa [[TBAA2]] 35 // CHECK-NEXT: call void @bar(ptr noundef nonnull [[TMP]]) #[[ATTR3]] 36 // CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 32, ptr nonnull [[TMP]]) #[[ATTR3]] 37 // CHECK-NEXT: ret void 38 // 39 void fred(unsigned Num, int Vec[2], int *Index, int Arr[4][2]) { 40 vect32 Tmp[4][2]; 41 Tmp[*Index][0].uw = Arr[*Index][0] * Num; 42 Tmp[*Index][1].uw = Arr[*Index][1] * Num; 43 Vec[0] = Tmp[*Index][0].uh[1]; 44 Vec[1] = Tmp[*Index][1].uh[1]; 45 bar(Tmp); 46 } 47 48 // CHECK-DAG: [[CHAR:![0-9]+]] = !{!"omnipotent char" 49 // CHECK-DAG: [[TBAA6]] = !{[[CHAR]], [[CHAR]], i64 0} 50