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(ptr 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   %f1 = getelementptr %struct.ss, ptr %s, i32 0, i32 1
  18   %a = load i32, ptr %s, align 4
  19   %b = load i32, ptr %f1, align 4
  20   %r = add i32 %a, %b
  21   ret i32 %r
  22 }
  23
  24 define i32 @main() {
  25 ; CHECK-LABEL: define {{[^@]+}}@main() local_unnamed_addr {
  26 ; CHECK-NEXT:  entry:
  27 ; CHECK-NEXT:    [[R:%.*]] = call fastcc i32 @f(i32 1, i32 2)
  28 ; CHECK-NEXT:    ret i32 [[R]]
  29 ;
  30 entry:
  31   %S = alloca inalloca %struct.ss
  32   %f1 = getelementptr %struct.ss, ptr %S, i32 0, i32 1
  33   store i32 1, ptr %S, align 4
  34   store i32 2, ptr %f1, align 4
  35   %r = call i32 @f(ptr inalloca(%struct.ss) %S)
  36   ret i32 %r
  37 }
  38
  39 ; Argpromote can't promote %a because of the icmp use.
  40 define internal i1 @g(ptr %a, ptr inalloca(%struct.ss) %b) nounwind  {
  41 ; CHECK-LABEL: define {{[^@]+}}@g
  42 ; CHECK-SAME: (ptr [[A:%.*]], ptr [[B:%.*]]) unnamed_addr #[[ATTR0:[0-9]+]] {
  43 ; CHECK-NEXT:  entry:
  44 ; CHECK-NEXT:    [[C:%.*]] = icmp eq ptr [[A]], [[B]]
  45 ; CHECK-NEXT:    ret i1 [[C]]
  46 ;
  47 entry:
  48   %c = icmp eq ptr %a, %b
  49   ret i1 %c
  50 }
  51
  52 define i32 @test() {
  53 ; CHECK-LABEL: define {{[^@]+}}@test() local_unnamed_addr {
  54 ; CHECK-NEXT:  entry:
  55 ; CHECK-NEXT:    [[S:%.*]] = alloca inalloca [[STRUCT_SS:%.*]], align 4
  56 ; CHECK-NEXT:    [[C:%.*]] = call fastcc i1 @g(ptr [[S]], ptr [[S]])
  57 ; CHECK-NEXT:    ret i32 0
  58 ;
  59 entry:
  60   %S = alloca inalloca %struct.ss
  61   %c = call i1 @g(ptr %S, ptr inalloca(%struct.ss) %S)
  62   ret i32 0
  63 }