523 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -O3 -mtriple=armv8m.main-none-none-eabi -mattr=+dsp < %s | FileCheck %s --check-prefixes=CHECK-LE3; RUN: llc -O3 -mtriple=armv8m.maineb-none-none-eabi -mattr=+dsp < %s | FileCheck %s --check-prefixes=CHECK-BE4 5define i32 @add_user(i32 %arg, ptr nocapture readnone %arg1, ptr nocapture readonly %arg2, ptr nocapture readonly %arg3) {6; CHECK-LE-LABEL: add_user:7; CHECK-LE: @ %bb.0: @ %entry8; CHECK-LE-NEXT: cmp r0, #19; CHECK-LE-NEXT: blt .LBB0_410; CHECK-LE-NEXT: @ %bb.1: @ %for.body.preheader11; CHECK-LE-NEXT: .save {r4, lr}12; CHECK-LE-NEXT: push {r4, lr}13; CHECK-LE-NEXT: sub.w lr, r3, #214; CHECK-LE-NEXT: subs r2, #215; CHECK-LE-NEXT: mov.w r12, #016; CHECK-LE-NEXT: movs r1, #017; CHECK-LE-NEXT: .LBB0_2: @ %for.body18; CHECK-LE-NEXT: @ =>This Inner Loop Header: Depth=119; CHECK-LE-NEXT: ldr r3, [lr, #2]!20; CHECK-LE-NEXT: subs r0, #121; CHECK-LE-NEXT: ldr r4, [r2, #2]!22; CHECK-LE-NEXT: sxtah r1, r1, r323; CHECK-LE-NEXT: smlad r12, r4, r3, r1224; CHECK-LE-NEXT: bne .LBB0_225; CHECK-LE-NEXT: @ %bb.3:26; CHECK-LE-NEXT: pop.w {r4, lr}27; CHECK-LE-NEXT: add.w r0, r12, r128; CHECK-LE-NEXT: bx lr29; CHECK-LE-NEXT: .LBB0_4:30; CHECK-LE-NEXT: mov.w r12, #031; CHECK-LE-NEXT: movs r1, #032; CHECK-LE-NEXT: add.w r0, r12, r133; CHECK-LE-NEXT: bx lr34;35; CHECK-BE-LABEL: add_user:36; CHECK-BE: @ %bb.0: @ %entry37; CHECK-BE-NEXT: cmp r0, #138; CHECK-BE-NEXT: blt .LBB0_439; CHECK-BE-NEXT: @ %bb.1: @ %for.body.preheader40; CHECK-BE-NEXT: .save {r4, r5, r7, lr}41; CHECK-BE-NEXT: push {r4, r5, r7, lr}42; CHECK-BE-NEXT: subs r3, #243; CHECK-BE-NEXT: subs r2, #244; CHECK-BE-NEXT: mov.w r12, #045; CHECK-BE-NEXT: movs r1, #046; CHECK-BE-NEXT: .LBB0_2: @ %for.body47; CHECK-BE-NEXT: @ =>This Inner Loop Header: Depth=148; CHECK-BE-NEXT: ldrsh lr, [r3, #2]!49; CHECK-BE-NEXT: subs r0, #150; CHECK-BE-NEXT: ldrsh r4, [r2, #2]!51; CHECK-BE-NEXT: add r1, lr52; CHECK-BE-NEXT: ldrsh.w r5, [r2, #2]53; CHECK-BE-NEXT: smlabb r12, r4, lr, r1254; CHECK-BE-NEXT: ldrsh.w r4, [r3, #2]55; CHECK-BE-NEXT: smlabb r12, r5, r4, r1256; CHECK-BE-NEXT: bne .LBB0_257; CHECK-BE-NEXT: @ %bb.3:58; CHECK-BE-NEXT: pop.w {r4, r5, r7, lr}59; CHECK-BE-NEXT: add.w r0, r12, r160; CHECK-BE-NEXT: bx lr61; CHECK-BE-NEXT: .LBB0_4:62; CHECK-BE-NEXT: mov.w r12, #063; CHECK-BE-NEXT: movs r1, #064; CHECK-BE-NEXT: add.w r0, r12, r165; CHECK-BE-NEXT: bx lr66entry:67 %cmp24 = icmp sgt i32 %arg, 068 br i1 %cmp24, label %for.body.preheader, label %for.cond.cleanup69 70for.body.preheader:71 %.pre = load i16, ptr %arg3, align 272 %.pre27 = load i16, ptr %arg2, align 273 br label %for.body74 75for.cond.cleanup:76 %mac1.0.lcssa = phi i32 [ 0, %entry ], [ %add11, %for.body ]77 %count.final = phi i32 [ 0, %entry ], [ %count.next, %for.body ]78 %res = add i32 %mac1.0.lcssa, %count.final79 ret i32 %res80 81for.body:82 %mac1.026 = phi i32 [ %add11, %for.body ], [ 0, %for.body.preheader ]83 %i.025 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]84 %count = phi i32 [ %count.next, %for.body ], [ 0, %for.body.preheader ]85 %arrayidx = getelementptr inbounds i16, ptr %arg3, i32 %i.02586 %0 = load i16, ptr %arrayidx, align 287 %add = add nuw nsw i32 %i.025, 188 %arrayidx1 = getelementptr inbounds i16, ptr %arg3, i32 %add89 %1 = load i16, ptr %arrayidx1, align 290 %arrayidx3 = getelementptr inbounds i16, ptr %arg2, i32 %i.02591 %2 = load i16, ptr %arrayidx3, align 292 %conv = sext i16 %2 to i3293 %conv4 = sext i16 %0 to i3294 %count.next = add i32 %conv4, %count95 %mul = mul nsw i32 %conv, %conv496 %arrayidx6 = getelementptr inbounds i16, ptr %arg2, i32 %add97 %3 = load i16, ptr %arrayidx6, align 298 %conv7 = sext i16 %3 to i3299 %conv8 = sext i16 %1 to i32100 %mul9 = mul nsw i32 %conv7, %conv8101 %add10 = add i32 %mul, %mac1.026102 %add11 = add i32 %mul9, %add10103 %exitcond = icmp ne i32 %add, %arg104 br i1 %exitcond, label %for.body, label %for.cond.cleanup105}106 107define i32 @mul_bottom_user(i32 %arg, ptr nocapture readnone %arg1, ptr nocapture readonly %arg2, ptr nocapture readonly %arg3) {108; CHECK-LE-LABEL: mul_bottom_user:109; CHECK-LE: @ %bb.0: @ %entry110; CHECK-LE-NEXT: cmp r0, #1111; CHECK-LE-NEXT: blt .LBB1_4112; CHECK-LE-NEXT: @ %bb.1: @ %for.body.preheader113; CHECK-LE-NEXT: .save {r4, lr}114; CHECK-LE-NEXT: push {r4, lr}115; CHECK-LE-NEXT: sub.w lr, r3, #2116; CHECK-LE-NEXT: subs r2, #2117; CHECK-LE-NEXT: mov.w r12, #0118; CHECK-LE-NEXT: movs r1, #0119; CHECK-LE-NEXT: .LBB1_2: @ %for.body120; CHECK-LE-NEXT: @ =>This Inner Loop Header: Depth=1121; CHECK-LE-NEXT: ldr r3, [lr, #2]!122; CHECK-LE-NEXT: subs r0, #1123; CHECK-LE-NEXT: ldr r4, [r2, #2]!124; CHECK-LE-NEXT: smlad r12, r4, r3, r12125; CHECK-LE-NEXT: sxth r3, r3126; CHECK-LE-NEXT: mul r1, r3, r1127; CHECK-LE-NEXT: bne .LBB1_2128; CHECK-LE-NEXT: @ %bb.3:129; CHECK-LE-NEXT: pop.w {r4, lr}130; CHECK-LE-NEXT: add.w r0, r12, r1131; CHECK-LE-NEXT: bx lr132; CHECK-LE-NEXT: .LBB1_4:133; CHECK-LE-NEXT: mov.w r12, #0134; CHECK-LE-NEXT: movs r1, #0135; CHECK-LE-NEXT: add.w r0, r12, r1136; CHECK-LE-NEXT: bx lr137;138; CHECK-BE-LABEL: mul_bottom_user:139; CHECK-BE: @ %bb.0: @ %entry140; CHECK-BE-NEXT: cmp r0, #1141; CHECK-BE-NEXT: blt .LBB1_4142; CHECK-BE-NEXT: @ %bb.1: @ %for.body.preheader143; CHECK-BE-NEXT: .save {r4, r5, r7, lr}144; CHECK-BE-NEXT: push {r4, r5, r7, lr}145; CHECK-BE-NEXT: subs r3, #2146; CHECK-BE-NEXT: subs r2, #2147; CHECK-BE-NEXT: mov.w r12, #0148; CHECK-BE-NEXT: movs r1, #0149; CHECK-BE-NEXT: .LBB1_2: @ %for.body150; CHECK-BE-NEXT: @ =>This Inner Loop Header: Depth=1151; CHECK-BE-NEXT: ldrsh lr, [r3, #2]!152; CHECK-BE-NEXT: subs r0, #1153; CHECK-BE-NEXT: ldrsh r4, [r2, #2]!154; CHECK-BE-NEXT: ldrsh.w r5, [r2, #2]155; CHECK-BE-NEXT: mul r1, lr, r1156; CHECK-BE-NEXT: smlabb r12, r4, lr, r12157; CHECK-BE-NEXT: ldrsh.w r4, [r3, #2]158; CHECK-BE-NEXT: smlabb r12, r5, r4, r12159; CHECK-BE-NEXT: bne .LBB1_2160; CHECK-BE-NEXT: @ %bb.3:161; CHECK-BE-NEXT: pop.w {r4, r5, r7, lr}162; CHECK-BE-NEXT: add.w r0, r12, r1163; CHECK-BE-NEXT: bx lr164; CHECK-BE-NEXT: .LBB1_4:165; CHECK-BE-NEXT: mov.w r12, #0166; CHECK-BE-NEXT: movs r1, #0167; CHECK-BE-NEXT: add.w r0, r12, r1168; CHECK-BE-NEXT: bx lr169entry:170 %cmp24 = icmp sgt i32 %arg, 0171 br i1 %cmp24, label %for.body.preheader, label %for.cond.cleanup172 173for.body.preheader:174 %.pre = load i16, ptr %arg3, align 2175 %.pre27 = load i16, ptr %arg2, align 2176 br label %for.body177 178for.cond.cleanup:179 %mac1.0.lcssa = phi i32 [ 0, %entry ], [ %add11, %for.body ]180 %count.final = phi i32 [ 0, %entry ], [ %count.next, %for.body ]181 %res = add i32 %mac1.0.lcssa, %count.final182 ret i32 %res183 184for.body:185 %mac1.026 = phi i32 [ %add11, %for.body ], [ 0, %for.body.preheader ]186 %i.025 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]187 %count = phi i32 [ %count.next, %for.body ], [ 0, %for.body.preheader ]188 %arrayidx = getelementptr inbounds i16, ptr %arg3, i32 %i.025189 %0 = load i16, ptr %arrayidx, align 2190 %add = add nuw nsw i32 %i.025, 1191 %arrayidx1 = getelementptr inbounds i16, ptr %arg3, i32 %add192 %1 = load i16, ptr %arrayidx1, align 2193 %arrayidx3 = getelementptr inbounds i16, ptr %arg2, i32 %i.025194 %2 = load i16, ptr %arrayidx3, align 2195 %conv = sext i16 %2 to i32196 %conv4 = sext i16 %0 to i32197 %mul = mul nsw i32 %conv, %conv4198 %arrayidx6 = getelementptr inbounds i16, ptr %arg2, i32 %add199 %3 = load i16, ptr %arrayidx6, align 2200 %conv7 = sext i16 %3 to i32201 %conv8 = sext i16 %1 to i32202 %mul9 = mul nsw i32 %conv7, %conv8203 %add10 = add i32 %mul, %mac1.026204 %add11 = add i32 %mul9, %add10205 %count.next = mul i32 %conv4, %count206 %exitcond = icmp ne i32 %add, %arg207 br i1 %exitcond, label %for.body, label %for.cond.cleanup208}209 210define i32 @mul_top_user(i32 %arg, ptr nocapture readnone %arg1, ptr nocapture readonly %arg2, ptr nocapture readonly %arg3) {211; CHECK-LE-LABEL: mul_top_user:212; CHECK-LE: @ %bb.0: @ %entry213; CHECK-LE-NEXT: cmp r0, #1214; CHECK-LE-NEXT: blt .LBB2_4215; CHECK-LE-NEXT: @ %bb.1: @ %for.body.preheader216; CHECK-LE-NEXT: .save {r4, lr}217; CHECK-LE-NEXT: push {r4, lr}218; CHECK-LE-NEXT: subs r3, #2219; CHECK-LE-NEXT: subs r2, #2220; CHECK-LE-NEXT: mov.w r12, #0221; CHECK-LE-NEXT: movs r1, #0222; CHECK-LE-NEXT: .LBB2_2: @ %for.body223; CHECK-LE-NEXT: @ =>This Inner Loop Header: Depth=1224; CHECK-LE-NEXT: ldr lr, [r3, #2]!225; CHECK-LE-NEXT: subs r0, #1226; CHECK-LE-NEXT: ldr r4, [r2, #2]!227; CHECK-LE-NEXT: smlad r12, r4, lr, r12228; CHECK-LE-NEXT: asr.w r4, r4, #16229; CHECK-LE-NEXT: mul r1, r4, r1230; CHECK-LE-NEXT: bne .LBB2_2231; CHECK-LE-NEXT: @ %bb.3:232; CHECK-LE-NEXT: pop.w {r4, lr}233; CHECK-LE-NEXT: add.w r0, r12, r1234; CHECK-LE-NEXT: bx lr235; CHECK-LE-NEXT: .LBB2_4:236; CHECK-LE-NEXT: mov.w r12, #0237; CHECK-LE-NEXT: movs r1, #0238; CHECK-LE-NEXT: add.w r0, r12, r1239; CHECK-LE-NEXT: bx lr240;241; CHECK-BE-LABEL: mul_top_user:242; CHECK-BE: @ %bb.0: @ %entry243; CHECK-BE-NEXT: cmp r0, #1244; CHECK-BE-NEXT: blt .LBB2_4245; CHECK-BE-NEXT: @ %bb.1: @ %for.body.preheader246; CHECK-BE-NEXT: .save {r4, lr}247; CHECK-BE-NEXT: push {r4, lr}248; CHECK-BE-NEXT: subs r3, #2249; CHECK-BE-NEXT: subs r2, #2250; CHECK-BE-NEXT: mov.w r12, #0251; CHECK-BE-NEXT: movs r1, #0252; CHECK-BE-NEXT: .LBB2_2: @ %for.body253; CHECK-BE-NEXT: @ =>This Inner Loop Header: Depth=1254; CHECK-BE-NEXT: ldrsh lr, [r3, #2]!255; CHECK-BE-NEXT: subs r0, #1256; CHECK-BE-NEXT: ldrsh r4, [r2, #2]!257; CHECK-BE-NEXT: smlabb r12, r4, lr, r12258; CHECK-BE-NEXT: ldrsh.w r4, [r2, #2]259; CHECK-BE-NEXT: ldrsh.w lr, [r3, #2]260; CHECK-BE-NEXT: mul r1, r4, r1261; CHECK-BE-NEXT: smlabb r12, r4, lr, r12262; CHECK-BE-NEXT: bne .LBB2_2263; CHECK-BE-NEXT: @ %bb.3:264; CHECK-BE-NEXT: pop.w {r4, lr}265; CHECK-BE-NEXT: add.w r0, r12, r1266; CHECK-BE-NEXT: bx lr267; CHECK-BE-NEXT: .LBB2_4:268; CHECK-BE-NEXT: mov.w r12, #0269; CHECK-BE-NEXT: movs r1, #0270; CHECK-BE-NEXT: add.w r0, r12, r1271; CHECK-BE-NEXT: bx lr272entry:273 %cmp24 = icmp sgt i32 %arg, 0274 br i1 %cmp24, label %for.body.preheader, label %for.cond.cleanup275 276for.body.preheader:277 %.pre = load i16, ptr %arg3, align 2278 %.pre27 = load i16, ptr %arg2, align 2279 br label %for.body280 281for.cond.cleanup:282 %mac1.0.lcssa = phi i32 [ 0, %entry ], [ %add11, %for.body ]283 %count.final = phi i32 [ 0, %entry ], [ %count.next, %for.body ]284 %res = add i32 %mac1.0.lcssa, %count.final285 ret i32 %res286 287for.body:288 %mac1.026 = phi i32 [ %add11, %for.body ], [ 0, %for.body.preheader ]289 %i.025 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]290 %count = phi i32 [ %count.next, %for.body ], [ 0, %for.body.preheader ]291 %arrayidx = getelementptr inbounds i16, ptr %arg3, i32 %i.025292 %0 = load i16, ptr %arrayidx, align 2293 %add = add nuw nsw i32 %i.025, 1294 %arrayidx1 = getelementptr inbounds i16, ptr %arg3, i32 %add295 %1 = load i16, ptr %arrayidx1, align 2296 %arrayidx3 = getelementptr inbounds i16, ptr %arg2, i32 %i.025297 %2 = load i16, ptr %arrayidx3, align 2298 %conv = sext i16 %2 to i32299 %conv4 = sext i16 %0 to i32300 %mul = mul nsw i32 %conv, %conv4301 %arrayidx6 = getelementptr inbounds i16, ptr %arg2, i32 %add302 %3 = load i16, ptr %arrayidx6, align 2303 %conv7 = sext i16 %3 to i32304 %conv8 = sext i16 %1 to i32305 %mul9 = mul nsw i32 %conv7, %conv8306 %add10 = add i32 %mul, %mac1.026307 %add11 = add i32 %mul9, %add10308 %count.next = mul i32 %conv7, %count309 %exitcond = icmp ne i32 %add, %arg310 br i1 %exitcond, label %for.body, label %for.cond.cleanup311}312 313define i32 @and_user(i32 %arg, ptr nocapture readnone %arg1, ptr nocapture readonly %arg2, ptr nocapture readonly %arg3) {314; CHECK-LE-LABEL: and_user:315; CHECK-LE: @ %bb.0: @ %entry316; CHECK-LE-NEXT: cmp r0, #1317; CHECK-LE-NEXT: blt .LBB3_4318; CHECK-LE-NEXT: @ %bb.1: @ %for.body.preheader319; CHECK-LE-NEXT: .save {r4, lr}320; CHECK-LE-NEXT: push {r4, lr}321; CHECK-LE-NEXT: sub.w lr, r3, #2322; CHECK-LE-NEXT: subs r2, #2323; CHECK-LE-NEXT: mov.w r12, #0324; CHECK-LE-NEXT: movs r1, #0325; CHECK-LE-NEXT: .LBB3_2: @ %for.body326; CHECK-LE-NEXT: @ =>This Inner Loop Header: Depth=1327; CHECK-LE-NEXT: ldr r3, [lr, #2]!328; CHECK-LE-NEXT: subs r0, #1329; CHECK-LE-NEXT: ldr r4, [r2, #2]!330; CHECK-LE-NEXT: smlad r12, r4, r3, r12331; CHECK-LE-NEXT: uxth r3, r3332; CHECK-LE-NEXT: mul r1, r3, r1333; CHECK-LE-NEXT: bne .LBB3_2334; CHECK-LE-NEXT: @ %bb.3:335; CHECK-LE-NEXT: pop.w {r4, lr}336; CHECK-LE-NEXT: add.w r0, r12, r1337; CHECK-LE-NEXT: bx lr338; CHECK-LE-NEXT: .LBB3_4:339; CHECK-LE-NEXT: mov.w r12, #0340; CHECK-LE-NEXT: movs r1, #0341; CHECK-LE-NEXT: add.w r0, r12, r1342; CHECK-LE-NEXT: bx lr343;344; CHECK-BE-LABEL: and_user:345; CHECK-BE: @ %bb.0: @ %entry346; CHECK-BE-NEXT: cmp r0, #1347; CHECK-BE-NEXT: blt .LBB3_4348; CHECK-BE-NEXT: @ %bb.1: @ %for.body.preheader349; CHECK-BE-NEXT: .save {r4, r5, r7, lr}350; CHECK-BE-NEXT: push {r4, r5, r7, lr}351; CHECK-BE-NEXT: subs r3, #2352; CHECK-BE-NEXT: subs r2, #2353; CHECK-BE-NEXT: mov.w r12, #0354; CHECK-BE-NEXT: movs r1, #0355; CHECK-BE-NEXT: .LBB3_2: @ %for.body356; CHECK-BE-NEXT: @ =>This Inner Loop Header: Depth=1357; CHECK-BE-NEXT: ldrh lr, [r3, #2]!358; CHECK-BE-NEXT: subs r0, #1359; CHECK-BE-NEXT: ldrsh r4, [r2, #2]!360; CHECK-BE-NEXT: ldrsh.w r5, [r2, #2]361; CHECK-BE-NEXT: mul r1, lr, r1362; CHECK-BE-NEXT: smlabb r12, r4, lr, r12363; CHECK-BE-NEXT: ldrsh.w r4, [r3, #2]364; CHECK-BE-NEXT: smlabb r12, r5, r4, r12365; CHECK-BE-NEXT: bne .LBB3_2366; CHECK-BE-NEXT: @ %bb.3:367; CHECK-BE-NEXT: pop.w {r4, r5, r7, lr}368; CHECK-BE-NEXT: add.w r0, r12, r1369; CHECK-BE-NEXT: bx lr370; CHECK-BE-NEXT: .LBB3_4:371; CHECK-BE-NEXT: mov.w r12, #0372; CHECK-BE-NEXT: movs r1, #0373; CHECK-BE-NEXT: add.w r0, r12, r1374; CHECK-BE-NEXT: bx lr375entry:376 %cmp24 = icmp sgt i32 %arg, 0377 br i1 %cmp24, label %for.body.preheader, label %for.cond.cleanup378 379for.body.preheader:380 %.pre = load i16, ptr %arg3, align 2381 %.pre27 = load i16, ptr %arg2, align 2382 br label %for.body383 384for.cond.cleanup:385 %mac1.0.lcssa = phi i32 [ 0, %entry ], [ %add11, %for.body ]386 %count.final = phi i32 [ 0, %entry ], [ %count.next, %for.body ]387 %res = add i32 %mac1.0.lcssa, %count.final388 ret i32 %res389 390for.body:391 %mac1.026 = phi i32 [ %add11, %for.body ], [ 0, %for.body.preheader ]392 %i.025 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]393 %count = phi i32 [ %count.next, %for.body ], [ 0, %for.body.preheader ]394 %arrayidx = getelementptr inbounds i16, ptr %arg3, i32 %i.025395 %0 = load i16, ptr %arrayidx, align 2396 %add = add nuw nsw i32 %i.025, 1397 %arrayidx1 = getelementptr inbounds i16, ptr %arg3, i32 %add398 %arrayidx3 = getelementptr inbounds i16, ptr %arg2, i32 %i.025399 %arrayidx6 = getelementptr inbounds i16, ptr %arg2, i32 %add400 %1 = load i16, ptr %arrayidx1, align 2401 %2 = load i16, ptr %arrayidx3, align 2402 %conv = sext i16 %2 to i32403 %conv4 = sext i16 %0 to i32404 %bottom = and i32 %conv4, 65535405 %mul = mul nsw i32 %conv, %conv4406 %3 = load i16, ptr %arrayidx6, align 2407 %conv7 = sext i16 %3 to i32408 %conv8 = sext i16 %1 to i32409 %mul9 = mul nsw i32 %conv7, %conv8410 %add10 = add i32 %mul, %mac1.026411 %add11 = add i32 %mul9, %add10412 %count.next = mul i32 %bottom, %count413 %exitcond = icmp ne i32 %add, %arg414 br i1 %exitcond, label %for.body, label %for.cond.cleanup415}416 417define i32 @multi_uses(i32 %arg, ptr nocapture readnone %arg1, ptr nocapture readonly %arg2, ptr nocapture readonly %arg3) {418; CHECK-LE-LABEL: multi_uses:419; CHECK-LE: @ %bb.0: @ %entry420; CHECK-LE-NEXT: .save {r4, lr}421; CHECK-LE-NEXT: push {r4, lr}422; CHECK-LE-NEXT: cmp r0, #1423; CHECK-LE-NEXT: blt .LBB4_4424; CHECK-LE-NEXT: @ %bb.1: @ %for.body.preheader425; CHECK-LE-NEXT: subs r3, #2426; CHECK-LE-NEXT: subs r2, #2427; CHECK-LE-NEXT: mov.w lr, #0428; CHECK-LE-NEXT: mov.w r12, #0429; CHECK-LE-NEXT: .LBB4_2: @ %for.body430; CHECK-LE-NEXT: @ =>This Inner Loop Header: Depth=1431; CHECK-LE-NEXT: ldr r1, [r3, #2]!432; CHECK-LE-NEXT: subs r0, #1433; CHECK-LE-NEXT: ldr r4, [r2, #2]!434; CHECK-LE-NEXT: smlad lr, r4, r1, lr435; CHECK-LE-NEXT: eor.w r4, r1, r12436; CHECK-LE-NEXT: mul r1, r4, r1437; CHECK-LE-NEXT: lsl.w r12, r1, #16438; CHECK-LE-NEXT: bne .LBB4_2439; CHECK-LE-NEXT: @ %bb.3: @ %for.cond.cleanup440; CHECK-LE-NEXT: add.w r0, lr, r12441; CHECK-LE-NEXT: pop {r4, pc}442; CHECK-LE-NEXT: .LBB4_4:443; CHECK-LE-NEXT: mov.w lr, #0444; CHECK-LE-NEXT: mov.w r12, #0445; CHECK-LE-NEXT: add.w r0, lr, r12446; CHECK-LE-NEXT: pop {r4, pc}447;448; CHECK-BE-LABEL: multi_uses:449; CHECK-BE: @ %bb.0: @ %entry450; CHECK-BE-NEXT: .save {r4, r5, r7, lr}451; CHECK-BE-NEXT: push {r4, r5, r7, lr}452; CHECK-BE-NEXT: cmp r0, #1453; CHECK-BE-NEXT: blt .LBB4_4454; CHECK-BE-NEXT: @ %bb.1: @ %for.body.preheader455; CHECK-BE-NEXT: subs r3, #2456; CHECK-BE-NEXT: subs r2, #2457; CHECK-BE-NEXT: mov.w r12, #0458; CHECK-BE-NEXT: mov.w lr, #0459; CHECK-BE-NEXT: .LBB4_2: @ %for.body460; CHECK-BE-NEXT: @ =>This Inner Loop Header: Depth=1461; CHECK-BE-NEXT: ldrsh r4, [r2, #2]!462; CHECK-BE-NEXT: subs r0, #1463; CHECK-BE-NEXT: ldrsh r1, [r3, #2]!464; CHECK-BE-NEXT: ldrsh.w r5, [r2, #2]465; CHECK-BE-NEXT: smlabb r12, r4, r1, r12466; CHECK-BE-NEXT: ldrsh.w r4, [r3, #2]467; CHECK-BE-NEXT: smlabb r12, r5, r4, r12468; CHECK-BE-NEXT: eor.w r5, r1, lr469; CHECK-BE-NEXT: mul r1, r5, r1470; CHECK-BE-NEXT: lsl.w lr, r1, #16471; CHECK-BE-NEXT: bne .LBB4_2472; CHECK-BE-NEXT: @ %bb.3: @ %for.cond.cleanup473; CHECK-BE-NEXT: add.w r0, r12, lr474; CHECK-BE-NEXT: pop {r4, r5, r7, pc}475; CHECK-BE-NEXT: .LBB4_4:476; CHECK-BE-NEXT: mov.w r12, #0477; CHECK-BE-NEXT: mov.w lr, #0478; CHECK-BE-NEXT: add.w r0, r12, lr479; CHECK-BE-NEXT: pop {r4, r5, r7, pc}480entry:481 %cmp24 = icmp sgt i32 %arg, 0482 br i1 %cmp24, label %for.body.preheader, label %for.cond.cleanup483 484for.body.preheader:485 %.pre = load i16, ptr %arg3, align 2486 %.pre27 = load i16, ptr %arg2, align 2487 br label %for.body488 489for.cond.cleanup:490 %mac1.0.lcssa = phi i32 [ 0, %entry ], [ %add11, %for.body ]491 %count.final = phi i32 [ 0, %entry ], [ %count.next, %for.body ]492 %res = add i32 %mac1.0.lcssa, %count.final493 ret i32 %res494 495for.body:496 %mac1.026 = phi i32 [ %add11, %for.body ], [ 0, %for.body.preheader ]497 %i.025 = phi i32 [ %add, %for.body ], [ 0, %for.body.preheader ]498 %count = phi i32 [ %count.next, %for.body ], [ 0, %for.body.preheader ]499 %arrayidx = getelementptr inbounds i16, ptr %arg3, i32 %i.025500 %0 = load i16, ptr %arrayidx, align 2501 %add = add nuw nsw i32 %i.025, 1502 %arrayidx1 = getelementptr inbounds i16, ptr %arg3, i32 %add503 %arrayidx3 = getelementptr inbounds i16, ptr %arg2, i32 %i.025504 %arrayidx6 = getelementptr inbounds i16, ptr %arg2, i32 %add505 %1 = load i16, ptr %arrayidx1, align 2506 %2 = load i16, ptr %arrayidx3, align 2507 %conv = sext i16 %2 to i32508 %conv4 = sext i16 %0 to i32509 %bottom = and i32 %conv4, 65535510 %mul = mul nsw i32 %conv, %conv4511 %3 = load i16, ptr %arrayidx6, align 2512 %conv7 = sext i16 %3 to i32513 %conv8 = sext i16 %1 to i32514 %mul9 = mul nsw i32 %conv7, %conv8515 %add10 = add i32 %mul, %mac1.026516 %shl = shl i32 %conv4, 16517 %add11 = add i32 %mul9, %add10518 %xor = xor i32 %bottom, %count519 %count.next = mul i32 %xor, %shl520 %exitcond = icmp ne i32 %add, %arg521 br i1 %exitcond, label %for.body, label %for.cond.cleanup522}523