dan/oxc
1
0
Fork 0
mirror of https://github.com/danbulant/oxc synced 2026-05-19 12:19:15 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

refactor(semantic/cfg): remove unused types. (#3677)

Browse source
This commit is contained in:
rzvxa 2024-06-14 16:42:58 +00:00
parent 7a58fec6b5
commit bd8d1152f1
2 changed files with 3 additions and 104 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

99
crates/oxc_semantic/src/control_flow/mod.rs
View file

@ -3,10 +3,6 @@ mod dot;
use itertools::Itertools;
use oxc_ast::AstKind;
use oxc_span::CompactStr;
use oxc_syntax::operator::{
AssignmentOperator, BinaryOperator, LogicalOperator, UnaryOperator, UpdateOperator,
};
use petgraph::{
stable_graph::NodeIndex,
visit::{depth_first_search, Control, DfsEvent, EdgeRef},
@ -20,101 +16,6 @@ pub use dot::{DebugDot, DebugDotContext, DisplayDot};
pub type BasicBlockId = NodeIndex;
#[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)]
pub enum Register {
Index(u32),
Return,
}
#[derive(Debug, Clone)]
pub enum ObjectPropertyAccessBy {
PrivateProperty(CompactStr),
Property(CompactStr),
Expression(Register),
}
#[derive(Debug, Clone)]
pub struct CollectionAssignmentValue {
pub id: AstNodeId,
pub elements: Vec<Register>,
pub spreads: Vec<usize>,
pub collection_type: CollectionType,
}
#[derive(Debug, Clone)]
pub struct CalleeWithArgumentsAssignmentValue {
pub id: AstNodeId,
pub callee: Register,
pub arguments: Vec<Register>,
pub spreads: Vec<usize>,
pub call_type: CallType,
}
#[derive(Debug, Clone)]
pub struct ObjectPropertyAccessAssignmentValue {
pub id: AstNodeId,
pub access_on: Register,
pub access_by: ObjectPropertyAccessBy,
pub optional: bool,
}
#[derive(Debug, Clone)]
pub struct BinaryAssignmentValue {
pub id: AstNodeId,
pub a: Register,
pub b: Register,
pub operator: BinaryOp,
}
#[derive(Debug, Clone)]
pub struct UpdateAssignmentValue {
pub id: AstNodeId,
pub expr: Register,
pub op: UpdateOperator,
pub prefix: bool,
}
#[derive(Debug, Clone)]
pub struct UnaryExpressioneAssignmentValue(pub AstNodeId, pub UnaryOperator, pub Register);
#[derive(Debug, Clone)]
pub enum AssignmentValue {
ImplicitUndefined,
NotImplicitUndefined,
}
#[derive(Debug, Clone)]
pub enum BinaryOp {
BinaryOperator(BinaryOperator),
LogicalOperator(LogicalOperator),
AssignmentOperator(AssignmentOperator),
}
#[derive(Debug, Clone)]
pub enum CollectionType {
Array,
// Note: we do not currently track object names in objects.
Object,
JSXElement,
JSXFragment,
// doesn't use spreads
Class,
TemplateLiteral,
}
#[derive(Debug, Clone)]
pub enum CallType {
New,
CallExpression,
// the callee is the yielded value, arguments are always empty
// spreads are always empty
Yield,
// spreads are always empty
TaggedTemplate,
// spreads are always empty
Import,
}
#[derive(Debug)]
pub struct BasicBlock {
pub instructions: Vec<Instruction>,

8
crates/oxc_semantic/src/lib.rs
View file

@ -32,11 +32,9 @@ use rustc_hash::FxHashSet;
pub use crate::{
control_flow::{
AssignmentValue, BasicBlock, BasicBlockId, BinaryAssignmentValue, BinaryOp, CallType,
CalleeWithArgumentsAssignmentValue, CollectionAssignmentValue, ControlFlowGraph, DebugDot,
DebugDotContext, DisplayDot, EdgeType, ErrorEdgeKind, Instruction, InstructionKind,
LabeledInstruction, ObjectPropertyAccessAssignmentValue, Register, ReturnInstructionKind,
UnaryExpressioneAssignmentValue, UpdateAssignmentValue,
BasicBlock, BasicBlockId, ControlFlowGraph, DebugDot, DebugDotContext, DisplayDot,
EdgeType, ErrorEdgeKind, Instruction, InstructionKind, LabeledInstruction,
ReturnInstructionKind,
},
node::{AstNode, AstNodeId, AstNodes},
reference::{Reference, ReferenceFlag, ReferenceId},