1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
; RUN: llc < %s -march=x86-64 | FileCheck %s ; rdar://7529457 define i64 @t(i64 %A, i64 %B, i32* %P, i64 *%P2) nounwind { ; CHECK: t: ; CHECK: movslq %e{{.*}}, %rax ; CHECK: movq %rax ; CHECK: movl %eax %C = add i64 %A, %B %D = trunc i64 %C to i32 volatile store i32 %D, i32* %P %E = shl i64 %C, 32 %F = ashr i64 %E, 32 volatile store i64 %F, i64 *%P2 volatile store i32 %D, i32* %P ret i64 undef }