Add a testcase for start+end implementations of std::initializer_list.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@150923 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/CodeGenCXX/cxx0x-initializer-stdinitializerlist-startend.cpp b/test/CodeGenCXX/cxx0x-initializer-stdinitializerlist-startend.cpp
new file mode 100644 (file)
index 0000000..3ab44e5
--- /dev/null
+++ b/test/CodeGenCXX/cxx0x-initializer-stdinitializerlist-startend.cpp
@@ -0,0 +1,81 @@
+// RUN: %clang_cc1 -std=c++11 -S -emit-llvm -o - %s | FileCheck %s
+
+namespace std {
+  typedef decltype(sizeof(int)) size_t;
+
+  // libc++'s implementation with __size_ replaced by __end_
+  template <class _E>
+  class initializer_list
+  {
+    const _E* __begin_;
+    const _E* __end_;
+
+    initializer_list(const _E* __b, const _E* __e)
+      : __begin_(__b),
+        __end_(__e)
+    {}
+
+  public:
+    typedef _E        value_type;
+    typedef const _E& reference;
+    typedef const _E& const_reference;
+    typedef size_t    size_type;
+
+    typedef const _E* iterator;
+    typedef const _E* const_iterator;
+
+    initializer_list() : __begin_(nullptr), __end_(nullptr) {}
+
+    size_t    size()  const {return __end_ - __begin_;}
+    const _E* begin() const {return __begin_;}
+    const _E* end()   const {return __end_;}
+  };
+}
+
+void fn1(int i) {
+  // CHECK: define void @_Z3fn1i
+  // temporary array
+  // CHECK: [[array:%[^ ]+]] = alloca [3 x i32]
+  // CHECK: getelementptr inbounds [3 x i32]* [[array]], i{{32|64}} 0
+  // CHECK-NEXT: store i32 1, i32*
+  // CHECK-NEXT: getelementptr
+  // CHECK-NEXT: store
+  // CHECK-NEXT: getelementptr
+  // CHECK-NEXT: load
+  // CHECK-NEXT: store
+  // init the list
+  // CHECK-NEXT: getelementptr
+  // CHECK-NEXT: getelementptr inbounds [3 x i32]*
+  // CHECK-NEXT: store i32*
+  // CHECK-NEXT: getelementptr
+  // CHECK-NEXT: getelementptr inbounds [3 x i32]* [[array]], i{{32|64}} 0, i{{32|64}} 3
+  // CHECK-NEXT: store i32*
+  std::initializer_list<int> intlist{1, 2, i};
+}
+
+struct destroyme1 {
+  ~destroyme1();
+};
+struct destroyme2 {
+  ~destroyme2();
+};
+
+
+void fn2() {
+  // CHECK: define void @_Z3fn2v
+  void target(std::initializer_list<destroyme1>);
+  // objects should be destroyed before dm2, after call returns
+  target({ destroyme1(), destroyme1() });
+  // CHECK: call void @_ZN10destroyme1D1Ev
+  destroyme2 dm2;
+  // CHECK: call void @_ZN10destroyme2D1Ev
+}
+
+void fn3() {
+  // CHECK: define void @_Z3fn3v
+  // objects should be destroyed after dm2
+  auto list = { destroyme1(), destroyme1() };
+  destroyme2 dm2;
+  // CHECK: call void @_ZN10destroyme2D1Ev
+  // CHECK: call void @_ZN10destroyme1D1Ev
+}