1; RUN: llc -mtriple=hexagon < %s | FileCheck %s 2; CHECK-DAG: memh(r{{[0-9]+}}+#0) = r{{[0-9]+}} 3; CHECK-DAG: memh(r{{[0-9]+}}+#2) = r{{[0-9]+}}.h 4; CHECK-DAG: memh(r{{[0-9]+}}+#4) = r{{[0-9]+}} 5; CHECK-DAG: memh(r{{[0-9]+}}+#6) = r{{[0-9]+}}.h 6 7target triple = "hexagon" 8 9; Function Attrs: nounwind 10define void @foo(ptr nocapture readonly %r64, i16 zeroext %n, i16 zeroext %s, ptr nocapture %p64) #0 { 11entry: 12 %conv = zext i16 %n to i32 13 %cmp = icmp eq i16 %n, 0 14 br i1 %cmp, label %for.end, label %for.body.preheader 15 16for.body.preheader: ; preds = %entry 17 %0 = load i64, ptr %r64, align 8, !tbaa !1 18 %v.sroa.0.0.extract.trunc = trunc i64 %0 to i16 19 %v.sroa.4.0.extract.shift = lshr i64 %0, 16 20 %v.sroa.4.0.extract.trunc = trunc i64 %v.sroa.4.0.extract.shift to i16 21 %v.sroa.5.0.extract.shift = lshr i64 %0, 32 22 %v.sroa.5.0.extract.trunc = trunc i64 %v.sroa.5.0.extract.shift to i16 23 %v.sroa.6.0.extract.shift = lshr i64 %0, 48 24 %v.sroa.6.0.extract.trunc = trunc i64 %v.sroa.6.0.extract.shift to i16 25 %conv2 = zext i16 %s to i32 26 %add.ptr = getelementptr inbounds i16, ptr %p64, i32 %conv2 27 %add.ptr.sum = add nuw nsw i32 %conv2, 1 28 %add.ptr3 = getelementptr inbounds i16, ptr %p64, i32 %add.ptr.sum 29 %add.ptr.sum50 = add nuw nsw i32 %conv2, 2 30 %add.ptr4 = getelementptr inbounds i16, ptr %p64, i32 %add.ptr.sum50 31 %add.ptr.sum51 = add nuw nsw i32 %conv2, 3 32 %add.ptr5 = getelementptr inbounds i16, ptr %p64, i32 %add.ptr.sum51 33 br label %for.body 34 35for.body: ; preds = %for.body.preheader, %for.body 36 %add.ptr11.phi = phi ptr [ %add.ptr11.inc, %for.body ], [ %add.ptr, %for.body.preheader ] 37 %add.ptr16.phi = phi ptr [ %add.ptr16.inc, %for.body ], [ %add.ptr3, %for.body.preheader ] 38 %add.ptr21.phi = phi ptr [ %add.ptr21.inc, %for.body ], [ %add.ptr4, %for.body.preheader ] 39 %add.ptr26.phi = phi ptr [ %add.ptr26.inc, %for.body ], [ %add.ptr5, %for.body.preheader ] 40 %i.058.pmt = phi i32 [ %inc.pmt, %for.body ], [ 0, %for.body.preheader ] 41 %v.sroa.0.157 = phi i16 [ %v.sroa.0.0.extract.trunc34, %for.body ], [ %v.sroa.0.0.extract.trunc, %for.body.preheader ] 42 %v.sroa.4.156 = phi i16 [ %v.sroa.4.0.extract.trunc36, %for.body ], [ %v.sroa.4.0.extract.trunc, %for.body.preheader ] 43 %v.sroa.5.155 = phi i16 [ %v.sroa.5.0.extract.trunc38, %for.body ], [ %v.sroa.5.0.extract.trunc, %for.body.preheader ] 44 %v.sroa.6.154 = phi i16 [ %v.sroa.6.0.extract.trunc40, %for.body ], [ %v.sroa.6.0.extract.trunc, %for.body.preheader ] 45 %q64.153.pn = phi ptr [ %q64.153, %for.body ], [ %r64, %for.body.preheader ] 46 %q64.153 = getelementptr inbounds i64, ptr %q64.153.pn, i32 1 47 store i16 %v.sroa.0.157, ptr %add.ptr11.phi, align 2, !tbaa !5 48 store i16 %v.sroa.4.156, ptr %add.ptr16.phi, align 2, !tbaa !5 49 store i16 %v.sroa.5.155, ptr %add.ptr21.phi, align 2, !tbaa !5 50 store i16 %v.sroa.6.154, ptr %add.ptr26.phi, align 2, !tbaa !5 51 %1 = load i64, ptr %q64.153, align 8, !tbaa !1 52 %v.sroa.0.0.extract.trunc34 = trunc i64 %1 to i16 53 %v.sroa.4.0.extract.shift35 = lshr i64 %1, 16 54 %v.sroa.4.0.extract.trunc36 = trunc i64 %v.sroa.4.0.extract.shift35 to i16 55 %v.sroa.5.0.extract.shift37 = lshr i64 %1, 32 56 %v.sroa.5.0.extract.trunc38 = trunc i64 %v.sroa.5.0.extract.shift37 to i16 57 %v.sroa.6.0.extract.shift39 = lshr i64 %1, 48 58 %v.sroa.6.0.extract.trunc40 = trunc i64 %v.sroa.6.0.extract.shift39 to i16 59 %inc.pmt = add i32 %i.058.pmt, 1 60 %cmp8 = icmp slt i32 %inc.pmt, %conv 61 %add.ptr11.inc = getelementptr i16, ptr %add.ptr11.phi, i32 4 62 %add.ptr16.inc = getelementptr i16, ptr %add.ptr16.phi, i32 4 63 %add.ptr21.inc = getelementptr i16, ptr %add.ptr21.phi, i32 4 64 %add.ptr26.inc = getelementptr i16, ptr %add.ptr26.phi, i32 4 65 br i1 %cmp8, label %for.body, label %for.end 66 67for.end: ; preds = %for.body, %entry 68 ret void 69} 70 71attributes #0 = { nounwind } 72 73!1 = !{!2, !2, i64 0} 74!2 = !{!"long long", !3, i64 0} 75!3 = !{!"omnipotent char", !4, i64 0} 76!4 = !{!"Simple C/C++ TBAA"} 77!5 = !{!6, !6, i64 0} 78!6 = !{!"short", !3, i64 0} 79