test/CodeGenCXX/cxx1y-init-captures.cpp

   1 // RUN: %clang_cc1 -std=c++1y -triple x86_64-linux-gnu -emit-llvm %s -o - | FileCheck %s
   2
   3 struct S {
   4   S();
   5   S(S &&);
   6   ~S();
   7 };
   8
   9 void f() {
  10   (void) [s(S{})] {};
  11 }
  12
  13 // CHECK-LABEL: define void @_Z1fv(
  14 // CHECK: call void @_ZN1SC1Ev(
  15 // CHECK: call void @"_ZZ1fvEN3$_0D1Ev"(
  16
  17 // CHECK-LABEL: define internal void @"_ZZ1fvEN3$_0D1Ev"(
  18 // CHECK: @"_ZZ1fvEN3$_0D2Ev"(
  19
  20 // D2 at end of file.
  21
  22 void g() {
  23   [a(1), b(2)] { return a + b; } ();
  24 }
  25
  26 // CHECK-LABEL: define void @_Z1gv(
  27 // CHECK: getelementptr inbounds {{.*}}, i32 0, i32 0
  28 // CHECK: store i32 1, i32*
  29 // CHECK: getelementptr inbounds {{.*}}, i32 0, i32 1
  30 // CHECK: store i32 2, i32*
  31 // CHECK: call i32 @"_ZZ1gvENK3$_1clEv"(
  32
  33 // CHECK-LABEL: define internal i32 @"_ZZ1gvENK3$_1clEv"(
  34 // CHECK: getelementptr inbounds {{.*}}, i32 0, i32 0
  35 // CHECK: load i32, i32*
  36 // CHECK: getelementptr inbounds {{.*}}, i32 0, i32 1
  37 // CHECK: load i32, i32*
  38
  39 // CHECK: add nsw i32
  40
  41 int h(int a) {
  42   // CHECK-LABEL: define i32 @_Z1hi(
  43   // CHECK: %[[A_ADDR:.*]] = alloca i32,
  44   // CHECK: %[[OUTER:.*]] = alloca
  45   // CHECK: store i32 {{.*}}, i32* %[[A_ADDR]],
  46   //
  47   // Initialize init-capture 'b(a)' by reference.
  48   // CHECK: getelementptr inbounds {{.*}}, {{.*}}* %[[OUTER]], i32 0, i32 0
  49   // CHECK: store i32* %[[A_ADDR]], i32** {{.*}},
  50   //
  51   // Initialize init-capture 'c(a)' by copy.
  52   // CHECK: getelementptr inbounds {{.*}}, {{.*}}* %[[OUTER]], i32 0, i32 1
  53   // CHECK: load i32, i32* %[[A_ADDR]],
  54   // CHECK: store i32
  55   //
  56   // CHECK: call i32 @"_ZZ1hiENK3$_2clEv"({{.*}}* %[[OUTER]])
  57   return [&b(a), c(a)] {
  58     // CHECK-LABEL: define internal i32 @"_ZZ1hiENK3$_2clEv"(
  59     // CHECK: %[[OUTER_ADDR:.*]] = alloca
  60     // CHECK: %[[INNER:.*]] = alloca
  61     // CHECK: store {{.*}}, {{.*}}** %[[OUTER_ADDR]],
  62     //
  63     // Capture outer 'c' by reference.
  64     // CHECK: %[[OUTER:.*]] = load {{.*}}*, {{.*}}** %[[OUTER_ADDR]]
  65     // CHECK: getelementptr inbounds {{.*}}, {{.*}}* %[[INNER]], i32 0, i32 0
  66     // CHECK-NEXT: getelementptr inbounds {{.*}}, {{.*}}* %[[OUTER]], i32 0, i32 1
  67     // CHECK-NEXT: store i32* %
  68     //
  69     // Capture outer 'b' by copy.
  70     // CHECK: getelementptr inbounds {{.*}}, {{.*}}* %[[INNER]], i32 0, i32 1
  71     // CHECK-NEXT: getelementptr inbounds {{.*}}, {{.*}}* %[[OUTER]], i32 0, i32 0
  72     // CHECK-NEXT: load i32*, i32** %
  73     // CHECK-NEXT: load i32, i32* %
  74     // CHECK-NEXT: store i32
  75     //
  76     // CHECK: call i32 @"_ZZZ1hiENK3$_2clEvENKUlvE_clEv"({{.*}}* %[[INNER]])
  77     return [=, &c] {
  78       // CHECK-LABEL: define internal void @"_ZZ1fvEN3$_0D2Ev"(
  79       // CHECK: call void @_ZN1SD1Ev(
  80
  81       // CHECK-LABEL: define internal i32 @"_ZZZ1hiENK3$_2clEvENKUlvE_clEv"(
  82       // CHECK: %[[INNER_ADDR:.*]] = alloca
  83       // CHECK: store {{.*}}, {{.*}}** %[[INNER_ADDR]],
  84       // CHECK: %[[INNER:.*]] = load {{.*}}*, {{.*}}** %[[INNER_ADDR]]
  85       //
  86       // Load capture of 'b'
  87       // CHECK: getelementptr inbounds {{.*}}, {{.*}}* %[[INNER]], i32 0, i32 1
  88       // CHECK: load i32, i32* %
  89       //
  90       // Load capture of 'c'
  91       // CHECK: getelementptr inbounds {{.*}}, {{.*}}* %[[INNER]], i32 0, i32 0
  92       // CHECK: load i32*, i32** %
  93       // CHECK: load i32, i32* %
  94       //
  95       // CHECK: add nsw i32
  96       return b + c;
  97     } ();
  98   } ();
  99 }
 100
 101 // Ensure we can emit code for init-captures in global lambdas too.
 102 auto global_lambda = [a = 0] () mutable { return ++a; };
 103 int get_incremented() { return global_lambda(); }