47 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 22; RUN: llc -O2 -mtriple arm < %s | FileCheck %s3 4; Function Attrs: norecurse nounwind readnone5define i32 @foo(i32 %vreg0, i32 %vreg1, i32 %vreg2, i32 %vreg3, i32 %vreg4) local_unnamed_addr {6; CHECK-LABEL: foo:7; CHECK: @ %bb.0: @ %entry8; CHECK-NEXT: push {r11, lr}9; CHECK-NEXT: adds r2, r2, r010; CHECK-NEXT: mov r12, #011; CHECK-NEXT: adc lr, r12, #012; CHECK-NEXT: adds r0, r2, r013; CHECK-NEXT: ldr r2, [sp, #8]14; CHECK-NEXT: adc r0, r12, #015; CHECK-NEXT: adds r1, r3, r116; CHECK-NEXT: adcs r1, r2, #017; CHECK-NEXT: adc r0, r0, lr18; CHECK-NEXT: pop {r11, lr}19; CHECK-NEXT: mov pc, lr20entry:21 %conv = zext i32 %vreg2 to i6422 %conv1 = zext i32 %vreg0 to i6423 %add2 = add nuw nsw i64 %conv, %conv124 %shr = lshr i64 %add2, 3225 %conv4 = trunc i64 %shr to i3226 %conv5 = and i64 %add2, 429496729527 %add8 = add nuw nsw i64 %conv5, %conv128 %shr9 = lshr i64 %add8, 3229 %conv10 = trunc i64 %shr9 to i3230 %add11 = add nuw nsw i32 %conv10, %conv431 %conv12 = zext i32 %vreg3 to i6432 %conv14 = zext i32 %vreg1 to i6433 %add15 = add nuw nsw i64 %conv12, %conv1434 %shr16 = lshr i64 %add15, 3235 %conv19 = zext i32 %vreg4 to i6436 %add20 = add nuw nsw i64 %shr16, %conv1937 %shr22 = lshr i64 %add20, 3238 %conv23 = trunc i64 %shr22 to i3239 %add24 = add nuw nsw i32 %add11, %conv2340 ret i32 %add2441 42; The interesting bit is the next instruction which looks43; like is computing a dead r1 but is actually computing a carry44; for the final adc.45 46}47