fc62990657
This PR upstreams the GotoSolver pass. It works by walking the function and matching each label to a goto. If a label is not matched to a goto, it is removed and not lowered.
187 lines
4.5 KiB
C
187 lines
4.5 KiB
C
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
|
|
// RUN: FileCheck --input-file=%t.cir %s --check-prefix=CIR
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t-cir.ll
|
|
// RUN: FileCheck --input-file=%t-cir.ll %s --check-prefix=LLVM
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.ll
|
|
// RUN: FileCheck --input-file=%t.ll %s --check-prefix=OGCG
|
|
|
|
void label() {
|
|
labelA:
|
|
return;
|
|
}
|
|
|
|
// CIR: cir.func no_proto dso_local @label
|
|
// CIR: cir.label "labelA"
|
|
// CIR: cir.return
|
|
|
|
// LLVM:define dso_local void @label
|
|
// LLVM: ret void
|
|
|
|
// OGCG: define dso_local void @label
|
|
// OGCG: br label %labelA
|
|
// OGCG: labelA:
|
|
// OGCG: ret void
|
|
|
|
void multiple_labels() {
|
|
labelB:
|
|
labelC:
|
|
return;
|
|
}
|
|
|
|
// CIR: cir.func no_proto dso_local @multiple_labels
|
|
// CIR: cir.label "labelB"
|
|
// CIR: cir.br ^bb1
|
|
// CIR: ^bb1: // pred: ^bb0
|
|
// CIR: cir.label "labelC"
|
|
// CIR: cir.return
|
|
|
|
// LLVM: define dso_local void @multiple_labels()
|
|
// LLVM: br label %1
|
|
// LLVM: 1:
|
|
// LLVM: ret void
|
|
|
|
// OGCG: define dso_local void @multiple_labels
|
|
// OGCG: br label %labelB
|
|
// OGCG: labelB:
|
|
// OGCG: br label %labelC
|
|
// OGCG: labelC:
|
|
// OGCG: ret void
|
|
|
|
void label_in_if(int cond) {
|
|
if (cond) {
|
|
labelD:
|
|
cond++;
|
|
}
|
|
}
|
|
|
|
// CIR: cir.func dso_local @label_in_if
|
|
// CIR: cir.if {{.*}} {
|
|
// CIR: cir.label "labelD"
|
|
// CIR: [[LOAD:%.*]] = cir.load align(4) [[COND:%.*]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: [[INC:%.*]] = cir.unary(inc, %3) nsw : !s32i, !s32i
|
|
// CIR: cir.store align(4) [[INC]], [[COND]] : !s32i, !cir.ptr<!s32i>
|
|
// CIR: }
|
|
// CIR: cir.return
|
|
|
|
// LLVM: define dso_local void @label_in_if
|
|
// LLVM: br label %3
|
|
// LLVM: 3:
|
|
// LLVM: [[LOAD:%.*]] = load i32, ptr [[COND:%.*]], align 4
|
|
// LLVM: [[CMP:%.*]] = icmp ne i32 [[LOAD]], 0
|
|
// LLVM: br i1 [[CMP]], label %6, label %9
|
|
// LLVM: 6:
|
|
// LLVM: [[LOAD2:%.*]] = load i32, ptr [[COND]], align 4
|
|
// LLVM: [[ADD1:%.*]] = add nsw i32 [[LOAD2]], 1
|
|
// LLVM: store i32 [[ADD1]], ptr [[COND]], align 4
|
|
// LLVM: br label %9
|
|
// LLVM: 9:
|
|
// LLVM: br label %10
|
|
// LLVM: 10:
|
|
// LLVM: ret void
|
|
|
|
// OGCG: define dso_local void @label_in_if
|
|
// OGCG: if.then:
|
|
// OGCG: br label %labelD
|
|
// OGCG: labelD:
|
|
// OGCG: [[LOAD:%.*]] = load i32, ptr [[COND:%.*]], align 4
|
|
// OGCG: [[INC:%.*]] = add nsw i32 %1, 1
|
|
// OGCG: store i32 [[INC]], ptr [[COND]], align 4
|
|
// OGCG: br label %if.end
|
|
// OGCG: if.end:
|
|
// OGCG: ret void
|
|
|
|
void after_return() {
|
|
return;
|
|
label:
|
|
}
|
|
|
|
// CIR: cir.func no_proto dso_local @after_return
|
|
// CIR: cir.br ^bb1
|
|
// CIR: ^bb1: // 2 preds: ^bb0, ^bb2
|
|
// CIR: cir.return
|
|
// CIR: ^bb2: // no predecessors
|
|
// CIR: cir.label "label"
|
|
// CIR: cir.br ^bb1
|
|
|
|
// LLVM: define dso_local void @after_return
|
|
// LLVM: br label %1
|
|
// LLVM: 1:
|
|
// LLVM: ret void
|
|
// LLVM: 2:
|
|
// LLVM: br label %1
|
|
|
|
// OGCG: define dso_local void @after_return
|
|
// OGCG: br label %label
|
|
// OGCG: label:
|
|
// OGCG: ret void
|
|
|
|
|
|
void after_unreachable() {
|
|
__builtin_unreachable();
|
|
label:
|
|
}
|
|
|
|
// CIR: cir.func no_proto dso_local @after_unreachable
|
|
// CIR: cir.unreachable
|
|
// CIR: ^bb1:
|
|
// CIR: cir.label "label"
|
|
// CIR: cir.return
|
|
|
|
// LLVM: define dso_local void @after_unreachable
|
|
// LLVM: unreachable
|
|
// LLVM: 1:
|
|
// LLVM: ret void
|
|
|
|
// OGCG: define dso_local void @after_unreachable
|
|
// OGCG: unreachable
|
|
// OGCG: label:
|
|
// OGCG: ret void
|
|
|
|
void labelWithoutMatch() {
|
|
end:
|
|
return;
|
|
}
|
|
// CIR: cir.func no_proto dso_local @labelWithoutMatch
|
|
// CIR: cir.label "end"
|
|
// CIR: cir.return
|
|
// CIR: }
|
|
|
|
// LLVM: define dso_local void @labelWithoutMatch
|
|
// LLVM: ret void
|
|
|
|
// OGCG: define dso_local void @labelWithoutMatch
|
|
// OGCG: br label %end
|
|
// OGCG: end:
|
|
// OGCG: ret void
|
|
|
|
struct S {};
|
|
struct S get();
|
|
void bar(struct S);
|
|
|
|
void foo() {
|
|
{
|
|
label:
|
|
bar(get());
|
|
}
|
|
}
|
|
|
|
// CIR: cir.func no_proto dso_local @foo
|
|
// CIR: cir.scope {
|
|
// CIR: cir.label "label"
|
|
// CIR: %0 = cir.alloca !rec_S, !cir.ptr<!rec_S>, ["agg.tmp0"]
|
|
|
|
// LLVM:define dso_local void @foo() {
|
|
// LLVM: [[ALLOC:%.*]] = alloca %struct.S, i64 1, align 1
|
|
// LLVM: br label %2
|
|
// LLVM:2:
|
|
// LLVM: [[CALL:%.*]] = call %struct.S @get()
|
|
// LLVM: store %struct.S [[CALL]], ptr [[ALLOC]], align 1
|
|
// LLVM: [[LOAD:%.*]] = load %struct.S, ptr [[ALLOC]], align 1
|
|
// LLVM: call void @bar(%struct.S [[LOAD]])
|
|
|
|
// OGCG: define dso_local void @foo()
|
|
// OGCG: %agg.tmp = alloca %struct.S, align 1
|
|
// OGCG: %undef.agg.tmp = alloca %struct.S, align 1
|
|
// OGCG: br label %label
|
|
// OGCG: label:
|