[llvm] a90e215 - [SimpleLoopUnswitch] Regenerate test checks (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 28 06:53:07 PST 2023
Author: Nikita Popov
Date: 2023-11-28T15:52:47+01:00
New Revision: a90e215dfbc99803b30904c521ac375ebe0ea271
URL: https://github.com/llvm/llvm-project/commit/a90e215dfbc99803b30904c521ac375ebe0ea271
DIFF: https://github.com/llvm/llvm-project/commit/a90e215dfbc99803b30904c521ac375ebe0ea271.diff
LOG: [SimpleLoopUnswitch] Regenerate test checks (NFC)
Added:
Modified:
llvm/test/Transforms/SimpleLoopUnswitch/2007-08-01-LCSSA.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/SimpleLoopUnswitch/2007-08-01-LCSSA.ll b/llvm/test/Transforms/SimpleLoopUnswitch/2007-08-01-LCSSA.ll
index ca2423d19d169c1..339569484fc8a87 100644
--- a/llvm/test/Transforms/SimpleLoopUnswitch/2007-08-01-LCSSA.ll
+++ b/llvm/test/Transforms/SimpleLoopUnswitch/2007-08-01-LCSSA.ll
@@ -1,55 +1,70 @@
-; RUN: opt < %s -passes='loop(simple-loop-unswitch),instcombine' -verify-memoryssa -disable-output
- %struct.ClassDef = type { %struct.QByteArray, %struct.QByteArray, %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", i8, i8, %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QMap<QByteArray,QByteArray>", %"struct.QList<ArgumentDef>", %"struct.QMap<QByteArray,QByteArray>", i32, i32 }
- %struct.FILE = type { i32, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, ptr, i32, i32, i32, i16, i8, [1 x i8], ptr, i64, ptr, ptr, ptr, ptr, i32, i32, [40 x i8] }
- %struct.Generator = type { ptr, ptr, %"struct.QList<ArgumentDef>", %struct.QByteArray, %"struct.QList<ArgumentDef>" }
- %struct.QBasicAtomic = type { i32 }
- %struct.QByteArray = type { ptr }
- %"struct.QByteArray::Data" = type { %struct.QBasicAtomic, i32, i32, ptr, [1 x i8] }
- %"struct.QList<ArgumentDef>" = type { %"struct.QList<ArgumentDef>::._19" }
- %"struct.QList<ArgumentDef>::._19" = type { %struct.QListData }
- %struct.QListData = type { ptr }
- %"struct.QListData::Data" = type { %struct.QBasicAtomic, i32, i32, i32, i8, [1 x ptr] }
- %"struct.QMap<QByteArray,QByteArray>" = type { %"struct.QMap<QByteArray,QByteArray>::._56" }
- %"struct.QMap<QByteArray,QByteArray>::._56" = type { ptr }
- %struct.QMapData = type { ptr, [12 x ptr], %struct.QBasicAtomic, i32, i32, i32, i8 }
- %struct._IO_marker = type { ptr, ptr, i32 }
- at .str9 = external constant [1 x i8] ; <ptr> [#uses=1]
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
+; RUN: opt < %s -S -passes='loop(simple-loop-unswitch),instcombine' -verify-memoryssa | FileCheck %s
+
+ at .str9 = external constant [1 x i8]
declare i32 @strcmp(ptr, ptr)
define i32 @_ZN9Generator6strregEPKc(ptr %this, ptr %s) {
+; CHECK-LABEL: define i32 @_ZN9Generator6strregEPKc(
+; CHECK-SAME: ptr [[THIS:%.*]], ptr [[S:%.*]]) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[TMP122:%.*]] = icmp eq ptr [[S]], null
+; CHECK-NEXT: br label [[BB184:%.*]]
+; CHECK: bb55:
+; CHECK-NEXT: ret i32 0
+; CHECK: bb88:
+; CHECK-NEXT: br i1 [[TMP122]], label [[BB154:%.*]], label [[BB128:%.*]]
+; CHECK: bb128:
+; CHECK-NEXT: [[TMP138:%.*]] = call i32 @strcmp(ptr noundef nonnull dereferenceable(1) null, ptr noundef nonnull dereferenceable(1) [[S]])
+; CHECK-NEXT: [[IFTMP_37_0_IN4:%.*]] = icmp eq i32 [[TMP138]], 0
+; CHECK-NEXT: br i1 [[IFTMP_37_0_IN4]], label [[BB250:%.*]], label [[BB166:%.*]]
+; CHECK: bb154:
+; CHECK-NEXT: br i1 false, label [[BB250]], label [[BB166]]
+; CHECK: bb166:
+; CHECK-NEXT: [[TMP175:%.*]] = add i32 [[IDX_0:%.*]], 1
+; CHECK-NEXT: [[TMP183:%.*]] = add i32 [[I33_0:%.*]], 1
+; CHECK-NEXT: br label [[BB184]]
+; CHECK: bb184:
+; CHECK-NEXT: [[I33_0]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[TMP183]], [[BB166]] ]
+; CHECK-NEXT: [[IDX_0]] = phi i32 [ 0, [[ENTRY]] ], [ [[TMP175]], [[BB166]] ]
+; CHECK-NEXT: [[TMP49:%.*]] = icmp slt i32 [[I33_0]], 0
+; CHECK-NEXT: br i1 [[TMP49]], label [[BB88:%.*]], label [[BB55:%.*]]
+; CHECK: bb250:
+; CHECK-NEXT: ret i32 [[IDX_0]]
+;
entry:
- %s_addr.0 = select i1 false, ptr @.str9, ptr %s ; <ptr> [#uses=2]
- %tmp122 = icmp eq ptr %s_addr.0, null ; <i1> [#uses=1]
- br label %bb184
-
-bb55: ; preds = %bb184
- ret i32 0
-
-bb88: ; preds = %bb184
- br i1 %tmp122, label %bb154, label %bb128
-
-bb128: ; preds = %bb88
- %tmp138 = call i32 @strcmp( ptr null, ptr %s_addr.0 ) ; <i32> [#uses=1]
- %iftmp.37.0.in4 = icmp eq i32 %tmp138, 0 ; <i1> [#uses=1]
- br i1 %iftmp.37.0.in4, label %bb250, label %bb166
-
-bb154: ; preds = %bb88
- br i1 false, label %bb250, label %bb166
-
-bb166: ; preds = %bb154, %bb128
- %tmp175 = add i32 %idx.0, 1 ; <i32> [#uses=1]
- %tmp177 = add i32 %tmp175, 0 ; <i32> [#uses=1]
- %tmp181 = add i32 %tmp177, 0 ; <i32> [#uses=1]
- %tmp183 = add i32 %i33.0, 1 ; <i32> [#uses=1]
- br label %bb184
-
-bb184: ; preds = %bb166, %entry
- %i33.0 = phi i32 [ 0, %entry ], [ %tmp183, %bb166 ] ; <i32> [#uses=2]
- %idx.0 = phi i32 [ 0, %entry ], [ %tmp181, %bb166 ] ; <i32> [#uses=2]
- %tmp49 = icmp slt i32 %i33.0, 0 ; <i1> [#uses=1]
- br i1 %tmp49, label %bb88, label %bb55
-
-bb250: ; preds = %bb154, %bb128
- ret i32 %idx.0
+ %s_addr.0 = select i1 false, ptr @.str9, ptr %s
+ %tmp122 = icmp eq ptr %s_addr.0, null
+ br label %bb184
+
+bb55:
+ ret i32 0
+
+bb88:
+ br i1 %tmp122, label %bb154, label %bb128
+
+bb128:
+ %tmp138 = call i32 @strcmp( ptr null, ptr %s_addr.0 )
+ %iftmp.37.0.in4 = icmp eq i32 %tmp138, 0
+ br i1 %iftmp.37.0.in4, label %bb250, label %bb166
+
+bb154:
+ br i1 false, label %bb250, label %bb166
+
+bb166:
+ %tmp175 = add i32 %idx.0, 1
+ %tmp177 = add i32 %tmp175, 0
+ %tmp181 = add i32 %tmp177, 0
+ %tmp183 = add i32 %i33.0, 1
+ br label %bb184
+
+bb184:
+ %i33.0 = phi i32 [ 0, %entry ], [ %tmp183, %bb166 ]
+ %idx.0 = phi i32 [ 0, %entry ], [ %tmp181, %bb166 ]
+ %tmp49 = icmp slt i32 %i33.0, 0
+ br i1 %tmp49, label %bb88, label %bb55
+
+bb250:
+ ret i32 %idx.0
}
More information about the llvm-commits
mailing list