; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s
; rdar://7529457
define i64 @t(i64 %A, i64 %B, ptr %P, ptr%P2) nounwind {
; CHECK-LABEL: t:
; CHECK: # %bb.0:
; CHECK-NEXT: addq %rsi, %rdi
; CHECK-NEXT: movl %edi, (%rdx)
; CHECK-NEXT: movslq %edi, %rax
; CHECK-NEXT: movq %rax, (%rcx)
; CHECK-NEXT: movl %eax, (%rdx)
; CHECK-NEXT: retq
%C = add i64 %A, %B
%D = trunc i64 %C to i32
store volatile i32 %D, ptr %P
%E = shl i64 %C, 32
%F = ashr i64 %E, 32
store volatile i64 %F, ptr%P2
store volatile i32 %D, ptr %P
ret i64 undef
}