Home | History | Annotate | Download | only in ARM
      1 ; RUN: opt -loop-vectorize -tbaa -S -mattr=+neon < %s | FileCheck %s
      2 
      3 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
      4 target triple = "armv7--linux-gnueabi"
      5 
      6 ; This requires the loop vectorizer to create an interleaved access group
      7 ; for the stores to the struct. Here we need to perform a bitcast from a vector
      8 ; of pointers to a vector i32s.
      9 
     10 %class.A = type { i8*, i32 }
     11 
     12 ; CHECK-LABEL: test0
     13 define void @test0(%class.A* %StartPtr, %class.A* %APtr) {
     14 entry:
     15   br label %for.body.i
     16 
     17 for.body.i:
     18   %addr = phi %class.A* [ %StartPtr, %entry ], [ %incdec.ptr.i, %for.body.i ]
     19   %Data.i.i = getelementptr inbounds %class.A, %class.A* %addr, i32 0, i32 0
     20   store i8* null, i8** %Data.i.i, align 4, !tbaa !8
     21   %Length.i.i = getelementptr inbounds %class.A, %class.A* %addr, i32 0, i32 1
     22   store i32 0, i32* %Length.i.i, align 4, !tbaa !11
     23   %incdec.ptr.i = getelementptr inbounds %class.A, %class.A* %addr, i32 1
     24   %cmp.i = icmp eq %class.A* %incdec.ptr.i, %APtr
     25   br i1 %cmp.i, label %exit, label %for.body.i
     26 
     27 exit:
     28   ret void
     29 }
     30 
     31 !5 = !{!"any pointer", !6, i64 0}
     32 !6 = !{!"omnipotent char", !7, i64 0}
     33 !7 = !{!"Simple C/C++ TBAA"}
     34 !8 = !{!9, !5, i64 0}
     35 !9 = !{!5, i64 0, !10, i64 4}
     36 !10 = !{!"int", !6, i64 0}
     37 !11 = !{!9, !10, i64 4}
     38