Home | History | Annotate | Download | only in CodeGenCXX 
      1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=i386-pc-linux | FileCheck -check-prefix LINUX %s
      2 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=i386-pc-win32 -mconstructor-aliases -fno-rtti | FileCheck -check-prefix WIN32 %s
      3 // RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-pc-win32 -mconstructor-aliases -fno-rtti | FileCheck -check-prefix WIN64 %s
      4 
      5 struct Empty {};
      6 
      7 struct EmptyWithCtor {
      8   EmptyWithCtor() {}
      9 };
     10 
     11 struct Small {
     12   int x;
     13 };
     14 
     15 // This is a C++11 trivial and standard-layout struct but not a C++03 POD.
     16 struct SmallCpp11NotCpp03Pod : Empty {
     17   int x;
     18 };
     19 
     20 struct SmallWithCtor {
     21   SmallWithCtor() {}
     22   int x;
     23 };
     24 
     25 struct Multibyte {
     26   char a, b, c, d;
     27 };
     28 
     29 struct Packed {
     30   short a;
     31   int b;
     32   short c;
     33 };
     34 
     35 struct SmallWithDtor {
     36   SmallWithDtor();
     37   ~SmallWithDtor();
     38   int x;
     39 };
     40 
     41 struct SmallWithVftable {
     42   int x;
     43   virtual void foo();
     44 };
     45 
     46 struct Medium {
     47   int x, y;
     48 };
     49 
     50 struct MediumWithCopyCtor {
     51   MediumWithCopyCtor();
     52   MediumWithCopyCtor(const struct MediumWithCopyCtor &);
     53   int x, y;
     54 };
     55 
     56 struct Big {
     57   int a, b, c, d, e, f;
     58 };
     59 
     60 struct BigWithDtor {
     61   BigWithDtor();
     62   ~BigWithDtor();
     63   int a, b, c, d, e, f;
     64 };
     65 
     66 // WIN32: declare void @"{{.*take_bools_and_chars.*}}"
     67 // WIN32:       (<{ i8, [3 x i8], i8, [3 x i8], %struct.SmallWithDtor,
     68 // WIN32:           i8, [3 x i8], i8, [3 x i8], i32, i8, [3 x i8] }>* inalloca)
     69 void take_bools_and_chars(char a, char b, SmallWithDtor c, char d, bool e, int f, bool g);
     70 void call_bools_and_chars() {
     71   take_bools_and_chars('A', 'B', SmallWithDtor(), 'D', true, 13, false);
     72 }
     73 
     74 // Returning structs that fit into a register.
     75 Small small_return() { return Small(); }
     76 // LINUX-LABEL: define void @_Z12small_returnv(%struct.Small* noalias sret %agg.result)
     77 // WIN32: define i32 @"\01?small_return@@YA?AUSmall@@XZ"()
     78 // WIN64: define i32 @"\01?small_return@@YA?AUSmall@@XZ"()
     79 
     80 Medium medium_return() { return Medium(); }
     81 // LINUX-LABEL: define void @_Z13medium_returnv(%struct.Medium* noalias sret %agg.result)
     82 // WIN32: define i64 @"\01?medium_return@@YA?AUMedium@@XZ"()
     83 // WIN64: define i64 @"\01?medium_return@@YA?AUMedium@@XZ"()
     84 
     85 // Returning structs that fit into a register but are not POD.
     86 SmallCpp11NotCpp03Pod small_non_pod_return() { return SmallCpp11NotCpp03Pod(); }
     87 // LINUX-LABEL: define void @_Z20small_non_pod_returnv(%struct.SmallCpp11NotCpp03Pod* noalias sret %agg.result)
     88 // WIN32: define void @"\01?small_non_pod_return@@YA?AUSmallCpp11NotCpp03Pod@@XZ"(%struct.SmallCpp11NotCpp03Pod* noalias sret %agg.result)
     89 // WIN64: define void @"\01?small_non_pod_return@@YA?AUSmallCpp11NotCpp03Pod@@XZ"(%struct.SmallCpp11NotCpp03Pod* noalias sret %agg.result)
     90 
     91 SmallWithCtor small_with_ctor_return() { return SmallWithCtor(); }
     92 // LINUX-LABEL: define void @_Z22small_with_ctor_returnv(%struct.SmallWithCtor* noalias sret %agg.result)
     93 // WIN32: define void @"\01?small_with_ctor_return@@YA?AUSmallWithCtor@@XZ"(%struct.SmallWithCtor* noalias sret %agg.result)
     94 // WIN64: define void @"\01?small_with_ctor_return@@YA?AUSmallWithCtor@@XZ"(%struct.SmallWithCtor* noalias sret %agg.result)
     95 
     96 SmallWithVftable small_with_vftable_return() { return SmallWithVftable(); }
     97 // LINUX-LABEL: define void @_Z25small_with_vftable_returnv(%struct.SmallWithVftable* noalias sret %agg.result)
     98 // WIN32: define void @"\01?small_with_vftable_return@@YA?AUSmallWithVftable@@XZ"(%struct.SmallWithVftable* noalias sret %agg.result)
     99 // WIN64: define void @"\01?small_with_vftable_return@@YA?AUSmallWithVftable@@XZ"(%struct.SmallWithVftable* noalias sret %agg.result)
    100 
    101 MediumWithCopyCtor medium_with_copy_ctor_return() { return MediumWithCopyCtor(); }
    102 // LINUX-LABEL: define void @_Z28medium_with_copy_ctor_returnv(%struct.MediumWithCopyCtor* noalias sret %agg.result)
    103 // WIN32: define void @"\01?medium_with_copy_ctor_return@@YA?AUMediumWithCopyCtor@@XZ"(%struct.MediumWithCopyCtor* noalias sret %agg.result)
    104 // WIN64: define void @"\01?medium_with_copy_ctor_return@@YA?AUMediumWithCopyCtor@@XZ"(%struct.MediumWithCopyCtor* noalias sret %agg.result)
    105 
    106 // Returning a large struct that doesn't fit into a register.
    107 Big big_return() { return Big(); }
    108 // LINUX-LABEL: define void @_Z10big_returnv(%struct.Big* noalias sret %agg.result)
    109 // WIN32: define void @"\01?big_return@@YA?AUBig@@XZ"(%struct.Big* noalias sret %agg.result)
    110 // WIN64: define void @"\01?big_return@@YA?AUBig@@XZ"(%struct.Big* noalias sret %agg.result)
    111 
    112 
    113 void small_arg(Small s) {}
    114 // LINUX-LABEL: define void @_Z9small_arg5Small(i32 %s.0)
    115 // WIN32: define void @"\01?small_arg@@YAXUSmall@@@Z"(i32 %s.0)
    116 // WIN64: define void @"\01?small_arg@@YAXUSmall@@@Z"(i32 %s.coerce)
    117 
    118 void medium_arg(Medium s) {}
    119 // LINUX-LABEL: define void @_Z10medium_arg6Medium(i32 %s.0, i32 %s.1)
    120 // WIN32: define void @"\01?medium_arg@@YAXUMedium@@@Z"(i32 %s.0, i32 %s.1)
    121 // WIN64: define void @"\01?medium_arg@@YAXUMedium@@@Z"(i64 %s.coerce)
    122 
    123 void small_arg_with_ctor(SmallWithCtor s) {}
    124 // LINUX-LABEL: define void @_Z19small_arg_with_ctor13SmallWithCtor(%struct.SmallWithCtor* byval align 4 %s)
    125 // WIN32: define void @"\01?small_arg_with_ctor@@YAXUSmallWithCtor@@@Z"(i32 %s.0)
    126 // WIN64: define void @"\01?small_arg_with_ctor@@YAXUSmallWithCtor@@@Z"(i32 %s.coerce)
    127 
    128 // FIXME: We could coerce to a series of i32s here if we wanted to.
    129 void multibyte_arg(Multibyte s) {}
    130 // LINUX-LABEL: define void @_Z13multibyte_arg9Multibyte(%struct.Multibyte* byval align 4 %s)
    131 // WIN32: define void @"\01?multibyte_arg@@YAXUMultibyte@@@Z"(%struct.Multibyte* byval align 4 %s)
    132 // WIN64: define void @"\01?multibyte_arg@@YAXUMultibyte@@@Z"(i32 %s.coerce)
    133 
    134 void packed_arg(Packed s) {}
    135 // LINUX-LABEL: define void @_Z10packed_arg6Packed(%struct.Packed* byval align 4 %s)
    136 // WIN32: define void @"\01?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* byval align 4 %s)
    137 // WIN64: define void @"\01?packed_arg@@YAXUPacked@@@Z"(%struct.Packed* %s)
    138 
    139 // Test that dtors are invoked in the callee.
    140 void small_arg_with_dtor(SmallWithDtor s) {}
    141 // WIN32: define void @"\01?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(<{ %struct.SmallWithDtor }>* inalloca) {{.*}} {
    142 // WIN32:   call x86_thiscallcc void @"\01??1SmallWithDtor@@QAE@XZ"
    143 // WIN32: }
    144 // WIN64: define void @"\01?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i32 %s.coerce) {{.*}} {
    145 // WIN64:   call void @"\01??1SmallWithDtor@@QEAA@XZ"
    146 // WIN64: }
    147 
    148 void call_small_arg_with_dtor() {
    149   small_arg_with_dtor(SmallWithDtor());
    150 }
    151 // The temporary is copied, so it's destroyed in the caller as well as the
    152 // callee.
    153 // WIN64-LABEL: define void @"\01?call_small_arg_with_dtor@@YAXXZ"()
    154 // WIN64:   call %struct.SmallWithDtor* @"\01??0SmallWithDtor@@QEAA@XZ"
    155 // WIN64:   call void @"\01?small_arg_with_dtor@@YAXUSmallWithDtor@@@Z"(i32 %{{.*}})
    156 // WIN64:   call void @"\01??1SmallWithDtor@@QEAA@XZ"
    157 // WIN64:   ret void
    158 
    159 // Test that references aren't destroyed in the callee.
    160 void ref_small_arg_with_dtor(const SmallWithDtor &s) { }
    161 // WIN32: define void @"\01?ref_small_arg_with_dtor@@YAXABUSmallWithDtor@@@Z"(%struct.SmallWithDtor* dereferenceable({{[0-9]+}}) %s) {{.*}} {
    162 // WIN32-NOT:   call x86_thiscallcc void @"\01??1SmallWithDtor@@QAE@XZ"
    163 // WIN32: }
    164 // WIN64-LABEL: define void @"\01?ref_small_arg_with_dtor@@YAXAEBUSmallWithDtor@@@Z"(%struct.SmallWithDtor* dereferenceable({{[0-9]+}}) %s)
    165 
    166 void big_arg_with_dtor(BigWithDtor s) {}
    167 // WIN64-LABEL: define void @"\01?big_arg_with_dtor@@YAXUBigWithDtor@@@Z"(%struct.BigWithDtor* %s)
    168 // WIN64:   call void @"\01??1BigWithDtor@@QEAA@XZ"
    169 // WIN64: }
    170 
    171 void call_big_arg_with_dtor() {
    172   big_arg_with_dtor(BigWithDtor());
    173 }
    174 // We can elide the copy of the temporary in the caller, because this object is
    175 // larger than 8 bytes and is passed indirectly.
    176 // WIN64-LABEL: define void @"\01?call_big_arg_with_dtor@@YAXXZ"()
    177 // WIN64:   call %struct.BigWithDtor* @"\01??0BigWithDtor@@QEAA@XZ"
    178 // WIN64:   call void @"\01?big_arg_with_dtor@@YAXUBigWithDtor@@@Z"(%struct.BigWithDtor* %{{.*}})
    179 // WIN64-NOT: call void @"\01??1BigWithDtor@@QEAA@XZ"
    180 // WIN64:   ret void
    181 
    182 // Test that temporaries passed by reference are destroyed in the caller.
    183 void temporary_ref_with_dtor() {
    184   ref_small_arg_with_dtor(SmallWithDtor());
    185 }
    186 // WIN32: define void @"\01?temporary_ref_with_dtor@@YAXXZ"() {{.*}} {
    187 // WIN32:   call x86_thiscallcc %struct.SmallWithDtor* @"\01??0SmallWithDtor@@QAE@XZ"
    188 // WIN32:   call void @"\01?ref_small_arg_with_dtor@@YAXABUSmallWithDtor@@@Z"
    189 // WIN32:   call x86_thiscallcc void @"\01??1SmallWithDtor@@QAE@XZ"
    190 // WIN32: }
    191 
    192 void takes_two_by_val_with_dtor(SmallWithDtor a, SmallWithDtor b);
    193 void eh_cleanup_arg_with_dtor() {
    194   takes_two_by_val_with_dtor(SmallWithDtor(), SmallWithDtor());
    195 }
    196 //   When exceptions are off, we don't have any cleanups.  See
    197 //   microsoft-abi-exceptions.cpp for these cleanups.
    198 // WIN32: define void @"\01?eh_cleanup_arg_with_dtor@@YAXXZ"() {{.*}} {
    199 // WIN32:   call x86_thiscallcc %struct.SmallWithDtor* @"\01??0SmallWithDtor@@QAE@XZ"
    200 // WIN32:   call x86_thiscallcc %struct.SmallWithDtor* @"\01??0SmallWithDtor@@QAE@XZ"
    201 // WIN32:   call void @"\01?takes_two_by_val_with_dtor@@YAXUSmallWithDtor@@0@Z"
    202 // WIN32-NOT: call x86_thiscallcc void @"\01??1SmallWithDtor@@QAE@XZ"
    203 // WIN32: }
    204 
    205 void small_arg_with_vftable(SmallWithVftable s) {}
    206 // LINUX-LABEL: define void @_Z22small_arg_with_vftable16SmallWithVftable(%struct.SmallWithVftable* %s)
    207 // WIN32: define void @"\01?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(<{ %struct.SmallWithVftable }>* inalloca)
    208 // WIN64: define void @"\01?small_arg_with_vftable@@YAXUSmallWithVftable@@@Z"(%struct.SmallWithVftable* %s)
    209 
    210 void medium_arg_with_copy_ctor(MediumWithCopyCtor s) {}
    211 // LINUX-LABEL: define void @_Z25medium_arg_with_copy_ctor18MediumWithCopyCtor(%struct.MediumWithCopyCtor* %s)
    212 // WIN32: define void @"\01?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(<{ %struct.MediumWithCopyCtor }>* inalloca)
    213 // WIN64: define void @"\01?medium_arg_with_copy_ctor@@YAXUMediumWithCopyCtor@@@Z"(%struct.MediumWithCopyCtor* %s)
    214 
    215 void big_arg(Big s) {}
    216 // LINUX-LABEL: define void @_Z7big_arg3Big(%struct.Big* byval align 4 %s)
    217 // WIN32: define void @"\01?big_arg@@YAXUBig@@@Z"(%struct.Big* byval align 4 %s)
    218 // WIN64: define void @"\01?big_arg@@YAXUBig@@@Z"(%struct.Big* %s)
    219 
    220 // PR27607: We would attempt to load i32 value out of the reference instead of
    221 // just loading the pointer from the struct during argument expansion.
    222 struct RefField {
    223   RefField(int &x);
    224   int &x;
    225 };
    226 void takes_ref_field(RefField s) {}
    227 // LINUX-LABEL: define void @_Z15takes_ref_field8RefField(%struct.RefField* byval align 4 %s)
    228 // WIN32: define void @"\01?takes_ref_field@@YAXURefField@@@Z"(i32* %s.0)
    229 // WIN64: define void @"\01?takes_ref_field@@YAXURefField@@@Z"(i64 %s.coerce)
    230 
    231 void pass_ref_field() {
    232   int x;
    233   takes_ref_field(RefField(x));
    234 }
    235 // LINUX-LABEL: define void @_Z14pass_ref_fieldv()
    236 // LINUX: call void @_Z15takes_ref_field8RefField(%struct.RefField* byval align 4 %{{.*}})
    237 // WIN32-LABEL: define void @"\01?pass_ref_field@@YAXXZ"()
    238 // WIN32: call void @"\01?takes_ref_field@@YAXURefField@@@Z"(i32* %{{.*}})
    239 // WIN64-LABEL: define void @"\01?pass_ref_field@@YAXXZ"()
    240 // WIN64: call void @"\01?takes_ref_field@@YAXURefField@@@Z"(i64 %{{.*}})
    241 
    242 class Class {
    243  public:
    244   Small thiscall_method_small() { return Small(); }
    245   // LINUX: define {{.*}} void @_ZN5Class21thiscall_method_smallEv(%struct.Small* noalias sret %agg.result, %class.Class* %this)
    246   // WIN32: define {{.*}} x86_thiscallcc void @"\01?thiscall_method_small@Class@@QAE?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret %agg.result)
    247   // WIN64: define linkonce_odr void @"\01?thiscall_method_small@Class@@QEAA?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret %agg.result)
    248 
    249   SmallWithCtor thiscall_method_small_with_ctor() { return SmallWithCtor(); }
    250   // LINUX: define {{.*}} void @_ZN5Class31thiscall_method_small_with_ctorEv(%struct.SmallWithCtor* noalias sret %agg.result, %class.Class* %this)
    251   // WIN32: define {{.*}} x86_thiscallcc void @"\01?thiscall_method_small_with_ctor@Class@@QAE?AUSmallWithCtor@@XZ"(%class.Class* %this, %struct.SmallWithCtor* noalias sret %agg.result)
    252   // WIN64: define linkonce_odr void @"\01?thiscall_method_small_with_ctor@Class@@QEAA?AUSmallWithCtor@@XZ"(%class.Class* %this, %struct.SmallWithCtor* noalias sret %agg.result)
    253 
    254   Small __cdecl cdecl_method_small() { return Small(); }
    255   // LINUX: define {{.*}} void @_ZN5Class18cdecl_method_smallEv(%struct.Small* noalias sret %agg.result, %class.Class* %this)
    256   // WIN32: define {{.*}} void @"\01?cdecl_method_small@Class@@QAA?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret %agg.result)
    257   // WIN64: define linkonce_odr void @"\01?cdecl_method_small@Class@@QEAA?AUSmall@@XZ"(%class.Class* %this, %struct.Small* noalias sret %agg.result)
    258 
    259   Big __cdecl cdecl_method_big() { return Big(); }
    260   // LINUX: define {{.*}} void @_ZN5Class16cdecl_method_bigEv(%struct.Big* noalias sret %agg.result, %class.Class* %this)
    261   // WIN32: define {{.*}} void @"\01?cdecl_method_big@Class@@QAA?AUBig@@XZ"(%class.Class* %this, %struct.Big* noalias sret %agg.result)
    262   // WIN64: define linkonce_odr void @"\01?cdecl_method_big@Class@@QEAA?AUBig@@XZ"(%class.Class* %this, %struct.Big* noalias sret %agg.result)
    263 
    264   void thiscall_method_arg(Empty s) {}
    265   // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE5Empty(%class.Class* %this)
    266   // WIN32: define {{.*}} void @"\01?thiscall_method_arg@Class@@QAEXUEmpty@@@Z"(%class.Class* %this, %struct.Empty* byval align 4 %s)
    267   // WIN64: define linkonce_odr void @"\01?thiscall_method_arg@Class@@QEAAXUEmpty@@@Z"(%class.Class* %this, i8 %s.coerce)
    268 
    269   void thiscall_method_arg(EmptyWithCtor s) {}
    270   // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE13EmptyWithCtor(%class.Class* %this)
    271   // WIN32: define {{.*}} void @"\01?thiscall_method_arg@Class@@QAEXUEmptyWithCtor@@@Z"(%class.Class* %this, %struct.EmptyWithCtor* byval align 4 %s)
    272   // WIN64: define linkonce_odr void @"\01?thiscall_method_arg@Class@@QEAAXUEmptyWithCtor@@@Z"(%class.Class* %this, i8 %s.coerce)
    273 
    274   void thiscall_method_arg(Small s) {}
    275   // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE5Small(%class.Class* %this, i32 %s.0)
    276   // WIN32: define {{.*}} void @"\01?thiscall_method_arg@Class@@QAEXUSmall@@@Z"(%class.Class* %this, i32 %s.0)
    277   // WIN64: define linkonce_odr void @"\01?thiscall_method_arg@Class@@QEAAXUSmall@@@Z"(%class.Class* %this, i32 %s.coerce)
    278 
    279   void thiscall_method_arg(SmallWithCtor s) {}
    280   // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE13SmallWithCtor(%class.Class* %this, %struct.SmallWithCtor* byval align 4 %s)
    281   // WIN32: define {{.*}} void @"\01?thiscall_method_arg@Class@@QAEXUSmallWithCtor@@@Z"(%class.Class* %this, i32 %s.0)
    282   // WIN64: define linkonce_odr void @"\01?thiscall_method_arg@Class@@QEAAXUSmallWithCtor@@@Z"(%class.Class* %this, i32 %s.coerce)
    283 
    284   void thiscall_method_arg(Big s) {}
    285   // LINUX: define {{.*}} void @_ZN5Class19thiscall_method_argE3Big(%class.Class* %this, %struct.Big* byval align 4 %s)
    286   // WIN32: define {{.*}} void @"\01?thiscall_method_arg@Class@@QAEXUBig@@@Z"(%class.Class* %this, %struct.Big* byval align 4 %s)
    287   // WIN64: define linkonce_odr void @"\01?thiscall_method_arg@Class@@QEAAXUBig@@@Z"(%class.Class* %this, %struct.Big* %s)
    288 };
    289 
    290 void use_class() {
    291   Class c;
    292   c.thiscall_method_small();
    293   c.thiscall_method_small_with_ctor();
    294 
    295   c.cdecl_method_small();
    296   c.cdecl_method_big();
    297 
    298   c.thiscall_method_arg(Empty());
    299   c.thiscall_method_arg(EmptyWithCtor());
    300   c.thiscall_method_arg(Small());
    301   c.thiscall_method_arg(SmallWithCtor());
    302   c.thiscall_method_arg(Big());
    303 }
    304 
    305 struct X {
    306   X();
    307   ~X();
    308 };
    309 void g(X) {
    310 }
    311 // WIN32: define void @"\01?g@@YAXUX@@@Z"(<{ %struct.X, [3 x i8] }>* inalloca) {{.*}} {
    312 // WIN32:   call x86_thiscallcc void @"\01??1X@@QAE@XZ"(%struct.X* {{.*}})
    313 // WIN32: }
    314 void f() {
    315   g(X());
    316 }
    317 // WIN32: define void @"\01?f@@YAXXZ"() {{.*}} {
    318 // WIN32-NOT: call {{.*}} @"\01??1X@@QAE@XZ"
    319 // WIN32: }
    320 
    321 
    322 namespace test2 {
    323 // We used to crash on this due to the mixture of POD byval and non-trivial
    324 // byval.
    325 
    326 struct NonTrivial {
    327   NonTrivial();
    328   NonTrivial(const NonTrivial &o);
    329   ~NonTrivial();
    330   int a;
    331 };
    332 struct POD { int b; };
    333 
    334 int foo(NonTrivial a, POD b);
    335 void bar() {
    336   POD b;
    337   b.b = 13;
    338   int c = foo(NonTrivial(), b);
    339 }
    340 // WIN32-LABEL: define void @"\01?bar@test2@@YAXXZ"() {{.*}} {
    341 // WIN32:   %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty:<{ %"struct.test2::NonTrivial", %"struct.test2::POD" }>]]
    342 // WIN32:   getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
    343 // WIN32:   call void @llvm.memcpy
    344 // WIN32:   getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
    345 // WIN32:   call x86_thiscallcc %"struct.test2::NonTrivial"* @"\01??0NonTrivial@test2@@QAE@XZ"
    346 // WIN32:   call i32 @"\01?foo@test2@@YAHUNonTrivial@1@UPOD@1@@Z"([[argmem_ty]]* inalloca %argmem)
    347 // WIN32:   ret void
    348 // WIN32: }
    349 
    350 }
    351 
    352 namespace test3 {
    353 
    354 // Check that we padded the inalloca struct to a multiple of 4.
    355 struct NonTrivial {
    356   NonTrivial();
    357   NonTrivial(const NonTrivial &o);
    358   ~NonTrivial();
    359   int a;
    360 };
    361 void foo(NonTrivial a, bool b) { }
    362 // WIN32-LABEL: define void @"\01?foo@test3@@YAXUNonTrivial@1@_N@Z"(<{ %"struct.test3::NonTrivial", i8, [3 x i8] }>* inalloca)
    363 
    364 }
    365 
    366 // We would crash here because the later definition of ForwardDeclare1 results
    367 // in a different IR type for the value we want to store.  However, the alloca's
    368 // type will use the argument type selected by fn1.
    369 struct ForwardDeclare1;
    370 
    371 typedef void (*FnPtr1)(ForwardDeclare1);
    372 void fn1(FnPtr1 a, SmallWithDtor b) { }
    373 
    374 struct ForwardDeclare1 {};
    375 
    376 void fn2(FnPtr1 a, SmallWithDtor b) { fn1(a, b); };
    377 // WIN32-LABEL: define void @"\01?fn2@@YAXP6AXUForwardDeclare1@@@ZUSmallWithDtor@@@Z"
    378 // WIN32:   %[[a:[^ ]*]] = getelementptr inbounds [[argmem_ty:<{ {}\*, %struct.SmallWithDtor }>]], [[argmem_ty:<{ {}\*, %struct.SmallWithDtor }>]]* %{{.*}}, i32 0, i32 0
    379 // WIN32:   %[[a1:[^ ]*]] = bitcast {}** %[[a]] to void [[dst_ty:\(%struct.ForwardDeclare1\*\)\*]]*
    380 // WIN32:   %[[argmem:[^ ]*]] = alloca inalloca [[argmem_ty]]
    381 // WIN32:   %[[gep1:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 1
    382 // WIN32:   %[[bc1:[^ ]*]] = bitcast %struct.SmallWithDtor* %[[gep1]] to i8*
    383 // WIN32:   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %[[bc1]], i8* {{.*}}, i32 4, i32 4, i1 false)
    384 // WIN32:   %[[a2:[^ ]*]] = load void [[dst_ty]], void [[dst_ty]]* %[[a1]], align 4
    385 // WIN32:   %[[gep2:[^ ]*]] = getelementptr inbounds [[argmem_ty]], [[argmem_ty]]* %[[argmem]], i32 0, i32 0
    386 // WIN32:   %[[addr:[^ ]*]] = bitcast {}** %[[gep2]] to void [[dst_ty]]*
    387 // WIN32:   store void [[dst_ty]] %[[a2]], void [[dst_ty]]* %[[addr]], align 4
    388 // WIN32:   call void @"\01?fn1@@YAXP6AXUForwardDeclare1@@@ZUSmallWithDtor@@@Z"([[argmem_ty]]* inalloca %[[argmem]])
    389