I have a quite complicated parametric type that contains a simple Int64 field like: struct A{T, U, V, W, X, Y} n::Int64 ... (a lot of other possibly parametric-typed fields) end a = A(3, .....) when I try to do @code_warntype a.n, I got a warntype like: Body::Any 1 ─ %1 = Base.getfield(x…

Please include a self-contained MWE. [image] Please read: make it easier to help you Meta Discussion Welcome to the Julia Discourse! We are enthusiastic about helping Julia programmers, both beginner and experienced. This public service announcement (PSA) outlines best pr…

No, it is just because @code_warntype does not do constant propagation for your input.

You’ll see that if you wrap the access in a function (which it would be as long as you’re not operating at global scope), then the :x is correctly constant-propagated and everything is fine: julia> struct Foo x::Int y::String end julia> function get_x(f) f.x …

I want to include a MWE… but the case is just too complicated (needs a lot of custom types)… I could not reproduce the case in a simpler example… In essence, the situation is like: struct A npar::Int64 end const a = A(3) function f(x::A) npar = x.npar function g() y = 0 for i in 1:npar …

Probably performance of captured variables in closures · Issue #15276 · JuliaLang/julia · GitHub

Base.getfield() gives warntype?

New to Julia

Tamas_Papp December 4, 2019, 11:22am 2

Please include a self-contained MWE.

1 Like

Topic		Replies	Views
Getproperty/getfield type instability? New to Julia	3	971	October 23, 2022
Accessing the field of `Pair` seems to be type-unstable General Usage type-stability	3	530	March 17, 2022
Parametric type: type stable getfield New to Julia parametric-types , type-stability	7	1246	October 30, 2018
Unexpected [red] Any from code_warntype New to Julia	13	1528	December 5, 2018
Advice to make getfield(::NamedTuple, ::Symbol) typestable Performance	19	1113	March 25, 2022

Base.getfield() gives warntype?

Related topics