92 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes=loop-load-elim -S %s | FileCheck %s3 4; The test was originally written as part of the investigation of #96656.5; The bug has now been marked as invalid, and we keep the test to show6; LLE's operation on known dependence returned by LAA.7 8define void @unknown_stride_known_dependence(ptr %x, ptr %y, i1 %cond) {9; CHECK-LABEL: define void @unknown_stride_known_dependence(10; CHECK-SAME: ptr [[X:%.*]], ptr [[Y:%.*]], i1 [[COND:%.*]]) {11; CHECK-NEXT: [[ENTRY:.*:]]12; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[X]], align 413; CHECK-NEXT: br i1 [[COND]], label %[[NOLOOP_EXIT:.*]], label %[[LOOP_LVER_CHECK:.*]]14; CHECK: [[LOOP_LVER_CHECK]]:15; CHECK-NEXT: [[SEXT_X:%.*]] = sext i32 [[LOAD]] to i6416; CHECK-NEXT: [[GEP_8:%.*]] = getelementptr i8, ptr [[Y]], i64 817; CHECK-NEXT: [[GEP_16:%.*]] = getelementptr i8, ptr [[Y]], i64 1618; CHECK-NEXT: [[IDENT_CHECK:%.*]] = icmp ne i32 [[LOAD]], 119; CHECK-NEXT: br i1 [[IDENT_CHECK]], label %[[LOOP_PH_LVER_ORIG:.*]], label %[[LOOP_PH:.*]]20; CHECK: [[LOOP_PH_LVER_ORIG]]:21; CHECK-NEXT: br label %[[LOOP_LVER_ORIG:.*]]22; CHECK: [[LOOP_LVER_ORIG]]:23; CHECK-NEXT: [[IV_LVER_ORIG:%.*]] = phi i64 [ 0, %[[LOOP_PH_LVER_ORIG]] ], [ [[IV_NEXT_LVER_ORIG:%.*]], %[[LOOP_LVER_ORIG]] ]24; CHECK-NEXT: [[MUL_LVER_ORIG:%.*]] = mul i64 [[IV_LVER_ORIG]], [[SEXT_X]]25; CHECK-NEXT: [[GEP_8_MUL_LVER_ORIG:%.*]] = getelementptr double, ptr [[GEP_8]], i64 [[MUL_LVER_ORIG]]26; CHECK-NEXT: [[LOAD_8_LVER_ORIG:%.*]] = load double, ptr [[GEP_8_MUL_LVER_ORIG]], align 827; CHECK-NEXT: [[GEP_16_MUL_LVER_ORIG:%.*]] = getelementptr double, ptr [[GEP_16]], i64 [[MUL_LVER_ORIG]]28; CHECK-NEXT: store double [[LOAD_8_LVER_ORIG]], ptr [[GEP_16_MUL_LVER_ORIG]], align 829; CHECK-NEXT: [[IV_NEXT_LVER_ORIG]] = add i64 [[IV_LVER_ORIG]], 130; CHECK-NEXT: [[ICMP_LVER_ORIG:%.*]] = icmp eq i64 [[IV_LVER_ORIG]], 131; CHECK-NEXT: br i1 [[ICMP_LVER_ORIG]], label %[[EXIT_LOOPEXIT_LOOPEXIT:.*]], label %[[LOOP_LVER_ORIG]]32; CHECK: [[LOOP_PH]]:33; CHECK-NEXT: [[LOAD_INITIAL:%.*]] = load double, ptr [[GEP_8]], align 834; CHECK-NEXT: br label %[[LOOP:.*]]35; CHECK: [[LOOP]]:36; CHECK-NEXT: [[STORE_FORWARDED:%.*]] = phi double [ [[LOAD_INITIAL]], %[[LOOP_PH]] ], [ [[STORE_FORWARDED]], %[[LOOP]] ]37; CHECK-NEXT: [[IV:%.*]] = phi i64 [ 0, %[[LOOP_PH]] ], [ [[IV_NEXT:%.*]], %[[LOOP]] ]38; CHECK-NEXT: [[MUL:%.*]] = mul i64 [[IV]], [[SEXT_X]]39; CHECK-NEXT: [[GEP_8_MUL:%.*]] = getelementptr double, ptr [[GEP_8]], i64 [[MUL]]40; CHECK-NEXT: [[LOAD_8:%.*]] = load double, ptr [[GEP_8_MUL]], align 841; CHECK-NEXT: [[GEP_16_MUL:%.*]] = getelementptr double, ptr [[GEP_16]], i64 [[MUL]]42; CHECK-NEXT: store double [[STORE_FORWARDED]], ptr [[GEP_16_MUL]], align 843; CHECK-NEXT: [[IV_NEXT]] = add i64 [[IV]], 144; CHECK-NEXT: [[ICMP:%.*]] = icmp eq i64 [[IV]], 145; CHECK-NEXT: br i1 [[ICMP]], label %[[EXIT_LOOPEXIT_LOOPEXIT1:.*]], label %[[LOOP]]46; CHECK: [[NOLOOP_EXIT]]:47; CHECK-NEXT: [[SEXT:%.*]] = sext i32 [[LOAD]] to i6448; CHECK-NEXT: [[GEP_Y:%.*]] = getelementptr double, ptr [[Y]], i64 [[SEXT]]49; CHECK-NEXT: [[LOAD_Y:%.*]] = load double, ptr [[GEP_Y]], align 850; CHECK-NEXT: store double [[LOAD_Y]], ptr [[X]], align 851; CHECK-NEXT: br label %[[EXIT:.*]]52; CHECK: [[EXIT_LOOPEXIT_LOOPEXIT]]:53; CHECK-NEXT: br label %[[EXIT_LOOPEXIT:.*]]54; CHECK: [[EXIT_LOOPEXIT_LOOPEXIT1]]:55; CHECK-NEXT: br label %[[EXIT_LOOPEXIT]]56; CHECK: [[EXIT_LOOPEXIT]]:57; CHECK-NEXT: br label %[[EXIT]]58; CHECK: [[EXIT]]:59; CHECK-NEXT: ret void60;61entry:62 %load = load i32, ptr %x, align 463 br i1 %cond, label %noloop.exit, label %loop.ph64 65loop.ph: ; preds = %entry66 %sext.x = sext i32 %load to i6467 %gep.8 = getelementptr i8, ptr %y, i64 868 %gep.16 = getelementptr i8, ptr %y, i64 1669 br label %loop70 71loop: ; preds = %loop, %loop.ph72 %iv = phi i64 [ 0, %loop.ph ], [ %iv.next, %loop ]73 %mul = mul i64 %iv, %sext.x74 %gep.8.mul = getelementptr double, ptr %gep.8, i64 %mul75 %load.8 = load double, ptr %gep.8.mul, align 876 %gep.16.mul = getelementptr double, ptr %gep.16, i64 %mul77 store double %load.8, ptr %gep.16.mul78 %iv.next = add i64 %iv, 179 %icmp = icmp eq i64 %iv, 180 br i1 %icmp, label %exit, label %loop81 82noloop.exit: ; preds = %loop.ph83 %sext = sext i32 %load to i6484 %gep.y = getelementptr double, ptr %y, i64 %sext85 %load.y = load double, ptr %gep.y86 store double %load.y, ptr %x87 br label %exit88 89exit: ; preds = %loop.body90 ret void91}92