maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/clang/test/CodeGenCXX/for-cond-var.cpp

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

139 lines
3.3 KiB
C++
Raw Normal View History

PR49585: Emit the jump destination for a for loop 'continue' from within the scope of the condition variable. The condition variable is in scope in the loop increment, so we need to emit the jump destination from wthin the scope of the condition variable. For GCC compatibility (and compatibility with real-world 'FOR_EACH' macros), 'continue' is permitted in a statement expression within the condition of a for loop, though, so there are two cases here: * If the for loop has no condition variable, we can emit the jump destination before emitting the condition. * If the for loop has a condition variable, we must defer emitting the jump destination until after emitting the variable. We diagnose a 'continue' appearing in the initializer of the condition variable, because it would jump past the initializer into the scope of that variable. Reviewed By: rjmccall Differential Revision: https://reviews.llvm.org/D98816
2021-03-18 05:00:03 +08:00
// RUN: %clang_cc1 -emit-llvm -o - %s -triple x86_64-linux | FileCheck %s
struct A {
A();
A(const A &);
~A();
operator bool();
void *data;
};
A make();
bool cond();
void f(int);
// PR49585: Ensure that 'continue' performs the proper cleanups in the presence
// of a for loop condition variable.
//
// CHECK: define {{.*}} void @_Z7PR49585v(
void PR49585() {
for (
// CHECK: call void @_Z1fi(i32 1)
// CHECK: br label %[[for_cond:.*]]
f(1);
// CHECK: [[for_cond]]:
// CHECK: call {{.*}} @_Z4makev(
// CHECK: call {{.*}} @_ZN1AcvbEv(
// CHECK: br i1 {{.*}}, label %[[for_body:.*]], label %[[for_cond_cleanup:.*]]
A a = make();
// CHECK: [[for_cond_cleanup]]:
// CHECK: store
// CHECK: br label %[[cleanup:.*]]
f(2)) {
// CHECK: [[for_body]]:
// CHECK: call {{.*}} @_Z4condv(
// CHECK: br i1 {{.*}}, label %[[if_then:.*]], label %[[if_end:.*]]
if (cond()) {
// CHECK: [[if_then]]:
// CHECK: call {{.*}} @_Z1fi(i32 3)
// CHECK: br label %[[for_inc:.*]]
f(3);
continue;
}
// CHECK: [[if_end]]:
// CHECK: call {{.*}} @_Z1fi(i32 4)
// CHECK: br label %[[for_inc]]
f(4);
}
// CHECK: [[for_inc]]:
// CHECK: call void @_Z1fi(i32 2)
// CHECK: store
// CHECK: br label %[[cleanup]]
// CHECK: [[cleanup]]:
// CHECK: call void @_ZN1AD1Ev(
// CHECK: load
// CHECK: switch {{.*}} label
// CHECK-NEXT: label %[[cleanup_cont:.*]]
// CHECK-NEXT: label %[[for_end:.*]]
// CHECK: [[cleanup_cont]]:
// CHECK: br label %[[for_cond]]
// CHECK [[for_end]]:
// CHECK: ret void
}
// CHECK: define {{.*}} void @_Z13PR49585_breakv(
void PR49585_break() {
for (
// CHECK: call void @_Z1fi(i32 1)
// CHECK: br label %[[for_cond:.*]]
f(1);
// CHECK: [[for_cond]]:
// CHECK: call {{.*}} @_Z4makev(
// CHECK: call {{.*}} @_ZN1AcvbEv(
// CHECK: br i1 {{.*}}, label %[[for_body:.*]], label %[[for_cond_cleanup:.*]]
A a = make();
// CHECK: [[for_cond_cleanup]]:
// CHECK: store
// CHECK: br label %[[cleanup:.*]]
f(2)) {
// CHECK: [[for_body]]:
// CHECK: call {{.*}} @_Z4condv(
// CHECK: br i1 {{.*}}, label %[[if_then:.*]], label %[[if_end:.*]]
if (cond()) {
// CHECK: [[if_then]]:
// CHECK: call {{.*}} @_Z1fi(i32 3)
// CHECK: store
// CHECK: br label %[[cleanup:.*]]
f(3);
break;
}
// CHECK: [[if_end]]:
// CHECK: call {{.*}} @_Z1fi(i32 4)
// CHECK: br label %[[for_inc]]
f(4);
}
// CHECK: [[for_inc]]:
// CHECK: call void @_Z1fi(i32 2)
// CHECK: store
// CHECK: br label %[[cleanup]]
// CHECK: [[cleanup]]:
// CHECK: call void @_ZN1AD1Ev(
// CHECK: load
// CHECK: switch {{.*}} label
// CHECK-NEXT: label %[[cleanup_cont:.*]]
// CHECK-NEXT: label %[[for_end:.*]]
// CHECK: [[cleanup_cont]]:
// CHECK: br label %[[for_cond]]
// CHECK [[for_end]]:
// CHECK: ret void
}
[CodeGen] Don't crash on for loops with cond variables and no increment This looks like an oversight from a875721d8a2d, creating IR that refers to `for.inc` even if it doesn't exist. Differential Revision: https://reviews.llvm.org/D98980
2021-03-20 03:35:17 +08:00
// CHECK: define {{.*}} void @_Z16incless_for_loopv(
void incless_for_loop() {
// CHECK: br label %[[for_cond:.*]]
// CHECK: [[for_cond]]:
// CHECK: br i1 {{.*}}, label %[[for_body:.*]], label %[[for_end:.*]]
// CHECK: [[for_body]]:
// CHECK: br label %[[for_cond]]
// CHECK: [[for_end]]:
// CHECK: ret void
// CHECK: }
for (; int b = 0;) continue;
}