57 lines · plain
1; RUN: llc < %s | FileCheck %s2 3target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"4target triple = "thumbv5e-none-linux-gnueabi"5 6; Function Attrs: norecurse nounwind optsize7define void @f(i32,i32,i32,i32,ptr %x4p, ptr %x5p, ptr %x6p) {8if.end:9 br label %while.body10 11while.body:12 %ll.0100 = phi i64 [ 0, %if.end ], [ %shr32, %while.body ]13 %add = add nuw nsw i64 %ll.0100, 014 %add3 = add nuw nsw i64 %add, 015 %shr = lshr i64 %add3, 3216 %conv7 = zext i32 %0 to i6417 %conv9 = zext i32 %1 to i6418 %add10 = add nuw nsw i64 %conv9, %conv719 %add11 = add nuw nsw i64 %add10, %shr20 %shr14 = lshr i64 %add11, 3221 %conv16 = zext i32 %2 to i6422 %conv18 = zext i32 %3 to i6423 %add19 = add nuw nsw i64 %conv18, %conv1624 %add20 = add nuw nsw i64 %add19, %shr1425 %conv21 = trunc i64 %add20 to i3226 store i32 %conv21, ptr %x6p, align 427 %shr23 = lshr i64 %add20, 3228 %x4 = load i32, ptr %x4p, align 429 %conv25 = zext i32 %x4 to i6430 %x5 = load i32, ptr %x5p, align 431 %conv27 = zext i32 %x5 to i6432 %add28 = add nuw nsw i64 %conv27, %conv2533 %add29 = add nuw nsw i64 %add28, %shr2334 %shr32 = lshr i64 %add29, 3235 br label %while.body36}37; CHECK: adds r3, r0, r138; CHECK: mov r12, r539; CHECK: mov r1, r1240; CHECK: adcs r1, r541; CHECK: ldr r0, [sp, #12] @ 4-byte Reload42; CHECK: ldr r2, [sp, #8] @ 4-byte Reload43; CHECK: adds r2, r0, r244; CHECK: mov r12, r545; CHECK: mov r4, r1246; CHECK: adcs r4, r547; CHECK: adds r0, r2, r548; CHECK: mov r12, r349; CHECK: mov r0, r1250; CHECK: adcs r0, r451; CHECK: ldr r6, [sp, #4] @ 4-byte Reload52; CHECK: str r0, [r6]53; CHECK: ldr r0, [r7]54; CHECK: ldr r6, [sp] @ 4-byte Reload55; CHECK: ldr r6, [r6]56; CHECK: adds r0, r6, r057