[NFC] Fix the PowerPC broken cases in D152215.

Reviewed By: qiucf Differential Revision: https://reviews.llvm.org/D159052
llvm · Sep 1, 2023 · a69cb20 · a69cb20
1 parent 067bd7d
commit a69cb20
Show file tree

Hide file tree

Showing 3 changed files with 364 additions and 167 deletions.
diff --git a/llvm/test/CodeGen/PowerPC/aix-lower-jump-table-mir.ll b/llvm/test/CodeGen/PowerPC/aix-lower-jump-table-mir.ll
@@ -0,0 +1,234 @@
+; 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 $r4 = LWZtoc %jump-table.0, $r2 :: (load (s32) from got)
+  ; 32SMALL-MIR-NEXT:   renamable $r3 = RLWINM killed renamable $r3, 2, 0, 29
+  ; 32SMALL-MIR-NEXT:   renamable $r3 = LWZX killed renamable $r3, renamable $r4 :: (load (s32) from jump-table)
+  ; 32SMALL-MIR-NEXT:   renamable $r3 = ADD4 killed renamable $r3, killed renamable $r4
+  ; 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 $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 = RLWINM killed renamable $r3, 2, 0, 29
+  ; 32LARGE-MIR-NEXT:   renamable $r3 = LWZX killed renamable $r3, renamable $r4 :: (load (s32) from jump-table)
+  ; 32LARGE-MIR-NEXT:   renamable $r3 = ADD4 killed renamable $r3, killed renamable $r4
+  ; 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 $x4 = LDtocJTI %jump-table.0, $x2 :: (load (s64) from got)
+  ; 64SMALL-MIR-NEXT:   renamable $x3 = RLDIC killed renamable $x3, 2, 30
+  ; 64SMALL-MIR-NEXT:   renamable $x3 = LWAX killed renamable $x3, renamable $x4 :: (load (s32) from jump-table)
+  ; 64SMALL-MIR-NEXT:   renamable $x3 = ADD8 killed renamable $x3, killed renamable $x4
+  ; 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 $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 = RLDIC killed renamable $x3, 2, 30
+  ; 64LARGE-MIR-NEXT:   renamable $x3 = LWAX killed renamable $x3, renamable $x4 :: (load (s32) from jump-table)
+  ; 64LARGE-MIR-NEXT:   renamable $x3 = ADD8 killed renamable $x3, killed renamable $x4
+  ; 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
+}