llvm/test/CodeGen/PowerPC/aix-lower-jump-table-mir.ll

; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 2
; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc-ibm-aix-xcoff \
; RUN: -ppc-min-jump-table-entries=4 -code-model=small -stop-after=machine-cp < %s | FileCheck \
; RUN: --check-prefix=32SMALL-MIR %s

; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc-ibm-aix-xcoff \
; RUN: -ppc-min-jump-table-entries=4 -code-model=large -stop-after=machine-cp < %s | FileCheck \
; RUN: --check-prefix=32LARGE-MIR %s

; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc64-ibm-aix-xcoff \
; RUN: -ppc-min-jump-table-entries=4 -code-model=small -stop-after=machine-cp < %s | FileCheck \
; RUN: --check-prefix=64SMALL-MIR %s

; RUN: llc -verify-machineinstrs -mcpu=pwr7 -mattr=-altivec -mtriple powerpc64-ibm-aix-xcoff \
; RUN: -ppc-min-jump-table-entries=4 -code-model=large -stop-after=machine-cp < %s | FileCheck \
; RUN: --check-prefix=64LARGE-MIR %s

define i32 @jump_table(i32 %a) {
  ; 32SMALL-MIR-LABEL: name: jump_table
  ; 32SMALL-MIR: bb.0.entry:
  ; 32SMALL-MIR-NEXT:   successors: %bb.6(0x19999998), %bb.1(0x66666668)
  ; 32SMALL-MIR-NEXT:   liveins: $r3
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT:   renamable $r3 = ADDI killed renamable $r3, -1
  ; 32SMALL-MIR-NEXT:   renamable $cr0 = CMPLWI renamable $r3, 3
  ; 32SMALL-MIR-NEXT:   BCC 44, killed renamable $cr0, %bb.6
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT: bb.1.entry:
  ; 32SMALL-MIR-NEXT:   successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
  ; 32SMALL-MIR-NEXT:   liveins: $r3
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT:   renamable $r3 = RLWINM killed renamable $r3, 2, 0, 29
  ; 32SMALL-MIR-NEXT:   renamable $r4 = LWZtoc %jump-table.0, $r2 :: (load (s32) from got)
  ; 32SMALL-MIR-NEXT:   renamable $r3 = LWZX renamable $r4, killed renamable $r3 :: (load (s32) from jump-table)
  ; 32SMALL-MIR-NEXT:   renamable $r3 = ADD4 killed renamable $r4, killed renamable $r3
  ; 32SMALL-MIR-NEXT:   MTCTR killed renamable $r3, implicit-def $ctr
  ; 32SMALL-MIR-NEXT:   BCTR implicit $ctr
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT: bb.2.sw.bb:
  ; 32SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32SMALL-MIR-NEXT:   B %bb.6
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT: bb.3.sw.bb1:
  ; 32SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32SMALL-MIR-NEXT:   B %bb.6
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT: bb.4.sw.bb2:
  ; 32SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32SMALL-MIR-NEXT:   B %bb.6
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT: bb.5.sw.bb3:
  ; 32SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32SMALL-MIR-NEXT: {{  $}}
  ; 32SMALL-MIR-NEXT: bb.6.sw.epilog:
  ; 32SMALL-MIR-NEXT:   $r3 = LI 0
  ; 32SMALL-MIR-NEXT:   BLR implicit $lr, implicit $rm, implicit $r3
  ;
  ; 32LARGE-MIR-LABEL: name: jump_table
  ; 32LARGE-MIR: bb.0.entry:
  ; 32LARGE-MIR-NEXT:   successors: %bb.6(0x19999998), %bb.1(0x66666668)
  ; 32LARGE-MIR-NEXT:   liveins: $r3
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT:   renamable $r3 = ADDI killed renamable $r3, -1
  ; 32LARGE-MIR-NEXT:   renamable $cr0 = CMPLWI renamable $r3, 3
  ; 32LARGE-MIR-NEXT:   BCC 44, killed renamable $cr0, %bb.6
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT: bb.1.entry:
  ; 32LARGE-MIR-NEXT:   successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
  ; 32LARGE-MIR-NEXT:   liveins: $r3
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT:   renamable $r3 = RLWINM killed renamable $r3, 2, 0, 29
  ; 32LARGE-MIR-NEXT:   renamable $r4 = ADDIStocHA $r2, %jump-table.0
  ; 32LARGE-MIR-NEXT:   renamable $r4 = LWZtocL %jump-table.0, killed renamable $r4, implicit $r2 :: (load (s32) from got)
  ; 32LARGE-MIR-NEXT:   renamable $r3 = LWZX renamable $r4, killed renamable $r3 :: (load (s32) from jump-table)
  ; 32LARGE-MIR-NEXT:   renamable $r3 = ADD4 killed renamable $r4, killed renamable $r3
  ; 32LARGE-MIR-NEXT:   MTCTR killed renamable $r3, implicit-def $ctr
  ; 32LARGE-MIR-NEXT:   BCTR implicit $ctr
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT: bb.2.sw.bb:
  ; 32LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32LARGE-MIR-NEXT:   B %bb.6
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT: bb.3.sw.bb1:
  ; 32LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32LARGE-MIR-NEXT:   B %bb.6
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT: bb.4.sw.bb2:
  ; 32LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32LARGE-MIR-NEXT:   B %bb.6
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT: bb.5.sw.bb3:
  ; 32LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 32LARGE-MIR-NEXT: {{  $}}
  ; 32LARGE-MIR-NEXT: bb.6.sw.epilog:
  ; 32LARGE-MIR-NEXT:   $r3 = LI 0
  ; 32LARGE-MIR-NEXT:   BLR implicit $lr, implicit $rm, implicit $r3
  ;
  ; 64SMALL-MIR-LABEL: name: jump_table
  ; 64SMALL-MIR: bb.0.entry:
  ; 64SMALL-MIR-NEXT:   successors: %bb.6(0x19999998), %bb.1(0x66666668)
  ; 64SMALL-MIR-NEXT:   liveins: $x3
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT:   renamable $r3 = ADDI renamable $r3, -1, implicit killed $x3, implicit-def $x3
  ; 64SMALL-MIR-NEXT:   renamable $cr0 = CMPLWI renamable $r3, 3
  ; 64SMALL-MIR-NEXT:   BCC 44, killed renamable $cr0, %bb.6
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT: bb.1.entry:
  ; 64SMALL-MIR-NEXT:   successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
  ; 64SMALL-MIR-NEXT:   liveins: $x3
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT:   renamable $x3 = RLDIC killed renamable $x3, 2, 30
  ; 64SMALL-MIR-NEXT:   renamable $x4 = LDtocJTI %jump-table.0, $x2 :: (load (s64) from got)
  ; 64SMALL-MIR-NEXT:   renamable $x3 = LWAX renamable $x4, killed renamable $x3 :: (load (s32) from jump-table)
  ; 64SMALL-MIR-NEXT:   renamable $x3 = ADD8 killed renamable $x4, killed renamable $x3
  ; 64SMALL-MIR-NEXT:   MTCTR8 killed renamable $x3, implicit-def $ctr8
  ; 64SMALL-MIR-NEXT:   BCTR8 implicit $ctr8
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT: bb.2.sw.bb:
  ; 64SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64SMALL-MIR-NEXT:   B %bb.6
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT: bb.3.sw.bb1:
  ; 64SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64SMALL-MIR-NEXT:   B %bb.6
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT: bb.4.sw.bb2:
  ; 64SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64SMALL-MIR-NEXT:   B %bb.6
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT: bb.5.sw.bb3:
  ; 64SMALL-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64SMALL-MIR-NEXT: {{  $}}
  ; 64SMALL-MIR-NEXT: bb.6.sw.epilog:
  ; 64SMALL-MIR-NEXT:   $x3 = LI8 0
  ; 64SMALL-MIR-NEXT:   BLR8 implicit $lr8, implicit $rm, implicit $x3
  ;
  ; 64LARGE-MIR-LABEL: name: jump_table
  ; 64LARGE-MIR: bb.0.entry:
  ; 64LARGE-MIR-NEXT:   successors: %bb.6(0x19999998), %bb.1(0x66666668)
  ; 64LARGE-MIR-NEXT:   liveins: $x3
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT:   renamable $r3 = ADDI renamable $r3, -1, implicit killed $x3, implicit-def $x3
  ; 64LARGE-MIR-NEXT:   renamable $cr0 = CMPLWI renamable $r3, 3
  ; 64LARGE-MIR-NEXT:   BCC 44, killed renamable $cr0, %bb.6
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT: bb.1.entry:
  ; 64LARGE-MIR-NEXT:   successors: %bb.2(0x20000000), %bb.3(0x20000000), %bb.4(0x20000000), %bb.5(0x20000000)
  ; 64LARGE-MIR-NEXT:   liveins: $x3
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT:   renamable $x3 = RLDIC killed renamable $x3, 2, 30
  ; 64LARGE-MIR-NEXT:   renamable $x4 = ADDIStocHA8 $x2, %jump-table.0
  ; 64LARGE-MIR-NEXT:   renamable $x4 = LDtocL %jump-table.0, killed renamable $x4, implicit $x2 :: (load (s64) from got)
  ; 64LARGE-MIR-NEXT:   renamable $x3 = LWAX renamable $x4, killed renamable $x3 :: (load (s32) from jump-table)
  ; 64LARGE-MIR-NEXT:   renamable $x3 = ADD8 killed renamable $x4, killed renamable $x3
  ; 64LARGE-MIR-NEXT:   MTCTR8 killed renamable $x3, implicit-def $ctr8
  ; 64LARGE-MIR-NEXT:   BCTR8 implicit $ctr8
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT: bb.2.sw.bb:
  ; 64LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64LARGE-MIR-NEXT:   B %bb.6
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT: bb.3.sw.bb1:
  ; 64LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64LARGE-MIR-NEXT:   B %bb.6
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT: bb.4.sw.bb2:
  ; 64LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64LARGE-MIR-NEXT:   B %bb.6
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT: bb.5.sw.bb3:
  ; 64LARGE-MIR-NEXT:   successors: %bb.6(0x80000000)
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT:   INLINEASM &"", 1 /* sideeffect attdialect */
  ; 64LARGE-MIR-NEXT: {{  $}}
  ; 64LARGE-MIR-NEXT: bb.6.sw.epilog:
  ; 64LARGE-MIR-NEXT:   $x3 = LI8 0
  ; 64LARGE-MIR-NEXT:   BLR8 implicit $lr8, implicit $rm, implicit $x3
entry:
  switch i32 %a, label %sw.epilog [
    i32 1, label %sw.bb
    i32 2, label %sw.bb1
    i32 3, label %sw.bb2
    i32 4, label %sw.bb3
  ]

sw.bb:
  tail call void asm sideeffect "", ""()
  br label %sw.epilog

sw.bb1:
  tail call void asm sideeffect "", ""()
  br label %sw.epilog

sw.bb2:
  tail call void asm sideeffect "", ""()
  br label %sw.epilog

sw.bb3:
  tail call void asm sideeffect "", ""()
  br label %sw.epilog

sw.epilog:
  ret i32 0
}