shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[SCCP] Generate test checks (NFC)

Browse Source
This commit is contained in:
Nikita Popov 2025-08-11 14:42:20 +02:00
parent 7ed412a9b8
commit 957312413b
1 changed files with 19 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
llvm/test/Transforms/SCCP/pr27712.ll
View File

@ -1,8 +1,25 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -passes=sccp -S < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define i32 @main() {
; CHECK-LABEL: define i32 @main() {
; CHECK-NEXT: [[ENTRY:.*]]:
; CHECK-NEXT: br label %[[LBL_1154:.*]]
; CHECK: [[LBL_1154]]:
; CHECK-NEXT: [[B0_0:%.*]] = phi i32 [ -119, %[[ENTRY]] ], [ 0, %[[LBL_1154]] ]
; CHECK-NEXT: [[CMP11:%.*]] = icmp slt i32 [[B0_0]], 0
; CHECK-NEXT: [[SHL_OP:%.*]] = shl nuw nsw i32 33554432, [[B0_0]]
; CHECK-NEXT: [[CMP1445:%.*]] = icmp ult i32 [[SHL_OP]], 33554432
; CHECK-NEXT: [[CMP14:%.*]] = or i1 [[CMP11]], [[CMP1445]]
; CHECK-NEXT: br i1 [[CMP14]], label %[[LBL_1154]], label %[[IF_END19:.*]]
; CHECK: [[IF_END19]]:
; CHECK-NEXT: br i1 [[CMP11]], label %[[IF_THEN22:.*]], label %[[CLEANUP26:.*]]
; CHECK: [[IF_THEN22]]:
; CHECK-NEXT: tail call void @abort()
; CHECK-NEXT: unreachable
; CHECK: [[CLEANUP26]]:
; CHECK-NEXT: ret i32 [[SHL_OP]]
;
entry:
br label %lbl_1154
@ -24,7 +41,5 @@ if.then22:
cleanup26:
ret i32 %shl.op
}
; CHECK-LABEL: define i32 @main(
; CHECK-NOT: ret i32 undef
declare void @abort()