17e2633cd6
CodeGen assumed that a compound literal with array type should have a corresponding LLVM IR array type. We had two bugs in this area: - Zero sized arrays in compound literals would lead to the creation of an opaque type. This is unnecessary, we should just create an array type with a bound of zero. - Funny record types (like unions) lead to exotic IR types for compound literals. In this case, CodeGen must be prepared to deal with the possibility that it might not have an array IR type. This fixes PR21912. llvm-svn: 224219
123 lines
3.3 KiB
C++
123 lines
3.3 KiB
C++
// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fblocks -emit-llvm -o - %s -fexceptions -std=c++11 | FileCheck %s
|
|
|
|
// CHECK-NOT: @unused
|
|
auto unused = [](int i) { return i+1; };
|
|
|
|
// CHECK: @used = internal global
|
|
auto used = [](int i) { return i+1; };
|
|
void *use = &used;
|
|
|
|
// CHECK: @cvar = global
|
|
extern "C" auto cvar = []{};
|
|
|
|
int a() { return []{ return 1; }(); }
|
|
// CHECK-LABEL: define i32 @_Z1av
|
|
// CHECK: call i32 @"_ZZ1avENK3$_0clEv"
|
|
// CHECK-LABEL: define internal i32 @"_ZZ1avENK3$_0clEv"
|
|
// CHECK: ret i32 1
|
|
|
|
int b(int x) { return [x]{return x;}(); }
|
|
// CHECK-LABEL: define i32 @_Z1bi
|
|
// CHECK: store i32
|
|
// CHECK: load i32*
|
|
// CHECK: store i32
|
|
// CHECK: call i32 @"_ZZ1biENK3$_1clEv"
|
|
// CHECK-LABEL: define internal i32 @"_ZZ1biENK3$_1clEv"
|
|
// CHECK: load i32*
|
|
// CHECK: ret i32
|
|
|
|
int c(int x) { return [&x]{return x;}(); }
|
|
// CHECK-LABEL: define i32 @_Z1ci
|
|
// CHECK: store i32
|
|
// CHECK: store i32*
|
|
// CHECK: call i32 @"_ZZ1ciENK3$_2clEv"
|
|
// CHECK-LABEL: define internal i32 @"_ZZ1ciENK3$_2clEv"
|
|
// CHECK: load i32**
|
|
// CHECK: load i32*
|
|
// CHECK: ret i32
|
|
|
|
struct D { D(); D(const D&); int x; };
|
|
int d(int x) { D y[10]; [x,y] { return y[x].x; }(); }
|
|
|
|
// CHECK-LABEL: define i32 @_Z1di
|
|
// CHECK: call void @_ZN1DC1Ev
|
|
// CHECK: icmp ult i64 %{{.*}}, 10
|
|
// CHECK: call void @_ZN1DC1ERKS_
|
|
// CHECK: call i32 @"_ZZ1diENK3$_3clEv"
|
|
// CHECK-LABEL: define internal i32 @"_ZZ1diENK3$_3clEv"
|
|
// CHECK: load i32*
|
|
// CHECK: load i32*
|
|
// CHECK: ret i32
|
|
|
|
struct E { E(); E(const E&); ~E(); int x; };
|
|
int e(E a, E b, bool cond) { [a,b,cond](){ return (cond ? a : b).x; }(); }
|
|
// CHECK-LABEL: define i32 @_Z1e1ES_b
|
|
// CHECK: call void @_ZN1EC1ERKS_
|
|
// CHECK: invoke void @_ZN1EC1ERKS_
|
|
// CHECK: invoke i32 @"_ZZ1e1ES_bENK3$_4clEv"
|
|
// CHECK: call void @"_ZZ1e1ES_bEN3$_4D1Ev"
|
|
// CHECK: call void @"_ZZ1e1ES_bEN3$_4D1Ev"
|
|
|
|
// CHECK-LABEL: define internal i32 @"_ZZ1e1ES_bENK3$_4clEv"
|
|
// CHECK: trunc i8
|
|
// CHECK: load i32*
|
|
// CHECK: ret i32
|
|
|
|
void f() {
|
|
// CHECK-LABEL: define void @_Z1fv()
|
|
// CHECK: @"_ZZ1fvENK3$_5cvPFiiiEEv"
|
|
// CHECK-NEXT: store i32 (i32, i32)*
|
|
// CHECK-NEXT: ret void
|
|
int (*fp)(int, int) = [](int x, int y){ return x + y; };
|
|
}
|
|
|
|
static int k;
|
|
int g() {
|
|
int &r = k;
|
|
// CHECK-LABEL: define internal i32 @"_ZZ1gvENK3$_6clEv"(
|
|
// CHECK-NOT: }
|
|
// CHECK: load i32* @_ZL1k,
|
|
return [] { return r; } ();
|
|
};
|
|
|
|
// PR14773
|
|
// CHECK: [[ARRVAL:%[0-9a-zA-Z]*]] = load i32* getelementptr inbounds ([0 x i32]* @_ZZ14staticarrayrefvE5array, i32 0, i64 0), align 4
|
|
// CHECK-NEXT: store i32 [[ARRVAL]]
|
|
void staticarrayref(){
|
|
static int array[] = {};
|
|
(void)[](){
|
|
int (&xxx)[0] = array;
|
|
int y = xxx[0];
|
|
}();
|
|
}
|
|
|
|
// CHECK: define internal void @"_ZZ1hvEN3$_88__invokeEv"(%struct.A* noalias sret %agg.result) {{.*}} {
|
|
// CHECK-NOT: =
|
|
// CHECK: call void @"_ZZ1hvENK3$_8clEv"(%struct.A* sret %agg.result,
|
|
// CHECK-NEXT: ret void
|
|
struct A { ~A(); };
|
|
void h() {
|
|
A (*h)() = [] { return A(); };
|
|
}
|
|
|
|
// CHECK-LABEL: define internal i32 @"_ZZ1fvEN3$_58__invokeEii"
|
|
// CHECK: store i32
|
|
// CHECK-NEXT: store i32
|
|
// CHECK-NEXT: load i32*
|
|
// CHECK-NEXT: load i32*
|
|
// CHECK-NEXT: call i32 @"_ZZ1fvENK3$_5clEii"
|
|
// CHECK-NEXT: ret i32
|
|
|
|
// CHECK-LABEL: define internal void @"_ZZ1e1ES_bEN3$_4D2Ev"
|
|
|
|
// <rdar://problem/12778708>
|
|
struct XXX {};
|
|
void nestedCapture () {
|
|
XXX localKey;
|
|
^() {
|
|
[&]() {
|
|
^{ XXX k = localKey; };
|
|
};
|
|
};
|
|
}
|