1; RUN: llc < %s -march=x86-64 -verify-machineinstrs | FileCheck %s
2
3; rdar://9692967
4
5define void @t1(i64* %p, i32 %b) nounwind {
6entry:
7  %p.addr = alloca i64*, align 8
8  store i64* %p, i64** %p.addr, align 8
9  %tmp = load i64*, i64** %p.addr, align 8
10; CHECK-LABEL: t1:
11; CHECK: movl    $2147483648, %eax
12; CHECK: lock orq %r{{.*}}, (%r{{.*}})
13  %0 = atomicrmw or i64* %tmp, i64 2147483648 seq_cst
14  ret void
15}
16
17define void @t2(i64* %p, i32 %b) nounwind {
18entry:
19  %p.addr = alloca i64*, align 8
20  store i64* %p, i64** %p.addr, align 8
21  %tmp = load i64*, i64** %p.addr, align 8
22; CHECK-LABEL: t2:
23; CHECK: lock orq $2147483644, (%r{{.*}})
24  %0 = atomicrmw or i64* %tmp, i64 2147483644 seq_cst
25  ret void
26}
27