1; RUN: llc < %s -march=x86 | FileCheck %s
2; This should not load or store the top part of *P.
3
4define void @test(i64* %P) nounwind  {
5; CHECK-LABEL: test:
6; CHECK: movl 4(%esp), %[[REGISTER:.*]]
7; CHECK-NOT: 4(%[[REGISTER]])
8; CHECK: ret
9	%tmp1 = load i64, i64* %P, align 8		; <i64> [#uses=1]
10	%tmp2 = xor i64 %tmp1, 1		; <i64> [#uses=1]
11	store i64 %tmp2, i64* %P, align 8
12	ret void
13}
14
15