Hello, i am trying to write something like Petite Zygote by manipulating Core.Compiler.IRCode to get sense, how it works. I am considering that as a part of survey, if I should show it to students, where the compiler infrastructure is heading. But not sure I will succeed. I also do not know, if it …

The trick I have mentioned above worked quite nicely. I have written a following function to get a type of ChainRules.rrule argtype(ir::CC.IRCode, a::Core.Argument) = ir.argtypes[a.n] argtype(ir::CC.IRCode, a::Core.SSAValue) = ir.stmts.type[a.id] argtype(ir::CC.IRCode, f::GlobalRef) = typeof(eval(…

Manual type inference of hand-written IRCode

Internals & Design

Tomas_Pevny March 15, 2024, 8:02am 11

Thanks, I have updated my code.

1 Like

Topic		Replies	Views
Type inference when types are passed as values General Usage inference	3	784	June 12, 2018
"code reflection cannot be used from generated functions" General Usage question	2	599	March 12, 2019
How to calculate the typeof an expression without actually running it? General Usage	5	789	November 21, 2017
Metaprogramming with types Probabilistic Programming	14	1358	August 9, 2019
How to check the inferred type of a specific variable in a function? Internals & Design	9	4115	December 25, 2018

Manual type inference of hand-written IRCode

Related topics