test/Transforms/MergeFunc/va_arg.ll

   1 ; RUN: opt -S -mergefunc < %s | FileCheck %s
   2 ; RUN: opt -S -mergefunc -mergefunc-use-aliases < %s | FileCheck %s -check-prefix=ALIAS
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 ; ALIAS: @_Z9simple_vaPKcz = unnamed_addr alias void (i8*, ...), void (i8*, ...)* @_Z10simple_va2PKcz
   8 ; ALIAS-NOT: @_Z9simple_vaPKcz
   9
  10 %struct.__va_list_tag = type { i32, i32, i8*, i8* }
  11
  12 ; CHECK-LABEL: define {{.*}}@_Z9simple_vaPKcz
  13 ; CHECK: call void @llvm.va_start
  14 ; CHECK: call void @llvm.va_end
  15 define dso_local void @_Z9simple_vaPKcz(i8* nocapture readnone, ...) unnamed_addr {
  16   %2 = alloca [1 x %struct.__va_list_tag], align 16
  17   %3 = bitcast [1 x %struct.__va_list_tag]* %2 to i8*
  18   call void @llvm.va_start(i8* nonnull %3)
  19   %4 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 0
  20   %5 = load i32, i32* %4, align 16
  21   %6 = icmp ult i32 %5, 41
  22   br i1 %6, label %7, label %13
  23
  24 ; <label>:7:                                      ; preds = %1
  25   %8 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 3
  26   %9 = load i8*, i8** %8, align 16
  27   %10 = sext i32 %5 to i64
  28   %11 = getelementptr i8, i8* %9, i64 %10
  29   %12 = add i32 %5, 8
  30   store i32 %12, i32* %4, align 16
  31   br label %17
  32
  33 ; <label>:13:                                     ; preds = %1
  34   %14 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 2
  35   %15 = load i8*, i8** %14, align 8
  36   %16 = getelementptr i8, i8* %15, i64 8
  37   store i8* %16, i8** %14, align 8
  38   br label %17
  39
  40 ; <label>:17:                                     ; preds = %13, %7
  41   %18 = phi i8* [ %11, %7 ], [ %15, %13 ]
  42   %19 = bitcast i8* %18 to i32*
  43   %20 = load i32, i32* %19, align 4
  44   call void @_Z6escapei(i32 %20)
  45   call void @llvm.va_end(i8* nonnull %3)
  46   ret void
  47 }
  48
  49 ; Function Attrs: nounwind
  50 declare void @llvm.va_start(i8*)
  51
  52 ; Function Attrs: minsize optsize
  53 declare dso_local void @_Z6escapei(i32) local_unnamed_addr
  54
  55 ; Function Attrs: nounwind
  56 declare void @llvm.va_end(i8*)
  57
  58 ; CHECK-LABEL: define {{.*}}@_Z10simple_va2PKcz
  59 ; CHECK: call void @llvm.va_start
  60 ; CHECK: call void @llvm.va_end
  61 define dso_local void @_Z10simple_va2PKcz(i8* nocapture readnone, ...) unnamed_addr {
  62   %2 = alloca [1 x %struct.__va_list_tag], align 16
  63   %3 = bitcast [1 x %struct.__va_list_tag]* %2 to i8*
  64   call void @llvm.va_start(i8* nonnull %3)
  65   %4 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 0
  66   %5 = load i32, i32* %4, align 16
  67   %6 = icmp ult i32 %5, 41
  68   br i1 %6, label %7, label %13
  69
  70 ; <label>:7:                                      ; preds = %1
  71   %8 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 3
  72   %9 = load i8*, i8** %8, align 16
  73   %10 = sext i32 %5 to i64
  74   %11 = getelementptr i8, i8* %9, i64 %10
  75   %12 = add i32 %5, 8
  76   store i32 %12, i32* %4, align 16
  77   br label %17
  78
  79 ; <label>:13:                                     ; preds = %1
  80   %14 = getelementptr inbounds [1 x %struct.__va_list_tag], [1 x %struct.__va_list_tag]* %2, i64 0, i64 0, i32 2
  81   %15 = load i8*, i8** %14, align 8
  82   %16 = getelementptr i8, i8* %15, i64 8
  83   store i8* %16, i8** %14, align 8
  84   br label %17
  85
  86 ; <label>:17:                                     ; preds = %13, %7
  87   %18 = phi i8* [ %11, %7 ], [ %15, %13 ]
  88   %19 = bitcast i8* %18 to i32*
  89   %20 = load i32, i32* %19, align 4
  90   call void @_Z6escapei(i32 %20)
  91   call void @llvm.va_end(i8* nonnull %3)
  92   ret void
  93 }