1e45ea12db
This change adds support for function linkage and visibility and related attributes. Most of the test changes are generalizations to allow 'dso_local' to be accepted where we aren't specifically testing for it. Some tests based on CIR inputs have been updated to add 'private' to function declarations where required by newly supported interfaces. The dso-local.c test has been updated to add specific tests for dso_local being set correctly, and a new test, func-linkage.cpp tests other linkage settings. This change sets `comdat` correctly in CIR, but it is not yet applied to functions when lowering to LLVM IR. That will be handled in a later change.
148 lines
6.4 KiB
C++
148 lines
6.4 KiB
C++
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
|
|
// RUN: FileCheck --check-prefix=CIR --input-file=%t.cir %s
|
|
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t-cir.ll
|
|
// RUN: FileCheck --check-prefix=LLVM --input-file=%t-cir.ll %s
|
|
// 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
|
|
|
|
int x(int y) {
|
|
return y > 0 ? 3 : 5;
|
|
}
|
|
|
|
// CIR-LABEL: cir.func{{.*}} @_Z1xi(
|
|
// CIR-SAME: %[[ARG0:.*]]: !s32i {{.*}}) -> !s32i {
|
|
// CIR: [[Y:%.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["y", init] {alignment = 4 : i64}
|
|
// CIR: [[RETVAL:%.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["__retval"] {alignment = 4 : i64}
|
|
// CIR: cir.store %[[ARG0]], [[Y]] : !s32i, !cir.ptr<!s32i>
|
|
// CIR: [[YVAL:%.+]] = cir.load align(4) [[Y]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: [[ZERO:%.+]] = cir.const #cir.int<0> : !s32i
|
|
// CIR: [[CMP:%.+]] = cir.cmp(gt, [[YVAL]], [[ZERO]]) : !s32i, !cir.bool
|
|
// CIR: [[THREE:%.+]] = cir.const #cir.int<3> : !s32i
|
|
// CIR: [[FIVE:%.+]] = cir.const #cir.int<5> : !s32i
|
|
// CIR: [[SELECT_RES:%.+]] = cir.select if [[CMP]] then [[THREE]] else [[FIVE]] : (!cir.bool, !s32i, !s32i) -> !s32i
|
|
// CIR: cir.store [[SELECT_RES]], [[RETVAL]] : !s32i, !cir.ptr<!s32i>
|
|
// CIR: [[RETVAL_VAL:%.+]] = cir.load [[RETVAL]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: cir.return [[RETVAL_VAL]] : !s32i
|
|
|
|
// LLVM-LABEL: define{{.*}} i32 @_Z1xi(
|
|
// LLVM-SAME: i32 %[[ARG0:.+]])
|
|
// LLVM: %[[Y:.*]] = alloca i32
|
|
// LLVM: %[[RETVAL:.*]] = alloca i32
|
|
// LLVM: store i32 %[[ARG0]], ptr %[[Y]]
|
|
// LLVM: %[[YVAL:.*]] = load i32, ptr %[[Y]]
|
|
// LLVM: %[[CMP:.*]] = icmp sgt i32 %[[YVAL]], 0
|
|
// LLVM: %[[SELECT:.*]] = select i1 %[[CMP]], i32 3, i32 5
|
|
// LLVM: store i32 %[[SELECT]], ptr %[[RETVAL]]
|
|
// LLVM: %[[RESULT:.*]] = load i32, ptr %[[RETVAL]]
|
|
// LLVM: ret i32 %[[RESULT]]
|
|
|
|
// OGCG-LABEL: define{{.*}} i32 @_Z1xi(
|
|
// OGCG-SAME: i32 {{.*}} %[[ARG0:.+]])
|
|
// OGCG: %[[Y:.*]] = alloca i32
|
|
// OGCG: store i32 %[[ARG0]], ptr %[[Y]]
|
|
// OGCG: %[[YVAL:.*]] = load i32, ptr %[[Y]]
|
|
// OGCG: %[[CMP:.*]] = icmp sgt i32 %[[YVAL]], 0
|
|
// OGCG: %[[SELECT:.*]] = select i1 %[[CMP]], i32 3, i32 5
|
|
// OGCG: ret i32 %[[SELECT]]
|
|
|
|
int foo(int a, int b) {
|
|
if (a < b ? 0 : a)
|
|
return -1;
|
|
return 0;
|
|
}
|
|
|
|
// CIR-LABEL: cir.func{{.*}} @_Z3fooii(
|
|
// CIR-SAME: %[[ARG0:.*]]: !s32i {{.*}}, %[[ARG1:.*]]: !s32i {{.*}}) -> !s32i {
|
|
// CIR: [[A:%.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] {alignment = 4 : i64}
|
|
// CIR: [[B:%.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["b", init] {alignment = 4 : i64}
|
|
// CIR: [[RETVAL:%.+]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["__retval"] {alignment = 4 : i64}
|
|
// CIR: cir.store %[[ARG0]], [[A]] : !s32i, !cir.ptr<!s32i>
|
|
// CIR: cir.store %[[ARG1]], [[B]] : !s32i, !cir.ptr<!s32i>
|
|
// CIR: cir.scope {
|
|
// CIR: [[ALOAD:%.+]] = cir.load align(4) [[A]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: [[BLOAD:%.+]] = cir.load align(4) [[B]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: [[CMP:%.+]] = cir.cmp(lt, [[ALOAD]], [[BLOAD]]) : !s32i, !cir.bool
|
|
// CIR: [[TERNARY_RES:%.+]] = cir.ternary([[CMP]], true {
|
|
// CIR: [[ZERO:%.+]] = cir.const #cir.int<0> : !s32i
|
|
// CIR: cir.yield [[ZERO]] : !s32i
|
|
// CIR: }, false {
|
|
// CIR: [[ALOAD2:%.+]] = cir.load align(4) [[A]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: cir.yield [[ALOAD2]] : !s32i
|
|
// CIR: }) : (!cir.bool) -> !s32i
|
|
// CIR: [[CAST:%.+]] = cir.cast(int_to_bool, [[TERNARY_RES]] : !s32i), !cir.bool
|
|
// CIR: cir.if [[CAST]] {
|
|
// CIR: [[ONE:%.+]] = cir.const #cir.int<1> : !s32i
|
|
// CIR: [[MINUS_ONE:%.+]] = cir.unary(minus, [[ONE]]) nsw : !s32i, !s32i
|
|
// CIR: cir.store [[MINUS_ONE]], [[RETVAL]] : !s32i, !cir.ptr<!s32i>
|
|
// CIR: [[RETVAL_VAL:%.+]] = cir.load [[RETVAL]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: cir.return [[RETVAL_VAL]] : !s32i
|
|
// CIR: }
|
|
// CIR: }
|
|
// CIR: [[ZERO2:%.+]] = cir.const #cir.int<0> : !s32i
|
|
// CIR: cir.store [[ZERO2]], [[RETVAL]] : !s32i, !cir.ptr<!s32i>
|
|
// CIR: [[RETVAL_VAL2:%.+]] = cir.load [[RETVAL]] : !cir.ptr<!s32i>, !s32i
|
|
// CIR: cir.return [[RETVAL_VAL2]] : !s32i
|
|
|
|
// LLVM-LABEL: define{{.*}} i32 @_Z3fooii(
|
|
// LLVM-SAME: i32 %[[ARG0:.*]], i32 %[[ARG1:.*]])
|
|
// LLVM: %[[A:.*]] = alloca i32
|
|
// LLVM: %[[B:.*]] = alloca i32
|
|
// LLVM: %[[RETVAL:.*]] = alloca i32
|
|
// LLVM: store i32 %[[ARG0]], ptr %[[A]]
|
|
// LLVM: store i32 %[[ARG1]], ptr %[[B]]
|
|
// LLVM: br label %[[ENTRY_BB:.*]]
|
|
// LLVM: [[ENTRY_BB]]:
|
|
// LLVM: %[[AVAL:.*]] = load i32, ptr %[[A]]
|
|
// LLVM: %[[BVAL:.*]] = load i32, ptr %[[B]]
|
|
// LLVM: %[[CMP:.*]] = icmp slt i32 %[[AVAL]], %[[BVAL]]
|
|
// LLVM: br i1 %[[CMP]], label %[[TRUE_BB:.*]], label %[[FALSE_BB:.*]]
|
|
// LLVM: [[TRUE_BB]]:
|
|
// LLVM: br label %[[MERGE_BB:.*]]
|
|
// LLVM: [[FALSE_BB]]:
|
|
// LLVM: %[[AVAL2:.*]] = load i32, ptr %[[A]]
|
|
// LLVM: br label %[[MERGE_BB]]
|
|
// LLVM: [[MERGE_BB]]:
|
|
// LLVM: %[[PHI:.*]] = phi i32 [ %[[AVAL2]], %[[FALSE_BB]] ], [ 0, %[[TRUE_BB]] ]
|
|
// LLVM: %[[COND:.*]] = icmp ne i32 %[[PHI]], 0
|
|
// LLVM: br i1 %[[COND]], label %[[RETURN_MINUS_ONE:.*]], label %[[CONT_BB:.*]]
|
|
// LLVM: [[RETURN_MINUS_ONE]]:
|
|
// LLVM: store i32 -1, ptr %[[RETVAL]]
|
|
// LLVM: %[[RET1:.*]] = load i32, ptr %[[RETVAL]]
|
|
// LLVM: ret i32 %[[RET1]]
|
|
// LLVM: [[CONT_BB]]:
|
|
// LLVM: br label %[[RETURN_ZERO:.*]]
|
|
// LLVM: [[RETURN_ZERO]]:
|
|
// LLVM: store i32 0, ptr %[[RETVAL]]
|
|
// LLVM: %[[RET2:.*]] = load i32, ptr %[[RETVAL]]
|
|
// LLVM: ret i32 %[[RET2]]
|
|
|
|
// OGCG-LABEL: define{{.*}} i32 @_Z3fooii(
|
|
// OGCG-SAME: i32 {{.*}} %[[ARG0:.*]], i32 {{.*}} %[[ARG1:.*]])
|
|
// OGCG: %[[RETVAL:.*]] = alloca i32
|
|
// OGCG: %[[A:.*]] = alloca i32
|
|
// OGCG: %[[B:.*]] = alloca i32
|
|
// OGCG: store i32 %[[ARG0]], ptr %[[A]]
|
|
// OGCG: store i32 %[[ARG1]], ptr %[[B]]
|
|
// OGCG: %[[AVAL:.*]] = load i32, ptr %[[A]]
|
|
// OGCG: %[[BVAL:.*]] = load i32, ptr %[[B]]
|
|
// OGCG: %[[CMP:.*]] = icmp slt i32 %[[AVAL]], %[[BVAL]]
|
|
// OGCG: br i1 %[[CMP]], label %[[TRUE_BB:.*]], label %[[FALSE_BB:.*]]
|
|
// OGCG: [[TRUE_BB]]:
|
|
// OGCG: br label %[[MERGE_BB:.*]]
|
|
// OGCG: [[FALSE_BB]]:
|
|
// OGCG: %[[AVAL2:.*]] = load i32, ptr %[[A]]
|
|
// OGCG: br label %[[MERGE_BB]]
|
|
// OGCG: [[MERGE_BB]]:
|
|
// OGCG: %[[PHI:.*]] = phi i32 [ 0, %[[TRUE_BB]] ], [ %[[AVAL2]], %[[FALSE_BB]] ]
|
|
// OGCG: %[[COND:.*]] = icmp ne i32 %[[PHI]], 0
|
|
// OGCG: br i1 %[[COND]], label %[[RETURN_MINUS_ONE:.*]], label %[[RETURN_ZERO:.*]]
|
|
// OGCG: [[RETURN_MINUS_ONE]]:
|
|
// OGCG: store i32 -1, ptr %[[RETVAL]]
|
|
// OGCG: br label %[[RETURN:.+]]
|
|
// OGCG: [[RETURN_ZERO]]:
|
|
// OGCG: store i32 0, ptr %[[RETVAL]]
|
|
// OGCG: br label %[[RETURN]]
|
|
// OGCG: [[RETURN]]:
|
|
// OGCG: %[[RET2:.*]] = load i32, ptr %[[RETVAL]]
|
|
// OGCG: ret i32 %[[RET2]]
|