test/CodeGen/AArch64/arm64-extload-knownzero.ll

   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 ()