1 ; RUN: llc < %s | FileCheck %s 2 3 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 4 target triple = "thumbv5e-none-linux-gnueabi" 5 6 ; Function Attrs: norecurse nounwind optsize 7 define void @f(i32,i32,i32,i32,i32* %x4p, i32* %x5p, i32* %x6p) { 8 if.end: 9 br label %while.body 10 11 while.body: 12 %ll.0100 = phi i64 [ 0, %if.end ], [ %shr32, %while.body ] 13 %add = add nuw nsw i64 %ll.0100, 0 14 %add3 = add nuw nsw i64 %add, 0 15 %shr = lshr i64 %add3, 32 16 %conv7 = zext i32 %0 to i64 17 %conv9 = zext i32 %1 to i64 18 %add10 = add nuw nsw i64 %conv9, %conv7 19 %add11 = add nuw nsw i64 %add10, %shr 20 %shr14 = lshr i64 %add11, 32 21 %conv16 = zext i32 %2 to i64 22 %conv18 = zext i32 %3 to i64 23 %add19 = add nuw nsw i64 %conv18, %conv16 24 %add20 = add nuw nsw i64 %add19, %shr14 25 %conv21 = trunc i64 %add20 to i32 26 store i32 %conv21, i32* %x6p, align 4 27 %shr23 = lshr i64 %add20, 32 28 %x4 = load i32, i32* %x4p, align 4 29 %conv25 = zext i32 %x4 to i64 30 %x5 = load i32, i32* %x5p, align 4 31 %conv27 = zext i32 %x5 to i64 32 %add28 = add nuw nsw i64 %conv27, %conv25 33 %add29 = add nuw nsw i64 %add28, %shr23 34 %shr32 = lshr i64 %add29, 32 35 br label %while.body 36 } 37 ; CHECK: adds r3, r0, r1 38 ; CHECK: push {r5} 39 ; CHECK: pop {r1} 40 ; CHECK: adcs r1, r5 41 ; CHECK: ldr r0, [sp, #12] @ 4-byte Reload 42 ; CHECK: ldr r2, [sp, #8] @ 4-byte Reload 43 ; CHECK: adds r2, r0, r2 44 ; CHECK: push {r5} 45 ; CHECK: pop {r4} 46 ; CHECK: adcs r4, r5 47 ; CHECK: adds r0, r2, r5 48 ; CHECK: push {r3} 49 ; CHECK: pop {r0} 50 ; CHECK: adcs r0, r4 51 ; CHECK: ldr r6, [sp, #4] @ 4-byte Reload 52 ; CHECK: str r0, [r6] 53 ; CHECK: ldr r0, [r7] 54 ; CHECK: ldr r6, [sp] @ 4-byte Reload 55 ; CHECK: ldr r6, [r6] 56 ; CHECK: adds r0, r6, r0 57
