mirror of
https://github.com/tinygrad/tinygrad.git
synced 2026-06-24 02:14:17 +00:00
ace6b2a151* optimizer: add test for correctness of opts Also added OptOps.UPCASTMID to constrain valid axes for opts with group_for_reduce. * llvm: fix LinearizerOptions to correctly not has_shared * optimizer: remove premature test scaffold for TC opts * search: fix the action space
67 lines
2.8 KiB
Python
67 lines
2.8 KiB
Python
import time, hashlib, ctypes
|
|
from typing import ClassVar
|
|
from tinygrad.ops import Compiled
|
|
from tinygrad.helpers import getenv, DEBUG
|
|
from ctypes import CFUNCTYPE
|
|
from tinygrad.codegen.kernel import LinearizerOptions
|
|
from tinygrad.renderer.llvmir import uops_to_llvm_ir
|
|
from tinygrad.runtime.lib import RawMallocBuffer
|
|
|
|
import llvmlite.binding as llvm # type: ignore
|
|
|
|
class LLVM:
|
|
target_machine: ClassVar[llvm.targets.TargetMachine] = None
|
|
engine: ClassVar[llvm.executionengine.ExecutionEngine] = None
|
|
optimizer: ClassVar[llvm.passmanagers.ModulePassManager] = None
|
|
|
|
def __init__(self):
|
|
if LLVM.engine is not None: return
|
|
llvm.initialize()
|
|
llvm.initialize_native_target()
|
|
llvm.initialize_native_asmprinter()
|
|
llvm.initialize_native_asmparser()
|
|
target = llvm.Target.from_triple(llvm.get_process_triple())
|
|
LLVM.optimizer = llvm.create_module_pass_manager()
|
|
LLVM.target_machine = target.create_target_machine(opt=2) # this opt actually can change things. ex: opt=3 means no FMA, opt=2 means FMA
|
|
LLVM.target_machine.add_analysis_passes(LLVM.optimizer)
|
|
|
|
# TODO: this makes compile times so much faster
|
|
if getenv("LLVMOPT"):
|
|
llvm.set_option(str(), '-force-vector-interleave=4') # this makes sum the same speed as torch, it also doubles the (slow) conv speed
|
|
if DEBUG >= 4: llvm.set_option(str(), '--debug-only=loop-vectorize')
|
|
#llvm.set_option(str(), '--debug')
|
|
|
|
# does this do anything?
|
|
builder = llvm.create_pass_manager_builder()
|
|
builder.opt_level = 3
|
|
builder.size_level = 0
|
|
builder.loop_vectorize = True
|
|
builder.slp_vectorize = True
|
|
builder.populate(LLVM.optimizer)
|
|
|
|
LLVM.target_machine.set_asm_verbosity(True)
|
|
backing_mod = llvm.parse_assembly(str())
|
|
backing_mod.triple = llvm.get_process_triple()
|
|
LLVM.engine = llvm.create_mcjit_compiler(backing_mod, LLVM.target_machine)
|
|
|
|
class LLVMProgram:
|
|
def __init__(self, name:str, prg:str, binary=False):
|
|
self.mod = llvm.parse_assembly(prg)
|
|
self.mod.verify()
|
|
LLVM().optimizer.run(self.mod)
|
|
self.mod.name = hashlib.sha1(prg.encode('utf-8')).hexdigest()
|
|
if DEBUG >= 5: print(LLVM.target_machine.emit_assembly(self.mod))
|
|
LLVM.engine.add_module(self.mod)
|
|
LLVM.engine.finalize_object()
|
|
self.fxn = LLVM.engine.get_function_address(name)
|
|
|
|
def __del__(self):
|
|
if hasattr(self, 'mod'): LLVM.engine.remove_module(self.mod)
|
|
|
|
def __call__(self, unused_global_size, unused_local_size, *bufs, wait=False):
|
|
cfunc = CFUNCTYPE(ctypes.c_int, *[ctypes.c_void_p for _ in bufs])(self.fxn)
|
|
if wait: st = time.monotonic()
|
|
cfunc(*[x._buf if not isinstance(x, int) else x for x in bufs])
|
|
if wait: return time.monotonic()-st
|
|
|
|
LLVMBuffer = Compiled(RawMallocBuffer, LinearizerOptions(supports_float4=False, has_local=False, has_shared=False), uops_to_llvm_ir, LLVMProgram)
|