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 4target 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. 9define 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; 16entry: 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 24define 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; 30entry: 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. 40define 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; 47entry: 48 %c = icmp eq ptr %a, %b 49 ret i1 %c 50} 51 52define 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; 59entry: 60 %S = alloca inalloca %struct.ss 61 %c = call i1 @g(ptr %S, ptr inalloca(%struct.ss) %S) 62 ret i32 0 63} 64