https://github.com/JuliaLang/julia
Revision a7fd6a76f43262c02e83d809500b98e649490dbc authored by Keno Fischer on 11 April 2024, 12:05:43 UTC, committed by GitHub on 11 April 2024, 12:05:43 UTC
This extends the value-inability predicate to allow mutable structs that do not have any mutable fields. The motivating example for this is ScopedValue, which is mutable only for identity. By allowing it in this predicate, more of the ScopedValue support code becomes concrete-eval eligible, rather than attempting to constprop for every single ScopedValue, saving compilation time. --------- Co-authored-by: Shuhei Kadowaki <aviatesk@gmail.com>
1 parent dc8857a
Tip revision: a7fd6a76f43262c02e83d809500b98e649490dbc authored by Keno Fischer on 11 April 2024, 12:05:43 UTC
Allow mutable-for-identity-only types to be inlined into IR (#54034)
Allow mutable-for-identity-only types to be inlined into IR (#54034)
Tip revision: a7fd6a7
llvm-pass-helpers.h
// This file is a part of Julia. License is MIT: https://julialang.org/license
#ifndef LLVM_PASS_HELPERS_H
#define LLVM_PASS_HELPERS_H
#include <llvm/IR/Function.h>
#include <llvm/IR/Instructions.h>
#include <llvm/IR/LLVMContext.h>
#include <llvm/IR/Metadata.h>
#include <llvm/IR/Module.h>
#include <llvm/IR/Type.h>
#include <llvm/IR/Value.h>
#include "analyzer_annotations.h"
struct JuliaPassContext;
// A namespace for Julia intrinsic descriptions.
namespace jl_intrinsics {
// A description of an intrinsic that can be used to find existing
// intrinsics and declare new intrinsics if necessary.
struct IntrinsicDescription final {
// The type of function that declares an intrinsic.
typedef llvm::Function *(*DeclarationFunction)(llvm::Type *T_size) JL_NOTSAFEPOINT;
// Creates an intrinsic description with a particular
// name and declaration function.
IntrinsicDescription(
const llvm::StringRef &name,
const DeclarationFunction &declare)
: name(name), declare(declare)
{ }
// The intrinsic's name.
llvm::StringRef name;
// A function that declares the intrinsic in a module.
DeclarationFunction declare;
};
}
// A data structure that can read Julia-specific intrinsics
// from modules or add them if they're not available yet.
// Mainly useful for building Julia-specific LLVM passes.
struct JuliaPassContext {
// Types derived from 'jl_value_t'.
llvm::PointerType *T_prjlvalue;
// TBAA metadata nodes.
llvm::MDNode *tbaa_gcframe;
llvm::MDNode *tbaa_tag;
// Intrinsics.
llvm::Function *pgcstack_getter;
llvm::Function *adoptthread_func;
llvm::Function *gc_flush_func;
llvm::Function *gc_preserve_begin_func;
llvm::Function *gc_preserve_end_func;
llvm::Function *pointer_from_objref_func;
llvm::Function *gc_loaded_func;
llvm::Function *alloc_obj_func;
llvm::Function *typeof_func;
llvm::Function *write_barrier_func;
llvm::Function *pop_handler_noexcept_func;
llvm::Function *call_func;
llvm::Function *call2_func;
llvm::Function *call3_func;
// Creates a pass context. Type and function pointers
// are set to `nullptr`. Metadata nodes are initialized.
JuliaPassContext();
// Populates a pass context by inspecting a module.
// Also sets the current module to the given module.
void initAll(llvm::Module &M);
// Initializes a pass context's functions only.
// Also sets the current module to the given module.
void initFunctions(llvm::Module &M);
// Gets the LLVM context for this pass context.
llvm::LLVMContext &getLLVMContext() const
{
return module->getContext();
}
// Gets a call to the `julia.get_pgcstack' intrinsic in the entry
// point of the given function, if there exists such a call.
// Otherwise, `nullptr` is returned.
llvm::CallInst *getPGCstack(llvm::Function &F) const;
// Gets the intrinsic or well-known function that conforms to
// the given description if it exists in the module. If not,
// `nullptr` is returned.
llvm::Function *getOrNull(
const jl_intrinsics::IntrinsicDescription &desc) const;
// Gets the intrinsic or well-known function that conforms to
// the given description if it exists in the module. If not,
// declares the intrinsic or well-known function and adds it
// to the module.
llvm::Function *getOrDeclare(
const jl_intrinsics::IntrinsicDescription &desc);
private:
llvm::Module *module;
};
namespace jl_intrinsics {
// `julia.get_gc_frame_slot`: an intrinsic that creates a
// pointer to a GC frame slot.
extern const IntrinsicDescription getGCFrameSlot;
// `julia.gc_alloc_bytes`: an intrinsic that allocates
// the bytes for an object, but does not initialize the
// tag field. That is, its semantics and signature are
// the same as for `julia.gc_alloc_obj`, except that
// the object's tag field is neither initialized nor
// passed as an argument.
extern const IntrinsicDescription GCAllocBytes;
// `julia.new_gc_frame`: an intrinsic that creates a new GC frame.
extern const IntrinsicDescription newGCFrame;
// `julia.push_gc_frame`: an intrinsic that pushes a GC frame.
extern const IntrinsicDescription pushGCFrame;
// `julia.pop_gc_frame`: an intrinsic that pops a GC frame.
extern const IntrinsicDescription popGCFrame;
// `julia.queue_gc_root`: an intrinsic that queues a GC root.
extern const IntrinsicDescription queueGCRoot;
// `julia.safepoint`: an intrinsic that triggers a GC safepoint.
extern const IntrinsicDescription safepoint;
}
// A namespace for well-known Julia runtime function descriptions.
namespace jl_well_known {
// A description of a well-known function that can be used to
// find existing declarations of that function and create new
// declarations if necessary.
//
// Aliased to `jl_intrinsics::IntrinsicDescription` because
// intrinsic descriptions are essentially the same thing.
typedef jl_intrinsics::IntrinsicDescription WellKnownFunctionDescription;
// `jl_gc_big_alloc`: allocates bytes.
extern const WellKnownFunctionDescription GCBigAlloc;
// `jl_gc_pool_alloc`: allocates bytes.
extern const WellKnownFunctionDescription GCPoolAlloc;
// `jl_gc_queue_root`: queues a GC root.
extern const WellKnownFunctionDescription GCQueueRoot;
// `jl_gc_alloc_typed`: allocates bytes.
extern const WellKnownFunctionDescription GCAllocTyped;
}
void setName(llvm::Value *V, const llvm::Twine &Name, int debug_info);
#endif
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...