test/CodeGen/Thumb/pr35836.ll

   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