1*67e74705SXin Li // RUN: %clang_cc1 -emit-llvm %s -o - -triple i686-pc-linux-gnu | FileCheck %s
2*67e74705SXin Li // RUN: %clang_cc1 -emit-llvm %s -o - -triple i686-pc-win32 | FileCheck -check-prefix MSVC %s
3*67e74705SXin Li
4*67e74705SXin Li struct A { int a; virtual int aa(); };
5*67e74705SXin Li struct B { int b; virtual int bb(); };
6*67e74705SXin Li struct C : virtual A, virtual B { int c; virtual int aa(); virtual int bb(); };
7*67e74705SXin Li struct AA { int a; virtual int aa(); };
8*67e74705SXin Li struct BB { int b; virtual int bb(); };
9*67e74705SXin Li struct CC : AA, BB { virtual int aa(); virtual int bb(); virtual int cc(); };
10*67e74705SXin Li struct D : virtual C, virtual CC { int e; };
11*67e74705SXin Li
12*67e74705SXin Li D* x;
13*67e74705SXin Li
a()14*67e74705SXin Li A* a() { return x; }
15*67e74705SXin Li // CHECK: @_Z1av() [[NUW:#[0-9]+]]
16*67e74705SXin Li // CHECK: [[VBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = getelementptr i8, i8* {{.*}}, i64 -16
17*67e74705SXin Li // CHECK: [[CASTVBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = bitcast i8* [[VBASEOFFSETPTRA]] to i32*
18*67e74705SXin Li // CHECK: load i32, i32* [[CASTVBASEOFFSETPTRA]]
19*67e74705SXin Li // CHECK: }
20*67e74705SXin Li
21*67e74705SXin Li // MSVC: @"\01?a@@YAPAUA@@XZ"() [[NUW:#[0-9]+]] {
22*67e74705SXin Li // MSVC: %[[vbptr_off:.*]] = getelementptr inbounds i8, i8* {{.*}}, i32 0
23*67e74705SXin Li // MSVC: %[[vbptr:.*]] = bitcast i8* %[[vbptr_off]] to i32**
24*67e74705SXin Li // MSVC: %[[vbtable:.*]] = load i32*, i32** %[[vbptr]]
25*67e74705SXin Li // MSVC: %[[entry:.*]] = getelementptr inbounds i32, i32* {{.*}}, i32 1
26*67e74705SXin Li // MSVC: %[[offset:.*]] = load i32, i32* %[[entry]]
27*67e74705SXin Li // MSVC: add nsw i32 0, %[[offset]]
28*67e74705SXin Li // MSVC: }
29*67e74705SXin Li
b()30*67e74705SXin Li B* b() { return x; }
31*67e74705SXin Li // CHECK: @_Z1bv() [[NUW]]
32*67e74705SXin Li // CHECK: [[VBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = getelementptr i8, i8* {{.*}}, i64 -20
33*67e74705SXin Li // CHECK: [[CASTVBASEOFFSETPTRA:%[a-zA-Z0-9\.]+]] = bitcast i8* [[VBASEOFFSETPTRA]] to i32*
34*67e74705SXin Li // CHECK: load i32, i32* [[CASTVBASEOFFSETPTRA]]
35*67e74705SXin Li // CHECK: }
36*67e74705SXin Li
37*67e74705SXin Li // Same as 'a' except we use a different vbtable offset.
38*67e74705SXin Li // MSVC: @"\01?b@@YAPAUB@@XZ"() [[NUW:#[0-9]+]] {
39*67e74705SXin Li // MSVC: %[[vbptr_off:.*]] = getelementptr inbounds i8, i8* {{.*}}, i32 0
40*67e74705SXin Li // MSVC: %[[vbptr:.*]] = bitcast i8* %[[vbptr_off]] to i32**
41*67e74705SXin Li // MSVC: %[[vbtable:.*]] = load i32*, i32** %[[vbptr]]
42*67e74705SXin Li // MSVC: %[[entry:.*]] = getelementptr inbounds i32, i32* {{.*}}, i32 2
43*67e74705SXin Li // MSVC: %[[offset:.*]] = load i32, i32* %[[entry]]
44*67e74705SXin Li // MSVC: add nsw i32 0, %[[offset]]
45*67e74705SXin Li // MSVC: }
46*67e74705SXin Li
47*67e74705SXin Li
c()48*67e74705SXin Li BB* c() { return x; }
49*67e74705SXin Li // CHECK: @_Z1cv() [[NUW]]
50*67e74705SXin Li // CHECK: [[VBASEOFFSETPTRC:%[a-zA-Z0-9\.]+]] = getelementptr i8, i8* {{.*}}, i64 -24
51*67e74705SXin Li // CHECK: [[CASTVBASEOFFSETPTRC:%[a-zA-Z0-9\.]+]] = bitcast i8* [[VBASEOFFSETPTRC]] to i32*
52*67e74705SXin Li // CHECK: [[VBASEOFFSETC:%[a-zA-Z0-9\.]+]] = load i32, i32* [[CASTVBASEOFFSETPTRC]]
53*67e74705SXin Li // CHECK: add i32 [[VBASEOFFSETC]], 8
54*67e74705SXin Li // CHECK: }
55*67e74705SXin Li
56*67e74705SXin Li // Same as 'a' except we use a different vbtable offset.
57*67e74705SXin Li // MSVC: @"\01?c@@YAPAUBB@@XZ"() [[NUW:#[0-9]+]] {
58*67e74705SXin Li // MSVC: %[[vbptr_off:.*]] = getelementptr inbounds i8, i8* {{.*}}, i32 0
59*67e74705SXin Li // MSVC: %[[vbptr:.*]] = bitcast i8* %[[vbptr_off]] to i32**
60*67e74705SXin Li // MSVC: %[[vbtable:.*]] = load i32*, i32** %[[vbptr]]
61*67e74705SXin Li // MSVC: %[[entry:.*]] = getelementptr inbounds i32, i32* {{.*}}, i32 4
62*67e74705SXin Li // MSVC: %[[offset:.*]] = load i32, i32* %[[entry]]
63*67e74705SXin Li // MSVC: add nsw i32 0, %[[offset]]
64*67e74705SXin Li // MSVC: }
65*67e74705SXin Li
66*67e74705SXin Li // Put the vbptr at a non-zero offset inside a non-virtual base.
67*67e74705SXin Li struct E { int e; };
68*67e74705SXin Li struct F : E, D { int f; };
69*67e74705SXin Li
70*67e74705SXin Li F* y;
71*67e74705SXin Li
d()72*67e74705SXin Li BB* d() { return y; }
73*67e74705SXin Li
74*67e74705SXin Li // Same as 'c' except the vbptr offset is 4, changing the initial GEP and the
75*67e74705SXin Li // final add.
76*67e74705SXin Li // MSVC: @"\01?d@@YAPAUBB@@XZ"() [[NUW:#[0-9]+]] {
77*67e74705SXin Li // MSVC: %[[vbptr_off:.*]] = getelementptr inbounds i8, i8* {{.*}}, i32 4
78*67e74705SXin Li // MSVC: %[[vbptr:.*]] = bitcast i8* %[[vbptr_off]] to i32**
79*67e74705SXin Li // MSVC: %[[vbtable:.*]] = load i32*, i32** %[[vbptr]]
80*67e74705SXin Li // MSVC: %[[entry:.*]] = getelementptr inbounds i32, i32* {{.*}}, i32 4
81*67e74705SXin Li // MSVC: %[[offset:.*]] = load i32, i32* %[[entry]]
82*67e74705SXin Li // MSVC: add nsw i32 4, %[[offset]]
83*67e74705SXin Li // MSVC: }
84*67e74705SXin Li
85*67e74705SXin Li // CHECK: attributes [[NUW]] = { nounwind{{.*}} }
86