[llvm] 9dd5fff - [GVN] Add tests with redundant load of pointer select.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Fri Jan 28 12:15:56 PST 2022
Author: Florian Hahn
Date: 2022-01-28T20:15:32Z
New Revision: 9dd5fffd30651c5524a53d8110f75fa3b59666ac
URL: https://github.com/llvm/llvm-project/commit/9dd5fffd30651c5524a53d8110f75fa3b59666ac
DIFF: https://github.com/llvm/llvm-project/commit/9dd5fffd30651c5524a53d8110f75fa3b59666ac.diff
LOG: [GVN] Add tests with redundant load of pointer select.
Additional test cases for D118144.
Added:
llvm/test/Transforms/GVN/load-of-pointer-select-available.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/GVN/load-of-pointer-select-available.ll b/llvm/test/Transforms/GVN/load-of-pointer-select-available.ll
new file mode 100644
index 0000000000000..4db9e34dab389
--- /dev/null
+++ b/llvm/test/Transforms/GVN/load-of-pointer-select-available.ll
@@ -0,0 +1,944 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -passes='gvn' -S %s | FileCheck %s
+
+define i32 @load_of_ptr_select_can_be_replaced_by_value_select(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @load_of_ptr_select_can_be_replaced_by_value_select(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @
diff erent_phis_1(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @
diff erent_phis_1(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ null, [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ null, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @
diff erent_phi_2(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @
diff erent_phi_2(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[START_PTR]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT:%.*]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %start.ptr, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @
diff erent_phis_3(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @
diff erent_phis_3(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ 19, [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ 19, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @
diff erent_phis_4(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @
diff erent_phis_4(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ 10, [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL:%.*]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ 10, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @load_before_loop_in_
diff erent_block(i32* %ptr, i32* %end, i1 %c) {
+; CHECK-LABEL: @load_before_loop_in_
diff erent_block(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br i1 [[C:%.*]], label [[PH:%.*]], label [[EXIT_2:%.*]]
+; CHECK: ph:
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[PH]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[PH]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[PH]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+; CHECK: exit.2:
+; CHECK-NEXT: ret i32 0
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br i1 %c, label %ph, label %exit.2
+
+ph:
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %ph ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %ph ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %ph ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+
+exit.2:
+ ret i32 0
+}
+
+define i32 @selects_use_
diff erent_compares(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @selects_use_
diff erent_compares(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[CMP_2:%.*]] = icmp ult i32 [[L_1]], 10
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_2]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %cmp.2 = icmp ult i32 %l.1, 10
+ %min.val = select i1 %cmp.2, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+
+define i32 @value_select_
diff erent_value_1(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @value_select_
diff erent_value_1(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 10
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 10
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @value_select_
diff erent_value_2(i32* %ptr, i32* %end, i32* %ptr.2) {
+; CHECK-LABEL: @value_select_
diff erent_value_2(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: [[L_1_PRE:%.*]] = load i32, i32* [[PTR_2:%.*]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1_PRE]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1_PRE]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.2, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_1(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_clobbered_1(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: store i32 99, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ store i32 99, i32* %ptr
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_in_loop(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_clobbered_in_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: store i32 99, i32* [[PTR]], align 4
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ store i32 99, i32* %ptr
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_in_loop_2(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_clobbered_in_loop_2(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: store i32 99, i32* [[PTR]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ store i32 99, i32* %ptr
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_in_loop_3(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_clobbered_in_loop_3(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: store i32 99, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ store i32 99, i32* %ptr.iv
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_in_loop_4(i32* %ptr, i32* %end, i32* %ptr.2) {
+; CHECK-LABEL: @pointer_select_clobbered_in_loop_4(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: store i32 99, i32* [[PTR_2:%.*]], align 4
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ store i32 99, i32* %ptr.2
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+declare void @may_write()
+
+define i32 @pointer_select_clobbered_by_call_before_loop(i32* %ptr, i32* %end, i32* %ptr.2) {
+; CHECK-LABEL: @pointer_select_clobbered_by_call_before_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: call void @may_write()
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ call void @may_write()
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_by_call_in_loop(i32* %ptr, i32* %end, i32* %ptr.2) {
+; CHECK-LABEL: @pointer_select_clobbered_by_call_in_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: call void @may_write()
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ call void @may_write()
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_by_call_after_loop(i32* %ptr, i32* %end, i32* %ptr.2) {
+; CHECK-LABEL: @pointer_select_clobbered_by_call_after_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: call void @may_write()
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ call void @may_write()
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_clobbered_after_loop(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_clobbered_after_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: store i32 99, i32* [[PTR]], align 4
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ store i32 99, i32* %ptr
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+declare void @may_throw() readonly
+
+define i32 @pointer_select_may_throw_before_loop(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_may_throw_before_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: call void @may_throw()
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ call void @may_throw()
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_may_throw_in_loop(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_may_throw_in_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: call void @may_throw()
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ call void @may_throw()
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
+
+define i32 @pointer_select_may_throw_after_loop(i32* %ptr, i32* %end) {
+; CHECK-LABEL: @pointer_select_may_throw_after_loop(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[START_PTR:%.*]] = getelementptr inbounds i32, i32* [[PTR:%.*]], i64 1
+; CHECK-NEXT: [[L_2_PRE:%.*]] = load i32, i32* [[PTR]], align 4
+; CHECK-NEXT: br label [[LOOP:%.*]]
+; CHECK: loop:
+; CHECK-NEXT: [[L_2:%.*]] = phi i32 [ [[L_2_PRE]], [[ENTRY:%.*]] ], [ [[MIN_VAL:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[PTR_IV:%.*]] = phi i32* [ [[START_PTR]], [[ENTRY]] ], [ [[PTR_IV_NEXT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[MIN_PTR:%.*]] = phi i32* [ [[PTR]], [[ENTRY]] ], [ [[MIN_SELECT:%.*]], [[LOOP]] ]
+; CHECK-NEXT: [[L_1:%.*]] = load i32, i32* [[PTR_IV]], align 4
+; CHECK-NEXT: [[CMP_1:%.*]] = icmp ult i32 [[L_1]], [[L_2]]
+; CHECK-NEXT: [[MIN_VAL]] = select i1 [[CMP_1]], i32 [[L_1]], i32 [[L_2]]
+; CHECK-NEXT: [[MIN_SELECT]] = select i1 [[CMP_1]], i32* [[PTR_IV]], i32* [[MIN_PTR]]
+; CHECK-NEXT: [[PTR_IV_NEXT]] = getelementptr inbounds i32, i32* [[PTR_IV]], i64 1
+; CHECK-NEXT: [[EC:%.*]] = icmp eq i32* [[PTR_IV_NEXT]], [[END:%.*]]
+; CHECK-NEXT: br i1 [[EC]], label [[EXIT:%.*]], label [[LOOP]]
+; CHECK: exit:
+; CHECK-NEXT: call void @may_throw()
+; CHECK-NEXT: [[RES:%.*]] = load i32, i32* [[MIN_SELECT]], align 4
+; CHECK-NEXT: ret i32 [[RES]]
+;
+entry:
+ %start.ptr = getelementptr inbounds i32, i32* %ptr, i64 1
+ %l.2.pre = load i32, i32* %ptr, align 4
+ br label %loop
+
+loop:
+ %l.2 = phi i32 [ %l.2.pre, %entry ], [ %min.val, %loop ]
+ %ptr.iv = phi i32* [ %start.ptr, %entry ], [ %ptr.iv.next, %loop ]
+ %min.ptr = phi i32* [ %ptr, %entry ], [ %min.select, %loop ]
+ %l.1 = load i32, i32* %ptr.iv, align 4
+ %cmp.1 = icmp ult i32 %l.1, %l.2
+ %min.val = select i1 %cmp.1, i32 %l.1, i32 %l.2
+ %min.select = select i1 %cmp.1, i32* %ptr.iv, i32* %min.ptr
+ %ptr.iv.next = getelementptr inbounds i32, i32* %ptr.iv, i64 1
+ %ec = icmp eq i32* %ptr.iv.next, %end
+ br i1 %ec, label %exit, label %loop
+
+exit:
+ call void @may_throw()
+ %res = load i32, i32* %min.select, align 4
+ ret i32 %res
+}
More information about the llvm-commits
mailing list