89a4bcf023
Replace the single `cir.binop` operation (dispatched via a `BinOpKind` enum) with nine distinct ops — `cir.add`, `cir.sub`, `cir.mul`, `cir.div`, `cir.rem`, `cir.and`, `cir.or`, `cir.xor`, and `cir.max` — each with precise type constraints and only the attributes it needs (nsw/nuw/sat on add/sub via `BinaryOverflowOp`). A new `BinaryOpInterface` provides uniform `getLhs`/`getRhs`/`getResult` access for passes and analyses. The monolithic switch-based CIRToLLVMBinOpLowering is replaced by per-op patterns generated through the existing CIRLowering.inc TableGen infrastructure, with shared dispatch factored into two helpers: `lowerSaturatableArithOp` for add/sub and `lowerIntFPBinaryOp` for div/rem.
104 lines
2.5 KiB
C++
104 lines
2.5 KiB
C++
// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o - 2>&1 | FileCheck %s
|
|
|
|
// Test anonymous namespace.
|
|
namespace {
|
|
int g1 = 1;
|
|
|
|
void f1(void) {}
|
|
}
|
|
|
|
|
|
// Test named namespace.
|
|
namespace test {
|
|
int g2 = 2;
|
|
void f2(void);
|
|
|
|
// Test nested namespace.
|
|
namespace test2 {
|
|
int g3 = 3;
|
|
void f3(void);
|
|
}
|
|
}
|
|
|
|
// CHECK-DAG: cir.global "private" internal dso_local @_ZN12_GLOBAL__N_12g1E = #cir.int<1> : !s32i
|
|
// CHECK-DAG: cir.global external @_ZN4test2g2E = #cir.int<2> : !s32i
|
|
// CHECK-DAG: cir.global external @_ZN4test5test22g3E = #cir.int<3> : !s32i
|
|
// CHECK-DAG: cir.func{{.*}} @_ZN12_GLOBAL__N_12f1Ev()
|
|
// CHECK-DAG: cir.func{{.*}} @_ZN4test2f2Ev()
|
|
// CHECK-DAG: cir.func{{.*}} @_ZN4test5test22f3Ev()
|
|
|
|
using namespace test;
|
|
|
|
// Test global function.
|
|
int f4(void) {
|
|
f1();
|
|
f2();
|
|
test2::f3();
|
|
return g1 + g2 + test2::g3;
|
|
}
|
|
|
|
// The namespace gets added during name mangling, so this is wrong but expected.
|
|
// CHECK: cir.func{{.*}} @_Z2f4v()
|
|
// CHECK: cir.call @_ZN12_GLOBAL__N_12f1Ev()
|
|
// CHECK: cir.call @_ZN4test2f2Ev()
|
|
// CHECK: cir.call @_ZN4test5test22f3Ev()
|
|
// CHECK: %[[G1_ADDR:.*]] = cir.get_global @_ZN12_GLOBAL__N_12g1E : !cir.ptr<!s32i>
|
|
// CHECK: %[[G1_VAL:.*]] = cir.load{{.*}} %[[G1_ADDR]] : !cir.ptr<!s32i>, !s32i
|
|
// CHECK: %[[G2_ADDR:.*]] = cir.get_global @_ZN4test2g2E : !cir.ptr<!s32i>
|
|
// CHECK: %[[G2_VAL:.*]] = cir.load{{.*}} %[[G2_ADDR]] : !cir.ptr<!s32i>, !s32i
|
|
// CHECK: %[[SUM:.*]] = cir.add nsw %[[G1_VAL]], %[[G2_VAL]] : !s32i
|
|
// CHECK: %[[G3_ADDR:.*]] = cir.get_global @_ZN4test5test22g3E : !cir.ptr<!s32i>
|
|
// CHECK: %[[G3_VAL:.*]] = cir.load{{.*}} %[[G3_ADDR]] : !cir.ptr<!s32i>, !s32i
|
|
// CHECK: %[[SUM2:.*]] = cir.add nsw %[[SUM]], %[[G3_VAL]] : !s32i
|
|
|
|
using test2::f3;
|
|
using test2::g3;
|
|
|
|
int f5() {
|
|
f3();
|
|
return g3;
|
|
}
|
|
|
|
// CHECK: cir.func{{.*}} @_Z2f5v()
|
|
// CHECK: cir.call @_ZN4test5test22f3Ev()
|
|
// CHECK: %[[G3_ADDR:.*]] = cir.get_global @_ZN4test5test22g3E : !cir.ptr<!s32i>
|
|
// CHECK: %[[G3_VAL:.*]] = cir.load{{.*}} %[[G3_ADDR]] : !cir.ptr<!s32i>, !s32i
|
|
|
|
namespace test3 {
|
|
struct S {
|
|
int a;
|
|
} s;
|
|
}
|
|
|
|
using test3::s;
|
|
|
|
int f6() {
|
|
return s.a;
|
|
}
|
|
|
|
// CHECK: cir.func{{.*}} @_Z2f6v()
|
|
// CHECK: cir.get_global @_ZN5test31sE : !cir.ptr<!rec_test33A3AS>
|
|
// CHECK: cir.get_member %{{.*}}[0] {name = "a"}
|
|
|
|
int shadowedFunc() {
|
|
return 3;
|
|
}
|
|
|
|
namespace shadow {
|
|
using ::shadowedFunc;
|
|
}
|
|
|
|
void f7() {
|
|
shadow::shadowedFunc();
|
|
}
|
|
|
|
// CHECK: cir.func{{.*}} @_Z2f7v()
|
|
|
|
namespace test_alias = test;
|
|
|
|
int f8() {
|
|
return test_alias::g2;
|
|
}
|
|
|
|
// CHECK: cir.func{{.*}} @_Z2f8v()
|