From: Evandro Menezes Date: Wed, 19 Jun 2019 16:35:30 +0000 (+0000) Subject: [AArch64] Improve jump tables testing (NFC) X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2b115674c3cbb4f6307fed34a760615af405a2d4;p=llvm [AArch64] Improve jump tables testing (NFC) Improve testing of the minimum and maximum sizes of jump tables. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@363837 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/CodeGen/AArch64/max-jump-table.ll b/test/CodeGen/AArch64/max-jump-table.ll index f309efe95b5..a380d6a9ce4 100644 --- a/test/CodeGen/AArch64/max-jump-table.ll +++ b/test/CodeGen/AArch64/max-jump-table.ll @@ -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) br label %return 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 +} diff --git a/test/CodeGen/AArch64/min-jump-table.ll b/test/CodeGen/AArch64/min-jump-table.ll index 8d16a4d9d6a..5da3b022fa3 100644 --- a/test/CodeGen/AArch64/min-jump-table.ll +++ b/test/CodeGen/AArch64/min-jump-table.ll @@ -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