https://github.com/andykaylor created https://github.com/llvm/llvm-project/pull/131912
CIR uses aliases for standard integer types and void. This change adds upstream support for those aliases and updates existing tests. >From 7871276b608f4a9bf5e5a48180b9e10dc564ce8a Mon Sep 17 00:00:00 2001 From: Andy Kaylor <akay...@nvidia.com> Date: Tue, 18 Mar 2025 13:48:03 -0700 Subject: [PATCH] [CIR] Upstream support for type aliases CIR uses aliases for standard integer types and void. This change adds upstream support for those aliases and updates existing tests. --- clang/lib/CIR/Dialect/IR/CIRDialect.cpp | 14 +++ clang/test/CIR/CodeGen/array.cpp | 18 ++-- clang/test/CIR/CodeGen/basic.c | 30 +++--- clang/test/CIR/CodeGen/basic.cpp | 40 ++++---- clang/test/CIR/CodeGen/cast.cpp | 36 +++---- clang/test/CIR/CodeGen/local-vars.cpp | 28 +++--- .../CIR/CodeGen/unary-expr-or-type-trait.cpp | 28 +++--- clang/test/CIR/CodeGen/unary.cpp | 54 +++++------ clang/test/CIR/IR/array.cir | 46 ++++----- clang/test/CIR/IR/cast.cir | 8 +- clang/test/CIR/IR/func.cir | 65 +++++++------ clang/test/CIR/IR/global-var-linkage.cir | 22 +++-- clang/test/CIR/IR/global.cir | 96 +++++++++++-------- clang/test/CIR/Transforms/scope.cir | 46 ++++----- clang/test/CIR/func-simple.cpp | 30 +++--- clang/test/CIR/global-var-simple.cpp | 44 ++++----- clang/test/CMakeLists.txt | 3 +- 17 files changed, 323 insertions(+), 285 deletions(-) diff --git a/clang/lib/CIR/Dialect/IR/CIRDialect.cpp b/clang/lib/CIR/Dialect/IR/CIRDialect.cpp index 56247e2466350..45f9cee83d9da 100644 --- a/clang/lib/CIR/Dialect/IR/CIRDialect.cpp +++ b/clang/lib/CIR/Dialect/IR/CIRDialect.cpp @@ -31,6 +31,20 @@ struct CIROpAsmDialectInterface : public OpAsmDialectInterface { using OpAsmDialectInterface::OpAsmDialectInterface; AliasResult getAlias(Type type, raw_ostream &os) const final { + if (auto intType = dyn_cast<cir::IntType>(type)) { + // We only provide alias for standard integer types (i.e. integer types + // whose width is a power of 2 and at least 8). + unsigned width = intType.getWidth(); + if (width < 8 || !llvm::isPowerOf2_32(width)) + return AliasResult::NoAlias; + os << intType.getAlias(); + return AliasResult::OverridableAlias; + } + if (auto voidType = dyn_cast<cir::VoidType>(type)) { + os << voidType.getAlias(); + return AliasResult::OverridableAlias; + } + return AliasResult::NoAlias; } diff --git a/clang/test/CIR/CodeGen/array.cpp b/clang/test/CIR/CodeGen/array.cpp index 02ecdc11e1d94..f80f64115878d 100644 --- a/clang/test/CIR/CodeGen/array.cpp +++ b/clang/test/CIR/CodeGen/array.cpp @@ -1,26 +1,26 @@ // RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o - 2>&1 | FileCheck %s int a[10]; -// CHECK: cir.global external @a : !cir.array<!cir.int<s, 32> x 10> +// CHECK: cir.global external @a : !cir.array<!s32i x 10> int aa[10][5]; -// CHECK: cir.global external @aa : !cir.array<!cir.array<!cir.int<s, 32> x 5> x 10> +// CHECK: cir.global external @aa : !cir.array<!cir.array<!s32i x 5> x 10> extern int b[10]; -// CHECK: cir.global external @b : !cir.array<!cir.int<s, 32> x 10> +// CHECK: cir.global external @b : !cir.array<!s32i x 10> extern int bb[10][5]; -// CHECK: cir.global external @bb : !cir.array<!cir.array<!cir.int<s, 32> x 5> x 10> +// CHECK: cir.global external @bb : !cir.array<!cir.array<!s32i x 5> x 10> void f() { int l[10]; - // CHECK: %[[ARR:.*]] = cir.alloca !cir.array<!cir.int<s, 32> x 10>, !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>, ["l"] + // CHECK: %[[ARR:.*]] = cir.alloca !cir.array<!s32i x 10>, !cir.ptr<!cir.array<!s32i x 10>>, ["l"] } void f2(int p[10]) {} -// CHECK: cir.func @f2(%arg0: !cir.ptr<!cir.int<s, 32>> -// CHECK: cir.alloca !cir.ptr<!cir.int<s, 32>>, !cir.ptr<!cir.ptr<!cir.int<s, 32>>>, ["p", init] +// CHECK: cir.func @f2(%arg0: !cir.ptr<!s32i> +// CHECK: cir.alloca !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>>, ["p", init] void f3(int pp[10][5]) {} -// CHECK: cir.func @f3(%arg0: !cir.ptr<!cir.array<!cir.int<s, 32> x 5>> -// CHECK: cir.alloca !cir.ptr<!cir.array<!cir.int<s, 32> x 5>>, !cir.ptr<!cir.ptr<!cir.array<!cir.int<s, 32> x 5>>> +// CHECK: cir.func @f3(%arg0: !cir.ptr<!cir.array<!s32i x 5>> +// CHECK: cir.alloca !cir.ptr<!cir.array<!s32i x 5>>, !cir.ptr<!cir.ptr<!cir.array<!s32i x 5>>> diff --git a/clang/test/CIR/CodeGen/basic.c b/clang/test/CIR/CodeGen/basic.c index 754f11f1361ba..b07addf78ff28 100644 --- a/clang/test/CIR/CodeGen/basic.c +++ b/clang/test/CIR/CodeGen/basic.c @@ -13,12 +13,12 @@ int f1(int i) { } // CIR: module -// CIR-NEXT: cir.func @f1(%arg0: !cir.int<s, 32> loc({{.*}})) -> !cir.int<s, 32> -// CIR-NEXT: %[[I_PTR:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["i", init] {alignment = 4 : i64} -// CIR-NEXT: cir.store %arg0, %[[I_PTR]] : !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>> -// CIR-NEXT: %[[I_IGNORED:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!cir.int<s, 32>>, !cir.int<s, 32> -// CIR-NEXT: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!cir.int<s, 32>>, !cir.int<s, 32> -// CIR-NEXT: cir.return %[[I]] : !cir.int<s, 32> +// CIR-NEXT: cir.func @f1(%arg0: !s32i loc({{.*}})) -> !s32i +// CIR-NEXT: %[[I_PTR:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["i", init] {alignment = 4 : i64} +// CIR-NEXT: cir.store %arg0, %[[I_PTR]] : !s32i, !cir.ptr<!s32i> +// CIR-NEXT: %[[I_IGNORED:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!s32i>, !s32i +// CIR-NEXT: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!s32i>, !s32i +// CIR-NEXT: cir.return %[[I]] : !s32i // LLVM: define i32 @f1(i32 %[[I:.*]]) // LLVM-NEXT: %[[I_PTR:.*]] = alloca i32, i64 1, align 4 @@ -37,9 +37,9 @@ int f1(int i) { int f2(void) { return 3; } -// CIR: cir.func @f2() -> !cir.int<s, 32> -// CIR-NEXT: %[[THREE:.*]] = cir.const #cir.int<3> : !cir.int<s, 32> -// CIR-NEXT: cir.return %[[THREE]] : !cir.int<s, 32> +// CIR: cir.func @f2() -> !s32i +// CIR-NEXT: %[[THREE:.*]] = cir.const #cir.int<3> : !s32i +// CIR-NEXT: cir.return %[[THREE]] : !s32i // LLVM: define i32 @f2() // LLVM-NEXT: ret i32 3 @@ -53,12 +53,12 @@ int f3(void) { return i; } -// CIR: cir.func @f3() -> !cir.int<s, 32> -// CIR-NEXT: %[[I_PTR:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["i", init] {alignment = 4 : i64} -// CIR-NEXT: %[[THREE:.*]] = cir.const #cir.int<3> : !cir.int<s, 32> -// CIR-NEXT: cir.store %[[THREE]], %[[I_PTR]] : !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>> -// CIR-NEXT: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!cir.int<s, 32>>, !cir.int<s, 32> -// CIR-NEXT: cir.return %[[I]] : !cir.int<s, 32> +// CIR: cir.func @f3() -> !s32i +// CIR-NEXT: %[[I_PTR:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["i", init] {alignment = 4 : i64} +// CIR-NEXT: %[[THREE:.*]] = cir.const #cir.int<3> : !s32i +// CIR-NEXT: cir.store %[[THREE]], %[[I_PTR]] : !s32i, !cir.ptr<!s32i> +// CIR-NEXT: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!s32i>, !s32i +// CIR-NEXT: cir.return %[[I]] : !s32i // LLVM: define i32 @f3() // LLVM-NEXT: %[[I_PTR:.*]] = alloca i32, i64 1, align 4 diff --git a/clang/test/CIR/CodeGen/basic.cpp b/clang/test/CIR/CodeGen/basic.cpp index ef922cc2b46fc..1406646785a7e 100644 --- a/clang/test/CIR/CodeGen/basic.cpp +++ b/clang/test/CIR/CodeGen/basic.cpp @@ -6,39 +6,39 @@ int f1() { } // CHECK: module -// CHECK: cir.func @f1() -> !cir.int<s, 32> -// CHECK: %[[I_PTR:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["i"] {alignment = 4 : i64} -// CHECK: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!cir.int<s, 32>>, !cir.int<s, 32> -// CHECK: cir.return %[[I]] : !cir.int<s, 32> +// CHECK: cir.func @f1() -> !s32i +// CHECK: %[[I_PTR:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["i"] {alignment = 4 : i64} +// CHECK: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!s32i>, !s32i +// CHECK: cir.return %[[I]] : !s32i int f2() { const int i = 2; return i; } -// CHECK: cir.func @f2() -> !cir.int<s, 32> -// CHECK: %[[I_PTR:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["i", init, const] {alignment = 4 : i64} -// CHECK: %[[TWO:.*]] = cir.const #cir.int<2> : !cir.int<s, 32> -// CHECK: cir.store %[[TWO]], %[[I_PTR]] : !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>> -// CHECK: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!cir.int<s, 32>>, !cir.int<s, 32> -// CHECK: cir.return %[[I]] : !cir.int<s, 32> +// CHECK: cir.func @f2() -> !s32i +// CHECK: %[[I_PTR:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["i", init, const] {alignment = 4 : i64} +// CHECK: %[[TWO:.*]] = cir.const #cir.int<2> : !s32i +// CHECK: cir.store %[[TWO]], %[[I_PTR]] : !s32i, !cir.ptr<!s32i> +// CHECK: %[[I:.*]] = cir.load %[[I_PTR]] : !cir.ptr<!s32i>, !s32i +// CHECK: cir.return %[[I]] : !s32i int f3(int i) { return i; } -// CHECK: cir.func @f3(%[[ARG:.*]]: !cir.int<s, 32> loc({{.*}})) -> !cir.int<s, 32> -// CHECK: %[[ARG_ALLOCA:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["i", init] {alignment = 4 : i64} -// CHECK: cir.store %[[ARG]], %[[ARG_ALLOCA]] : !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>> -// CHECK: %[[ARG_VAL:.*]] = cir.load %[[ARG_ALLOCA]] : !cir.ptr<!cir.int<s, 32>>, !cir.int<s, 32> -// CHECK: cir.return %[[ARG_VAL]] : !cir.int<s, 32> +// CHECK: cir.func @f3(%[[ARG:.*]]: !s32i loc({{.*}})) -> !s32i +// CHECK: %[[ARG_ALLOCA:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["i", init] {alignment = 4 : i64} +// CHECK: cir.store %[[ARG]], %[[ARG_ALLOCA]] : !s32i, !cir.ptr<!s32i> +// CHECK: %[[ARG_VAL:.*]] = cir.load %[[ARG_ALLOCA]] : !cir.ptr<!s32i>, !s32i +// CHECK: cir.return %[[ARG_VAL]] : !s32i int f4(const int i) { return i; } -// CHECK: cir.func @f4(%[[ARG:.*]]: !cir.int<s, 32> loc({{.*}})) -> !cir.int<s, 32> -// CHECK: %[[ARG_ALLOCA:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["i", init, const] {alignment = 4 : i64} -// CHECK: cir.store %[[ARG]], %[[ARG_ALLOCA]] : !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>> -// CHECK: %[[ARG_VAL:.*]] = cir.load %[[ARG_ALLOCA]] : !cir.ptr<!cir.int<s, 32>>, !cir.int<s, 32> -// CHECK: cir.return %[[ARG_VAL]] : !cir.int<s, 32> +// CHECK: cir.func @f4(%[[ARG:.*]]: !s32i loc({{.*}})) -> !s32i +// CHECK: %[[ARG_ALLOCA:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["i", init, const] {alignment = 4 : i64} +// CHECK: cir.store %[[ARG]], %[[ARG_ALLOCA]] : !s32i, !cir.ptr<!s32i> +// CHECK: %[[ARG_VAL:.*]] = cir.load %[[ARG_ALLOCA]] : !cir.ptr<!s32i>, !s32i +// CHECK: cir.return %[[ARG_VAL]] : !s32i diff --git a/clang/test/CIR/CodeGen/cast.cpp b/clang/test/CIR/CodeGen/cast.cpp index b25a0cdb4b055..198028d077993 100644 --- a/clang/test/CIR/CodeGen/cast.cpp +++ b/clang/test/CIR/CodeGen/cast.cpp @@ -8,11 +8,11 @@ unsigned char cxxstaticcast_0(unsigned int x) { } // CIR: cir.func @cxxstaticcast_0 -// CIR: %[[XPTR:[0-9]+]] = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["x", init] {alignment = 4 : i64} -// CIR: cir.store %arg0, %[[XPTR]] : !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>> -// CIR: %[[XVAL:[0-9]+]] = cir.load %[[XPTR]] : !cir.ptr<!cir.int<u, 32>>, !cir.int<u, 32> -// CIR: %[[CASTED:[0-9]+]] = cir.cast(integral, %[[XVAL]] : !cir.int<u, 32>), !cir.int<u, 8> -// CIR: cir.return %[[CASTED]] : !cir.int<u, 8> +// CIR: %[[XPTR:[0-9]+]] = cir.alloca !u32i, !cir.ptr<!u32i>, ["x", init] {alignment = 4 : i64} +// CIR: cir.store %arg0, %[[XPTR]] : !u32i, !cir.ptr<!u32i> +// CIR: %[[XVAL:[0-9]+]] = cir.load %[[XPTR]] : !cir.ptr<!u32i>, !u32i +// CIR: %[[CASTED:[0-9]+]] = cir.cast(integral, %[[XVAL]] : !u32i), !u8i +// CIR: cir.return %[[CASTED]] : !u8i // CIR: } // LLVM: define i8 @cxxstaticcast_0(i32 %{{[0-9]+}}) @@ -26,41 +26,41 @@ int cStyleCasts_0(unsigned x1, int x2, float x3, short x4, double x5) { // LLVM: define i32 @cStyleCasts_0 char a = (char)x1; // truncate - // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !cir.int<u, 32>), !cir.int<s, 8> + // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !u32i), !s8i // LLVM: %{{[0-9]+}} = trunc i32 %{{[0-9]+}} to i8 short b = (short)x2; // truncate with sign - // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !cir.int<s, 32>), !cir.int<s, 16> + // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !s32i), !s16i // LLVM: %{{[0-9]+}} = trunc i32 %{{[0-9]+}} to i16 long long c = (long long)x1; // zero extend - // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !cir.int<u, 32>), !cir.int<s, 64> + // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !u32i), !s64i // LLVM: %{{[0-9]+}} = zext i32 %{{[0-9]+}} to i64 long long d = (long long)x2; // sign extend - // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !cir.int<s, 32>), !cir.int<s, 64> + // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !s32i), !s64i // LLVM: %{{[0-9]+}} = sext i32 %{{[0-9]+}} to i64 unsigned ui = (unsigned)x2; // sign drop - // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !cir.int<s, 32>), !cir.int<u, 32> + // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !s32i), !u32i int si = (int)x1; // sign add - // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !cir.int<u, 32>), !cir.int<s, 32> + // CIR: %{{[0-9]+}} = cir.cast(integral, %{{[0-9]+}} : !u32i), !s32i bool ib; int bi = (int)ib; // bool to int - // CIR: %{{[0-9]+}} = cir.cast(bool_to_int, %{{[0-9]+}} : !cir.bool), !cir.int<s, 32> + // CIR: %{{[0-9]+}} = cir.cast(bool_to_int, %{{[0-9]+}} : !cir.bool), !s32i // LLVM: %{{[0-9]+}} = zext i1 %{{[0-9]+}} to i32 #ifdef CIR_ONLY bool b2 = x2; // int to bool - // CIR: %{{[0-9]+}} = cir.cast(int_to_bool, %{{[0-9]+}} : !cir.int<s, 32>), !cir.bool + // CIR: %{{[0-9]+}} = cir.cast(int_to_bool, %{{[0-9]+}} : !s32i), !cir.bool #endif #ifdef CIR_ONLY void *p; bool b3 = p; // ptr to bool - // CIR: %{{[0-9]+}} = cir.cast(ptr_to_bool, %{{[0-9]+}} : !cir.ptr<!cir.void>), !cir.bool + // CIR: %{{[0-9]+}} = cir.cast(ptr_to_bool, %{{[0-9]+}} : !cir.ptr<!void>), !cir.bool #endif float f; @@ -78,11 +78,11 @@ bool cptr(void *d) { return x; } -// CIR: cir.func @cptr(%arg0: !cir.ptr<!cir.void> -// CIR: %[[DPTR:[0-9]+]] = cir.alloca !cir.ptr<!cir.void>, !cir.ptr<!cir.ptr<!cir.void>>, ["d", init] {alignment = 8 : i64} +// CIR: cir.func @cptr(%arg0: !cir.ptr<!void> +// CIR: %[[DPTR:[0-9]+]] = cir.alloca !cir.ptr<!void>, !cir.ptr<!cir.ptr<!void>>, ["d", init] {alignment = 8 : i64} -// CIR: %[[DVAL:[0-9]+]] = cir.load %[[DPTR]] : !cir.ptr<!cir.ptr<!cir.void>>, !cir.ptr<!cir.void> -// CIR: %{{[0-9]+}} = cir.cast(ptr_to_bool, %[[DVAL]] : !cir.ptr<!cir.void>), !cir.bool +// CIR: %[[DVAL:[0-9]+]] = cir.load %[[DPTR]] : !cir.ptr<!cir.ptr<!void>>, !cir.ptr<!void> +// CIR: %{{[0-9]+}} = cir.cast(ptr_to_bool, %[[DVAL]] : !cir.ptr<!void>), !cir.bool #endif void should_not_cast() { diff --git a/clang/test/CIR/CodeGen/local-vars.cpp b/clang/test/CIR/CodeGen/local-vars.cpp index 14be8f4da902b..6e9f8c39b107f 100644 --- a/clang/test/CIR/CodeGen/local-vars.cpp +++ b/clang/test/CIR/CodeGen/local-vars.cpp @@ -22,27 +22,27 @@ void test() { // CHECK: module // CHECK: cir.func @test() -// CHECK: %[[I_PTR:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["i", init] {alignment = 4 : i64} -// CHECK: %[[L_PTR:.*]] = cir.alloca !cir.int<s, 64>, !cir.ptr<!cir.int<s, 64>>, ["l", init] {alignment = 8 : i64} +// CHECK: %[[I_PTR:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["i", init] {alignment = 4 : i64} +// CHECK: %[[L_PTR:.*]] = cir.alloca !s64i, !cir.ptr<!s64i>, ["l", init] {alignment = 8 : i64} // CHECK: %[[F_PTR:.*]] = cir.alloca !cir.float, !cir.ptr<!cir.float>, ["f", init] {alignment = 4 : i64} // CHECK: %[[D_PTR:.*]] = cir.alloca !cir.double, !cir.ptr<!cir.double>, ["d", init] {alignment = 8 : i64} // CHECK: %[[B1_PTR:.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["b1", init] {alignment = 1 : i64} // CHECK: %[[B2_PTR:.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["b2", init] {alignment = 1 : i64} -// CHECK: %[[CI_PTR:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["ci", init, const] {alignment = 4 : i64} -// CHECK: %[[CL_PTR:.*]] = cir.alloca !cir.int<s, 64>, !cir.ptr<!cir.int<s, 64>>, ["cl", init, const] {alignment = 8 : i64} +// CHECK: %[[CI_PTR:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["ci", init, const] {alignment = 4 : i64} +// CHECK: %[[CL_PTR:.*]] = cir.alloca !s64i, !cir.ptr<!s64i>, ["cl", init, const] {alignment = 8 : i64} // CHECK: %[[CF_PTR:.*]] = cir.alloca !cir.float, !cir.ptr<!cir.float>, ["cf", init, const] {alignment = 4 : i64} // CHECK: %[[CD_PTR:.*]] = cir.alloca !cir.double, !cir.ptr<!cir.double>, ["cd", init, const] {alignment = 8 : i64} // CHECK: %[[CB1_PTR:.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["cb1", init, const] {alignment = 1 : i64} // CHECK: %[[CB2_PTR:.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["cb2", init, const] {alignment = 1 : i64} -// CHECK: %[[UII_PTR:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["uii"] {alignment = 4 : i64} -// CHECK: %[[UIL_PTR:.*]] = cir.alloca !cir.int<s, 64>, !cir.ptr<!cir.int<s, 64>>, ["uil"] {alignment = 8 : i64} +// CHECK: %[[UII_PTR:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["uii"] {alignment = 4 : i64} +// CHECK: %[[UIL_PTR:.*]] = cir.alloca !s64i, !cir.ptr<!s64i>, ["uil"] {alignment = 8 : i64} // CHECK: %[[UIF_PTR:.*]] = cir.alloca !cir.float, !cir.ptr<!cir.float>, ["uif"] {alignment = 4 : i64} // CHECK: %[[UID_PTR:.*]] = cir.alloca !cir.double, !cir.ptr<!cir.double>, ["uid"] {alignment = 8 : i64} // CHECK: %[[UIB_PTR:.*]] = cir.alloca !cir.bool, !cir.ptr<!cir.bool>, ["uib"] {alignment = 1 : i64} -// CHECK: %[[ONE:.*]] = cir.const #cir.int<1> : !cir.int<s, 32> -// CHECK: cir.store %[[ONE]], %[[I_PTR]] : !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>> -// CHECK: %[[TWO:.*]] = cir.const #cir.int<2> : !cir.int<s, 64> -// CHECK: cir.store %[[TWO]], %[[L_PTR]] : !cir.int<s, 64>, !cir.ptr<!cir.int<s, 64>> +// CHECK: %[[ONE:.*]] = cir.const #cir.int<1> : !s32i +// CHECK: cir.store %[[ONE]], %[[I_PTR]] : !s32i, !cir.ptr<!s32i> +// CHECK: %[[TWO:.*]] = cir.const #cir.int<2> : !s64i +// CHECK: cir.store %[[TWO]], %[[L_PTR]] : !s64i, !cir.ptr<!s64i> // CHECK: %[[THREE:.*]] = cir.const #cir.fp<3.0{{.*}}> : !cir.float // CHECK: cir.store %[[THREE]], %[[F_PTR]] : !cir.float, !cir.ptr<!cir.float> // CHECK: %[[FOUR:.*]] = cir.const #cir.fp<4.0{{.*}}> : !cir.double @@ -51,10 +51,10 @@ void test() { // CHECK: cir.store %[[TRUE]], %[[B1_PTR]] : !cir.bool, !cir.ptr<!cir.bool> // CHECK: %[[FALSE:.*]] = cir.const #false // CHECK: cir.store %[[FALSE]], %[[B2_PTR]] : !cir.bool, !cir.ptr<!cir.bool> -// CHECK: %[[ONEC:.*]] = cir.const #cir.int<1> : !cir.int<s, 32> -// CHECK: cir.store %[[ONEC]], %[[CI_PTR]] : !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>> -// CHECK: %[[TWOC:.*]] = cir.const #cir.int<2> : !cir.int<s, 64> -// CHECK: cir.store %[[TWOC]], %[[CL_PTR]] : !cir.int<s, 64>, !cir.ptr<!cir.int<s, 64>> +// CHECK: %[[ONEC:.*]] = cir.const #cir.int<1> : !s32i +// CHECK: cir.store %[[ONEC]], %[[CI_PTR]] : !s32i, !cir.ptr<!s32i> +// CHECK: %[[TWOC:.*]] = cir.const #cir.int<2> : !s64i +// CHECK: cir.store %[[TWOC]], %[[CL_PTR]] : !s64i, !cir.ptr<!s64i> // CHECK: %[[THREEC:.*]] = cir.const #cir.fp<3.0{{.*}}> : !cir.float // CHECK: cir.store %[[THREEC]], %[[CF_PTR]] : !cir.float, !cir.ptr<!cir.float> // CHECK: %[[FOURC:.*]] = cir.const #cir.fp<4.0{{.*}}> : !cir.double diff --git a/clang/test/CIR/CodeGen/unary-expr-or-type-trait.cpp b/clang/test/CIR/CodeGen/unary-expr-or-type-trait.cpp index fe5e5b434a3f1..071c52a0918e3 100644 --- a/clang/test/CIR/CodeGen/unary-expr-or-type-trait.cpp +++ b/clang/test/CIR/CodeGen/unary-expr-or-type-trait.cpp @@ -2,46 +2,46 @@ void foo() { unsigned long b = sizeof(bool); - // CHECK: cir.const #cir.int<1> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<1> : !u64i unsigned long i = sizeof(int); - // CHECK: cir.const #cir.int<4> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<4> : !u64i unsigned long l = sizeof(long); - // CHECK: cir.const #cir.int<8> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<8> : !u64i unsigned long f = sizeof(float); - // CHECK: cir.const #cir.int<4> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<4> : !u64i unsigned long d = sizeof(double); - // CHECK: cir.const #cir.int<8> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<8> : !u64i unsigned long iArr = sizeof(int[5]); - // CHECK: cir.const #cir.int<20> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<20> : !u64i unsigned long dArr = sizeof(double[5]); - // CHECK: cir.const #cir.int<40> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<40> : !u64i } void foo2() { unsigned long b = alignof(bool); - // CHECK: cir.const #cir.int<1> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<1> : !u64i unsigned long i = alignof(int); - // CHECK: cir.const #cir.int<4> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<4> : !u64i unsigned long l = alignof(long); - // CHECK: cir.const #cir.int<8> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<8> : !u64i unsigned long f = alignof(float); - // CHECK: cir.const #cir.int<4> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<4> : !u64i unsigned long d = alignof(double); - // CHECK: cir.const #cir.int<8> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<8> : !u64i unsigned long iArr = alignof(int[5]); - // CHECK: cir.const #cir.int<4> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<4> : !u64i unsigned long dArr = alignof(double[5]); - // CHECK: cir.const #cir.int<8> : !cir.int<u, 64> + // CHECK: cir.const #cir.int<8> : !u64i } diff --git a/clang/test/CIR/CodeGen/unary.cpp b/clang/test/CIR/CodeGen/unary.cpp index 5d93587463562..7176a8fd804f7 100644 --- a/clang/test/CIR/CodeGen/unary.cpp +++ b/clang/test/CIR/CodeGen/unary.cpp @@ -10,8 +10,8 @@ unsigned up0() { return +a; } -// CHECK: cir.func @up0() -> !cir.int<u, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["a", init] +// CHECK: cir.func @up0() -> !u32i +// CHECK: %[[A:.*]] = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] // CHECK: %[[INPUT:.*]] = cir.load %[[A]] // CHECK: %[[OUTPUT:.*]] = cir.unary(plus, %[[INPUT]]) @@ -30,8 +30,8 @@ unsigned um0() { return -a; } -// CHECK: cir.func @um0() -> !cir.int<u, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["a", init] +// CHECK: cir.func @um0() -> !u32i +// CHECK: %[[A:.*]] = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] // CHECK: %[[INPUT:.*]] = cir.load %[[A]] // CHECK: %[[OUTPUT:.*]] = cir.unary(minus, %[[INPUT]]) @@ -52,8 +52,8 @@ unsigned un0() { return ~a; // a ^ -1 , not } -// CHECK: cir.func @un0() -> !cir.int<u, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["a", init] +// CHECK: cir.func @un0() -> !u32i +// CHECK: %[[A:.*]] = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] // CHECK: %[[INPUT:.*]] = cir.load %[[A]] // CHECK: %[[OUTPUT:.*]] = cir.unary(not, %[[INPUT]]) @@ -75,10 +75,10 @@ int inc0() { return a; } -// CHECK: cir.func @inc0() -> !cir.int<s, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["a", init] -// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !cir.int<s, 32> -// CHECK: cir.store %[[ATMP]], %[[A]] : !cir.int<s, 32> +// CHECK: cir.func @inc0() -> !s32i +// CHECK: %[[A:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] +// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !s32i +// CHECK: cir.store %[[ATMP]], %[[A]] : !s32i // CHECK: %[[INPUT:.*]] = cir.load %[[A]] // CHECK: %[[INCREMENTED:.*]] = cir.unary(inc, %[[INPUT]]) // CHECK: cir.store %[[INCREMENTED]], %[[A]] @@ -102,10 +102,10 @@ int dec0() { return a; } -// CHECK: cir.func @dec0() -> !cir.int<s, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["a", init] -// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !cir.int<s, 32> -// CHECK: cir.store %[[ATMP]], %[[A]] : !cir.int<s, 32> +// CHECK: cir.func @dec0() -> !s32i +// CHECK: %[[A:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] +// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !s32i +// CHECK: cir.store %[[ATMP]], %[[A]] : !s32i // CHECK: %[[INPUT:.*]] = cir.load %[[A]] // CHECK: %[[INCREMENTED:.*]] = cir.unary(dec, %[[INPUT]]) // CHECK: cir.store %[[INCREMENTED]], %[[A]] @@ -129,10 +129,10 @@ int inc1() { return a; } -// CHECK: cir.func @inc1() -> !cir.int<s, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["a", init] -// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !cir.int<s, 32> -// CHECK: cir.store %[[ATMP]], %[[A]] : !cir.int<s, 32> +// CHECK: cir.func @inc1() -> !s32i +// CHECK: %[[A:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] +// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !s32i +// CHECK: cir.store %[[ATMP]], %[[A]] : !s32i // CHECK: %[[INPUT:.*]] = cir.load %[[A]] // CHECK: %[[INCREMENTED:.*]] = cir.unary(inc, %[[INPUT]]) // CHECK: cir.store %[[INCREMENTED]], %[[A]] @@ -156,10 +156,10 @@ int dec1() { return a; } -// CHECK: cir.func @dec1() -> !cir.int<s, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["a", init] -// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !cir.int<s, 32> -// CHECK: cir.store %[[ATMP]], %[[A]] : !cir.int<s, 32> +// CHECK: cir.func @dec1() -> !s32i +// CHECK: %[[A:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] +// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !s32i +// CHECK: cir.store %[[ATMP]], %[[A]] : !s32i // CHECK: %[[INPUT:.*]] = cir.load %[[A]] // CHECK: %[[INCREMENTED:.*]] = cir.unary(dec, %[[INPUT]]) // CHECK: cir.store %[[INCREMENTED]], %[[A]] @@ -184,11 +184,11 @@ int inc2() { return b; } -// CHECK: cir.func @inc2() -> !cir.int<s, 32> -// CHECK: %[[A:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["a", init] -// CHECK: %[[B:.*]] = cir.alloca !cir.int<s, 32>, !cir.ptr<!cir.int<s, 32>>, ["b", init] -// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !cir.int<s, 32> -// CHECK: cir.store %[[ATMP]], %[[A]] : !cir.int<s, 32> +// CHECK: cir.func @inc2() -> !s32i +// CHECK: %[[A:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["a", init] +// CHECK: %[[B:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["b", init] +// CHECK: %[[ATMP:.*]] = cir.const #cir.int<1> : !s32i +// CHECK: cir.store %[[ATMP]], %[[A]] : !s32i // CHECK: %[[ATOB:.*]] = cir.load %[[A]] // CHECK: %[[INCREMENTED:.*]] = cir.unary(inc, %[[ATOB]]) // CHECK: cir.store %[[INCREMENTED]], %[[A]] diff --git a/clang/test/CIR/IR/array.cir b/clang/test/CIR/IR/array.cir index 293a202d18a92..f85d9cb85cfd6 100644 --- a/clang/test/CIR/IR/array.cir +++ b/clang/test/CIR/IR/array.cir @@ -1,50 +1,52 @@ // RUN: cir-opt %s | FileCheck %s +!s32i = !cir.int<s, 32> + module { -cir.global external @a : !cir.array<!cir.int<s, 32> x 10> -// CHECK: cir.global external @a : !cir.array<!cir.int<s, 32> x 10> +cir.global external @a : !cir.array<!s32i x 10> +// CHECK: cir.global external @a : !cir.array<!s32i x 10> -cir.global external @aa : !cir.array<!cir.array<!cir.int<s, 32> x 10> x 10> -// CHECK: cir.global external @aa : !cir.array<!cir.array<!cir.int<s, 32> x 10> x 10> +cir.global external @aa : !cir.array<!cir.array<!s32i x 10> x 10> +// CHECK: cir.global external @aa : !cir.array<!cir.array<!s32i x 10> x 10> -cir.global external @b : !cir.array<!cir.int<s, 32> x 10> -// CHECK: cir.global external @b : !cir.array<!cir.int<s, 32> x 10> +cir.global external @b : !cir.array<!s32i x 10> +// CHECK: cir.global external @b : !cir.array<!s32i x 10> -cir.global external @bb : !cir.array<!cir.array<!cir.int<s, 32> x 10> x 10> -// CHECK: cir.global external @bb : !cir.array<!cir.array<!cir.int<s, 32> x 10> x 10> +cir.global external @bb : !cir.array<!cir.array<!s32i x 10> x 10> +// CHECK: cir.global external @bb : !cir.array<!cir.array<!s32i x 10> x 10> cir.func @f() { - %0 = cir.alloca !cir.array<!cir.int<s, 32> x 10>, !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>, ["l"] {alignment = 4 : i64} + %0 = cir.alloca !cir.array<!s32i x 10>, !cir.ptr<!cir.array<!s32i x 10>>, ["l"] {alignment = 4 : i64} cir.return } // CHECK: cir.func @f() { -// CHECK: %0 = cir.alloca !cir.array<!cir.int<s, 32> x 10>, !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>, ["l"] {alignment = 4 : i64} +// CHECK: %0 = cir.alloca !cir.array<!s32i x 10>, !cir.ptr<!cir.array<!s32i x 10>>, ["l"] {alignment = 4 : i64} // CHECK: cir.return // CHECK: } -cir.func @f2(%arg0: !cir.ptr<!cir.int<s, 32>>) { - %0 = cir.alloca !cir.ptr<!cir.int<s, 32>>, !cir.ptr<!cir.ptr<!cir.int<s, 32>>>, ["p", init] {alignment = 8 : i64} - cir.store %arg0, %0 : !cir.ptr<!cir.int<s, 32>>, !cir.ptr<!cir.ptr<!cir.int<s, 32>>> +cir.func @f2(%arg0: !cir.ptr<!s32i>) { + %0 = cir.alloca !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>>, ["p", init] {alignment = 8 : i64} + cir.store %arg0, %0 : !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>> cir.return } -// CHECK: cir.func @f2(%arg0: !cir.ptr<!cir.int<s, 32>>) { -// CHECK: %0 = cir.alloca !cir.ptr<!cir.int<s, 32>>, !cir.ptr<!cir.ptr<!cir.int<s, 32>>>, ["p", init] {alignment = 8 : i64} -// CHECK: cir.store %arg0, %0 : !cir.ptr<!cir.int<s, 32>>, !cir.ptr<!cir.ptr<!cir.int<s, 32>>> +// CHECK: cir.func @f2(%arg0: !cir.ptr<!s32i>) { +// CHECK: %0 = cir.alloca !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>>, ["p", init] {alignment = 8 : i64} +// CHECK: cir.store %arg0, %0 : !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>> // CHECK: cir.return // CHECK: } -cir.func @f3(%arg0: !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>) { - %0 = cir.alloca !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>, !cir.ptr<!cir.ptr<!cir.array<!cir.int<s, 32> x 10>>>, ["pp", init] {alignment = 8 : i64} - cir.store %arg0, %0 : !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>, !cir.ptr<!cir.ptr<!cir.array<!cir.int<s, 32> x 10>>> +cir.func @f3(%arg0: !cir.ptr<!cir.array<!s32i x 10>>) { + %0 = cir.alloca !cir.ptr<!cir.array<!s32i x 10>>, !cir.ptr<!cir.ptr<!cir.array<!s32i x 10>>>, ["pp", init] {alignment = 8 : i64} + cir.store %arg0, %0 : !cir.ptr<!cir.array<!s32i x 10>>, !cir.ptr<!cir.ptr<!cir.array<!s32i x 10>>> cir.return } -// CHECK: cir.func @f3(%arg0: !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>) { -// CHECK: %0 = cir.alloca !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>, !cir.ptr<!cir.ptr<!cir.array<!cir.int<s, 32> x 10>>>, ["pp", init] {alignment = 8 : i64} -// CHECK: cir.store %arg0, %0 : !cir.ptr<!cir.array<!cir.int<s, 32> x 10>>, !cir.ptr<!cir.ptr<!cir.array<!cir.int<s, 32> x 10>>> +// CHECK: cir.func @f3(%arg0: !cir.ptr<!cir.array<!s32i x 10>>) { +// CHECK: %0 = cir.alloca !cir.ptr<!cir.array<!s32i x 10>>, !cir.ptr<!cir.ptr<!cir.array<!s32i x 10>>>, ["pp", init] {alignment = 8 : i64} +// CHECK: cir.store %arg0, %0 : !cir.ptr<!cir.array<!s32i x 10>>, !cir.ptr<!cir.ptr<!cir.array<!s32i x 10>>> // CHECK: cir.return // CHECK: } diff --git a/clang/test/CIR/IR/cast.cir b/clang/test/CIR/IR/cast.cir index de3cc37467eff..4881db7fc271f 100644 --- a/clang/test/CIR/IR/cast.cir +++ b/clang/test/CIR/IR/cast.cir @@ -15,9 +15,9 @@ module { } } -// CHECK: cir.func @yolo(%arg0: !cir.int<s, 32>) -// CHECK: %0 = cir.cast(int_to_bool, %arg0 : !cir.int<s, 32>), !cir.bool -// CHECK: %1 = cir.const #cir.int<0> : !cir.int<s, 32> +// CHECK: cir.func @yolo(%arg0: !s32i) +// CHECK: %0 = cir.cast(int_to_bool, %arg0 : !s32i), !cir.bool +// CHECK: %1 = cir.const #cir.int<0> : !s32i // CHECK: cir.func @bitcast -// CHECK: %0 = cir.cast(bitcast, %arg0 : !cir.ptr<!cir.int<s, 32>>), !cir.ptr<f32> +// CHECK: %0 = cir.cast(bitcast, %arg0 : !cir.ptr<!s32i>), !cir.ptr<f32> diff --git a/clang/test/CIR/IR/func.cir b/clang/test/CIR/IR/func.cir index 4077bd33e0438..9ed44611e195d 100644 --- a/clang/test/CIR/IR/func.cir +++ b/clang/test/CIR/IR/func.cir @@ -1,5 +1,10 @@ // RUN: cir-opt %s | FileCheck %s +!s32i = !cir.int<s, 32> +!s64i = !cir.int<s, 64> +!u32i = !cir.int<u, 32> +!u64i = !cir.int<u, 64> + module { // void empty() { } cir.func @empty() { @@ -18,13 +23,13 @@ cir.func @voidret() { // CHECK: } // int intfunc() { return 42; } -cir.func @intfunc() -> !cir.int<s, 32> { - %0 = cir.const #cir.int<42> : !cir.int<s, 32> - cir.return %0 : !cir.int<s, 32> +cir.func @intfunc() -> !s32i { + %0 = cir.const #cir.int<42> : !s32i + cir.return %0 : !s32i } -// CHECK: cir.func @intfunc() -> !cir.int<s, 32> { -// CHECK: %[[VAL:.*]] = cir.const #cir.int<42> : !cir.int<s, 32> -// CHECK: cir.return %[[VAL]] : !cir.int<s, 32> +// CHECK: cir.func @intfunc() -> !s32i { +// CHECK: %[[VAL:.*]] = cir.const #cir.int<42> : !s32i +// CHECK: cir.return %[[VAL]] : !s32i // CHECK: } // int scopes() { @@ -34,52 +39,52 @@ cir.func @intfunc() -> !cir.int<s, 32> { // } // } //} -cir.func @scopes() -> !cir.int<s, 32> { +cir.func @scopes() -> !s32i { cir.scope { cir.scope { - %0 = cir.const #cir.int<99> : !cir.int<s, 32> - cir.return %0 : !cir.int<s, 32> + %0 = cir.const #cir.int<99> : !s32i + cir.return %0 : !s32i } } cir.trap } -// CHECK: cir.func @scopes() -> !cir.int<s, 32> { +// CHECK: cir.func @scopes() -> !s32i { // CHECK: cir.scope { // CHECK: cir.scope { -// CHECK: %[[VAL:.*]] = cir.const #cir.int<99> : !cir.int<s, 32> -// CHECK: cir.return %[[VAL]] : !cir.int<s, 32> +// CHECK: %[[VAL:.*]] = cir.const #cir.int<99> : !s32i +// CHECK: cir.return %[[VAL]] : !s32i // CHECK: } // CHECK: } // CHECK: cir.trap // CHECK: } // long longfunc() { return 42l; } -cir.func @longfunc() -> !cir.int<s, 64> { - %0 = cir.const #cir.int<42> : !cir.int<s, 64> - cir.return %0 : !cir.int<s, 64> +cir.func @longfunc() -> !s64i { + %0 = cir.const #cir.int<42> : !s64i + cir.return %0 : !s64i } -// CHECK: cir.func @longfunc() -> !cir.int<s, 64> -// CHECK: %0 = cir.const #cir.int<42> : !cir.int<s, 64> -// CHECK: cir.return %0 : !cir.int<s, 64> +// CHECK: cir.func @longfunc() -> !s64i +// CHECK: %0 = cir.const #cir.int<42> : !s64i +// CHECK: cir.return %0 : !s64i // CHECK: } // unsigned unsignedfunc() { return 42u; } -cir.func @unsignedfunc() -> !cir.int<u, 32> { - %0 = cir.const #cir.int<42> : !cir.int<u, 32> - cir.return %0 : !cir.int<u, 32> +cir.func @unsignedfunc() -> !u32i { + %0 = cir.const #cir.int<42> : !u32i + cir.return %0 : !u32i } -// CHECK: cir.func @unsignedfunc() -> !cir.int<u, 32> -// CHECK: %[[VAL:.*]] = cir.const #cir.int<42> : !cir.int<u, 32> -// CHECK: cir.return %[[VAL]] : !cir.int<u, 32> +// CHECK: cir.func @unsignedfunc() -> !u32i +// CHECK: %[[VAL:.*]] = cir.const #cir.int<42> : !u32i +// CHECK: cir.return %[[VAL]] : !u32i // CHECK: } // unsigned long long ullfunc() { return 42ull; } -cir.func @ullfunc() -> !cir.int<u, 64> { - %0 = cir.const #cir.int<42> : !cir.int<u, 64> - cir.return %0 : !cir.int<u, 64> +cir.func @ullfunc() -> !u64i { + %0 = cir.const #cir.int<42> : !u64i + cir.return %0 : !u64i } -// CHECK: cir.func @ullfunc() -> !cir.int<u, 64> -// CHECK: %[[VAL:.*]] = cir.const #cir.int<42> : !cir.int<u, 64> -// CHECK: cir.return %[[VAL:.*]] : !cir.int<u, 64> +// CHECK: cir.func @ullfunc() -> !u64i +// CHECK: %[[VAL:.*]] = cir.const #cir.int<42> : !u64i +// CHECK: cir.return %[[VAL:.*]] : !u64i // CHECK: } } diff --git a/clang/test/CIR/IR/global-var-linkage.cir b/clang/test/CIR/IR/global-var-linkage.cir index 055201b27000d..6486b700bdbb2 100644 --- a/clang/test/CIR/IR/global-var-linkage.cir +++ b/clang/test/CIR/IR/global-var-linkage.cir @@ -1,18 +1,20 @@ // RUN: cir-opt %s -o %t.cir // RUN: FileCheck --input-file=%t.cir %s +!s32i = !cir.int<s, 32> + module attributes {cir.triple = "x86_64-unknown-linux-gnu"} { - cir.global external @aaaa : !cir.int<s, 32> - cir.global internal @bbbb : !cir.int<s, 32> - cir.global linkonce_odr @cccc : !cir.int<s, 32> - cir.global internal @ffff = #cir.int<0> : !cir.int<s, 32> - cir.global weak_odr @dddd : !cir.int<s, 32> + cir.global external @aaaa : !s32i + cir.global internal @bbbb : !s32i + cir.global linkonce_odr @cccc : !s32i + cir.global internal @ffff = #cir.int<0> : !s32i + cir.global weak_odr @dddd : !s32i } // CHECK: module attributes {cir.triple = "x86_64-unknown-linux-gnu"} { -// CHECK: cir.global external @aaaa : !cir.int<s, 32> -// CHECK: cir.global internal @bbbb : !cir.int<s, 32> -// CHECK: cir.global linkonce_odr @cccc : !cir.int<s, 32> -// CHECK: cir.global internal @ffff = #cir.int<0> : !cir.int<s, 32> -// CHECK: cir.global weak_odr @dddd : !cir.int<s, 32> +// CHECK: cir.global external @aaaa : !s32i +// CHECK: cir.global internal @bbbb : !s32i +// CHECK: cir.global linkonce_odr @cccc : !s32i +// CHECK: cir.global internal @ffff = #cir.int<0> : !s32i +// CHECK: cir.global weak_odr @dddd : !s32i // CHECK: } diff --git a/clang/test/CIR/IR/global.cir b/clang/test/CIR/IR/global.cir index 12eda5a946af5..e46a30c7cce40 100644 --- a/clang/test/CIR/IR/global.cir +++ b/clang/test/CIR/IR/global.cir @@ -1,23 +1,35 @@ // RUN: cir-opt %s -o - | FileCheck %s +!s8i = !cir.int<s, 8> +!s16i = !cir.int<s, 16> +!s32i = !cir.int<s, 32> +!s64i = !cir.int<s, 64> +!s128i = !cir.int<s, 128> +!u8i = !cir.int<u, 8> +!u16i = !cir.int<u, 16> +!u32i = !cir.int<u, 32> +!u64i = !cir.int<u, 64> +!u128i = !cir.int<u, 128> +!void = !cir.void + module attributes {cir.triple = "x86_64-unknown-linux-gnu"} { - cir.global external @c : !cir.int<s, 8> - cir.global external @sc : !cir.int<s, 8> - cir.global external @uc : !cir.int<u, 8> - cir.global external @ss : !cir.int<s, 16> - cir.global external @us = #cir.int<100> : !cir.int<u, 16> - cir.global external @si = #cir.int<42> : !cir.int<s, 32> - cir.global external @ui : !cir.int<u, 32> - cir.global external @sl : !cir.int<s, 64> - cir.global external @ul : !cir.int<u, 64> - cir.global external @sll : !cir.int<s, 64> - cir.global external @ull = #cir.int<123456> : !cir.int<u, 64> - cir.global external @s128 : !cir.int<s, 128> - cir.global external @u128 : !cir.int<u, 128> - cir.global external @wc : !cir.int<s, 32> - cir.global external @c8 : !cir.int<u, 8> - cir.global external @c16 : !cir.int<u, 16> - cir.global external @c32 : !cir.int<u, 32> + cir.global external @c : !s8i + cir.global external @sc : !s8i + cir.global external @uc : !u8i + cir.global external @ss : !s16i + cir.global external @us = #cir.int<100> : !u16i + cir.global external @si = #cir.int<42> : !s32i + cir.global external @ui : !u32i + cir.global external @sl : !s64i + cir.global external @ul : !u64i + cir.global external @sll : !s64i + cir.global external @ull = #cir.int<123456> : !u64i + cir.global external @s128 : !s128i + cir.global external @u128 : !u128i + cir.global external @wc : !s32i + cir.global external @c8 : !u8i + cir.global external @c16 : !u16i + cir.global external @c32 : !u32i cir.global external @sb20 : !cir.int<s, 20> cir.global external @ub48 : !cir.int<u, 48> cir.global external @f16 : !cir.f16 @@ -26,32 +38,32 @@ module attributes {cir.triple = "x86_64-unknown-linux-gnu"} { cir.global external @d = #cir.fp<1.250000e+00> : !cir.double cir.global external @ld : !cir.long_double<!cir.f80> cir.global external @f128 : !cir.f128 - cir.global external @vp : !cir.ptr<!cir.void> - cir.global external @ip = #cir.ptr<null> : !cir.ptr<!cir.int<s, 32>> + cir.global external @vp : !cir.ptr<!void> + cir.global external @ip = #cir.ptr<null> : !cir.ptr<!s32i> cir.global external @dp : !cir.ptr<!cir.double> - cir.global external @cpp : !cir.ptr<!cir.ptr<!cir.int<s, 8>>> + cir.global external @cpp : !cir.ptr<!cir.ptr<!s8i>> cir.global external @fp : !cir.ptr<!cir.func<()>> - cir.global external @fpii = #cir.ptr<null> : !cir.ptr<!cir.func<(!cir.int<s, 32>) -> !cir.int<s, 32>>> - cir.global external @fpvar : !cir.ptr<!cir.func<(!cir.int<s, 32>, ...)>> + cir.global external @fpii = #cir.ptr<null> : !cir.ptr<!cir.func<(!s32i) -> !s32i>> + cir.global external @fpvar : !cir.ptr<!cir.func<(!s32i, ...)>> } -// CHECK: cir.global external @c : !cir.int<s, 8> -// CHECK: cir.global external @sc : !cir.int<s, 8> -// CHECK: cir.global external @uc : !cir.int<u, 8> -// CHECK: cir.global external @ss : !cir.int<s, 16> +// CHECK: cir.global external @c : !s8i +// CHECK: cir.global external @sc : !s8i +// CHECK: cir.global external @uc : !u8i +// CHECK: cir.global external @ss : !s16i // CHECK: cir.global external @us = #cir.int<100> // CHECK: cir.global external @si = #cir.int<42> -// CHECK: cir.global external @ui : !cir.int<u, 32> -// CHECK: cir.global external @sl : !cir.int<s, 64> -// CHECK: cir.global external @ul : !cir.int<u, 64> -// CHECK: cir.global external @sll : !cir.int<s, 64> -// CHECK: cir.global external @ull = #cir.int<123456> : !cir.int<u, 64> -// CHECK: cir.global external @s128 : !cir.int<s, 128> -// CHECK: cir.global external @u128 : !cir.int<u, 128> -// CHECK: cir.global external @wc : !cir.int<s, 32> -// CHECK: cir.global external @c8 : !cir.int<u, 8> -// CHECK: cir.global external @c16 : !cir.int<u, 16> -// CHECK: cir.global external @c32 : !cir.int<u, 32> +// CHECK: cir.global external @ui : !u32i +// CHECK: cir.global external @sl : !s64i +// CHECK: cir.global external @ul : !u64i +// CHECK: cir.global external @sll : !s64i +// CHECK: cir.global external @ull = #cir.int<123456> : !u64i +// CHECK: cir.global external @s128 : !s128i +// CHECK: cir.global external @u128 : !u128i +// CHECK: cir.global external @wc : !s32i +// CHECK: cir.global external @c8 : !u8i +// CHECK: cir.global external @c16 : !u16i +// CHECK: cir.global external @c32 : !u32i // CHECK: cir.global external @sb20 : !cir.int<s, 20> // CHECK: cir.global external @ub48 : !cir.int<u, 48> // CHECK: cir.global external @f16 : !cir.f16 @@ -60,10 +72,10 @@ module attributes {cir.triple = "x86_64-unknown-linux-gnu"} { // CHECK: cir.global external @d = #cir.fp<1.250000e+00> : !cir.double // CHECK: cir.global external @ld : !cir.long_double<!cir.f80> // CHECK: cir.global external @f128 : !cir.f128 -// CHECK: cir.global external @vp : !cir.ptr<!cir.void> -// CHECK: cir.global external @ip = #cir.ptr<null> : !cir.ptr<!cir.int<s, 32>> +// CHECK: cir.global external @vp : !cir.ptr<!void> +// CHECK: cir.global external @ip = #cir.ptr<null> : !cir.ptr<!s32i> // CHECK: cir.global external @dp : !cir.ptr<!cir.double> -// CHECK: cir.global external @cpp : !cir.ptr<!cir.ptr<!cir.int<s, 8>>> +// CHECK: cir.global external @cpp : !cir.ptr<!cir.ptr<!s8i>> // CHECK: cir.global external @fp : !cir.ptr<!cir.func<()>> -// CHECK: cir.global external @fpii = #cir.ptr<null> : !cir.ptr<!cir.func<(!cir.int<s, 32>) -> !cir.int<s, 32>>> -// CHECK: cir.global external @fpvar : !cir.ptr<!cir.func<(!cir.int<s, 32>, ...)>> +// CHECK: cir.global external @fpii = #cir.ptr<null> : !cir.ptr<!cir.func<(!s32i) -> !s32i>> +// CHECK: cir.global external @fpvar : !cir.ptr<!cir.func<(!s32i, ...)>> diff --git a/clang/test/CIR/Transforms/scope.cir b/clang/test/CIR/Transforms/scope.cir index d4fc957884a43..2d14784c33f87 100644 --- a/clang/test/CIR/Transforms/scope.cir +++ b/clang/test/CIR/Transforms/scope.cir @@ -1,20 +1,22 @@ // RUN: cir-opt %s -cir-flatten-cfg -o - | FileCheck %s +!u32i = !cir.int<u, 32> + module { cir.func @foo() { cir.scope { - %0 = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["a", init] {alignment = 4 : i64} - %1 = cir.const #cir.int<4> : !cir.int<u, 32> - cir.store %1, %0 : !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>> + %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] {alignment = 4 : i64} + %1 = cir.const #cir.int<4> : !u32i + cir.store %1, %0 : !u32i, !cir.ptr<!u32i> } cir.return } // CHECK: cir.func @foo() { // CHECK: cir.br ^bb1 // CHECK: ^bb1: // pred: ^bb0 -// CHECK: %0 = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["a", init] {alignment = 4 : i64} -// CHECK: %1 = cir.const #cir.int<4> : !cir.int<u, 32> -// CHECK: cir.store %1, %0 : !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>> +// CHECK: %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["a", init] {alignment = 4 : i64} +// CHECK: %1 = cir.const #cir.int<4> : !u32i +// CHECK: cir.store %1, %0 : !u32i, !cir.ptr<!u32i> // CHECK: cir.br ^bb2 // CHECK: ^bb2: // pred: ^bb1 // CHECK: cir.return @@ -30,29 +32,29 @@ module { // CHECK: cir.return // CHECK: } - cir.func @scope_with_return() -> !cir.int<u, 32> { - %0 = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["__retval"] {alignment = 4 : i64} + cir.func @scope_with_return() -> !u32i { + %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["__retval"] {alignment = 4 : i64} cir.scope { - %2 = cir.const #cir.int<0> : !cir.int<u, 32> - cir.store %2, %0 : !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>> - %3 = cir.load %0 : !cir.ptr<!cir.int<u, 32>>, !cir.int<u, 32> - cir.return %3 : !cir.int<u, 32> + %2 = cir.const #cir.int<0> : !u32i + cir.store %2, %0 : !u32i, !cir.ptr<!u32i> + %3 = cir.load %0 : !cir.ptr<!u32i>, !u32i + cir.return %3 : !u32i } - %1 = cir.load %0 : !cir.ptr<!cir.int<u, 32>>, !cir.int<u, 32> - cir.return %1 : !cir.int<u, 32> + %1 = cir.load %0 : !cir.ptr<!u32i>, !u32i + cir.return %1 : !u32i } -// CHECK: cir.func @scope_with_return() -> !cir.int<u, 32> { -// CHECK: %0 = cir.alloca !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>>, ["__retval"] {alignment = 4 : i64} +// CHECK: cir.func @scope_with_return() -> !u32i { +// CHECK: %0 = cir.alloca !u32i, !cir.ptr<!u32i>, ["__retval"] {alignment = 4 : i64} // CHECK: cir.br ^bb1 // CHECK: ^bb1: // pred: ^bb0 -// CHECK: %1 = cir.const #cir.int<0> : !cir.int<u, 32> -// CHECK: cir.store %1, %0 : !cir.int<u, 32>, !cir.ptr<!cir.int<u, 32>> -// CHECK: %2 = cir.load %0 : !cir.ptr<!cir.int<u, 32>>, !cir.int<u, 32> -// CHECK: cir.return %2 : !cir.int<u, 32> +// CHECK: %1 = cir.const #cir.int<0> : !u32i +// CHECK: cir.store %1, %0 : !u32i, !cir.ptr<!u32i> +// CHECK: %2 = cir.load %0 : !cir.ptr<!u32i>, !u32i +// CHECK: cir.return %2 : !u32i // CHECK: ^bb2: // no predecessors -// CHECK: %3 = cir.load %0 : !cir.ptr<!cir.int<u, 32>>, !cir.int<u, 32> -// CHECK: cir.return %3 : !cir.int<u, 32> +// CHECK: %3 = cir.load %0 : !cir.ptr<!u32i>, !u32i +// CHECK: cir.return %3 : !u32i // CHECK: } } diff --git a/clang/test/CIR/func-simple.cpp b/clang/test/CIR/func-simple.cpp index d37ccc7229f22..b69ca96fcf680 100644 --- a/clang/test/CIR/func-simple.cpp +++ b/clang/test/CIR/func-simple.cpp @@ -12,9 +12,9 @@ void voidret() { return; } // CHECK: } int intfunc() { return 42; } -// CHECK: cir.func @intfunc() -> !cir.int<s, 32> { -// CHECK: %0 = cir.const #cir.int<42> : !cir.int<s, 32> -// CHECK: cir.return %0 : !cir.int<s, 32> +// CHECK: cir.func @intfunc() -> !s32i { +// CHECK: %0 = cir.const #cir.int<42> : !s32i +// CHECK: cir.return %0 : !s32i // CHECK: } int scopes() { @@ -24,32 +24,32 @@ int scopes() { } } } -// CHECK: cir.func @scopes() -> !cir.int<s, 32> { +// CHECK: cir.func @scopes() -> !s32i { // CHECK: cir.scope { // CHECK: cir.scope { -// CHECK: %0 = cir.const #cir.int<99> : !cir.int<s, 32> -// CHECK: cir.return %0 : !cir.int<s, 32> +// CHECK: %0 = cir.const #cir.int<99> : !s32i +// CHECK: cir.return %0 : !s32i // CHECK: } // CHECK: } // CHECK: cir.trap // CHECK: } long longfunc() { return 42l; } -// CHECK: cir.func @longfunc() -> !cir.int<s, 64> -// CHECK: %0 = cir.const #cir.int<42> : !cir.int<s, 64> -// CHECK: cir.return %0 : !cir.int<s, 64> +// CHECK: cir.func @longfunc() -> !s64i +// CHECK: %0 = cir.const #cir.int<42> : !s64i +// CHECK: cir.return %0 : !s64i // CHECK: } unsigned unsignedfunc() { return 42u; } -// CHECK: cir.func @unsignedfunc() -> !cir.int<u, 32> -// CHECK: %0 = cir.const #cir.int<42> : !cir.int<u, 32> -// CHECK: cir.return %0 : !cir.int<u, 32> +// CHECK: cir.func @unsignedfunc() -> !u32i +// CHECK: %0 = cir.const #cir.int<42> : !u32i +// CHECK: cir.return %0 : !u32i // CHECK: } unsigned long long ullfunc() { return 42ull; } -// CHECK: cir.func @ullfunc() -> !cir.int<u, 64> -// CHECK: %0 = cir.const #cir.int<42> : !cir.int<u, 64> -// CHECK: cir.return %0 : !cir.int<u, 64> +// CHECK: cir.func @ullfunc() -> !u64i +// CHECK: %0 = cir.const #cir.int<42> : !u64i +// CHECK: cir.return %0 : !u64i // CHECK: } bool boolfunc() { return true; } diff --git a/clang/test/CIR/global-var-simple.cpp b/clang/test/CIR/global-var-simple.cpp index f18f00fd6bd13..020ef5f09c650 100644 --- a/clang/test/CIR/global-var-simple.cpp +++ b/clang/test/CIR/global-var-simple.cpp @@ -2,55 +2,55 @@ // RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o - | FileCheck %s char c; -// CHECK: cir.global external @c : !cir.int<s, 8> +// CHECK: cir.global external @c : !s8i signed char sc; -// CHECK: cir.global external @sc : !cir.int<s, 8> +// CHECK: cir.global external @sc : !s8i unsigned char uc; -// CHECK: cir.global external @uc : !cir.int<u, 8> +// CHECK: cir.global external @uc : !u8i short ss; -// CHECK: cir.global external @ss : !cir.int<s, 16> +// CHECK: cir.global external @ss : !s16i unsigned short us = 100; -// CHECK: cir.global external @us = #cir.int<100> : !cir.int<u, 16> +// CHECK: cir.global external @us = #cir.int<100> : !u16i int si = 42; -// CHECK: cir.global external @si = #cir.int<42> : !cir.int<s, 32> +// CHECK: cir.global external @si = #cir.int<42> : !s32i unsigned ui; -// CHECK: cir.global external @ui : !cir.int<u, 32> +// CHECK: cir.global external @ui : !u32i long sl; -// CHECK: cir.global external @sl : !cir.int<s, 64> +// CHECK: cir.global external @sl : !s64i unsigned long ul; -// CHECK: cir.global external @ul : !cir.int<u, 64> +// CHECK: cir.global external @ul : !u64i long long sll; -// CHECK: cir.global external @sll : !cir.int<s, 64> +// CHECK: cir.global external @sll : !s64i unsigned long long ull = 123456; -// CHECK: cir.global external @ull = #cir.int<123456> : !cir.int<u, 64> +// CHECK: cir.global external @ull = #cir.int<123456> : !u64i __int128 s128; -// CHECK: cir.global external @s128 : !cir.int<s, 128> +// CHECK: cir.global external @s128 : !s128i unsigned __int128 u128; -// CHECK: cir.global external @u128 : !cir.int<u, 128> +// CHECK: cir.global external @u128 : !u128i wchar_t wc; -// CHECK: cir.global external @wc : !cir.int<s, 32> +// CHECK: cir.global external @wc : !s32i char8_t c8; -// CHECK: cir.global external @c8 : !cir.int<u, 8> +// CHECK: cir.global external @c8 : !u8i char16_t c16; -// CHECK: cir.global external @c16 : !cir.int<u, 16> +// CHECK: cir.global external @c16 : !u16i char32_t c32; -// CHECK: cir.global external @c32 : !cir.int<u, 32> +// CHECK: cir.global external @c32 : !u32i _BitInt(20) sb20; // CHECK: cir.global external @sb20 : !cir.int<s, 20> @@ -80,22 +80,22 @@ __float128 f128; // CHECK: cir.global external @f128 : !cir.f128 void *vp; -// CHECK: cir.global external @vp : !cir.ptr<!cir.void> +// CHECK: cir.global external @vp : !cir.ptr<!void> int *ip = 0; -// CHECK: cir.global external @ip = #cir.ptr<null> : !cir.ptr<!cir.int<s, 32>> +// CHECK: cir.global external @ip = #cir.ptr<null> : !cir.ptr<!s32i> double *dp; // CHECK: cir.global external @dp : !cir.ptr<!cir.double> char **cpp; -// CHECK: cir.global external @cpp : !cir.ptr<!cir.ptr<!cir.int<s, 8>>> +// CHECK: cir.global external @cpp : !cir.ptr<!cir.ptr<!s8i>> void (*fp)(); // CHECK: cir.global external @fp : !cir.ptr<!cir.func<()>> int (*fpii)(int) = 0; -// CHECK: cir.global external @fpii = #cir.ptr<null> : !cir.ptr<!cir.func<(!cir.int<s, 32>) -> !cir.int<s, 32>>> +// CHECK: cir.global external @fpii = #cir.ptr<null> : !cir.ptr<!cir.func<(!s32i) -> !s32i>> void (*fpvar)(int, ...); -// CHECK: cir.global external @fpvar : !cir.ptr<!cir.func<(!cir.int<s, 32>, ...)>> +// CHECK: cir.global external @fpvar : !cir.ptr<!cir.func<(!s32i, ...)>> diff --git a/clang/test/CMakeLists.txt b/clang/test/CMakeLists.txt index 51fd4820d7edb..c4918496ef437 100644 --- a/clang/test/CMakeLists.txt +++ b/clang/test/CMakeLists.txt @@ -1,5 +1,5 @@ # Test runner infrastructure for Clang. This configures the Clang test trees -# for use by Lit, and delegates to LLVM's lit test handlers. +# for use by Lit, and delegates to LLVM's lit test handlers.int llvm_canonicalize_cmake_booleans( CLANG_BUILD_EXAMPLES @@ -89,6 +89,7 @@ list(APPEND CLANG_TEST_DEPS if(CLANG_ENABLE_CIR) list(APPEND CLANG_TEST_DEPS cir-opt + cir-translate ) endif() _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits