[llvm] r363837 - [AArch64] Improve jump tables testing (NFC)
Evandro Menezes via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 19 09:35:31 PDT 2019
Author: evandro
Date: Wed Jun 19 09:35:30 2019
New Revision: 363837
URL: http://llvm.org/viewvc/llvm-project?rev=363837&view=rev
Log:
[AArch64] Improve jump tables testing (NFC)
Improve testing of the minimum and maximum sizes of jump tables.
Modified:
llvm/trunk/test/CodeGen/AArch64/max-jump-table.ll
llvm/trunk/test/CodeGen/AArch64/min-jump-table.ll
Modified: llvm/trunk/test/CodeGen/AArch64/max-jump-table.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/max-jump-table.ll?rev=363837&r1=363836&r2=363837&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/max-jump-table.ll (original)
+++ llvm/trunk/test/CodeGen/AArch64/max-jump-table.ll Wed Jun 19 09:35:30 2019
@@ -1,8 +1,9 @@
-; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK0 < %t
-; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -max-jump-table-size=4 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK4 < %t
-; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -max-jump-table-size=8 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK8 < %t
-; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -mcpu=exynos-m1 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECKM1 < %t
-; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -mcpu=exynos-m3 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECKM3 < %t
+; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK0 < %t
+; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -max-jump-table-size=4 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK4 < %t
+; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -max-jump-table-size=8 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK8 < %t
+; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -max-jump-table-size=16 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK16 < %t
+; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -mcpu=exynos-m1 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECKM1 < %t
+; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -mcpu=exynos-m3 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECKM3 < %t
declare void @ext(i32, i32)
@@ -99,3 +100,114 @@ bb5: tail call void @ext(i32 2, i32 5) b
bb6: tail call void @ext(i32 1, i32 6) br label %return
return: ret void
}
+
+define void @jt3(i32 %x) {
+entry:
+ switch i32 %x, label %return [
+ i32 1, label %bb1
+ i32 2, label %bb2
+ i32 3, label %bb3
+ i32 4, label %bb4
+
+ i32 14, label %bb5
+ i32 15, label %bb6
+ i32 16, label %bb7
+ i32 17, label %bb8
+
+ i32 19, label %bb9
+ i32 20, label %bb10
+
+ i32 22, label %bb11
+ i32 23, label %bb12
+ ]
+; CHECK-LABEL: function jt3:
+; CHECK-NEXT: Jump Tables:
+; CHECK0-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10 %bb.13 %bb.11 %bb.12
+; CHECK0-NOT: %jump-table.1
+; CHECK4-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4
+; CHECK4-SAME: %jump-table.1: %bb.5 %bb.6 %bb.7 %bb.8
+; CHECK4-NOT: %jump-table.2
+; CHECK8-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4
+; CHECK8-SAME: %jump-table.1: %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10
+; CHECK8-NOT: %jump-table.2
+; CHECK16-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.5 %bb.6 %bb.7
+; CHECK16-SAME: %jump-table.1: %bb.8 %bb.13 %bb.9 %bb.10 %bb.13 %bb.11 %bb.12
+; CHECK16-NOT: %jump-table.2
+; CHECKM1-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4
+; CHECKM1-SAME: %jump-table.1: %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10
+; CHECKM1-NOT: %jump-table.2
+; CHECKM3-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10
+; CHECKM3-NOT: %jump-table.1
+; CHECK-DAG: End machine code for function jt3.
+
+bb1: tail call void @ext(i32 1, i32 12) br label %return
+bb2: tail call void @ext(i32 2, i32 11) br label %return
+bb3: tail call void @ext(i32 3, i32 10) br label %return
+bb4: tail call void @ext(i32 4, i32 9) br label %return
+bb5: tail call void @ext(i32 5, i32 8) br label %return
+bb6: tail call void @ext(i32 6, i32 7) br label %return
+bb7: tail call void @ext(i32 7, i32 6) br label %return
+bb8: tail call void @ext(i32 8, i32 5) br label %return
+bb9: tail call void @ext(i32 9, i32 4) br label %return
+bb10: tail call void @ext(i32 10, i32 3) br label %return
+bb11: tail call void @ext(i32 11, i32 2) br label %return
+bb12: tail call void @ext(i32 12, i32 1) br label %return
+
+return: ret void
+}
+
+define void @jt4(i32 %x) {
+entry:
+ switch i32 %x, label %default [
+ i32 1, label %bb1
+ i32 2, label %bb2
+ i32 3, label %bb3
+ i32 4, label %bb4
+
+ i32 14, label %bb5
+ i32 15, label %bb6
+ i32 16, label %bb7
+ i32 17, label %bb8
+
+ i32 19, label %bb9
+ i32 20, label %bb10
+
+ i32 22, label %bb11
+ i32 23, label %bb12
+ ]
+; CHECK-LABEL: function jt4:
+; CHECK-NEXT: Jump Tables:
+; CHECK0-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10 %bb.13 %bb.11 %bb.12
+; CHECK0-NOT: %jump-table.1
+; CHECK4-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4
+; CHECK4-SAME: %jump-table.1: %bb.5 %bb.6 %bb.7 %bb.8
+; CHECK4-NOT: %jump-table.2
+; CHECK8-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4
+; CHECK8-SAME: %jump-table.1: %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10
+; CHECK8-NOT: %jump-table.2
+; CHECK16-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.5 %bb.6 %bb.7
+; CHECK16-SAME: %jump-table.1: %bb.8 %bb.13 %bb.9 %bb.10 %bb.13 %bb.11 %bb.12
+; CHECK16-NOT: %jump-table.2
+; CHECKM1-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4
+; CHECKM1-SAME: %jump-table.1: %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10
+; CHECKM1-NOT: %jump-table.2
+; CHECKM3-NEXT: %jump-table.0: %bb.1 %bb.2 %bb.3 %bb.4 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.13 %bb.5 %bb.6 %bb.7 %bb.8 %bb.13 %bb.9 %bb.10
+; CHECKM3-NOT: %jump-table.1
+; CHECK-DAG: End machine code for function jt4.
+
+bb1: tail call void @ext(i32 1, i32 12) br label %return
+bb2: tail call void @ext(i32 2, i32 11) br label %return
+bb3: tail call void @ext(i32 3, i32 10) br label %return
+bb4: tail call void @ext(i32 4, i32 9) br label %return
+bb5: tail call void @ext(i32 5, i32 8) br label %return
+bb6: tail call void @ext(i32 6, i32 7) br label %return
+bb7: tail call void @ext(i32 7, i32 6) br label %return
+bb8: tail call void @ext(i32 8, i32 5) br label %return
+bb9: tail call void @ext(i32 9, i32 4) br label %return
+bb10: tail call void @ext(i32 10, i32 3) br label %return
+bb11: tail call void @ext(i32 11, i32 2) br label %return
+bb12: tail call void @ext(i32 12, i32 1) br label %return
+default: unreachable
+
+return: ret void
+}
Modified: llvm/trunk/test/CodeGen/AArch64/min-jump-table.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/AArch64/min-jump-table.ll?rev=363837&r1=363836&r2=363837&view=diff
==============================================================================
--- llvm/trunk/test/CodeGen/AArch64/min-jump-table.ll (original)
+++ llvm/trunk/test/CodeGen/AArch64/min-jump-table.ll Wed Jun 19 09:35:30 2019
@@ -1,4 +1,5 @@
; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -min-jump-table-entries=0 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK0 < %t
+; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -min-jump-table-entries=2 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK2 < %t
; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -min-jump-table-entries=4 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK4 < %t
; RUN: llc %s -O2 -print-machineinstrs -mtriple=aarch64-linux-gnu -jump-table-density=40 -min-jump-table-entries=8 -o /dev/null 2> %t; FileCheck %s --check-prefixes=CHECK,CHECK8 < %t
@@ -8,12 +9,11 @@ define i32 @jt2(i32 %a, i32 %b) {
entry:
switch i32 %a, label %return [
i32 1, label %bb1
- i32 2, label %bb2
+ i32 3, label %bb2
]
; CHECK-LABEL: function jt2:
; CHECK0-NEXT: Jump Tables:
-; CHECK0-NEXT: %jump-table.0:
-; CHECK0-NOT: %jump-table.1:
+; CHECK2-NEXT: Jump Tables:
; CHECK4-NOT: {{^}}Jump Tables:
; CHECK8-NOT: {{^}}Jump Tables:
@@ -29,15 +29,12 @@ entry:
i32 1, label %bb1
i32 2, label %bb2
i32 3, label %bb3
- i32 4, label %bb4
+ i32 5, label %bb4
]
; CHECK-LABEL: function jt4:
; CHECK0-NEXT: Jump Tables:
-; CHECK0-NEXT: %jump-table.0:
-; CHECK0-NOT: %jump-table.1:
+; CHECK2-NEXT: Jump Tables:
; CHECK4-NEXT: Jump Tables:
-; CHECK4-NEXT: %jump-table.0:
-; CHECK4-NOT: %jump-table.1:
; CHECK8-NOT: {{^}}Jump Tables:
bb1: tail call void @ext(i32 1, i32 0) br label %return
@@ -58,12 +55,10 @@ entry:
i32 5, label %bb5
i32 6, label %bb6
i32 7, label %bb7
- i32 8, label %bb8
+ i32 9, label %bb8
]
; CHECK-LABEL: function jt8:
; CHECK-NEXT: Jump Tables:
-; CHECK-NEXT: %jump-table.0:
-; CHECK-NOT: %jump-table.1:
bb1: tail call void @ext(i32 1, i32 0) br label %return
bb2: tail call void @ext(i32 2, i32 2) br label %return
More information about the llvm-commits
mailing list