Kai Nacke 5403c59c60 [PPC] Opaque pointer migration, part 2.
The LIT test cases were migrated with the script provided by
Nikita Popov. Due to the size of the change it is split into
several parts.

Reviewed By: nemanja, nikic

Differential Revision: https://reviews.llvm.org/D135474
2022-10-11 17:24:06 +00:00

38 lines
1.3 KiB
LLVM

; RUN: llc -verify-machineinstrs -mcpu=ppc64 < %s | FileCheck %s
target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu"
; Function Attrs: noreturn nounwind
define signext i32 @_Z1fRPc(ptr nocapture dereferenceable(8) %p) #0 {
entry:
%.pre = load ptr, ptr %p, align 8
br label %loop
loop: ; preds = %loop.backedge, %entry
%0 = phi ptr [ %.pre, %entry ], [ %.be, %loop.backedge ]
%1 = load i8, ptr %0, align 1
%tobool = icmp eq i8 %1, 0
%incdec.ptr = getelementptr inbounds i8, ptr %0, i64 1
store ptr %incdec.ptr, ptr %p, align 8
%2 = load i8, ptr %incdec.ptr, align 1
%tobool2 = icmp ne i8 %2, 0
%or.cond = and i1 %tobool, %tobool2
br i1 %or.cond, label %if.then3, label %loop.backedge
if.then3: ; preds = %loop
%incdec.ptr4 = getelementptr inbounds i8, ptr %0, i64 2
store ptr %incdec.ptr4, ptr %p, align 8
br label %loop.backedge
loop.backedge: ; preds = %if.then3, %loop
%.be = phi ptr [ %incdec.ptr4, %if.then3 ], [ %incdec.ptr, %loop ]
br label %loop
; CHECK-LABEL: @_Z1fRPc
; CHECK-NOT: rlwinm {{[0-9]+}}, {{[0-9]+}}, 0, 24, 31
; CHECK-NOT: clrlwi {{[0-9]+}}, {{[0-9]+}}, 24
}
attributes #0 = { noreturn nounwind }