mirror of
https://github.com/llvm/llvm-project.git
synced 2025-05-19 05:56:06 +00:00
2b7fc3828e
mostly in avoiding unnecessary work at compile time but also in producing more sensible block orderings. Move the destructor cleanups for local variables over to use lazy cleanups. Eventually all cleanups will do this; for now we have some awkward code duplication. Tell IR generation just to never produce landing pads in -fno-exceptions. This is a much more comprehensive solution to a problem which previously was half-solved by checks in most cleanup-generation spots. llvm-svn: 108270
134 lines
3.1 KiB
C++
134 lines
3.1 KiB
C++
// RUN: %clang_cc1 -emit-llvm -O1 -o - %s | FileCheck %s
|
|
// RUN: %clang_cc1 -emit-llvm -O1 -fexceptions -o - %s | FileCheck --check-prefix=CHECK-EH %s
|
|
|
|
// Test code generation for the named return value optimization.
|
|
class X {
|
|
public:
|
|
X();
|
|
X(const X&);
|
|
~X();
|
|
};
|
|
|
|
// CHECK: define void @_Z5test0v
|
|
// CHECK-EH: define void @_Z5test0v
|
|
X test0() {
|
|
X x;
|
|
// CHECK: call void @_ZN1XC1Ev
|
|
// CHECK-NEXT: ret void
|
|
|
|
// CHECK-EH: call void @_ZN1XC1Ev
|
|
// CHECK-EH-NEXT: ret void
|
|
return x;
|
|
}
|
|
|
|
// CHECK: define void @_Z5test1b(
|
|
// CHECK-EH: define void @_Z5test1b(
|
|
X test1(bool B) {
|
|
// CHECK: tail call void @_ZN1XC1Ev
|
|
// CHECK-NEXT: ret void
|
|
X x;
|
|
if (B)
|
|
return (x);
|
|
return x;
|
|
// CHECK-EH: tail call void @_ZN1XC1Ev
|
|
// CHECK-EH-NEXT: ret void
|
|
}
|
|
|
|
// CHECK: define void @_Z5test2b
|
|
// CHECK-EH: define void @_Z5test2b
|
|
X test2(bool B) {
|
|
// No NRVO.
|
|
|
|
X x;
|
|
X y;
|
|
if (B)
|
|
return y;
|
|
return x;
|
|
|
|
// CHECK: call void @_ZN1XC1Ev
|
|
// CHECK-NEXT: call void @_ZN1XC1Ev
|
|
// CHECK: call void @_ZN1XC1ERKS_
|
|
// CHECK: call void @_ZN1XC1ERKS_
|
|
// CHECK: call void @_ZN1XD1Ev
|
|
// CHECK: call void @_ZN1XD1Ev
|
|
// CHECK: ret void
|
|
|
|
// The block ordering in the -fexceptions IR is unfortunate.
|
|
|
|
// CHECK-EH: call void @_ZN1XC1Ev
|
|
// CHECK-EH-NEXT: invoke void @_ZN1XC1Ev
|
|
// -> %invoke.cont, %lpad
|
|
|
|
// %invoke.cont:
|
|
// CHECK-EH: br i1
|
|
// -> %if.then, %if.end
|
|
|
|
// %if.then: returning 'x'
|
|
// CHECK-EH: invoke void @_ZN1XC1ERKS_
|
|
// -> %cleanup, %lpad1
|
|
|
|
// %lpad: landing pad for ctor of 'y', dtor of 'y'
|
|
// CHECK-EH: call i8* @llvm.eh.exception()
|
|
// CHECK-EH: call i32 (i8*, i8*, ...)* @llvm.eh.selector
|
|
// CHECK-EH-NEXT: br label
|
|
// -> %eh.cleanup
|
|
|
|
// %lpad1: landing pad for return copy ctors, EH cleanup for 'y'
|
|
// CHECK-EH: invoke void @_ZN1XD1Ev
|
|
// -> %eh.cleanup, %terminate.lpad
|
|
|
|
// %if.end: returning 'y'
|
|
// CHECK-EH: invoke void @_ZN1XC1ERKS_
|
|
// -> %cleanup, %lpad1
|
|
|
|
// %cleanup: normal cleanup for 'y'
|
|
// CHECK-EH: invoke void @_ZN1XD1Ev
|
|
// -> %invoke.cont11, %lpad
|
|
|
|
// %invoke.cont11: normal cleanup for 'x'
|
|
// CHECK-EH: call void @_ZN1XD1Ev
|
|
// CHECK-EH-NEXT: ret void
|
|
|
|
// %eh.cleanup: EH cleanup for 'x'
|
|
// CHECK-EH: invoke void @_ZN1XD1Ev
|
|
// -> %invoke.cont17, %terminate.lpad
|
|
|
|
// %invoke.cont17: rethrow block for %eh.cleanup.
|
|
// This really should be elsewhere in the function.
|
|
// CHECK-EH: call void @_Unwind_Resume_or_Rethrow
|
|
// CHECK-EH-NEXT: unreachable
|
|
|
|
// %terminate.lpad: terminate landing pad.
|
|
// CHECK-EH: call i8* @llvm.eh.exception()
|
|
// CHECK-EH-NEXT: call i32 (i8*, i8*, ...)* @llvm.eh.selector
|
|
// CHECK-EH-NEXT: call void @_ZSt9terminatev()
|
|
// CHECK-EH-NEXT: unreachable
|
|
|
|
}
|
|
|
|
X test3(bool B) {
|
|
// FIXME: We don't manage to apply NRVO here, although we could.
|
|
{
|
|
X y;
|
|
return y;
|
|
}
|
|
X x;
|
|
return x;
|
|
}
|
|
|
|
extern "C" void exit(int) throw();
|
|
|
|
// CHECK: define void @_Z5test4b
|
|
X test4(bool B) {
|
|
{
|
|
// CHECK: tail call void @_ZN1XC1Ev
|
|
X x;
|
|
// CHECK: br i1
|
|
if (B)
|
|
return x;
|
|
}
|
|
// CHECK: tail call void @_ZN1XD1Ev
|
|
// CHECK: tail call void @exit(i32 1)
|
|
exit(1);
|
|
}
|