blob: b06a384d73b302e3049e60fffd0693f54609080f [file] [log] [blame]
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu < %s | FileCheck %s
; Test that we recognize that an 'and' instruction that feeds a comparison
; to zero can be simplifed by using the record form when one of its operands
; is known to be zero extended.
@k = common local_unnamed_addr global i32 0, align 4
; Function Attrs: norecurse nounwind
define signext i32 @cmplwi(i32* nocapture readonly %p, i32* nocapture readonly %q, i32 signext %j, i32 signext %r10) {
entry:
%0 = load i32, i32* %q, align 4
%shl = shl i32 %0, %j
%1 = load i32, i32* %p, align 4
%and = and i32 %shl, %r10
%and1 = and i32 %and, %1
%tobool = icmp eq i32 %and1, 0
br i1 %tobool, label %cleanup, label %if.then
if.then:
store i32 %j, i32* @k, align 4
br label %cleanup
cleanup:
%retval.0 = phi i32 [ 0, %if.then ], [ 1, %entry ]
ret i32 %retval.0
}
; CHECK-LABEL: cmplwi:
; CHECK: lwz [[T1:[0-9]+]], 0(3)
; CHECK: and. {{[0-9]+}}, {{[0-9]+}}, [[T1]]
; CHECK-NOT: cmplwi
; CHECK-NEXT: beq 0,