test/CodeGen/Thumb/dyn-stackalloc.ll

   1 ; RUN: llc < %s -mtriple=thumb-apple-darwin -disable-cgp-branch-opts -disable-post-ra -verify-machineinstrs | FileCheck %s -check-prefix=CHECK -check-prefix=RA_GREEDY
   2 ; RUN: llc < %s -mtriple=thumb-apple-darwin -disable-cgp-branch-opts -disable-post-ra -regalloc=basic -verify-machineinstrs | FileCheck %s -check-prefix=CHECK -check-prefix=RA_BASIC
   3
   4         %struct.state = type { i32, %struct.info*, float**, i32, i32, i32, i32, i32, i32, i32, i32, i32, i64, i64, i64, i64, i64, i64, i8* }
   5         %struct.info = type { i32, i32, i32, i32, i32, i32, i32, i8* }
   6
   7 define void @t1(%struct.state* %v) {
   8 ; CHECK-LABEL: t1:
   9 ; CHECK: push
  10 ; CHECK: add r7, sp, #12
  11 ; CHECK: lsls r[[R0:[0-9]+]]
  12 ; CHECK: mov r[[R1:[0-9]+]], sp
  13 ; CHECK: subs r[[R2:[0-9]+]], r[[R1]], r[[R0]]
  14 ; CHECK: mov sp, r[[R2]]
  15         %tmp6 = load i32, i32* null
  16         %tmp8 = alloca float, i32 %tmp6
  17         store i32 1, i32* null
  18         br i1 false, label %bb123.preheader, label %return
  19
  20 bb123.preheader:
  21         br i1 false, label %bb43, label %return
  22
  23 bb43:
  24         call fastcc void @f1( float* %tmp8, float* null, i32 0 )
  25         %tmp70 = load i32, i32* null
  26         %tmp85 = getelementptr float, float* %tmp8, i32 0
  27         call fastcc void @f2( float* null, float* null, float* %tmp85, i32 %tmp70 )
  28         ret void
  29
  30 return:
  31         ret void
  32 }
  33
  34 declare fastcc void @f1(float*, float*, i32)
  35
  36 declare fastcc void @f2(float*, float*, float*, i32)
  37
  38         %struct.comment = type { i8**, i32*, i32, i8* }
  39 @str215 = external global [2 x i8]
  40
  41 define void @t2(%struct.comment* %vc, i8* %tag, i8* %contents) {
  42 ; CHECK-LABEL: t2:
  43 ; CHECK: push
  44 ; CHECK: add r7, sp, #12
  45 ; CHECK: sub sp, #
  46 ; CHECK: mov r[[R0:[0-9]+]], sp
  47 ; CHECK: str r{{[0-9+]}}, [r[[R0]]
  48 ; RA_GREEDY: str r{{[0-9+]}}, [r[[R0]]
  49 ; RA_BASIC: stm r[[R0]]!
  50 ; CHECK-NOT: ldr r0, [sp
  51 ; CHECK: mov r[[R1:[0-9]+]], sp
  52 ; CHECK: subs r[[R2:[0-9]+]], r[[R1]], r{{[0-9]+}}
  53 ; CHECK: mov sp, r[[R2]]
  54 ; CHECK-NOT: ldr r0, [sp
  55 ; CHECK: bx
  56         %tmp1 = call i32 @strlen( i8* %tag )
  57         %tmp3 = call i32 @strlen( i8* %contents )
  58         %tmp4 = add i32 %tmp1, 2
  59         %tmp5 = add i32 %tmp4, %tmp3
  60         %tmp6 = alloca i8, i32 %tmp5
  61         %tmp9 = call i8* @strcpy( i8* %tmp6, i8* %tag )
  62         %tmp6.len = call i32 @strlen( i8* %tmp6 )
  63         %tmp6.indexed = getelementptr i8, i8* %tmp6, i32 %tmp6.len
  64         call void @llvm.memcpy.p0i8.p0i8.i32(i8* align 1 %tmp6.indexed, i8* align 1 getelementptr inbounds ([2 x i8], [2 x i8]* @str215, i32 0, i32 0), i32 2, i1 false)
  65         %tmp15 = call i8* @strcat( i8* %tmp6, i8* %contents )
  66         call fastcc void @comment_add( %struct.comment* %vc, i8* %tmp6 )
  67         ret void
  68 }
  69
  70 declare i32 @strlen(i8*)
  71
  72 declare i8* @strcat(i8*, i8*)
  73
  74 declare fastcc void @comment_add(%struct.comment*, i8*)
  75
  76 declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind
  77
  78 declare i8* @strcpy(i8*, i8*)