1; RUN: llc < %s | FileCheck %s
2
3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4target triple = "x86_64-unknown-linux-gnu"
5
6%structTy = type { i8, i32, i32 }
7
8@e = common global %structTy zeroinitializer, align 4
9
10;; Ensure that MergeConsecutiveStores doesn't incorrectly reorder
11;; store operations.  The first test stores in increasing address
12;; order, the second in decreasing -- but in both cases should have
13;; the same result in memory in the end.
14
15; CHECK-LABEL: redundant_stores_merging:
16; CHECK:   movl    $123, e+8(%rip)
17; CHECK:   movabsq $1958505086977, %rax
18; CHECK:   movq    %rax, e+4(%rip)
19define void @redundant_stores_merging() {
20entry:
21  store i32 1, i32* getelementptr inbounds (%structTy, %structTy* @e, i64 0, i32 1), align 4
22  store i32 123, i32* getelementptr inbounds (%structTy, %structTy* @e, i64 0, i32 2), align 4
23  store i32 456, i32* getelementptr inbounds (%structTy, %structTy* @e, i64 0, i32 2), align 4
24  ret void
25}
26
27;; This variant tests PR25154.
28; CHECK-LABEL: redundant_stores_merging_reverse:
29; CHECK:   movl    $123, e+8(%rip)
30; CHECK:   movabsq $1958505086977, %rax
31; CHECK:   movq    %rax, e+4(%rip)
32define void @redundant_stores_merging_reverse() {
33entry:
34  store i32 123, i32* getelementptr inbounds (%structTy, %structTy* @e, i64 0, i32 2), align 4
35  store i32 456, i32* getelementptr inbounds (%structTy, %structTy* @e, i64 0, i32 2), align 4
36  store i32 1, i32* getelementptr inbounds (%structTy, %structTy* @e, i64 0, i32 1), align 4
37  ret void
38}
39
40@b = common global [8 x i8] zeroinitializer, align 2
41
42;; The 2-byte store to offset 3 overlaps the 2-byte store to offset 2;
43;; these must not be reordered in MergeConsecutiveStores such that the
44;; store to 3 comes first (e.g. by merging the stores to 0 and 2 into
45;; a movl, after the store to 3).
46
47;; CHECK-LABEL: overlapping_stores_merging:
48;; CHECK:  movw    $0, b+2(%rip)
49;; CHECK:  movw    $2, b+3(%rip)
50;; CHECK:  movw    $1, b(%rip)
51define void @overlapping_stores_merging() {
52entry:
53  store i16 0, i16* bitcast (i8* getelementptr inbounds ([8 x i8], [8 x i8]* @b, i64 0, i64 2) to i16*), align 2
54  store i16 2, i16* bitcast (i8* getelementptr inbounds ([8 x i8], [8 x i8]* @b, i64 0, i64 3) to i16*), align 1
55  store i16 1, i16* bitcast (i8* getelementptr inbounds ([8 x i8], [8 x i8]* @b, i64 0, i64 0) to i16*), align 2
56  ret void
57}
58