1; RUN: llc -o - -mtriple=x86_64-linux-gnu %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; 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 19define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) { 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