1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature
2; RUN: opt -aa-pipeline=basic-aa -passes=attributor -S < %s | FileCheck %s --check-prefixes=CHECK,IS__TUNIT____
3; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -S < %s | FileCheck %s --check-prefixes=CHECK,IS__CGSCC____
4
5%struct.RT = type { i8, [10 x [20 x i32]], i8 }
6%struct.ST = type { i32, double, %struct.RT }
7
8define ptr @foo(ptr %s) nounwind uwtable readnone optsize ssp {
9; CHECK-LABEL: define {{[^@]+}}@foo
10; CHECK-SAME: (ptr nofree readnone [[S:%.*]]) #[[ATTR0:[0-9]+]] {
11; CHECK-NEXT:  entry:
12; CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds [[STRUCT_ST:%.*]], ptr [[S]], i64 1, i32 2, i32 1, i64 5, i64 13
13; CHECK-NEXT:    ret ptr [[ARRAYIDX]]
14;
15entry:
16  %arrayidx = getelementptr inbounds %struct.ST, ptr %s, i64 1, i32 2, i32 1, i64 5, i64 13
17  ret ptr %arrayidx
18}
19;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
20; IS__CGSCC____: {{.*}}
21; IS__TUNIT____: {{.*}}
22