blob: 642af876423ab448bd20034b978700c829def17c [file] [log] [blame]
Tim Northover00ed9962014-03-29 10:18:08 +00001; RUN: llc < %s -march=arm64 | 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]+]]
David Blaikiea79ac142015-02-27 21:17:42 +000012 %tmp2 = load i16, i16* %ptr, align 2
Tim Northover00ed9962014-03-29 10:18:08 +000013 br label %bb2
14bb2:
15; CHECK: %bb2
16; CHECK-NOT: and {{w[0-9]+}}, [[REG]], #0xffff
17; CHECK: cmp [[REG]], #23
18 %tmp3 = phi i16 [ 0, %entry ], [ %tmp2, %bb1 ]
19 %cmp = icmp ult i16 %tmp3, 24
20 br i1 %cmp, label %bb3, label %exit
21bb3:
22 call void @bar() nounwind
23 br label %exit
24exit:
25 ret void
26}
27
28declare void @bar ()