test/CodeGen/ARM64/extload-knownzero.ll

   1 ; RUN: llc < %s -march=arm64 | 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* %ptr, align 2
  13   br label %bb2
  14 bb2:
  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
  21 bb3:
  22   call void @bar() nounwind
  23   br label %exit
  24 exit:
  25   ret void
  26 }
  27
  28 declare void @bar ()