llvm/test/Transforms/ArgumentPromotion/inalloca.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
   2 ; RUN: opt %s -passes='module(globalopt),cgscc(argpromotion),function(sroa)' -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, i32 }
   7
   8 ; Argpromote + sroa should change this to passing the two integers by value.
   9 define internal i32 @f(%struct.ss* inalloca(%struct.ss)  %s) {
  10 ; CHECK-LABEL: define {{[^@]+}}@f
  11 ; CHECK-SAME: (i32 [[S_0_VAL:%.*]], i32 [[S_4_VAL:%.*]]) unnamed_addr {
  12 ; CHECK-NEXT:  entry:
  13 ; CHECK-NEXT:    [[R:%.*]] = add i32 [[S_0_VAL]], [[S_4_VAL]]
  14 ; CHECK-NEXT:    ret i32 [[R]]
  15 ;
  16 entry:
  17   %f0 = getelementptr %struct.ss, %struct.ss* %s, i32 0, i32 0
  18   %f1 = getelementptr %struct.ss, %struct.ss* %s, i32 0, i32 1
  19   %a = load i32, i32* %f0, align 4
  20   %b = load i32, i32* %f1, align 4
  21   %r = add i32 %a, %b
  22   ret i32 %r
  23 }
  24
  25 define i32 @main() {
  26 ; CHECK-LABEL: define {{[^@]+}}@main() local_unnamed_addr {
  27 ; CHECK-NEXT:  entry:
  28 ; CHECK-NEXT:    [[R:%.*]] = call fastcc i32 @f(i32 1, i32 2)
  29 ; CHECK-NEXT:    ret i32 [[R]]
  30 ;
  31 entry:
  32   %S = alloca inalloca %struct.ss
  33   %f0 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 0
  34   %f1 = getelementptr %struct.ss, %struct.ss* %S, i32 0, i32 1
  35   store i32 1, i32* %f0, align 4
  36   store i32 2, i32* %f1, align 4
  37   %r = call i32 @f(%struct.ss* inalloca(%struct.ss) %S)
  38   ret i32 %r
  39 }
  40
  41 ; Argpromote can't promote %a because of the icmp use.
  42 define internal i1 @g(%struct.ss* %a, %struct.ss* inalloca(%struct.ss) %b) nounwind  {
  43 ; CHECK-LABEL: define {{[^@]+}}@g
  44 ; CHECK-SAME: (%struct.ss* [[A:%.*]], %struct.ss* [[B:%.*]]) unnamed_addr #[[ATTR0:[0-9]+]] {
  45 ; CHECK-NEXT:  entry:
  46 ; CHECK-NEXT:    [[C:%.*]] = icmp eq %struct.ss* [[A]], [[B]]
  47 ; CHECK-NEXT:    ret i1 [[C]]
  48 ;
  49 entry:
  50   %c = icmp eq %struct.ss* %a, %b
  51   ret i1 %c
  52 }
  53
  54 define i32 @test() {
  55 ; CHECK-LABEL: define {{[^@]+}}@test() local_unnamed_addr {
  56 ; CHECK-NEXT:  entry:
  57 ; CHECK-NEXT:    [[S:%.*]] = alloca inalloca [[STRUCT_SS:%.*]], align 4
  58 ; CHECK-NEXT:    [[C:%.*]] = call fastcc i1 @g(%struct.ss* [[S]], %struct.ss* [[S]])
  59 ; CHECK-NEXT:    ret i32 0
  60 ;
  61 entry:
  62   %S = alloca inalloca %struct.ss
  63   %c = call i1 @g(%struct.ss* %S, %struct.ss* inalloca(%struct.ss) %S)
  64   ret i32 0
  65 }