85 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -p loop-vectorize -S %s | FileCheck %s3 4target triple = "armv7-unknown-linux-gnueabihf"5 6define void @replicating_load_used_by_other_load(i32 %arg, ptr %a, i32 %b) {7; CHECK-LABEL: define void @replicating_load_used_by_other_load(8; CHECK-SAME: i32 [[ARG:%.*]], ptr [[A:%.*]], i32 [[B:%.*]]) {9; CHECK-NEXT: [[ENTRY:.*]]:10; CHECK-NEXT: br label %[[LOOP:.*]]11; CHECK: [[LOOP]]:12; CHECK-NEXT: [[IV:%.*]] = phi i32 [ [[IV_NEXT:%.*]], %[[LOOP]] ], [ [[ARG]], %[[ENTRY]] ]13; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[IV]], 114; CHECK-NEXT: [[AND_1:%.*]] = and i32 [[IV]], 115; CHECK-NEXT: [[SHL_1:%.*]] = shl i32 [[IV]], 216; CHECK-NEXT: [[SHL_2:%.*]] = shl i32 [[IV]], 117; CHECK-NEXT: [[AND_2:%.*]] = and i32 [[SHL_2]], 218; CHECK-NEXT: [[OR_1:%.*]] = or i32 [[AND_2]], [[AND_1]]19; CHECK-NEXT: [[OR_2:%.*]] = or i32 [[OR_1]], [[SHL_1]]20; CHECK-NEXT: [[XOR_1:%.*]] = xor i32 [[B]], [[OR_2]]21; CHECK-NEXT: [[XOR_2:%.*]] = xor i32 [[XOR_1]], [[ARG]]22; CHECK-NEXT: [[SHR_2:%.*]] = lshr i32 [[SHL_1]], 123; CHECK-NEXT: [[XOR_3:%.*]] = xor i32 [[SHR]], [[ARG]]24; CHECK-NEXT: [[AND_3:%.*]] = and i32 [[XOR_3]], 125; CHECK-NEXT: [[AND_4:%.*]] = and i32 [[IV]], 214748364626; CHECK-NEXT: [[OR_3:%.*]] = or i32 [[AND_3]], [[AND_4]]27; CHECK-NEXT: [[AND_5:%.*]] = and i32 [[IV]], 25428; CHECK-NEXT: [[SHL_3:%.*]] = shl i32 [[OR_3]], 129; CHECK-NEXT: [[XOR_4:%.*]] = xor i32 [[SHL_3]], 230; CHECK-NEXT: [[OR_4:%.*]] = or i32 [[AND_5]], [[XOR_4]]31; CHECK-NEXT: [[XOR_5:%.*]] = xor i32 [[SHR_2]], [[OR_4]]32; CHECK-NEXT: [[XOR_6:%.*]] = xor i32 [[XOR_5]], [[XOR_2]]33; CHECK-NEXT: [[AND_6:%.*]] = and i32 [[XOR_6]], 25534; CHECK-NEXT: [[XOR_7:%.*]] = xor i32 [[AND_6]], 135; CHECK-NEXT: [[GEP:%.*]] = getelementptr i8, ptr [[A]], i32 [[XOR_7]]36; CHECK-NEXT: [[LD:%.*]] = load i8, ptr [[GEP]], align 137; CHECK-NEXT: [[ZEXT:%.*]] = zext i8 [[LD]] to i3238; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i32, ptr null, i32 [[ZEXT]]39; CHECK-NEXT: store i32 0, ptr [[GEP_2]], align 440; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 141; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[IV_NEXT]], 10042; CHECK-NEXT: br i1 [[CMP]], label %[[EXIT:.*]], label %[[LOOP]]43; CHECK: [[EXIT]]:44; CHECK-NEXT: ret void45;46entry:47 br label %loop48 49loop:50 %iv = phi i32 [ %iv.next, %loop ], [ %arg, %entry ]51 %shr = lshr i32 %iv, 152 %and.1 = and i32 %iv, 153 %shl.1 = shl i32 %iv, 254 %shl.2 = shl i32 %iv, 155 %and.2 = and i32 %shl.2, 256 %or.1 = or i32 %and.2, %and.157 %or.2 = or i32 %or.1, %shl.158 %xor.1 = xor i32 %b, %or.259 %xor.2 = xor i32 %xor.1, %arg60 %shr.2 = lshr i32 %shl.1, 161 %xor.3 = xor i32 %shr, %arg62 %and.3 = and i32 %xor.3, 163 %and.4 = and i32 %iv, 214748364664 %or.3 = or i32 %and.3, %and.465 %and.5 = and i32 %iv, 25466 %shl.3 = shl i32 %or.3, 167 %xor.4 = xor i32 %shl.3, 268 %or.4 = or i32 %and.5, %xor.469 %xor.5 = xor i32 %shr.2, %or.470 %xor.6 = xor i32 %xor.5, %xor.271 %and.6 = and i32 %xor.6, 25572 %xor.7 = xor i32 %and.6, 173 %gep = getelementptr i8, ptr %a, i32 %xor.774 %ld = load i8, ptr %gep, align 175 %zext = zext i8 %ld to i3276 %gep.2 = getelementptr i32, ptr null, i32 %zext77 store i32 0, ptr %gep.2, align 478 %iv.next = add i32 %iv, 179 %cmp = icmp eq i32 %iv.next, 10080 br i1 %cmp, label %exit, label %loop81 82exit:83 ret void84}85