// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
// RUN: %clang_cc1 -emit-llvm %s -o - -triple x86_64-unknown-linux-gnu | FileCheck %s

bool e();

void operator delete(void*);

// CHECK-LABEL: @_Z1fPiz(
// CHECK-NEXT:  entry:
// CHECK-NEXT:    [[P_ADDR:%.*]] = alloca ptr, align 8
// CHECK-NEXT:    [[L:%.*]] = alloca [1 x [[STRUCT___VA_LIST_TAG:%.*]]], align 16
// CHECK-NEXT:    [[L2:%.*]] = alloca [1 x [[STRUCT___VA_LIST_TAG]]], align 16
// CHECK-NEXT:    store ptr [[P:%.*]], ptr [[P_ADDR]], align 8
// CHECK-NEXT:    [[CALL:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    br i1 [[CALL]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
// CHECK:       cond.true:
// CHECK-NEXT:    call void @llvm.trap() #[[ATTR8:[0-9]+]]
// CHECK-NEXT:    unreachable
// CHECK:       0:
// CHECK-NEXT:    br label [[COND_END:%.*]]
// CHECK:       cond.false:
// CHECK-NEXT:    br label [[COND_END]]
// CHECK:       cond.end:
// CHECK-NEXT:    [[CALL1:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    br i1 [[CALL1]], label [[COND_TRUE2:%.*]], label [[COND_FALSE3:%.*]]
// CHECK:       cond.true2:
// CHECK-NEXT:    call void @llvm.debugtrap()
// CHECK-NEXT:    br label [[COND_END4:%.*]]
// CHECK:       cond.false3:
// CHECK-NEXT:    br label [[COND_END4]]
// CHECK:       cond.end4:
// CHECK-NEXT:    [[CALL5:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    [[TMP1:%.*]] = zext i1 [[CALL5]] to i64
// CHECK-NEXT:    call void @llvm.assume(i1 true)
// CHECK-NEXT:    [[CALL6:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    br i1 [[CALL6]], label [[COND_TRUE7:%.*]], label [[COND_FALSE8:%.*]]
// CHECK:       cond.true7:
// CHECK-NEXT:    [[ARRAYDECAY:%.*]] = getelementptr inbounds [1 x [[STRUCT___VA_LIST_TAG]]], ptr [[L]], i64 0, i64 0
// CHECK-NEXT:    call void @llvm.va_start.p0(ptr [[ARRAYDECAY]])
// CHECK-NEXT:    br label [[COND_END9:%.*]]
// CHECK:       cond.false8:
// CHECK-NEXT:    br label [[COND_END9]]
// CHECK:       cond.end9:
// CHECK-NEXT:    [[CALL10:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    br i1 [[CALL10]], label [[COND_TRUE11:%.*]], label [[COND_FALSE14:%.*]]
// CHECK:       cond.true11:
// CHECK-NEXT:    [[ARRAYDECAY12:%.*]] = getelementptr inbounds [1 x [[STRUCT___VA_LIST_TAG]]], ptr [[L]], i64 0, i64 0
// CHECK-NEXT:    [[ARRAYDECAY13:%.*]] = getelementptr inbounds [1 x [[STRUCT___VA_LIST_TAG]]], ptr [[L2]], i64 0, i64 0
// CHECK-NEXT:    call void @llvm.va_copy.p0(ptr [[ARRAYDECAY12]], ptr [[ARRAYDECAY13]])
// CHECK-NEXT:    br label [[COND_END15:%.*]]
// CHECK:       cond.false14:
// CHECK-NEXT:    br label [[COND_END15]]
// CHECK:       cond.end15:
// CHECK-NEXT:    [[CALL16:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    br i1 [[CALL16]], label [[COND_TRUE17:%.*]], label [[COND_FALSE18:%.*]]
// CHECK:       cond.true17:
// CHECK-NEXT:    [[TMP2:%.*]] = load ptr, ptr [[P_ADDR]], align 8
// CHECK-NEXT:    call void @llvm.prefetch.p0(ptr [[TMP2]], i32 0, i32 3, i32 1)
// CHECK-NEXT:    br label [[COND_END19:%.*]]
// CHECK:       cond.false18:
// CHECK-NEXT:    br label [[COND_END19]]
// CHECK:       cond.end19:
// CHECK-NEXT:    [[CALL20:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    br i1 [[CALL20]], label [[COND_TRUE21:%.*]], label [[COND_FALSE22:%.*]]
// CHECK:       cond.true21:
// CHECK-NEXT:    call void @llvm.eh.unwind.init()
// CHECK-NEXT:    br label [[COND_END23:%.*]]
// CHECK:       cond.false22:
// CHECK-NEXT:    br label [[COND_END23]]
// CHECK:       cond.end23:
// CHECK-NEXT:    [[CALL24:%.*]] = call noundef zeroext i1 @_Z1ev()
// CHECK-NEXT:    [[TMP3:%.*]] = zext i1 [[CALL24]] to i64
// CHECK-NEXT:    [[TMP4:%.*]] = load ptr, ptr [[P_ADDR]], align 8
// CHECK-NEXT:    call void @_ZdlPv(ptr noundef [[TMP4]]) #[[ATTR9:[0-9]+]]
// CHECK-NEXT:    ret void
//
void f(int* p, ...)
{
  e() ? __builtin_trap() : void();
  e() ? __builtin_debugtrap() : void();
  e() ? __builtin_assume(true) : void();
  __builtin_va_list l;
  e() ? __builtin_va_start(l, p) : void();
  __builtin_va_list l2;
  e() ? __builtin_va_copy(l, l2) : void();
  e() ? __builtin_prefetch(p) : void();
  e() ? __builtin_unwind_init() : void();
  e() ? __builtin_operator_delete(p) : void();
}