1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
| ; RUN: llc -march=hexagon -mattr=-packets -hexagon-check-bank-conflict=0 < %s | FileCheck %s
; Do not check stores. They undergo some optimizations in the DAG combiner
; resulting in getting out of order. There is likely little that can be
; done to keep the original order.
target triple = "hexagon"
%s.0 = type { i32, i32, i32 }
; Function Attrs: nounwind
define void @f0(%s.0* %a0, %s.0* %a1) #0 {
b0:
; CHECK: = memw({{.*}}+#0)
; CHECK: = memw({{.*}}+#4)
; CHECK: = memw({{.*}}+#8)
%v0 = alloca %s.0*, align 4
%v1 = alloca %s.0*, align 4
store %s.0* %a0, %s.0** %v0, align 4
store %s.0* %a1, %s.0** %v1, align 4
%v2 = load %s.0*, %s.0** %v0, align 4
%v3 = load %s.0*, %s.0** %v1, align 4
%v4 = bitcast %s.0* %v2 to i8*
%v5 = bitcast %s.0* %v3 to i8*
call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 4 %v4, i8* align 4 %v5, i32 12, i1 false)
ret void
}
; Function Attrs: argmemonly nounwind
declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture writeonly, i8* nocapture readonly, i32, i1) #1
attributes #0 = { nounwind }
attributes #1 = { argmemonly nounwind }
|