[llvm] 1da95ad - [RelLookupTableConverter] Generate test checks (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 26 05:16:26 PDT 2025
Author: Nikita Popov
Date: 2025-08-26T14:16:16+02:00
New Revision: 1da95ada1ab9b556f4e5e46a6557f160ea355888
URL: https://github.com/llvm/llvm-project/commit/1da95ada1ab9b556f4e5e46a6557f160ea355888
DIFF: https://github.com/llvm/llvm-project/commit/1da95ada1ab9b556f4e5e46a6557f160ea355888.diff
LOG: [RelLookupTableConverter] Generate test checks (NFC)
This was using a mix of generated check lines and manual edits,
which makes future changes hard. Regenerate with a newer version
and --check-globals.
Added:
Modified:
llvm/test/Transforms/RelLookupTableConverter/X86/relative_lookup_table.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/RelLookupTableConverter/X86/relative_lookup_table.ll b/llvm/test/Transforms/RelLookupTableConverter/X86/relative_lookup_table.ll
index 827dc61121909..16511725a7f1a 100644
--- a/llvm/test/Transforms/RelLookupTableConverter/X86/relative_lookup_table.ll
+++ b/llvm/test/Transforms/RelLookupTableConverter/X86/relative_lookup_table.ll
@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5
; REQUIRES: x86-registered-target
; RUN: opt < %s -passes=rel-lookup-table-converter -relocation-model=pic -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
@@ -31,33 +31,33 @@ target triple = "x86_64-unknown-linux-gnu"
@switch.table.internal_linkage = private unnamed_addr constant [3 x ptr] [ptr @a2, ptr @b2, ptr @c2], align 8
@switch.table.string_table = private unnamed_addr constant [3 x ptr]
- [
- ptr @.str,
- ptr @.str.1,
- ptr @.str.2
- ], align 8
+ [
+ ptr @.str,
+ ptr @.str.1,
+ ptr @.str.2
+ ], align 8
@switch.table.string_table_holes = private unnamed_addr constant [4 x ptr]
- [
- ptr @.str,
- ptr @.str.3,
- ptr @.str.2,
- ptr @.str.4
- ], align 8
+ [
+ ptr @.str,
+ ptr @.str.3,
+ ptr @.str.2,
+ ptr @.str.4
+ ], align 8
@switch.table.single_value = private unnamed_addr constant [3 x ptr]
- [
- ptr @.str,
- ptr @.str.1,
- ptr @.str.2
- ], align 8
+ [
+ ptr @.str,
+ ptr @.str.1,
+ ptr @.str.2
+ ], align 8
@user_defined_lookup_table.table = internal unnamed_addr constant [3 x ptr]
- [
- ptr @.str,
- ptr @.str.1,
- ptr @.str.2
- ], align 16
+ [
+ ptr @.str,
+ ptr @.str.1,
+ ptr @.str.2
+ ], align 16
@table = internal constant [2 x ptr] [
ptr @.str.8,
@@ -69,68 +69,46 @@ target triple = "x86_64-unknown-linux-gnu"
ptr @.str.9
], align 16
-; Lookup table check for integer pointers that have external linkage
-; CHECK: @switch.table.external_linkage = private unnamed_addr constant [3 x ptr] [ptr @a1, ptr @b1, ptr @c1], align
-
-; Lookup table check for integer pointers that have internal linkage
-; CHECK: @switch.table.internal_linkage.rel = private unnamed_addr constant [3 x i32]
-; CHECK-SAME: [
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @a2 to i64), i64 ptrtoint (ptr @switch.table.internal_linkage.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @b2 to i64), i64 ptrtoint (ptr @switch.table.internal_linkage.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @c2 to i64), i64 ptrtoint (ptr @switch.table.internal_linkage.rel to i64)) to i32)
-; CHECK-SAME: ], align 4
-
-; Relative switch lookup table for strings
-; CHECK: @switch.table.string_table.rel = private unnamed_addr constant [3 x i32]
-; CHECK-SAME: [
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str to i64), i64 ptrtoint (ptr @switch.table.string_table.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.1 to i64), i64 ptrtoint (ptr @switch.table.string_table.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.2 to i64), i64 ptrtoint (ptr @switch.table.string_table.rel to i64)) to i32)
-; CHECK-SAME: ], align 4
-
-; Relative switch lookup table for strings with holes, where holes are filled with relative offset to default values
-; CHECK: @switch.table.string_table_holes.rel = private unnamed_addr constant [4 x i32]
-; CHECK-SAME: [
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.3 to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.2 to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.4 to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32)
-; CHECK-SAME: ], align 4
-
-; Single value check
-; CHECK: @switch.table.single_value.rel = private unnamed_addr constant [3 x i32]
-; CHECK-SAME: [
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str to i64), i64 ptrtoint (ptr @switch.table.single_value.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.1 to i64), i64 ptrtoint (ptr @switch.table.single_value.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.2 to i64), i64 ptrtoint (ptr @switch.table.single_value.rel to i64)) to i32)
-; CHECK-SAME: ], align 4
-;
-
-; Relative lookup table for the loop hoist check test
-; CHECK: @table.rel = internal unnamed_addr constant [2 x i32]
-; CHECK-SAME: [
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.8 to i64), i64 ptrtoint (ptr @table.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.9 to i64), i64 ptrtoint (ptr @table.rel to i64)) to i32)
-; CHECK-SAME: ], align 4
-
-; Relative look up table for the test where gep is not immediately followed by a load check
-; CHECK: @table2.rel = internal unnamed_addr constant [2 x i32]
-; CHECK-SAME: [
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.8 to i64), i64 ptrtoint (ptr @table2.rel to i64)) to i32),
-; CHECK-SAME: i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.9 to i64), i64 ptrtoint (ptr @table2.rel to i64)) to i32)
-; CHECK-SAME: ], align 4
-
-; Lookup table check for integer pointers that have external linkage
+;.
+; CHECK: @.str = private unnamed_addr constant [5 x i8] c"zero\00", align 1
+; CHECK: @.str.1 = private unnamed_addr constant [4 x i8] c"one\00", align 1
+; CHECK: @.str.2 = private unnamed_addr constant [4 x i8] c"two\00", align 1
+; CHECK: @.str.3 = private unnamed_addr constant [8 x i8] c"default\00", align 1
+; CHECK: @.str.4 = private unnamed_addr constant [6 x i8] c"three\00", align 1
+; CHECK: @.str.5 = private unnamed_addr constant [5 x i8] c"str1\00", align 1
+; CHECK: @.str.6 = private unnamed_addr constant [5 x i8] c"str2\00", align 1
+; CHECK: @.str.7 = private unnamed_addr constant [12 x i8] c"singlevalue\00", align 1
+; CHECK: @.str.8 = private unnamed_addr constant [2 x i8] c"a\00", align 1
+; CHECK: @.str.9 = private unnamed_addr constant [2 x i8] c"b\00", align 1
+; CHECK: @.str.10 = private unnamed_addr constant [2 x i8] c"c\00", align 1
+; CHECK: @a1 = external global i32, align 4
+; CHECK: @b1 = external global i32, align 4
+; CHECK: @c1 = external global i32, align 4
+; CHECK: @d1 = external global i32, align 4
+; CHECK: @a2 = internal constant i32 0, align 4
+; CHECK: @b2 = internal constant i32 0, align 4
+; CHECK: @c2 = internal constant i32 0, align 4
+; CHECK: @d2 = internal constant i32 0, align 4
+; CHECK: @switch.table.external_linkage = private unnamed_addr constant [3 x ptr] [ptr @a1, ptr @b1, ptr @c1], align 8
+; CHECK: @switch.table.internal_linkage.rel = private unnamed_addr constant [3 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr @a2 to i64), i64 ptrtoint (ptr @switch.table.internal_linkage.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @b2 to i64), i64 ptrtoint (ptr @switch.table.internal_linkage.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @c2 to i64), i64 ptrtoint (ptr @switch.table.internal_linkage.rel to i64)) to i32)], align 4
+; CHECK: @switch.table.string_table.rel = private unnamed_addr constant [3 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr @.str to i64), i64 ptrtoint (ptr @switch.table.string_table.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.1 to i64), i64 ptrtoint (ptr @switch.table.string_table.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.2 to i64), i64 ptrtoint (ptr @switch.table.string_table.rel to i64)) to i32)], align 4
+; CHECK: @switch.table.string_table_holes.rel = private unnamed_addr constant [4 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr @.str to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.3 to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.2 to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.4 to i64), i64 ptrtoint (ptr @switch.table.string_table_holes.rel to i64)) to i32)], align 4
+; CHECK: @switch.table.single_value.rel = private unnamed_addr constant [3 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr @.str to i64), i64 ptrtoint (ptr @switch.table.single_value.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.1 to i64), i64 ptrtoint (ptr @switch.table.single_value.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.2 to i64), i64 ptrtoint (ptr @switch.table.single_value.rel to i64)) to i32)], align 4
+; CHECK: @user_defined_lookup_table.table.rel = internal unnamed_addr constant [3 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr @.str to i64), i64 ptrtoint (ptr @user_defined_lookup_table.table.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.1 to i64), i64 ptrtoint (ptr @user_defined_lookup_table.table.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.2 to i64), i64 ptrtoint (ptr @user_defined_lookup_table.table.rel to i64)) to i32)], align 4
+; CHECK: @table.rel = internal unnamed_addr constant [2 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.8 to i64), i64 ptrtoint (ptr @table.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.9 to i64), i64 ptrtoint (ptr @table.rel to i64)) to i32)], align 4
+; CHECK: @table2.rel = internal unnamed_addr constant [2 x i32] [i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.8 to i64), i64 ptrtoint (ptr @table2.rel to i64)) to i32), i32 trunc (i64 sub (i64 ptrtoint (ptr @.str.9 to i64), i64 ptrtoint (ptr @table2.rel to i64)) to i32)], align 4
+;.
define ptr @external_linkage(i32 %cond) {
-; CHECK-LABEL: @external_linkage(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND:%.*]], 3
-; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
-; CHECK: switch.lookup:
-; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [3 x ptr], ptr @switch.table.external_linkage, i32 0, i32 [[COND:%.*]]
+; CHECK-LABEL: define ptr @external_linkage(
+; CHECK-SAME: i32 [[COND:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND]], 3
+; CHECK-NEXT: br i1 [[TMP0]], label %[[SWITCH_LOOKUP:.*]], label %[[RETURN:.*]]
+; CHECK: [[SWITCH_LOOKUP]]:
+; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [3 x ptr], ptr @switch.table.external_linkage, i32 0, i32 [[COND]]
; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load ptr, ptr [[SWITCH_GEP]], align 8
; CHECK-NEXT: ret ptr [[SWITCH_LOAD]]
-; CHECK: return:
+; CHECK: [[RETURN]]:
; CHECK-NEXT: ret ptr @d1
;
entry:
@@ -148,15 +126,16 @@ return: ; preds = %entry
; Relative switch lookup table for integer pointers that have internal linkage
define ptr @internal_linkage(i32 %cond) {
-; CHECK-LABEL: @internal_linkage(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND:%.*]], 3
-; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
-; CHECK: switch.lookup:
-; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 %cond, 2
+; CHECK-LABEL: define ptr @internal_linkage(
+; CHECK-SAME: i32 [[COND:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND]], 3
+; CHECK-NEXT: br i1 [[TMP0]], label %[[SWITCH_LOOKUP:.*]], label %[[RETURN:.*]]
+; CHECK: [[SWITCH_LOOKUP]]:
+; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[COND]], 2
; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i32(ptr @switch.table.internal_linkage.rel, i32 [[RELTABLE_SHIFT]])
; CHECK-NEXT: ret ptr [[RELTABLE_INTRINSIC]]
-; CHECK: return:
+; CHECK: [[RETURN]]:
; CHECK-NEXT: ret ptr @d2
;
entry:
@@ -174,17 +153,18 @@ return: ; preds = %entry
; ; Relative switch lookup table for strings
define ptr @string_table(i32 %cond) {
- ; CHECK-LABEL: @string_table(
- ; CHECK-NEXT: entry:
- ; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND:%.*]], 3
- ; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
- ; CHECK: switch.lookup:
- ; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 %cond, 2
- ; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i32(ptr @switch.table.string_table.rel, i32 [[RELTABLE_SHIFT]])
- ; CHECK-NEXT: ret ptr [[RELTABLE_INTRINSIC]]
- ; CHECK: return:
- ; CHECK-NEXT: ret ptr @.str.3
- ;
+; CHECK-LABEL: define ptr @string_table(
+; CHECK-SAME: i32 [[COND:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND]], 3
+; CHECK-NEXT: br i1 [[TMP0]], label %[[SWITCH_LOOKUP:.*]], label %[[RETURN:.*]]
+; CHECK: [[SWITCH_LOOKUP]]:
+; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[COND]], 2
+; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i32(ptr @switch.table.string_table.rel, i32 [[RELTABLE_SHIFT]])
+; CHECK-NEXT: ret ptr [[RELTABLE_INTRINSIC]]
+; CHECK: [[RETURN]]:
+; CHECK-NEXT: ret ptr @.str.3
+;
entry:
%0 = icmp ult i32 %cond, 3
br i1 %0, label %switch.lookup, label %return
@@ -200,15 +180,16 @@ return: ; preds = %entry
; Relative switch lookup table for strings with holes, where holes are filled with relative offset to default values
define ptr @string_table_holes(i32 %cond) {
-; CHECK-LABEL: @string_table_holes(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND:%.*]], 4
-; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
-; CHECK: switch.lookup:
+; CHECK-LABEL: define ptr @string_table_holes(
+; CHECK-SAME: i32 [[COND:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND]], 4
+; CHECK-NEXT: br i1 [[TMP0]], label %[[SWITCH_LOOKUP:.*]], label %[[RETURN:.*]]
+; CHECK: [[SWITCH_LOOKUP]]:
; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[COND]], 2
; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i32(ptr @switch.table.string_table_holes.rel, i32 [[RELTABLE_SHIFT]])
; CHECK-NEXT: ret ptr [[RELTABLE_INTRINSIC]]
-; CHECK: return:
+; CHECK: [[RETURN]]:
; CHECK-NEXT: ret ptr @.str.3
;
entry:
@@ -229,17 +210,20 @@ return: ; preds = %entry
; If there is a lookup table, where each element contains the same value,
; a relative lookup should not be generated
define void @single_value(i32 %cond) {
-; CHECK-LABEL: @single_value(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND:%.*]], 3
-; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
-; CHECK: switch.lookup:
+; CHECK-LABEL: define void @single_value(
+; CHECK-SAME: i32 [[COND:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*]]:
+; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[COND]], 3
+; CHECK-NEXT: br i1 [[TMP0]], label %[[SWITCH_LOOKUP:.*]], label %[[SW_EPILOG:.*]]
+; CHECK: [[SWITCH_LOOKUP]]:
; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[COND]], 2
; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i32(ptr @switch.table.single_value.rel, i32 [[RELTABLE_SHIFT]])
-; CHECK: sw.epilog:
-; CHECK-NEXT: [[STR1:%.*]] = phi ptr [ @.str.5, %entry ], [ @.str.7, %switch.lookup ]
-; CHECK-NEXT: [[STR2:%.*]] = phi ptr [ @.str.6, %entry ], [ [[RELTABLE_INTRINSIC]], [[SWITCH_LOOKUP]] ]
+; CHECK-NEXT: br label %[[SW_EPILOG]]
+; CHECK: [[SW_EPILOG]]:
+; CHECK-NEXT: [[STR1_0:%.*]] = phi ptr [ @.str.5, %[[ENTRY]] ], [ @.str.7, %[[SWITCH_LOOKUP]] ]
+; CHECK-NEXT: [[STR2_0:%.*]] = phi ptr [ @.str.6, %[[ENTRY]] ], [ [[RELTABLE_INTRINSIC]], %[[SWITCH_LOOKUP]] ]
; CHECK-NEXT: ret void
+;
entry:
%0 = icmp ult i32 %cond, 3
@@ -258,17 +242,18 @@ sw.epilog: ; preds = %switch.lookup, %ent
; Relative lookup table generated for a user-defined lookup table
define ptr @user_defined_lookup_table(i32 %cond) {
-; CHECK-LABEL: @user_defined_lookup_table(
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[COND:%.*]], 3
-; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
-; CHECK: cond.false:
+; CHECK-LABEL: define ptr @user_defined_lookup_table(
+; CHECK-SAME: i32 [[COND:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*]]:
+; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[COND]], 3
+; CHECK-NEXT: br i1 [[TMP0]], label %[[COND_END:.*]], label %[[COND_FALSE:.*]]
+; CHECK: [[COND_FALSE]]:
; CHECK-NEXT: [[IDX_PROM:%.*]] = sext i32 [[COND]] to i64
; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i64 [[IDX_PROM]], 2
; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i64(ptr @user_defined_lookup_table.table.rel, i64 [[RELTABLE_SHIFT]])
-; CHECK-NEXT: br label %cond.end
-; CHECK: cond.end:
-; CHECK-NEXT: [[COND1:%.*]] = phi ptr [ [[RELTABLE_INTRINSIC]], %cond.false ], [ @.str.3, %entry ]
+; CHECK-NEXT: br label %[[COND_END]]
+; CHECK: [[COND_END]]:
+; CHECK-NEXT: [[COND1:%.*]] = phi ptr [ [[RELTABLE_INTRINSIC]], %[[COND_FALSE]] ], [ @.str.3, %[[ENTRY]] ]
; CHECK-NEXT: ret ptr [[COND1]]
;
entry:
@@ -290,16 +275,17 @@ cond.end: ; preds = %entry, %cond.false
; When a lookup table is accessed inside a loop, and a gep is hosted outside the loop via licm,
; make sure that call @llvm.load.relative is inserted before load.
define ptr @loop_hoist(i32 %x) {
-; CHECK-LABEL: @loop_hoist(i32 %x)
-; CHECK-NEXT: entry:
-; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 1
-; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[X:%.*]], 2
-; CHECK-NEXT: br i1 [[TMP0]], label %if.done, label %if.false
-; CHECK: if.false:
+; CHECK-LABEL: define ptr @loop_hoist(
+; CHECK-SAME: i32 [[X:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*]]:
+; CHECK-NEXT: [[TMP0:%.*]] = icmp sgt i32 [[X]], 1
+; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[X]], 2
+; CHECK-NEXT: br i1 [[TMP0]], label %[[IF_DONE:.*]], label %[[IF_FALSE:.*]]
+; CHECK: [[IF_FALSE]]:
; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i32(ptr @table.rel, i32 [[RELTABLE_SHIFT]])
-; CHECK-NEXT: br label %if.done
-; CHECK: if.done:
-; CHECK-NEXT: [[TMP2:%.*]] = phi ptr [ @.str.10, %entry ], [ [[RELTABLE_INTRINSIC]], %if.false ]
+; CHECK-NEXT: br label %[[IF_DONE]]
+; CHECK: [[IF_DONE]]:
+; CHECK-NEXT: [[TMP2:%.*]] = phi ptr [ @.str.10, %[[ENTRY]] ], [ [[RELTABLE_INTRINSIC]], %[[IF_FALSE]] ]
; CHECK-NEXT: ret ptr [[TMP2]]
;
entry:
@@ -319,13 +305,13 @@ if.done:
; Another check to ensure that call @llvm.load.relative is inserted before load but not before gep.
; When a lookup table is accessed, and gep is not immediately followed by a load (like if there is a function call
; or an exception in between), make sure that call @llvm.load.relative is inserted before load.
-; CHECK-LABEL: @may_not_return()
declare void @may_not_return()
define ptr @gep_is_not_imm_followed_by_load(i32 %x) {
-; CHECK-LABEL: @gep_is_not_imm_followed_by_load(i32 %x)
-; CHECK: entry:
-; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[X:%.*]], 2
+; CHECK-LABEL: define ptr @gep_is_not_imm_followed_by_load(
+; CHECK-SAME: i32 [[X:%.*]]) {
+; CHECK-NEXT: [[ENTRY:.*:]]
+; CHECK-NEXT: [[RELTABLE_SHIFT:%.*]] = shl i32 [[X]], 2
; CHECK-NEXT: call void @may_not_return()
; CHECK-NEXT: [[RELTABLE_INTRINSIC:%.*]] = call ptr @llvm.load.relative.i32(ptr @table2.rel, i32 [[RELTABLE_SHIFT]])
; CHECK-NEXT: ret ptr [[RELTABLE_INTRINSIC]]
@@ -343,3 +329,9 @@ entry:
!4 = !{!"any pointer", !5, i64 0}
!5 = !{!"omnipotent char", !6, i64 0}
!6 = !{!"Simple C/C++ TBAA"}
+;.
+; CHECK: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind willreturn memory(argmem: read) }
+;.
+; CHECK: [[META0:![0-9]+]] = !{i32 8, !"PIC Level", i32 2}
+; CHECK: [[META1:![0-9]+]] = !{i32 1, !"Code Model", i32 1}
+;.
More information about the llvm-commits
mailing list