llvm/llvm/test/CodeGen/PowerPC/pr74951.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
; RUN: llc < %s -start-before=codegenprepare -verify-machineinstrs -ppc-asm-full-reg-names \
; RUN:   -mtriple=powerpc64-ibm-aix-xcoff | FileCheck %s

%struct.anon = type { i32 }

@b = local_unnamed_addr global %struct.anon { i32 -1 }, align 4
@g = local_unnamed_addr global [1 x i1] zeroinitializer, align 1

define noundef signext i32 @main() {
; CHECK-LABEL: main:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    ld r3, L..C0(r2) # @b
; CHECK-NEXT:    lwz r3, 0(r3)
; CHECK-NEXT:    andi. r4, r3, 65535
; CHECK-NEXT:    bne cr0, L..BB0_4
; CHECK-NEXT:  # %bb.1: # %lor.rhs.i.i
; CHECK-NEXT:    extsw r4, r3
; CHECK-NEXT:    neg r5, r4
; CHECK-NEXT:    rldicl r5, r5, 1, 63
; CHECK-NEXT:    xori r5, r5, 1
; CHECK-NEXT:    cmpw r4, r5
; CHECK-NEXT:    crnot 4*cr5+lt, eq
; CHECK-NEXT:    li r4, 1
; CHECK-NEXT:    bc 12, 4*cr5+lt, L..BB0_3
; CHECK-NEXT:  # %bb.2: # %lor.rhs.i.i
; CHECK-NEXT:    li r4, 0
; CHECK-NEXT:  L..BB0_3: # %lor.rhs.i.i
; CHECK-NEXT:    ld r5, L..C1(r2) # @g
; CHECK-NEXT:    stb r4, 0(r5)
; CHECK-NEXT:  L..BB0_4: # %g.exit
; CHECK-NEXT:    ld r4, L..C1(r2) # @g
; CHECK-NEXT:    neg r3, r3
; CHECK-NEXT:    rldicl r5, r3, 1, 63
; CHECK-NEXT:    li r3, 0
; CHECK-NEXT:    stb r5, 0(r4)
; CHECK-NEXT:    blr
entry:
  %0 = load i32, ptr @b, align 4
  %conv4.i = sext i32 %0 to i64
  %cmp.i = icmp slt i32 %0, 1
  %conv.i = zext i1 %cmp.i to i32
  %cmp1.i = icmp ne i32 %0, %conv.i
  %conv3.i = trunc i32 %0 to i16
  %tobool.not.i.i = icmp eq i16 %conv3.i, 0
  br i1 %tobool.not.i.i, label %lor.rhs.i.i, label %g.exit

lor.rhs.i.i:                                      ; preds = %entry
  store i1 %cmp1.i, ptr @g, align 1
  br label %g.exit

g.exit:                                           ; preds = %lor.end.i.i
  %4 = trunc i64 %conv4.i to i32
  %cmp.i9.i = icmp sgt i32 %4, 0
  store i1 %cmp.i9.i, ptr @g, align 1
  ret i32 0
}