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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=x86-64 | FileCheck %s
define void @merge_store(i32* nocapture %a) {
; CHECK-LABEL: merge_store:
; CHECK: movq
; CHECK: movq
entry:
br label %for.body
for.body:
%indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ]
%arrayidx = getelementptr inbounds i32, i32* %a, i64 %indvars.iv
store i32 1, i32* %arrayidx, align 4
%0 = or i64 %indvars.iv, 1
%arrayidx2 = getelementptr inbounds i32, i32* %a, i64 %0
store i32 1, i32* %arrayidx2, align 4
%1 = or i64 %indvars.iv, 2
%arrayidx5 = getelementptr inbounds i32, i32* %a, i64 %1
store i32 1, i32* %arrayidx5, align 4
%2 = or i64 %indvars.iv, 3
%arrayidx8 = getelementptr inbounds i32, i32* %a, i64 %2
store i32 1, i32* %arrayidx8, align 4
%indvars.iv.next = add nuw nsw i64 %indvars.iv, 4
%3 = trunc i64 %indvars.iv.next to i32
%cmp = icmp slt i32 %3, 1000
br i1 %cmp, label %for.body, label %for.end
for.end:
ret void
}
;; CHECK-LABEL: indexed-store-merge
;; We should be able to merge the 4 consecutive stores.
;; FIXMECHECK: movl $0, 2(%rsi,%rdi)
;; CHECK: movb $0, 2(%rsi,%rdi)
;; CHECK: movb $0, 3(%rsi,%rdi)
;; CHECK: movb $0, 4(%rsi,%rdi)
;; CHECK: movb $0, 5(%rsi,%rdi)
;; CHECK: movb $0, (%rsi)
define void @indexed-store-merge(i64 %p, i8* %v) {
entry:
%p2 = add nsw i64 %p, 2
%v2 = getelementptr i8, i8* %v, i64 %p2
store i8 0, i8* %v2, align 2
%p3 = add nsw i64 %p, 3
%v3 = getelementptr i8, i8* %v, i64 %p3
store i8 0, i8* %v3, align 1
%p4 = add nsw i64 %p, 4
%v4 = getelementptr i8, i8* %v, i64 %p4
store i8 0, i8* %v4, align 2
%p5 = add nsw i64 %p, 5
%v5 = getelementptr i8, i8* %v, i64 %p5
store i8 0, i8* %v5, align 1
%v0 = getelementptr i8, i8* %v, i64 0
store i8 0, i8* %v0, align 2
ret void
}
|
