[PowerPC][NFC] expose issue on absol-jump-table-enabled.ll (relocation-model=pic + ppc-use-absolute-jumptables)

[tingwang]

Summary

To me, it is expected that when ppc-use-absolute-jumptables is turned on, jump table entries should use MachineJumpTableInfo::EK_BlockAddress encoding.

However added test cases show otherwise...

[tingwang]

llvm/test/CodeGen/PowerPC/absol-jump-table-enabled.ll

73

Expected absolute.

79

Expected absolute.

85

Expected absolute.

llvm/test/CodeGen/PowerPC/absol-jump-table-enabled.ll

 ; NOTE: This test case generates a jump table on PowerPC big and little endian
 ; NOTE: then verifies that the command line option to enable absolute jump
 ; NOTE: table works correctly.
 ; RUN:  llc -mtriple=powerpc64le-unknown-linux-gnu -o - \
 ; RUN:      -ppc-use-absolute-jumptables -ppc-asm-full-reg-names \
 ; RUN:      -verify-machineinstrs %s | FileCheck %s -check-prefix=CHECK-LE
 ; RUN:  llc -mtriple=powerpc64-unknown-linux-gnu -o - \
 ; RUN:      -ppc-use-absolute-jumptables -ppc-asm-full-reg-names \
 ; RUN:      -verify-machineinstrs %s | FileCheck %s -check-prefix=CHECK-BE
+; RUN:  llc -mtriple=powerpc64-ibm-aix-xcoff -o - \
+; RUN:      -ppc-use-absolute-jumptables -ppc-asm-full-reg-names \
+; RUN:      -verify-machineinstrs %s | FileCheck %s -check-prefix=CHECK-AIX
+; RUN:  llc -mtriple=powerpc64le-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=true --relocation-model=pic < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-A-PIC-LE
+; RUN:  llc -mtriple=powerpc64le-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=false --relocation-model=pic < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-R-PIC-LE
+; RUN:  llc -mtriple=powerpc64-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=true --relocation-model=pic < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-A-PIC-BE
+; RUN:  llc -mtriple=powerpc64-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=false --relocation-model=pic < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-R-PIC-BE
+; RUN:  llc -mtriple=powerpc64-ibm-aix-xcoff -o - \
+; RUN:      -ppc-use-absolute-jumptables=true --relocation-model=pic < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-A-PIC-AIX
+; RUN:  llc -mtriple=powerpc64-ibm-aix-xcoff -o - \
+; RUN:      -ppc-use-absolute-jumptables=false --relocation-model=pic < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-R-PIC-AIX
+; RUN:  llc -mtriple=powerpc64le-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=true --relocation-model=static < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-A-STATIC-LE
+; RUN:  llc -mtriple=powerpc64le-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=false --relocation-model=static < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-R-STATIC-LE
+; RUN:  llc -mtriple=powerpc64-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=true --relocation-model=static < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-A-STATIC-BE
+; RUN:  llc -mtriple=powerpc64-unknown-linux-gnu -o - \
+; RUN:      -ppc-use-absolute-jumptables=false --relocation-model=static < %s | FileCheck %s \
+; RUN:      -check-prefix=CHECK-R-STATIC-BE
 
 %struct.node = type { i8, ptr }
 
 ; Function Attrs: norecurse nounwind readonly
 define zeroext i32 @jumpTableTest(ptr readonly %list) {
 ; CHECK-LE-LABEL: jumpTableTest:
 ; CHECK-LE:       # %bb.0: # %entry
 ; CHECK-LE:       rldic r[[REG:[0-9]+]], r[[REG]], 3, 29
 ; CHECK-LE:       ldx r[[REG]], r[[REG]], r[[REG1:[0-9]+]]
 ; CHECK-LE:       mtctr r[[REG]]
 ; CHECK-LE:       bctr
 ; CHECK-LE:       blr
 ;
 ; CHECK-BE-LABEL: jumpTableTest:
 ; CHECK-BE:       # %bb.0: # %entry
 ; CHECK-BE:       rldic r[[REG:[0-9]+]], r[[REG]], 2, 30
 ; CHECK-BE:       lwax r[[REG]], r[[REG]], r[[REG1:[0-9]+]]
 ; CHECK-BE:       mtctr r[[REG]]
 ; CHECK-BE:       bctr
 ; CHECK-BE:       blr
+;
+; CHECK-AIX-LABEL: jumpTableTest:
+; CHECK-AIX:       # %bb.0: # %entry
+; CHECK-AIX:       rldic r[[REG:[0-9]+]], r[[REG]], 2, 30
+; CHECK-AIX:       lwax r[[REG]], r[[REG]], r[[REG1:[0-9]+]]
+; CHECK-AIX:       mtctr r[[REG]]
+; CHECK-AIX:       bctr
+; CHECK-AIX:       blr
+;
+; CHECK-A-PIC-LE-LABEL:       .LJTI0_0:
+; CHECK-A-PIC-LE:             .long   .LBB0_6-.LJTI0_0
+;
+; CHECK-R-PIC-LE-LABEL:       .LJTI0_0:
+; CHECK-R-PIC-LE:             .long   .LBB0_6-.LJTI0_0
+;
+; CHECK-A-PIC-BE-LABEL:       .LJTI0_0:
+; CHECK-A-PIC-BE:             .long   .LBB0_9-.LJTI0_0
+;
+; CHECK-R-PIC-BE-LABEL:       .LJTI0_0:
+; CHECK-R-PIC-BE:             .long   .LBB0_9-.LJTI0_0
+;
+; CHECK-A-PIC-AIX-LABEL:      L..JTI0_0:
+; CHECK-A-PIC-AIX:            .vbyte  4, L..BB0_9-L..JTI0_0
+;
+; CHECK-R-PIC-AIX-LABEL:      L..JTI0_0:
+; CHECK-R-PIC-AIX:            .vbyte  4, L..BB0_9-L..JTI0_0
+;
+; CHECK-A-STATIC-LE-LABEL:    .LJTI0_0:
+; CHECK-A-STATIC-LE:          .quad   .LBB0_6
+;
+; CHECK-R-STATIC-LE-LABEL:    .LJTI0_0:
+; CHECK-R-STATIC-LE:          .long   .LBB0_6-.LJTI0_0
+;
+; CHECK-A-STATIC-BE-LABEL:    .LJTI0_0:
+; CHECK-A-STATIC-BE:          .quad   .LBB0_9
+;
+; CHECK-R-STATIC-BE-LABEL:    .LJTI0_0:
+; CHECK-R-STATIC-BE:          .long   .LBB0_9-.LJTI0_0
 entry:
   %cmp36 = icmp eq ptr %list, null
   br i1 %cmp36, label %while.end, label %while.body
 
 while.body:                                       ; preds = %entry, %sw.epilog
   %result.038 = phi i32 [ %result.1, %sw.epilog ], [ 0, %entry ]
   %current.037 = phi ptr [ %spec.store.select, %sw.epilog ], [ %list, %entry ]
   %next1 = getelementptr inbounds %struct.node, ptr %current.037, i64 0, i32 1