test/CodeGenCXX/virtual-base-cast.cpp

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