| // RUN: %clang_cc1 %s -emit-llvm -triple i686-windows-msvc -o - | FileCheck %s |
| |
| // Statement allow the user to exit the evaluation scope of a CallExpr without |
| // executing the call. Check that clang generates reasonable IR for that case. |
| |
| // Not trivially copyable, subject to inalloca. |
| struct Foo { |
| int x; |
| Foo(); |
| ~Foo(); |
| }; |
| |
| void inalloca(Foo x, Foo y); |
| |
| // PR25102: In this case, clang attempts to clean up unreachable blocks *during* |
| // IR generation. inalloca defers some RAUW operations to the end of codegen, |
| // and those references would become stale when the unreachable call to |
| // 'inalloca' got deleted. |
| extern "C" void pr25102() { |
| inalloca(Foo(), ({ |
| goto out; |
| Foo(); |
| })); |
| out:; |
| } |
| |
| // CHECK-LABEL: define dso_local void @pr25102() |
| // CHECK: br label %out |
| // CHECK: out: |
| // CHECK: ret void |
| |
| bool cond(); |
| extern "C" void seqAbort() { |
| inalloca(Foo(), ({ |
| if (cond()) |
| goto out; |
| Foo(); |
| })); |
| out:; |
| } |
| |
| // FIXME: This can cause a stack leak. We should really have a "normal" cleanup |
| // that goto branches through. |
| // CHECK-LABEL: define dso_local void @seqAbort() |
| // CHECK: alloca inalloca <{ %struct.Foo, %struct.Foo }> |
| // CHECK: call noundef zeroext i1 @"?cond@@YA_NXZ"() |
| // CHECK: br i1 |
| // CHECK: br label %out |
| // CHECK: call void @"?inalloca@@YAXUFoo@@0@Z"(ptr inalloca(<{ %struct.Foo, %struct.Foo }>) %{{.*}}) |
| // CHECK: call void @llvm.stackrestore.p0(ptr %inalloca.save) |
| // CHECK: out: |
