llvm/test/CodeGen/PowerPC/zext-free.ll

   1 ; RUN: llc -verify-machineinstrs -mcpu=ppc64 < %s | FileCheck %s
   2 target datalayout = "E-m:e-i64:64-n32:64"
   3 target triple = "powerpc64-unknown-linux-gnu"
   4
   5 ; Function Attrs: noreturn nounwind
   6 define signext i32 @_Z1fRPc(ptr nocapture dereferenceable(8) %p) #0 {
   7 entry:
   8   %.pre = load ptr, ptr %p, align 8
   9   br label %loop
  10
  11 loop:                                             ; preds = %loop.backedge, %entry
  12   %0 = phi ptr [ %.pre, %entry ], [ %.be, %loop.backedge ]
  13   %1 = load i8, ptr %0, align 1
  14   %tobool = icmp eq i8 %1, 0
  15   %incdec.ptr = getelementptr inbounds i8, ptr %0, i64 1
  16   store ptr %incdec.ptr, ptr %p, align 8
  17   %2 = load i8, ptr %incdec.ptr, align 1
  18   %tobool2 = icmp ne i8 %2, 0
  19   %or.cond = and i1 %tobool, %tobool2
  20   br i1 %or.cond, label %if.then3, label %loop.backedge
  21
  22 if.then3:                                         ; preds = %loop
  23   %incdec.ptr4 = getelementptr inbounds i8, ptr %0, i64 2
  24   store ptr %incdec.ptr4, ptr %p, align 8
  25   br label %loop.backedge
  26
  27 loop.backedge:                                    ; preds = %if.then3, %loop
  28   %.be = phi ptr [ %incdec.ptr4, %if.then3 ], [ %incdec.ptr, %loop ]
  29   br label %loop
  30
  31 ; CHECK-LABEL: @_Z1fRPc
  32 ; CHECK-NOT: rlwinm {{[0-9]+}}, {{[0-9]+}}, 0, 24, 31
  33 ; CHECK-NOT: clrlwi {{[0-9]+}}, {{[0-9]+}}, 24
  34 }
  35
  36 attributes #0 = { noreturn nounwind }
  37