[llvm] 5112186 - [InstCombine] Regenerate test checks (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 29 02:28:06 PST 2023
Author: Nikita Popov
Date: 2023-11-29T11:27:46+01:00
New Revision: 511218642bc5df7815423de211192dd577eb3a9c
URL: https://github.com/llvm/llvm-project/commit/511218642bc5df7815423de211192dd577eb3a9c
DIFF: https://github.com/llvm/llvm-project/commit/511218642bc5df7815423de211192dd577eb3a9c.diff
LOG: [InstCombine] Regenerate test checks (NFC)
Added:
Modified:
llvm/test/Transforms/InstCombine/idioms.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/InstCombine/idioms.ll b/llvm/test/Transforms/InstCombine/idioms.ll
index 150cb2cbb5ba9e5..7eef4386f781bbb 100644
--- a/llvm/test/Transforms/InstCombine/idioms.ll
+++ b/llvm/test/Transforms/InstCombine/idioms.ll
@@ -1,3 +1,4 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
; RUN: opt -passes=instcombine -S < %s | FileCheck %s
; Check that code corresponding to the following C function is
@@ -7,26 +8,36 @@
; return a < 0 ? -(-a - 1 >> b) - 1 : a >> b;
; }
;
+
define i32 @test_asr(i32 %a, i32 %b) {
+; CHECK-LABEL: define i32 @test_asr(
+; CHECK-SAME: i32 [[A:%.*]], i32 [[B:%.*]]) {
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[A]], 0
+; CHECK-NEXT: br i1 [[C]], label [[BB2:%.*]], label [[BB3:%.*]]
+; CHECK: bb2:
+; CHECK-NEXT: br label [[BB4:%.*]]
+; CHECK: bb3:
+; CHECK-NEXT: br label [[BB4]]
+; CHECK: bb4:
+; CHECK-NEXT: [[F:%.*]] = ashr i32 [[A]], [[B]]
+; CHECK-NEXT: ret i32 [[F]]
+;
entry:
- %c = icmp slt i32 %a, 0
- br i1 %c, label %bb2, label %bb3
+ %c = icmp slt i32 %a, 0
+ br i1 %c, label %bb2, label %bb3
bb2:
- %t1 = sub i32 0, %a
- %not = sub i32 %t1, 1
- %d = ashr i32 %not, %b
- %t2 = sub i32 0, %d
- %not2 = sub i32 %t2, 1
- br label %bb4
+ %t1 = sub i32 0, %a
+ %not = sub i32 %t1, 1
+ %d = ashr i32 %not, %b
+ %t2 = sub i32 0, %d
+ %not2 = sub i32 %t2, 1
+ br label %bb4
bb3:
- %e = ashr i32 %a, %b
- br label %bb4
+ %e = ashr i32 %a, %b
+ br label %bb4
bb4:
- %f = phi i32 [ %not2, %bb2 ], [ %e, %bb3 ]
- ret i32 %f
-; CHECK-LABEL: @test_asr(
-; CHECK: bb4:
-; CHECK: %f = ashr i32 %a, %b
-; CHECK: ret i32 %f
+ %f = phi i32 [ %not2, %bb2 ], [ %e, %bb3 ]
+ ret i32 %f
}
More information about the llvm-commits
mailing list