; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
; RUN: llc -verify-machineinstrs < %s -O3 -mcpu=ppc -mtriple powerpc-ibm-aix \
; RUN:     -ppc-asm-full-reg-names | FileCheck %s

define i32 @foo(i32 noundef signext %x) {
; CHECK-LABEL: foo:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    mflr r0
; CHECK-NEXT:    stwu r1, -64(r1)
; CHECK-NEXT:    stw r0, 72(r1)
; CHECK-NEXT:    cmpwi r3, 8
; CHECK-NEXT:    stw r31, 60(r1) # 4-byte Folded Spill
; CHECK-NEXT:    mr r31, r3
; CHECK-NEXT:    li r3, 0
; CHECK-NEXT:    ble cr0, L..BB0_4
; CHECK-NEXT:  # %bb.1: # %entry
; CHECK-NEXT:    cmpwi r31, 11
; CHECK-NEXT:    bge cr0, L..BB0_7
; CHECK-NEXT:  # %bb.2: # %entry
; CHECK-NEXT:    cmplwi r31, 9
; CHECK-NEXT:    beq cr0, L..BB0_9
; CHECK-NEXT:  # %bb.3: # %entry
; CHECK-NEXT:    cmplwi r31, 10
; CHECK-NEXT:    beq cr0, L..BB0_11
; CHECK-NEXT:    b L..BB0_13
; CHECK-NEXT:  L..BB0_4: # %entry
; CHECK-NEXT:    cmplwi r31, 4
; CHECK-NEXT:    beq cr0, L..BB0_12
; CHECK-NEXT:  # %bb.5: # %entry
; CHECK-NEXT:    cmplwi r31, 7
; CHECK-NEXT:    beq cr0, L..BB0_11
; CHECK-NEXT:  # %bb.6: # %entry
; CHECK-NEXT:    cmplwi r31, 8
; CHECK-NEXT:    beq cr0, L..BB0_10
; CHECK-NEXT:    b L..BB0_13
; CHECK-NEXT:  L..BB0_7: # %entry
; CHECK-NEXT:    beq cr0, L..BB0_10
; CHECK-NEXT:  # %bb.8: # %entry
; CHECK-NEXT:    cmplwi r31, 12
; CHECK-NEXT:    bne cr0, L..BB0_13
; CHECK-NEXT:  L..BB0_9: # %sw.bb2
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    bl .foo3[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    b L..BB0_13
; CHECK-NEXT:  L..BB0_10: # %sw.bb1
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    bl .foo2[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    b L..BB0_13
; CHECK-NEXT:  L..BB0_11: # %sw.bb
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    bl .foo1[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    b L..BB0_13
; CHECK-NEXT:  L..BB0_12: # %sw.bb3
; CHECK-NEXT:    li r3, 4
; CHECK-NEXT:    bl .foo4[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:    li r3, 4
; CHECK-NEXT:  L..BB0_13: # %return
; CHECK-NEXT:    lwz r31, 60(r1) # 4-byte Folded Reload
; CHECK-NEXT:    addi r1, r1, 64
; CHECK-NEXT:    lwz r0, 8(r1)
; CHECK-NEXT:    mtlr r0
; CHECK-NEXT:    blr
entry:
  switch i32 %x, label %return [
  i32 7, label %sw.bb
  i32 10, label %sw.bb
  i32 8, label %sw.bb1
  i32 11, label %sw.bb1
  i32 9, label %sw.bb2
  i32 12, label %sw.bb2
  i32 4, label %sw.bb3
  ]

sw.bb:                                            ; preds = %entry, %entry
  tail call void @foo1(i32 noundef signext %x)
  br label %return

sw.bb1:                                           ; preds = %entry, %entry
  tail call void @foo2(i32 noundef signext %x)
  br label %return

sw.bb2:                                           ; preds = %entry, %entry
  tail call void @foo3(i32 noundef signext %x)
  br label %return

sw.bb3:                                           ; preds = %entry
  tail call void @foo4(i32 noundef signext 4)
  br label %return

return:                                           ; preds = %sw.bb, %sw.bb1, %sw.bb2, %sw.bb3, %entry
  %retval.0 = phi i32 [ 0, %entry ], [ 4, %sw.bb3 ], [ %x, %sw.bb2 ], [ %x, %sw.bb1 ], [ %x, %sw.bb ]
  ret i32 %retval.0
}

define i32 @goo(i32 noundef signext %x) {
; CHECK-LABEL: goo:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    mflr r0
; CHECK-NEXT:    stwu r1, -64(r1)
; CHECK-NEXT:    stw r0, 72(r1)
; CHECK-NEXT:    cmplwi r3, 12
; CHECK-NEXT:    stw r31, 60(r1) # 4-byte Folded Spill
; CHECK-NEXT:    mr r31, r3
; CHECK-NEXT:    bgt cr0, L..BB1_7
; CHECK-NEXT:  # %bb.1: # %entry
; CHECK-NEXT:    li r3, 1
; CHECK-NEXT:    slw r3, r3, r31
; CHECK-NEXT:    andi. r4, r3, 5632
; CHECK-NEXT:    bne cr0, L..BB1_4
; CHECK-NEXT:  # %bb.2: # %entry
; CHECK-NEXT:    andi. r3, r3, 2304
; CHECK-NEXT:    beq cr0, L..BB1_5
; CHECK-NEXT:  # %bb.3: # %sw.bb1
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    bl .foo2[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:    b L..BB1_9
; CHECK-NEXT:  L..BB1_4: # %sw.bb2
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    bl .foo3[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:    b L..BB1_9
; CHECK-NEXT:  L..BB1_5: # %entry
; CHECK-NEXT:    cmplwi r31, 7
; CHECK-NEXT:    bne cr0, L..BB1_7
; CHECK-NEXT:  # %bb.6: # %sw.bb
; CHECK-NEXT:    li r3, 7
; CHECK-NEXT:    li r31, 7
; CHECK-NEXT:    bl .foo1[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:    b L..BB1_9
; CHECK-NEXT:  L..BB1_7: # %entry
; CHECK-NEXT:    cmplwi r31, 4
; CHECK-NEXT:    li r31, 0
; CHECK-NEXT:    bne cr0, L..BB1_9
; CHECK-NEXT:  # %bb.8: # %sw.bb3
; CHECK-NEXT:    li r3, 4
; CHECK-NEXT:    li r31, 4
; CHECK-NEXT:    bl .foo4[PR]
; CHECK-NEXT:    nop
; CHECK-NEXT:  L..BB1_9: # %return
; CHECK-NEXT:    mr r3, r31
; CHECK-NEXT:    lwz r31, 60(r1) # 4-byte Folded Reload
; CHECK-NEXT:    addi r1, r1, 64
; CHECK-NEXT:    lwz r0, 8(r1)
; CHECK-NEXT:    mtlr r0
; CHECK-NEXT:    blr
entry:
  switch i32 %x, label %return [
  i32 7, label %sw.bb
  i32 8, label %sw.bb1
  i32 11, label %sw.bb1
  i32 9, label %sw.bb2
  i32 10, label %sw.bb2
  i32 12, label %sw.bb2
  i32 4, label %sw.bb3
  ]

sw.bb:                                            ; preds = %entry
  tail call void @foo1(i32 noundef signext 7)
  br label %return

sw.bb1:                                           ; preds = %entry, %entry
  tail call void @foo2(i32 noundef signext %x)
  br label %return

sw.bb2:                                           ; preds = %entry, %entry, %entry
  tail call void @foo3(i32 noundef signext %x)
  br label %return

sw.bb3:                                           ; preds = %entry
  tail call void @foo4(i32 noundef signext 4)
  br label %return

return:                                           ; preds = %sw.bb, %sw.bb1, %sw.bb2, %sw.bb3, %entry
  %retval.0 = phi i32 [ 0, %entry ], [ 4, %sw.bb3 ], [ %x, %sw.bb2 ], [ %x, %sw.bb1 ], [ 7, %sw.bb ]
  ret i32 %retval.0
}

declare void @foo1(i32 noundef signext)

declare void @foo2(i32 noundef signext)

declare void @foo3(i32 noundef signext)

declare void @foo4(i32 noundef signext)