1; RUN: llc -verify-machineinstrs -mcpu=ppc64 < %s | FileCheck %s 2target datalayout = "E-m:e-i64:64-n32:64" 3target triple = "powerpc64-unknown-linux-gnu" 4 5; Function Attrs: noreturn nounwind 6define signext i32 @_Z1fRPc(i8** nocapture dereferenceable(8) %p) #0 { 7entry: 8 %.pre = load i8*, i8** %p, align 8 9 br label %loop 10 11loop: ; preds = %loop.backedge, %entry 12 %0 = phi i8* [ %.pre, %entry ], [ %.be, %loop.backedge ] 13 %1 = load i8, i8* %0, align 1 14 %tobool = icmp eq i8 %1, 0 15 %incdec.ptr = getelementptr inbounds i8, i8* %0, i64 1 16 store i8* %incdec.ptr, i8** %p, align 8 17 %2 = load i8, i8* %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 22if.then3: ; preds = %loop 23 %incdec.ptr4 = getelementptr inbounds i8, i8* %0, i64 2 24 store i8* %incdec.ptr4, i8** %p, align 8 25 br label %loop.backedge 26 27loop.backedge: ; preds = %if.then3, %loop 28 %.be = phi i8* [ %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 36attributes #0 = { noreturn nounwind } 37 38