test/CodeGenCXX/condition.cpp

// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s
void *f();

template <typename T> T* g() {
 if (T* t = f())
   return t;

 return 0;
}

void h() {
 void *a = g<void>();
}

struct X {
  X();
  ~X();
  operator bool();
};

struct Y {
  Y();
  ~Y();
};

void if_destruct(int z) {
  // Verify that the condition variable is destroyed at the end of the
  // "if" statement.
  // CHECK: call void @_ZN1XC1Ev
  // CHECK: call zeroext i1 @_ZN1XcvbEv
  if (X x = X()) {
    // CHECK: store i32 18
    z = 18;
  }
  // CHECK: call void @_ZN1XD1Ev
  // CHECK: store i32 17
  z = 17;

  // CHECK: call void @_ZN1XC1Ev
  if (X x = X())
    Y y;
  // CHECK: br
  // CHECK: call  void @_ZN1YC1Ev
  // CHECK: call  void @_ZN1YD1Ev
  // CHECK: br
  // CHECK: call  void @_ZN1XD1Ev
}

struct ConvertibleToInt {
  ConvertibleToInt();
  ~ConvertibleToInt();
  operator int();
};

void switch_destruct(int z) {
  // CHECK: call void @_ZN16ConvertibleToIntC1Ev
  switch (ConvertibleToInt conv = ConvertibleToInt()) {
  case 0:
    break;

  default:
    // CHECK: {{sw.default:|:3}}
    // CHECK: store i32 19
    z = 19;
    break;
  }
  // CHECK: {{sw.epilog:|:5}}
  // CHECK: call void @_ZN16ConvertibleToIntD1Ev
  // CHECK: store i32 20
  z = 20;
}

int foo();

void while_destruct(int z) {
  // CHECK: define void @_Z14while_destructi
  // CHECK: {{while.cond:|:2}}
  while (X x = X()) {
    // CHECK: call void @_ZN1XC1Ev

    // CHECK: {{while.body:|:4}}
    // CHECK: store i32 21
    z = 21;

    // CHECK: {{while.cleanup:|:5}}
    // CHECK: call void @_ZN1XD1Ev
  }
  // CHECK: {{while.end|:7}}
  // CHECK: store i32 22
  z = 22;
}

void for_destruct(int z) {
  // CHECK: define void @_Z12for_destruct
  // CHECK: call void @_ZN1YC1Ev
  for(Y y = Y(); X x = X(); ++z)
    // CHECK: {{for.cond:|:2}}
    // CHECK: call void @_ZN1XC1Ev
    // CHECK: {{for.body:|:4}}
    // CHECK: store i32 23
    z = 23;
    // CHECK: {{for.inc:|:5}}
    // CHECK: br label %{{for.cond.cleanup|8}}
    // CHECK: {{for.cond.cleanup:|:8}}
    // CHECK: call void @_ZN1XD1Ev
  // CHECK: {{for.end:|:10}}
  // CHECK: call void @_ZN1YD1Ev
  // CHECK: store i32 24
  z = 24;
}