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