1937bad35Ssstefan1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --check-attributes
2*b16a3b4fSNikita Popov// RUN: %clang_cc1 -no-opaque-pointers -triple=x86_64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s
3937bad35Ssstefan1struct RT {
4937bad35Ssstefan1  char A;
5937bad35Ssstefan1  int B[10][20];
6937bad35Ssstefan1  char C;
7937bad35Ssstefan1};
8937bad35Ssstefan1struct ST {
9937bad35Ssstefan1  int X;
10937bad35Ssstefan1  double Y;
11937bad35Ssstefan1  struct RT Z;
12937bad35Ssstefan1};
13937bad35Ssstefan1
14ff8b1b1bSNikita Popov// CHECK: Function Attrs: mustprogress noinline nounwind optnone
15937bad35Ssstefan1// CHECK-LABEL: @_Z3fooP2ST(
16937bad35Ssstefan1// CHECK-NEXT:  entry:
17937bad35Ssstefan1// CHECK-NEXT:    [[S_ADDR:%.*]] = alloca %struct.ST*, align 8
18937bad35Ssstefan1// CHECK-NEXT:    store %struct.ST* [[S:%.*]], %struct.ST** [[S_ADDR]], align 8
19937bad35Ssstefan1// CHECK-NEXT:    [[TMP0:%.*]] = load %struct.ST*, %struct.ST** [[S_ADDR]], align 8
20937bad35Ssstefan1// CHECK-NEXT:    [[ARRAYIDX:%.*]] = getelementptr inbounds [[STRUCT_ST:%.*]], %struct.ST* [[TMP0]], i64 1
21937bad35Ssstefan1// CHECK-NEXT:    [[Z:%.*]] = getelementptr inbounds [[STRUCT_ST]], %struct.ST* [[ARRAYIDX]], i32 0, i32 2
22937bad35Ssstefan1// CHECK-NEXT:    [[B:%.*]] = getelementptr inbounds [[STRUCT_RT:%.*]], %struct.RT* [[Z]], i32 0, i32 1
23937bad35Ssstefan1// CHECK-NEXT:    [[ARRAYIDX1:%.*]] = getelementptr inbounds [10 x [20 x i32]], [10 x [20 x i32]]* [[B]], i64 0, i64 5
24937bad35Ssstefan1// CHECK-NEXT:    [[ARRAYIDX2:%.*]] = getelementptr inbounds [20 x i32], [20 x i32]* [[ARRAYIDX1]], i64 0, i64 13
25937bad35Ssstefan1// CHECK-NEXT:    ret i32* [[ARRAYIDX2]]
26937bad35Ssstefan1//
27937bad35Ssstefan1int *foo(struct ST *s) {
28937bad35Ssstefan1  return &s[1].Z.B[5][13];
29937bad35Ssstefan1}
30