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 $esi killed $esi def $rsi
11; CHECK-NEXT:    # kill: def $edi killed $edi def $rdi
12; CHECK-NEXT:    movl %esi, -8(%rsp)
13; CHECK-NEXT:    movl %ecx, -16(%rsp)
14; CHECK-NEXT:    movl %edi, -4(%rsp)
15; CHECK-NEXT:    movl %edx, -12(%rsp)
16; CHECK-NEXT:    leal (%rdi,%rsi), %eax
17; CHECK-NEXT:    addl %edx, %eax
18; CHECK-NEXT:    addl %ecx, %eax
19; CHECK-NEXT:    retq
20entry:
21  %a0 = alloca i32
22  %a1 = alloca i32
23  %a2 = alloca i32
24  %a3 = alloca i32
25  store i32 %b, i32* %a1
26  store i32 %d, i32* %a3
27  store i32 %a, i32* %a0
28  store i32 %c, i32* %a2
29  %l0 = load i32, i32* %a0
30  %l1 = load i32, i32* %a1
31  %l2 = load i32, i32* %a2
32  %l3 = load i32, i32* %a3
33  %add0 = add nsw i32 %l0, %l1
34  %add1 = add nsw i32 %add0, %l2
35  %add2 = add nsw i32 %add1, %l3
36  ret i32 %add2
37}
38