[llvm] 6f3f8b6 - [GuardWidening] Update test with update_test_checks.py
Serguei Katkov via llvm-commits
llvm-commits at lists.llvm.org
Wed May 25 22:29:47 PDT 2022
Author: Serguei Katkov
Date: 2022-05-26T12:17:16+07:00
New Revision: 6f3f8b669b61898727cdc9799c227ad549a5a4ef
URL: https://github.com/llvm/llvm-project/commit/6f3f8b669b61898727cdc9799c227ad549a5a4ef
DIFF: https://github.com/llvm/llvm-project/commit/6f3f8b669b61898727cdc9799c227ad549a5a4ef.diff
LOG: [GuardWidening] Update test with update_test_checks.py
Added:
Modified:
llvm/test/Transforms/GuardWidening/range-check-merging.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/GuardWidening/range-check-merging.ll b/llvm/test/Transforms/GuardWidening/range-check-merging.ll
index 6440dadce1e8..a6756ed38c2c 100644
--- a/llvm/test/Transforms/GuardWidening/range-check-merging.ll
+++ b/llvm/test/Transforms/GuardWidening/range-check-merging.ll
@@ -1,13 +1,25 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -guard-widening < %s | FileCheck %s
declare void @llvm.experimental.guard(i1,...)
define void @f_0(i32 %x, i32* %length_buf) {
; CHECK-LABEL: @f_0(
-; CHECK-NOT: @llvm.experimental.guard
-; CHECK: %wide.chk2 = and i1 %chk3, %chk0
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %wide.chk2) [ "deopt"() ]
-; CHECK: ret void
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[LENGTH:%.*]] = load i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0:![0-9]+]]
+; CHECK-NEXT: [[CHK0:%.*]] = icmp ult i32 [[X:%.*]], [[LENGTH]]
+; CHECK-NEXT: [[X_INC1:%.*]] = add i32 [[X]], 1
+; CHECK-NEXT: [[CHK1:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = add i32 [[X]], 2
+; CHECK-NEXT: [[CHK2:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[CHK2]], [[CHK0]]
+; CHECK-NEXT: [[X_INC3:%.*]] = add i32 [[X]], 3
+; CHECK-NEXT: [[CHK3:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[CHK3]], [[CHK0]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: ret void
+;
entry:
%length = load i32, i32* %length_buf, !range !0
%chk0 = icmp ult i32 %x, %length
@@ -29,10 +41,21 @@ entry:
define void @f_1(i32 %x, i32* %length_buf) {
; CHECK-LABEL: @f_1(
-; CHECK-NOT: llvm.experimental.guard
-; CHECK: %wide.chk2 = and i1 %chk3, %chk0
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %wide.chk2) [ "deopt"() ]
-; CHECK: ret void
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[LENGTH:%.*]] = load i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[CHK0:%.*]] = icmp ult i32 [[X:%.*]], [[LENGTH]]
+; CHECK-NEXT: [[X_INC1:%.*]] = add i32 [[X]], 1
+; CHECK-NEXT: [[CHK1:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = add i32 [[X_INC1]], 2
+; CHECK-NEXT: [[CHK2:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[CHK2]], [[CHK0]]
+; CHECK-NEXT: [[X_INC3:%.*]] = add i32 [[X_INC2]], 3
+; CHECK-NEXT: [[CHK3:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[CHK3]], [[CHK0]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: ret void
+;
entry:
%length = load i32, i32* %length_buf, !range !0
%chk0 = icmp ult i32 %x, %length
@@ -54,10 +77,22 @@ entry:
define void @f_2(i32 %a, i32* %length_buf) {
; CHECK-LABEL: @f_2(
-; CHECK-NOT: llvm.experimental.guard
-; CHECK: %wide.chk2 = and i1 %chk3, %chk0
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %wide.chk2) [ "deopt"() ]
-; CHECK: ret void
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[X:%.*]] = and i32 [[A:%.*]], -256
+; CHECK-NEXT: [[LENGTH:%.*]] = load i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[CHK0:%.*]] = icmp ult i32 [[X]], [[LENGTH]]
+; CHECK-NEXT: [[X_INC1:%.*]] = or i32 [[X]], 1
+; CHECK-NEXT: [[CHK1:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = or i32 [[X]], 2
+; CHECK-NEXT: [[CHK2:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[CHK2]], [[CHK0]]
+; CHECK-NEXT: [[X_INC3:%.*]] = or i32 [[X]], 3
+; CHECK-NEXT: [[CHK3:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[CHK3]], [[CHK0]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: ret void
+;
entry:
%x = and i32 %a, 4294967040 ;; 4294967040 == 0xffffff00
%length = load i32, i32* %length_buf, !range !0
@@ -80,10 +115,22 @@ entry:
define void @f_3(i32 %a, i32* %length_buf) {
; CHECK-LABEL: @f_3(
-; CHECK-NOT: llvm.experimental.guard
-; CHECK: %wide.chk2 = and i1 %chk3, %chk0
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %wide.chk2) [ "deopt"() ]
-; CHECK: ret void
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[X:%.*]] = and i32 [[A:%.*]], -256
+; CHECK-NEXT: [[LENGTH:%.*]] = load i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[CHK0:%.*]] = icmp ult i32 [[X]], [[LENGTH]]
+; CHECK-NEXT: [[X_INC1:%.*]] = add i32 [[X]], 1
+; CHECK-NEXT: [[CHK1:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = or i32 [[X_INC1]], 2
+; CHECK-NEXT: [[CHK2:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[CHK2]], [[CHK0]]
+; CHECK-NEXT: [[X_INC3:%.*]] = add i32 [[X_INC2]], 3
+; CHECK-NEXT: [[CHK3:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[CHK3]], [[CHK0]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: ret void
+;
entry:
%x = and i32 %a, 4294967040 ;; 4294967040 == 0xffffff00
%length = load i32, i32* %length_buf, !range !0
@@ -106,12 +153,23 @@ entry:
define void @f_4(i32 %x, i32* %length_buf) {
; CHECK-LABEL: @f_4(
-; CHECK-NOT: llvm.experimental.guard
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[LENGTH:%.*]] = load i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[CHK0:%.*]] = icmp ult i32 [[X:%.*]], [[LENGTH]]
+; CHECK-NEXT: [[X_INC1:%.*]] = add i32 [[X]], -1024
+; CHECK-NEXT: [[CHK1:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = add i32 [[X]], 2
+; CHECK-NEXT: [[CHK2:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[CHK2]], [[CHK1]]
+; CHECK-NEXT: [[X_INC3:%.*]] = add i32 [[X]], 3
+; CHECK-NEXT: [[CHK3:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[CHK3]], [[CHK1]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: ret void
+;
; Note: we NOT guarding on "and i1 %chk3, %chk0", that would be incorrect.
-; CHECK: %wide.chk2 = and i1 %chk3, %chk1
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %wide.chk2) [ "deopt"() ]
-; CHECK: ret void
entry:
%length = load i32, i32* %length_buf, !range !0
%chk0 = icmp ult i32 %x, %length
@@ -133,10 +191,21 @@ entry:
define void @f_5(i32 %x, i32* %length_buf) {
; CHECK-LABEL: @f_5(
-; CHECK-NOT: llvm.experimental.guard
-; CHECK: %wide.chk2 = and i1 %chk1, %chk2
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %wide.chk2) [ "deopt"() ]
-; CHECK: ret void
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[LENGTH:%.*]] = load i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[CHK0:%.*]] = icmp ult i32 [[X:%.*]], [[LENGTH]]
+; CHECK-NEXT: [[X_INC1:%.*]] = add i32 [[X]], 1
+; CHECK-NEXT: [[CHK1:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = add i32 [[X_INC1]], -200
+; CHECK-NEXT: [[CHK2:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[CHK1]], [[CHK2]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[CHK1]], [[CHK2]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: [[X_INC3:%.*]] = add i32 [[X_INC2]], 3
+; CHECK-NEXT: [[CHK3:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH]]
+; CHECK-NEXT: ret void
+;
entry:
%length = load i32, i32* %length_buf, !range !0
%chk0 = icmp ult i32 %x, %length
@@ -170,11 +239,21 @@ entry:
;
define void @f_6(i32 %x, i32* %length_buf) {
; CHECK-LABEL: @f_6(
-; CHECK-NOT: llvm.experimental.guard
-; CHECK: %wide.chk = and i1 %chk0, %chk1
-; CHECK: %wide.chk1 = and i1 %wide.chk, %chk2
-; CHECK: %wide.chk2 = and i1 %wide.chk1, %chk3
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 %wide.chk2) [ "deopt"() ]
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[LENGTH:%.*]] = load i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[CHK0:%.*]] = icmp ult i32 [[X:%.*]], [[LENGTH]]
+; CHECK-NEXT: [[X_INC1:%.*]] = add i32 [[X]], -2147483647
+; CHECK-NEXT: [[CHK1:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = add i32 [[X]], 2
+; CHECK-NEXT: [[CHK2:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[WIDE_CHK]], [[CHK2]]
+; CHECK-NEXT: [[X_INC3:%.*]] = add i32 [[X]], 3
+; CHECK-NEXT: [[CHK3:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[WIDE_CHK1]], [[CHK3]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: ret void
+;
entry:
%length = load i32, i32* %length_buf, !range !0
%chk0 = icmp ult i32 %x, %length
@@ -197,11 +276,35 @@ entry:
define void @f_7(i32 %x, i32* %length_buf) {
; CHECK-LABEL: @f_7(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[LENGTH_A:%.*]] = load volatile i32, i32* [[LENGTH_BUF:%.*]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[LENGTH_B:%.*]] = load volatile i32, i32* [[LENGTH_BUF]], align 4, !range [[RNG0]]
+; CHECK-NEXT: [[CHK0_A:%.*]] = icmp ult i32 [[X:%.*]], [[LENGTH_A]]
+; CHECK-NEXT: [[CHK0_B:%.*]] = icmp ult i32 [[X]], [[LENGTH_B]]
+; CHECK-NEXT: [[CHK0:%.*]] = and i1 [[CHK0_A]], [[CHK0_B]]
+; CHECK-NEXT: [[X_INC1:%.*]] = add i32 [[X]], 1
+; CHECK-NEXT: [[CHK1_A:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH_A]]
+; CHECK-NEXT: [[CHK1_B:%.*]] = icmp ult i32 [[X_INC1]], [[LENGTH_B]]
+; CHECK-NEXT: [[CHK1:%.*]] = and i1 [[CHK1_A]], [[CHK1_B]]
+; CHECK-NEXT: [[WIDE_CHK:%.*]] = and i1 [[CHK0]], [[CHK1]]
+; CHECK-NEXT: [[X_INC2:%.*]] = add i32 [[X]], 2
+; CHECK-NEXT: [[CHK2_A:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH_A]]
+; CHECK-NEXT: [[TMP0:%.*]] = and i1 [[CHK2_A]], [[CHK0_A]]
+; CHECK-NEXT: [[TMP1:%.*]] = and i1 [[CHK0_B]], [[TMP0]]
+; CHECK-NEXT: [[CHK2_B:%.*]] = icmp ult i32 [[X_INC2]], [[LENGTH_B]]
+; CHECK-NEXT: [[WIDE_CHK1:%.*]] = and i1 [[CHK2_B]], [[TMP1]]
+; CHECK-NEXT: [[X_INC3:%.*]] = add i32 [[X]], 3
+; CHECK-NEXT: [[CHK3_B:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH_B]]
+; CHECK-NEXT: [[TMP2:%.*]] = and i1 [[CHK3_B]], [[CHK0_B]]
+; CHECK-NEXT: [[TMP3:%.*]] = and i1 [[CHK0_A]], [[TMP2]]
+; CHECK-NEXT: [[CHK3_A:%.*]] = icmp ult i32 [[X_INC3]], [[LENGTH_A]]
+; CHECK-NEXT: [[WIDE_CHK2:%.*]] = and i1 [[CHK3_A]], [[TMP3]]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[WIDE_CHK2]]) [ "deopt"() ]
+; CHECK-NEXT: [[CHK2:%.*]] = and i1 [[CHK2_A]], [[CHK2_B]]
+; CHECK-NEXT: [[CHK3:%.*]] = and i1 [[CHK3_A]], [[CHK3_B]]
+; CHECK-NEXT: ret void
+;
-; CHECK: [[COND_0:%[^ ]+]] = and i1 %chk3.b, %chk0.b
-; CHECK: [[COND_1:%[^ ]+]] = and i1 %chk0.a, [[COND_0]]
-; CHECK: [[COND_2:%[^ ]+]] = and i1 %chk3.a, [[COND_1]]
-; CHECK: call void (i1, ...) @llvm.experimental.guard(i1 [[COND_2]]) [ "deopt"() ]
entry:
%length_a = load volatile i32, i32* %length_buf, !range !0
More information about the llvm-commits
mailing list