xref: /llvm-project/llvm/test/CodeGen/X86/alias-static-alloca.ll (revision 86eff6be686a1e41e13c08ebfc2db4dd4d58e7c6)
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s
3
4; We should be able to bypass the load values to their corresponding
5; stores here.
6
7define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) {
8; CHECK-LABEL: foo:
9; CHECK:       # %bb.0: # %entry
10; CHECK-NEXT:    # kill: def $ecx killed $ecx def $rcx
11; CHECK-NEXT:    # kill: def $edx killed $edx def $rdx
12; CHECK-NEXT:    # kill: def $esi killed $esi def $rsi
13; CHECK-NEXT:    # kill: def $edi killed $edi def $rdi
14; CHECK-NEXT:    movl %esi, -{{[0-9]+}}(%rsp)
15; CHECK-NEXT:    movl %ecx, -{{[0-9]+}}(%rsp)
16; CHECK-NEXT:    movl %edi, -{{[0-9]+}}(%rsp)
17; CHECK-NEXT:    movl %edx, -{{[0-9]+}}(%rsp)
18; CHECK-NEXT:    addl %edi, %esi
19; CHECK-NEXT:    leal (%rdx,%rcx), %eax
20; CHECK-NEXT:    addl %esi, %eax
21; CHECK-NEXT:    retq
22entry:
23  %a0 = alloca i32
24  %a1 = alloca i32
25  %a2 = alloca i32
26  %a3 = alloca i32
27  store i32 %b, ptr %a1
28  store i32 %d, ptr %a3
29  store i32 %a, ptr %a0
30  store i32 %c, ptr %a2
31  %l0 = load i32, ptr %a0
32  %l1 = load i32, ptr %a1
33  %l2 = load i32, ptr %a2
34  %l3 = load i32, ptr %a3
35  %add0 = add nsw i32 %l0, %l1
36  %add1 = add nsw i32 %add0, %l2
37  %add2 = add nsw i32 %add1, %l3
38  ret i32 %add2
39}
40