llvm/test/Transforms/ArgumentPromotion/byval.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
   2 ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
   3
   4 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   5
   6 %struct.ss = type { i32, i64 }
   7
   8 define internal void @f(%struct.ss* byval(%struct.ss) align 4 %b) nounwind  {
   9 ; CHECK-LABEL: define {{[^@]+}}@f
  10 ; CHECK-SAME: (i32 [[B_0:%.*]], i64 [[B_1:%.*]]) [[ATTR0:#.*]] {
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    [[B:%.*]] = alloca [[STRUCT_SS:%.*]], align 4
  13 ; CHECK-NEXT:    [[DOT0:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[B]], i32 0, i32 0
  14 ; CHECK-NEXT:    store i32 [[B_0]], i32* [[DOT0]], align 4
  15 ; CHECK-NEXT:    [[DOT1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[B]], i32 0, i32 1
  16 ; CHECK-NEXT:    store i64 [[B_1]], i64* [[DOT1]], align 4
  17 ; CHECK-NEXT:    [[TMP:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[B]], i32 0, i32 0
  18 ; CHECK-NEXT:    [[TMP1:%.*]] = load i32, i32* [[TMP]], align 4
  19 ; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[TMP1]], 1
  20 ; CHECK-NEXT:    store i32 [[TMP2]], i32* [[TMP]], align 4
  21 ; CHECK-NEXT:    ret void
  22 ;
  23 entry:
  24   %tmp = getelementptr %struct.ss, %struct.ss* %b, i32 0, i32 0
  25   %tmp1 = load i32, i32* %tmp, align 4
  26   %tmp2 = add i32 %tmp1, 1
  27   store i32 %tmp2, i32* %tmp, align 4
  28   ret void
  29 }
  30
  31
  32 define internal void @g(%struct.ss* byval(%struct.ss) align 32 %b) nounwind {
  33 ; CHECK-LABEL: define {{[^@]+}}@g
  34 ; CHECK-SAME: (i32 [[B_0:%.*]], i64 [[B_1:%.*]]) [[ATTR0]] {
  35 ; CHECK-NEXT:  entry:
  36 ; CHECK-NEXT:    [[B:%.*]] = alloca [[STRUCT_SS:%.*]], align 32
  37 ; CHECK-NEXT:    [[DOT0:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[B]], i32 0, i32 0
  38 ; CHECK-NEXT:    store i32 [[B_0]], i32* [[DOT0]], align 32
  39 ; CHECK-NEXT:    [[DOT1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[B]], i32 0, i32 1
  40 ; CHECK-NEXT:    store i64 [[B_1]], i64* [[DOT1]], align 4
  41 ; CHECK-NEXT:    [[TMP:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[B]], i32 0, i32 0
  42 ; CHECK-NEXT:    [[TMP1:%.*]] = load i32, i32* [[TMP]], align 4
  43 ; CHECK-NEXT:    [[TMP2:%.*]] = add i32 [[TMP1]], 1
  44 ; CHECK-NEXT:    store i32 [[TMP2]], i32* [[TMP]], align 4
  45 ; CHECK-NEXT:    ret void
  46 ;
  47 entry:
  48   %tmp = getelementptr %struct.ss, %struct.ss* %b, i32 0, i32 0
  49   %tmp1 = load i32, i32* %tmp, align 4
  50   %tmp2 = add i32 %tmp1, 1
  51   store i32 %tmp2, i32* %tmp, align 4
  52   ret void
  53 }
  54
  55 ; Don't transform if alignment isn't specified; the actual alignment
  56 ; is target-specific, and not exposed anywhere.
  57 ;
  58 ; (If we ever change byval so a missing alignment isn't legal, we can
  59 ; just delete this test.)
  60 define internal void @h(%struct.ss* byval(%struct.ss) %b) nounwind {
  61 ; CHECK-LABEL: define {{[^@]+}}@h
  62 ; CHECK-SAME: (%struct.ss* byval(%struct.ss) %b)
  63 ;
  64 entry:
  65   %tmp = getelementptr %struct.ss, %struct.ss* %b, i32 0, i32 0
  66   %tmp1 = load i32, i32* %tmp, align 4
  67   %tmp2 = add i32 %tmp1, 1
  68   store i32 %tmp2, i32* %tmp, align 4
  69   ret void
  70 }
  71
  72 define i32 @main() nounwind  {
  73 ; CHECK-LABEL: define {{[^@]+}}@main
  74 ; CHECK-SAME: () [[ATTR0]] {
  75 ; CHECK-NEXT:  entry:
  76 ; CHECK-NEXT:    [[S:%.*]] = alloca [[STRUCT_SS:%.*]], align 32
  77 ; CHECK-NEXT:    [[TMP1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 0
  78 ; CHECK-NEXT:    store i32 1, i32* [[TMP1]], align 8
  79 ; CHECK-NEXT:    [[TMP4:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
  80 ; CHECK-NEXT:    store i64 2, i64* [[TMP4]], align 4
  81 ; CHECK-NEXT:    [[S_0:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 0
  82 ; CHECK-NEXT:    [[S_0_VAL:%.*]] = load i32, i32* [[S_0]], align 4
  83 ; CHECK-NEXT:    [[S_1:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
  84 ; CHECK-NEXT:    [[S_1_VAL:%.*]] = load i64, i64* [[S_1]], align 4
  85 ; CHECK-NEXT:    call void @f(i32 [[S_0_VAL]], i64 [[S_1_VAL]])
  86 ; CHECK-NEXT:    [[S_01:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 0
  87 ; CHECK-NEXT:    [[S_01_VAL:%.*]] = load i32, i32* [[S_01]], align 32
  88 ; CHECK-NEXT:    [[S_12:%.*]] = getelementptr [[STRUCT_SS]], %struct.ss* [[S]], i32 0, i32 1
  89 ; CHECK-NEXT:    [[S_12_VAL:%.*]] = load i64, i64* [[S_12]], align 4
  90 ; CHECK-NEXT:    call void @g(i32 [[S_01_VAL]], i64 [[S_12_VAL]])
  91 ; CHECK-NEXT:    call void @h(%struct.ss* byval(%struct.ss) %S)
  92 ; CHECK-NEXT:    ret i32 0
  93 ;
  94 entry:
  95   %S = alloca %struct.ss, align 32
  96   %tmp1 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 0
  97   store i32 1, i32* %tmp1, align 8
  98   %tmp4 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 1
  99   store i64 2, i64* %tmp4, align 4
 100   call void @f(%struct.ss* byval(%struct.ss) align 4 %S) nounwind
 101   call void @g(%struct.ss* byval(%struct.ss) align 32 %S) nounwind
 102   call void @h(%struct.ss* byval(%struct.ss) %S) nounwind
 103   ret i32 0
 104 }
 105
 106