| Nirav Dave | d839749 | 2017-07-18 20:06:24 +0000 | [diff] [blame] | 1 | ; RUN: llc -o - -mtriple=x86_64-linux-gnu %s | FileCheck %s |
| 2 | |
| 3 | target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| 4 | target triple = "x86_64-unknown-linux-gnu" |
| 5 | |
| 6 | ; We should be able to bypass the load values to their corresponding |
| 7 | ; stores here. |
| 8 | |
| 9 | ; CHECK-LABEL: foo |
| 10 | ; CHECK-DAG: movl %esi, -8(%rsp) |
| 11 | ; CHECK-DAG: movl %ecx, -16(%rsp) |
| 12 | ; CHECK-DAG: movl %edi, -4(%rsp) |
| 13 | ; CHECK-DAG: movl %edx, -12(%rsp) |
| 14 | ; CHECK: leal |
| 15 | ; CHECK: addl |
| 16 | ; CHECK: addl |
| 17 | ; CHECK: retq |
| 18 | |
| 19 | define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) { |
| 20 | entry: |
| 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 | } |