[PATCH] D143030: [InstCombine][NFC] Update generated variable names in signed-truncation-check.ll
John McIver via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Mar 31 17:05:18 PDT 2023
jmciver updated this revision to Diff 510151.
jmciver added a comment.
Rebase onto latest main.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D143030/new/
https://reviews.llvm.org/D143030
Files:
llvm/test/Transforms/InstCombine/signed-truncation-check.ll
Index: llvm/test/Transforms/InstCombine/signed-truncation-check.ll
===================================================================
--- llvm/test/Transforms/InstCombine/signed-truncation-check.ll
+++ llvm/test/Transforms/InstCombine/signed-truncation-check.ll
@@ -142,8 +142,8 @@
define i1 @positive_with_extra_and(i32 %arg, i1 %z) {
; CHECK-LABEL: @positive_with_extra_and(
; CHECK-NEXT: [[T5_SIMPLIFIED:%.*]] = icmp ult i32 [[ARG:%.*]], 128
-; CHECK-NEXT: [[TMP1:%.*]] = and i1 [[T5_SIMPLIFIED]], [[Z:%.*]]
-; CHECK-NEXT: ret i1 [[TMP1]]
+; CHECK-NEXT: [[T5:%.*]] = and i1 [[T5_SIMPLIFIED]], [[Z:%.*]]
+; CHECK-NEXT: ret i1 [[T5]]
;
%t1 = icmp sgt i32 %arg, -1
%t2 = add i32 %arg, 128
@@ -909,8 +909,8 @@
define i1 @negative_not_power_of_two(i32 %arg) {
; CHECK-LABEL: @negative_not_power_of_two(
-; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[ARG:%.*]], 0
-; CHECK-NEXT: ret i1 [[TMP1]]
+; CHECK-NEXT: [[T4:%.*]] = icmp eq i32 [[ARG:%.*]], 0
+; CHECK-NEXT: ret i1 [[T4]]
;
%t1 = icmp sgt i32 %arg, -1
%t2 = add i32 %arg, 255 ; should be power of two
@@ -921,8 +921,8 @@
define i1 @negative_not_power_of_two_logical(i32 %arg) {
; CHECK-LABEL: @negative_not_power_of_two_logical(
-; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 [[ARG:%.*]], 0
-; CHECK-NEXT: ret i1 [[TMP1]]
+; CHECK-NEXT: [[T4:%.*]] = icmp eq i32 [[ARG:%.*]], 0
+; CHECK-NEXT: ret i1 [[T4]]
;
%t1 = icmp sgt i32 %arg, -1
%t2 = add i32 %arg, 255 ; should be power of two
@@ -933,8 +933,8 @@
define i1 @negative_not_next_power_of_two(i32 %arg) {
; CHECK-LABEL: @negative_not_next_power_of_two(
-; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[ARG:%.*]], 192
-; CHECK-NEXT: ret i1 [[TMP1]]
+; CHECK-NEXT: [[T4:%.*]] = icmp ult i32 [[ARG:%.*]], 192
+; CHECK-NEXT: ret i1 [[T4]]
;
%t1 = icmp sgt i32 %arg, -1
%t2 = add i32 %arg, 64 ; should be 256 >> 1
@@ -945,8 +945,8 @@
define i1 @negative_not_next_power_of_two_logical(i32 %arg) {
; CHECK-LABEL: @negative_not_next_power_of_two_logical(
-; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[ARG:%.*]], 192
-; CHECK-NEXT: ret i1 [[TMP1]]
+; CHECK-NEXT: [[T4:%.*]] = icmp ult i32 [[ARG:%.*]], 192
+; CHECK-NEXT: ret i1 [[T4]]
;
%t1 = icmp sgt i32 %arg, -1
%t2 = add i32 %arg, 64 ; should be 256 >> 1
@@ -958,8 +958,8 @@
define i1 @two_signed_truncation_checks(i32 %arg) {
; CHECK-LABEL: @two_signed_truncation_checks(
; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[ARG:%.*]], 128
-; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i32 [[TMP1]], 256
-; CHECK-NEXT: ret i1 [[TMP2]]
+; CHECK-NEXT: [[T5:%.*]] = icmp ult i32 [[TMP1]], 256
+; CHECK-NEXT: ret i1 [[T5]]
;
%t1 = add i32 %arg, 512
%t2 = icmp ult i32 %t1, 1024
@@ -972,8 +972,8 @@
define i1 @two_signed_truncation_checks_logical(i32 %arg) {
; CHECK-LABEL: @two_signed_truncation_checks_logical(
; CHECK-NEXT: [[TMP1:%.*]] = add i32 [[ARG:%.*]], 128
-; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i32 [[TMP1]], 256
-; CHECK-NEXT: ret i1 [[TMP2]]
+; CHECK-NEXT: [[T5:%.*]] = icmp ult i32 [[TMP1]], 256
+; CHECK-NEXT: ret i1 [[T5]]
;
%t1 = add i32 %arg, 512
%t2 = icmp ult i32 %t1, 1024
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D143030.510151.patch
Type: text/x-patch
Size: 3177 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20230401/6a14c833/attachment.bin>
More information about the llvm-commits
mailing list