1937bad35Ssstefan1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes 240760060SBjorn Pettersson; RUN: opt -aa-pipeline=basic-aa -passes=attributor -S < %s | FileCheck %s --check-prefixes=CHECK,IS__TUNIT____ 340760060SBjorn Pettersson; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -S < %s | FileCheck %s --check-prefixes=CHECK,IS__CGSCC____ 4937bad35Ssstefan1 5937bad35Ssstefan1%struct.RT = type { i8, [10 x [20 x i32]], i8 } 6937bad35Ssstefan1%struct.ST = type { i32, double, %struct.RT } 7937bad35Ssstefan1 8937bad35Ssstefan1define i32* @foo(%struct.ST* %s) nounwind uwtable readnone optsize ssp { 9*6398903aSMomchil Velikov; CHECK: Function Attrs: nofree norecurse nosync nounwind optsize readnone ssp willreturn uwtable 10d19e5302SJohannes Doerfert; CHECK-LABEL: define {{[^@]+}}@foo 11d19e5302SJohannes Doerfert; CHECK-SAME: (%struct.ST* nofree readnone [[S:%.*]]) #[[ATTR0:[0-9]+]] { 12d19e5302SJohannes Doerfert; CHECK-NEXT: entry: 13d19e5302SJohannes Doerfert; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [[STRUCT_ST:%.*]], %struct.ST* [[S]], i64 1, i32 2, i32 1, i64 5, i64 13 14d19e5302SJohannes Doerfert; CHECK-NEXT: ret i32* [[ARRAYIDX]] 15937bad35Ssstefan1; 16937bad35Ssstefan1entry: 17937bad35Ssstefan1 %arrayidx = getelementptr inbounds %struct.ST, %struct.ST* %s, i64 1, i32 2, i32 1, i64 5, i64 13 18937bad35Ssstefan1 ret i32* %arrayidx 19937bad35Ssstefan1} 20