llvm/test/Transforms/MergeFunc/va_arg.ll

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