64 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes2; RUN: opt %s -passes='module(globalopt),cgscc(argpromotion),function(sroa)' -S | FileCheck %s3 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 {{[^@]+}}@f11; 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 118 %a = load i32, ptr %s, align 419 %b = load i32, ptr %f1, align 420 %r = add i32 %a, %b21 ret i32 %r22}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.ss32 %f1 = getelementptr %struct.ss, ptr %S, i32 0, i32 133 store i32 1, ptr %S, align 434 store i32 2, ptr %f1, align 435 %r = call i32 @f(ptr inalloca(%struct.ss) %S)36 ret i32 %r37}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 {{[^@]+}}@g42; 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, %b49 ret i1 %c50}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 456; CHECK-NEXT: [[C:%.*]] = call fastcc i1 @g(ptr [[S]], ptr [[S]])57; CHECK-NEXT: ret i32 058;59entry:60 %S = alloca inalloca %struct.ss61 %c = call i1 @g(ptr %S, ptr inalloca(%struct.ss) %S)62 ret i32 063}64