; RUN: llc -march=js -o - < %s | FileCheck %s

; Basic AllocaManager feature test. Eliminate user variable cupcake in favor of
; user variable muffin, and combine all the vararg buffers. And align the stack
; pointer.

; ModuleID = 'test/CodeGen/JS/allocamanager.ll'
target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:128-n32-S128"
target triple = "asmjs-unknown-emscripten"

%struct._IO_FILE = type opaque

@stderr = external constant [4 x i8], align 4
@.str = private unnamed_addr constant [26 x i8] c"hello from %s; argc is %d\00", align 1
@.str1 = private unnamed_addr constant [33 x i8] c"message from the program: \22%s\22!\0A\00", align 1
@.str2 = private unnamed_addr constant [38 x i8] c"with argc %d, I, %s, must say goodbye\00", align 1
@.str3 = private unnamed_addr constant [43 x i8] c"another message from the program: \22%s\22...\0A\00", align 1

; CHECK: function _foo($argc,$argv) {
; CHECK-NOT: cupcake
; CHECK: STACKTOP = STACKTOP + 128|0;
; CHECK-NEXT: vararg_buffer0 =
; CHECK-NEXT: $muffin =
; CHECK-NOT: cupcake
; CHECK: }

; Function Attrs: nounwind
define void @foo(i32 %argc, i8** %argv) #0 {
entry:
  %vararg_buffer0 = alloca <{ i8* }>, align 8
  %vararg_lifetime_bitcast10 = bitcast <{ i8* }>* %vararg_buffer0 to i8*
  %vararg_buffer5 = alloca <{ i32, i8* }>, align 8
  %vararg_lifetime_bitcast6 = bitcast <{ i32, i8* }>* %vararg_buffer5 to i8*
  %vararg_buffer2 = alloca <{ i8* }>, align 8
  %vararg_lifetime_bitcast3 = bitcast <{ i8* }>* %vararg_buffer2 to i8*
  %vararg_buffer1 = alloca <{ i8*, i32 }>, align 8
  %vararg_lifetime_bitcast = bitcast <{ i8*, i32 }>* %vararg_buffer1 to i8*
  %muffin = alloca [117 x i8], align 1
  %cupcake = alloca [119 x i8], align 1
  %tmp = getelementptr [117 x i8]* %muffin, i32 0, i32 0
  call void @llvm.lifetime.start(i64 117, i8* %tmp) #0
  %tmp1 = load i8** %argv, align 4
  call void @llvm.lifetime.start(i64 8, i8* %vararg_lifetime_bitcast)
  %vararg_ptr = getelementptr <{ i8*, i32 }>* %vararg_buffer1, i32 0, i32 0
  store i8* %tmp1, i8** %vararg_ptr, align 4
  %vararg_ptr1 = getelementptr <{ i8*, i32 }>* %vararg_buffer1, i32 0, i32 1
  store i32 %argc, i32* %vararg_ptr1, align 4
  %call = call i32 bitcast (i32 (i8*, i8*, i8*)* @sprintf to i32 (i8*, i8*, <{ i8*, i32 }>*)*)(i8* %tmp, i8* getelementptr inbounds ([26 x i8]* @.str, i32 0, i32 0), <{ i8*, i32 }>* %vararg_buffer1) #0
  call void @llvm.lifetime.end(i64 8, i8* %vararg_lifetime_bitcast)
  %tmp2 = load %struct._IO_FILE** bitcast ([4 x i8]* @stderr to %struct._IO_FILE**), align 4
  call void @llvm.lifetime.start(i64 4, i8* %vararg_lifetime_bitcast3)
  %vararg_ptr4 = getelementptr <{ i8* }>* %vararg_buffer2, i32 0, i32 0
  store i8* %tmp, i8** %vararg_ptr4, align 4
  %call2 = call i32 bitcast (i32 (%struct._IO_FILE*, i8*, i8*)* @fprintf to i32 (%struct._IO_FILE*, i8*, <{ i8* }>*)*)(%struct._IO_FILE* %tmp2, i8* getelementptr inbounds ([33 x i8]* @.str1, i32 0, i32 0), <{ i8* }>* %vararg_buffer2) #0
  call void @llvm.lifetime.end(i64 4, i8* %vararg_lifetime_bitcast3)
  call void @llvm.lifetime.end(i64 117, i8* %tmp) #0
  %tmp3 = getelementptr [119 x i8]* %cupcake, i32 0, i32 0
  call void @llvm.lifetime.start(i64 119, i8* %tmp3) #0
  %tmp4 = load i8** %argv, align 4
  call void @llvm.lifetime.start(i64 8, i8* %vararg_lifetime_bitcast6)
  %vararg_ptr7 = getelementptr <{ i32, i8* }>* %vararg_buffer5, i32 0, i32 0
  store i32 %argc, i32* %vararg_ptr7, align 4
  %vararg_ptr8 = getelementptr <{ i32, i8* }>* %vararg_buffer5, i32 0, i32 1
  store i8* %tmp4, i8** %vararg_ptr8, align 4
  %call5 = call i32 bitcast (i32 (i8*, i8*, i8*)* @sprintf to i32 (i8*, i8*, <{ i32, i8* }>*)*)(i8* %tmp3, i8* getelementptr inbounds ([38 x i8]* @.str2, i32 0, i32 0), <{ i32, i8* }>* %vararg_buffer5) #0
  call void @llvm.lifetime.end(i64 8, i8* %vararg_lifetime_bitcast6)
  call void @llvm.lifetime.start(i64 4, i8* %vararg_lifetime_bitcast10)
  %vararg_ptr11 = getelementptr <{ i8* }>* %vararg_buffer0, i32 0, i32 0
  store i8* %tmp3, i8** %vararg_ptr11, align 4
  %call7 = call i32 bitcast (i32 (%struct._IO_FILE*, i8*, i8*)* @fprintf to i32 (%struct._IO_FILE*, i8*, <{ i8* }>*)*)(%struct._IO_FILE* %tmp2, i8* getelementptr inbounds ([43 x i8]* @.str3, i32 0, i32 0), <{ i8* }>* %vararg_buffer0) #0
  call void @llvm.lifetime.end(i64 4, i8* %vararg_lifetime_bitcast10)
  call void @llvm.lifetime.end(i64 119, i8* %tmp3) #0
  ret void
}

; CHECK: function _bar($argc,$argv) {
; CHECK-NOT: cupcake
; CHECK: STACKTOP = STACKTOP + 128|0;
; CHECK-NEXT: vararg_buffer0 =
; CHECK-NEXT: $muffin =
; CHECK-NOT: cupcake
; CHECK: }

; Function Attrs: nounwind
define void @bar(i32 %argc, i8** %argv) #0 {
entry:
  %vararg_buffer0 = alloca <{ i8* }>, align 8
  %vararg_lifetime_bitcast10 = bitcast <{ i8* }>* %vararg_buffer0 to i8*
  %vararg_buffer5 = alloca <{ i32, i8* }>, align 8
  %vararg_lifetime_bitcast6 = bitcast <{ i32, i8* }>* %vararg_buffer5 to i8*
  %vararg_buffer2 = alloca <{ i8* }>, align 8
  %vararg_lifetime_bitcast3 = bitcast <{ i8* }>* %vararg_buffer2 to i8*
  %vararg_buffer1 = alloca <{ i8*, i32 }>, align 8
  %vararg_lifetime_bitcast = bitcast <{ i8*, i32 }>* %vararg_buffer1 to i8*
  %muffin = alloca [117 x i8], align 1
  %cupcake = alloca [119 x i8], align 1
  %tmp = getelementptr [117 x i8]* %muffin, i32 0, i32 0
  call void @llvm.lifetime.start(i64 117, i8* %tmp) #0
  %cmp = icmp eq i32 %argc, 39
  br i1 %cmp, label %if.end.thread, label %if.end

if.end.thread:                                    ; preds = %entry
  call void @llvm.lifetime.end(i64 117, i8* %tmp) #0
  %tmp1 = getelementptr [119 x i8]* %cupcake, i32 0, i32 0
  call void @llvm.lifetime.start(i64 119, i8* %tmp1) #0
  %.pre = load %struct._IO_FILE** bitcast ([4 x i8]* @stderr to %struct._IO_FILE**), align 4
  br label %if.then4

if.end:                                           ; preds = %entry
  %tmp2 = load i8** %argv, align 4
  call void @llvm.lifetime.start(i64 8, i8* %vararg_lifetime_bitcast)
  %vararg_ptr = getelementptr <{ i8*, i32 }>* %vararg_buffer1, i32 0, i32 0
  store i8* %tmp2, i8** %vararg_ptr, align 4
  %vararg_ptr1 = getelementptr <{ i8*, i32 }>* %vararg_buffer1, i32 0, i32 1
  store i32 %argc, i32* %vararg_ptr1, align 4
  %call = call i32 bitcast (i32 (i8*, i8*, i8*)* @sprintf to i32 (i8*, i8*, <{ i8*, i32 }>*)*)(i8* %tmp, i8* getelementptr inbounds ([26 x i8]* @.str, i32 0, i32 0), <{ i8*, i32 }>* %vararg_buffer1) #0
  call void @llvm.lifetime.end(i64 8, i8* %vararg_lifetime_bitcast)
  %tmp3 = load %struct._IO_FILE** bitcast ([4 x i8]* @stderr to %struct._IO_FILE**), align 4
  call void @llvm.lifetime.start(i64 4, i8* %vararg_lifetime_bitcast3)
  %vararg_ptr4 = getelementptr <{ i8* }>* %vararg_buffer2, i32 0, i32 0
  store i8* %tmp, i8** %vararg_ptr4, align 4
  %call2 = call i32 bitcast (i32 (%struct._IO_FILE*, i8*, i8*)* @fprintf to i32 (%struct._IO_FILE*, i8*, <{ i8* }>*)*)(%struct._IO_FILE* %tmp3, i8* getelementptr inbounds ([33 x i8]* @.str1, i32 0, i32 0), <{ i8* }>* %vararg_buffer2) #0
  call void @llvm.lifetime.end(i64 4, i8* %vararg_lifetime_bitcast3)
  call void @llvm.lifetime.end(i64 117, i8* %tmp) #0
  %tmp4 = getelementptr [119 x i8]* %cupcake, i32 0, i32 0
  call void @llvm.lifetime.start(i64 119, i8* %tmp4) #0
  %cmp3 = icmp eq i32 %argc, 45
  br i1 %cmp3, label %if.end10, label %if.then4

if.then4:                                         ; preds = %if.end, %if.end.thread
  %tmp5 = phi %struct._IO_FILE* [ %.pre, %if.end.thread ], [ %tmp3, %if.end ]
  %tmp6 = phi i8* [ %tmp1, %if.end.thread ], [ %tmp4, %if.end ]
  %tmp7 = load i8** %argv, align 4
  call void @llvm.lifetime.start(i64 8, i8* %vararg_lifetime_bitcast6)
  %vararg_ptr7 = getelementptr <{ i32, i8* }>* %vararg_buffer5, i32 0, i32 0
  store i32 %argc, i32* %vararg_ptr7, align 4
  %vararg_ptr8 = getelementptr <{ i32, i8* }>* %vararg_buffer5, i32 0, i32 1
  store i8* %tmp7, i8** %vararg_ptr8, align 4
  %call7 = call i32 bitcast (i32 (i8*, i8*, i8*)* @sprintf to i32 (i8*, i8*, <{ i32, i8* }>*)*)(i8* %tmp6, i8* getelementptr inbounds ([38 x i8]* @.str2, i32 0, i32 0), <{ i32, i8* }>* %vararg_buffer5) #0
  call void @llvm.lifetime.end(i64 8, i8* %vararg_lifetime_bitcast6)
  call void @llvm.lifetime.start(i64 4, i8* %vararg_lifetime_bitcast10)
  %vararg_ptr11 = getelementptr <{ i8* }>* %vararg_buffer0, i32 0, i32 0
  store i8* %tmp6, i8** %vararg_ptr11, align 4
  %call9 = call i32 bitcast (i32 (%struct._IO_FILE*, i8*, i8*)* @fprintf to i32 (%struct._IO_FILE*, i8*, <{ i8* }>*)*)(%struct._IO_FILE* %tmp5, i8* getelementptr inbounds ([43 x i8]* @.str3, i32 0, i32 0), <{ i8* }>* %vararg_buffer0) #0
  call void @llvm.lifetime.end(i64 4, i8* %vararg_lifetime_bitcast10)
  br label %if.end10

if.end10:                                         ; preds = %if.then4, %if.end
  %tmp8 = phi i8* [ %tmp4, %if.end ], [ %tmp6, %if.then4 ]
  call void @llvm.lifetime.end(i64 119, i8* %tmp8) #0
  ret void
}

; Function Attrs: nounwind
declare i32 @sprintf(i8*, i8*, i8*) #0

; Function Attrs: nounwind
declare i32 @fprintf(%struct._IO_FILE*, i8*, i8*) #0

; Function Attrs: nounwind
declare void @llvm.lifetime.start(i64, i8* nocapture) #0

; Function Attrs: nounwind
declare void @llvm.lifetime.end(i64, i8* nocapture) #0

attributes #0 = { nounwind }