38 lines · plain
1; RUN: llc -mtriple=hexagon -debug-only=isel < %s 2>&1 | FileCheck %s2; REQUIRES: asserts3 4; Check that the generated post-increment load has TBAA information.5; CHECK-LABEL: Machine code for function fred:6; CHECK: = V6_vL32b_pi %{{[0-9]+}}{{[^,]*}}, 64 :: (load (s512){{.*}}!tbaa7 8target triple = "hexagon"9 10; Function Attrs: norecurse nounwind11define void @fred(ptr nocapture %p, ptr nocapture readonly %q, i32 %n) local_unnamed_addr #0 {12entry:13 %tobool2 = icmp eq i32 %n, 014 br i1 %tobool2, label %while.end, label %while.body15 16while.body: ; preds = %entry, %while.body17 %n.addr.05 = phi i32 [ %dec, %while.body ], [ %n, %entry ]18 %q.addr.04 = phi ptr [ %incdec.ptr, %while.body ], [ %q, %entry ]19 %p.addr.03 = phi ptr [ %incdec.ptr1, %while.body ], [ %p, %entry ]20 %dec = add i32 %n.addr.05, -121 %incdec.ptr = getelementptr inbounds <16 x i32>, ptr %q.addr.04, i32 122 %0 = load <16 x i32>, ptr %q.addr.04, align 64, !tbaa !123 %incdec.ptr1 = getelementptr inbounds <16 x i32>, ptr %p.addr.03, i32 124 store <16 x i32> %0, ptr %p.addr.03, align 64, !tbaa !125 %tobool = icmp eq i32 %dec, 026 br i1 %tobool, label %while.end, label %while.body27 28while.end: ; preds = %while.body, %entry29 ret void30}31 32attributes #0 = { norecurse nounwind "target-cpu"="hexagonv60" "target-features"="+hvx,+hvx-length64b" }33 34 35!1 = !{!2, !2, i64 0}36!2 = !{!"omnipotent char", !3, i64 0}37!3 = !{!"Simple C/C++ TBAA"}38