llvm/test/CodeGen/ARM/extload-knownzero.ll

   1 ; RUN: llc -mtriple=arm-eabi -mcpu=cortex-a8 %s -o - | FileCheck %s
   2 ; rdar://12771555
   3
   4 define void @foo(ptr %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: ldrh
  11   %tmp2 = load i16, ptr %ptr, align 2
  12   br label %bb2
  13 bb2:
  14 ; CHECK-NOT: uxth
  15 ; CHECK: cmp
  16   %tmp3 = phi i16 [ 0, %entry ], [ %tmp2, %bb1 ]
  17   %cmp = icmp ult i16 %tmp3, 24
  18   br i1 %cmp, label %bb3, label %exit
  19 bb3:
  20   call void @bar() nounwind
  21   br label %exit
  22 exit:
  23   ret void
  24 }
  25
  26 declare void @bar ()