1 ; RUN: llc < %s -march=x86 | FileCheck %s 2 ; This should not load or store the top part of *P. 3 4 define void @test(i64* %P) nounwind { 5 ; CHECK: test: 6 ; CHECK: movl 4(%esp), %[[REGISTER:.*]] 7 ; CHECK-NOT: 4(%[[REGISTER]]) 8 ; CHECK: ret 9 %tmp1 = load 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
