; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -verify-machineinstrs -mtriple=powerpc-unknown-linux-gnu \
; RUN:   -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s --check-prefix CHECK-32BIT
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \
; RUN:   -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s --check-prefix CHECK-64BIT

define dso_local zeroext range(i8 -1, 1) i8 @f(i8 noundef zeroext %x) {
; CHECK-32BIT-LABEL: f:
; CHECK-32BIT:       # %bb.0: # %entry
; CHECK-32BIT-NEXT:    addic r3, r3, -1
; CHECK-32BIT-NEXT:    subfe r3, r3, r3
; CHECK-32BIT-NEXT:    clrlwi r3, r3, 24
; CHECK-32BIT-NEXT:    blr
;
; CHECK-64BIT-LABEL: f:
; CHECK-64BIT:       # %bb.0: # %entry
; CHECK-64BIT-NEXT:    addic r3, r3, -1
; CHECK-64BIT-NEXT:    subfe r3, r3, r3
; CHECK-64BIT-NEXT:    clrldi r3, r3, 56
; CHECK-64BIT-NEXT:    blr
entry:
  %cmp = icmp eq i8 %x, 0
  %conv2 = sext i1 %cmp to i8
  ret i8 %conv2
}

define i32 @compare32(i64 %conv1) {
; CHECK-32BIT-LABEL: compare32:
; CHECK-32BIT:       # %bb.0: # %entry
; CHECK-32BIT-NEXT:    or r3, r4, r3
; CHECK-32BIT-NEXT:    addic r3, r3, -1
; CHECK-32BIT-NEXT:    subfe r3, r3, r3
; CHECK-32BIT-NEXT:    blr
;
; CHECK-64BIT-LABEL: compare32:
; CHECK-64BIT:       # %bb.0: # %entry
; CHECK-64BIT-NEXT:    addic r3, r3, -1
; CHECK-64BIT-NEXT:    subfe r3, r3, r3
; CHECK-64BIT-NEXT:    blr
entry:
  %tobool2.not = icmp eq i64 %conv1, 0
  %cond = sext i1 %tobool2.not to i32
  ret i32 %cond
}

define i64 @compare64(i32 %conv1) {
; CHECK-32BIT-LABEL: compare64:
; CHECK-32BIT:       # %bb.0: # %entry
; CHECK-32BIT-NEXT:    addic r3, r3, -1
; CHECK-32BIT-NEXT:    subfe r3, r3, r3
; CHECK-32BIT-NEXT:    mr r4, r3
; CHECK-32BIT-NEXT:    blr
;
; CHECK-64BIT-LABEL: compare64:
; CHECK-64BIT:       # %bb.0: # %entry
; CHECK-64BIT-NEXT:    clrldi r3, r3, 32
; CHECK-64BIT-NEXT:    addic r3, r3, -1
; CHECK-64BIT-NEXT:    subfe r3, r3, r3
; CHECK-64BIT-NEXT:    blr
entry:
  %tobool2.not = icmp eq i32 %conv1, 0
  %cond = sext i1 %tobool2.not to i64
  ret i64 %cond
}