xref: /aosp_15_r20/external/llvm/test/CodeGen/X86/merge-store-partially-alias-loads.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; REQUIRES: asserts
2*9880d681SAndroid Build Coastguard Worker; RUN: llc -march=x86-64 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck -check-prefix=X86 %s
3*9880d681SAndroid Build Coastguard Worker; RUN: llc -march=x86-64 -mtriple=x86_64-unknown-linux-gnu -debug-only=isel < %s 2>&1 | FileCheck -check-prefix=DBGDAG %s
4*9880d681SAndroid Build Coastguard Worker
5*9880d681SAndroid Build Coastguard Worker; It's OK to merge the load / store of the first 2 components, but
6*9880d681SAndroid Build Coastguard Worker; they must not be placed on the same chain after merging.
7*9880d681SAndroid Build Coastguard Worker
8*9880d681SAndroid Build Coastguard Worker; X86-LABEL: {{^}}merge_store_partial_overlap_load:
9*9880d681SAndroid Build Coastguard Worker; X86-DAG: movzwl ([[BASEREG:%[a-z]+]]), %e[[LO2:[a-z]+]]
10*9880d681SAndroid Build Coastguard Worker; X86-DAG: movb 2([[BASEREG]]), [[HI1:%[a-z]+]]
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Worker; X86-NEXT: movw %[[LO2]], 1([[BASEREG]])
13*9880d681SAndroid Build Coastguard Worker; X86-NEXT: movb [[HI1]], 3([[BASEREG]])
14*9880d681SAndroid Build Coastguard Worker; X86-NEXT: retq
15*9880d681SAndroid Build Coastguard Worker
16*9880d681SAndroid Build Coastguard Worker; DBGDAG-LABEL: Optimized lowered selection DAG: BB#0 'merge_store_partial_overlap_load:'
17*9880d681SAndroid Build Coastguard Worker; DBGDAG: [[ENTRYTOKEN:t[0-9]+]]: ch = EntryToken
18*9880d681SAndroid Build Coastguard Worker; DBGDAG-DAG: [[BASEPTR:t[0-9]+]]: i64,ch = CopyFromReg [[ENTRYTOKEN]],
19*9880d681SAndroid Build Coastguard Worker; DBGDAG-DAG: [[ADDPTR:t[0-9]+]]: i64 = add [[BASEPTR]], Constant:i64<2>
20*9880d681SAndroid Build Coastguard Worker
21*9880d681SAndroid Build Coastguard Worker; DBGDAG-DAG: [[LD2:t[0-9]+]]: i16,ch = load<LD2[%tmp81](align=1)> [[ENTRYTOKEN]], [[BASEPTR]], undef:i64
22*9880d681SAndroid Build Coastguard Worker; DBGDAG-DAG: [[LD1:t[0-9]+]]: i8,ch = load<LD1[%tmp12]> [[ENTRYTOKEN]], [[ADDPTR]], undef:i64
23*9880d681SAndroid Build Coastguard Worker
24*9880d681SAndroid Build Coastguard Worker; DBGDAG: [[LOADTOKEN:t[0-9]+]]: ch = TokenFactor [[LD2]]:1, [[LD1]]:1
25*9880d681SAndroid Build Coastguard Worker
26*9880d681SAndroid Build Coastguard Worker; DBGDAG-DAG: [[ST2:t[0-9]+]]: ch = store<ST2[%tmp10](align=1)> [[LOADTOKEN]], [[LD2]], t{{[0-9]+}}, undef:i64
27*9880d681SAndroid Build Coastguard Worker; DBGDAG-DAG: [[ST1:t[0-9]+]]: ch = store<ST1[%tmp14]> [[ST2]], [[LD1]], t{{[0-9]+}}, undef:i64
28*9880d681SAndroid Build Coastguard Worker; DBGDAG: X86ISD::RET_FLAG [[ST1]],
29*9880d681SAndroid Build Coastguard Worker
30*9880d681SAndroid Build Coastguard Worker; DBGDAG: Type-legalized selection DAG: BB#0 'merge_store_partial_overlap_load:'
31*9880d681SAndroid Build Coastguard Workerdefine void @merge_store_partial_overlap_load([4 x i8]* %tmp) {
32*9880d681SAndroid Build Coastguard Worker  %tmp8 = getelementptr inbounds [4 x i8], [4 x i8]* %tmp, i32 0, i8 0
33*9880d681SAndroid Build Coastguard Worker  %tmp10 = getelementptr inbounds [4 x i8], [4 x i8]* %tmp, i32 0, i8 1
34*9880d681SAndroid Build Coastguard Worker  %tmp12 = getelementptr inbounds [4 x i8], [4 x i8]* %tmp, i32 0, i8 2
35*9880d681SAndroid Build Coastguard Worker  %tmp14 = getelementptr [4 x i8], [4 x i8]* %tmp, i32 0, i8 3
36*9880d681SAndroid Build Coastguard Worker
37*9880d681SAndroid Build Coastguard Worker  %tmp9 = load i8, i8* %tmp8, align 1   ; base + 0
38*9880d681SAndroid Build Coastguard Worker  %tmp11 = load i8, i8* %tmp10, align 1 ; base + 1
39*9880d681SAndroid Build Coastguard Worker  %tmp13 = load i8, i8* %tmp12, align 1 ; base + 2
40*9880d681SAndroid Build Coastguard Worker
41*9880d681SAndroid Build Coastguard Worker  store i8 %tmp9, i8* %tmp10, align 1   ; base + 1
42*9880d681SAndroid Build Coastguard Worker  store i8 %tmp11, i8* %tmp12, align 1  ; base + 2
43*9880d681SAndroid Build Coastguard Worker  store i8 %tmp13, i8* %tmp14, align 1  ; base + 3
44*9880d681SAndroid Build Coastguard Worker
45*9880d681SAndroid Build Coastguard Worker; Should emit
46*9880d681SAndroid Build Coastguard Worker; load base + 0, base + 1
47*9880d681SAndroid Build Coastguard Worker; store base + 1, base + 2
48*9880d681SAndroid Build Coastguard Worker; load base + 2
49*9880d681SAndroid Build Coastguard Worker; store base + 3
50*9880d681SAndroid Build Coastguard Worker
51*9880d681SAndroid Build Coastguard Worker  ret void
52*9880d681SAndroid Build Coastguard Worker}
53