1; RUN: llc < %s -mtriple=arm64-eabi | FileCheck %s
2; rdar://12771555
3
4define void @foo(i16* %ptr, i32 %a) nounwind {
5entry:
6; CHECK-LABEL: foo:
7  %tmp1 = icmp ult i32 %a, 100
8  br i1 %tmp1, label %bb1, label %bb2
9bb1:
10; CHECK: %bb1
11; CHECK: ldrh [[REG:w[0-9]+]]
12  %tmp2 = load i16, i16* %ptr, align 2
13  br label %bb2
14bb2:
15; CHECK-NOT: and {{w[0-9]+}}, [[REG]], #0xffff
16; CHECK: cmp [[REG]], #23
17  %tmp3 = phi i16 [ 0, %entry ], [ %tmp2, %bb1 ]
18  %cmp = icmp ult i16 %tmp3, 24
19  br i1 %cmp, label %bb3, label %exit
20bb3:
21  call void @bar() nounwind
22  br label %exit
23exit:
24  ret void
25}
26
27declare void @bar ()
28