Commit7cbf430

committed

makereflection test pass

1 parentdb4f073 commit7cbf430Copy full SHA for 7cbf430

File tree

-4

lines changed

-4

lines changed

Lines changed: 3 additions & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -847,7 +847,9 @@ end`
`847`	`847`
`848`	`848`	`# compute an inferred AST and return type`
`849`	`849`	`functiontypeinf_code(interp::AbstractInterpreter, method::Method,@nospecialize(atypes), sparams::SimpleVector, run_optimizer::Bool)`
`850`		`- mi=specialize_method(method, atypes, sparams)::MethodInstance`
	`850`	`+returntypeinf_code(interp,specialize_method(method, atypes, sparams)::MethodInstance, run_optimizer)`
	`851`	`+end`
	`852`	`+functiontypeinf_code(interp::AbstractInterpreter, mi::MethodInstance, run_optimizer::Bool)`
`851`	`853`	`ccall(:jl_typeinf_begin, Cvoid, ())`
`852`	`854`	`result=InferenceResult(mi)`
`853`	`855`	`frame=InferenceState(result, run_optimizer?:global::no, interp)`

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -4,7 +4,7 @@`
`4`	`4`	`# structs/constants #`
`5`	`5`	`#####################`
`6`	`6`
`7`		-# NOTE `_TOP_CAUSES` is defined in inferencestate.jlwhere `InferenceState` is defined
	`7`	+# NOTE `_TOP_CAUSES` is defined in inferencestate.jljust after `InferenceState` is defined
`8`	`8`
`9`	`9`	`struct Constant`
`10`	`10`	`val`

Lines changed: 5 additions & 2 deletions

Original file line number	Diff line number	Diff line change
`@@ -1276,11 +1276,14 @@ function print_statement_costs(io::IO, @nospecialize(tt::Type);`
`1276`	`1276`	`for matchin matches::Vector`
`1277`	`1277`	`match= match::Core.MethodMatch`
`1278`	`1278`	`meth=func_for_method_checked(match.method, tt, match.sparams)`
`1279`		`- (code, ty)= Core.Compiler.typeinf_code(interp, meth, match.spec_types, match.sparams,true)`
	`1279`	`+ mi= Core.Compiler.specialize_method(meth, match.spec_types, match.sparams)::MethodInstance`
	`1280`	`+ (code, ty)= Core.Compiler.typeinf_code(interp, mi,true)`
`1280`	`1281`	`code===nothing&&error("inference not successful")# inference disabled?`
`1281`	`1282`	`empty!(cst)`
`1282`	`1283`	`resize!(cst,length(code.code))`
`1283`		`- maxcost= Core.Compiler.statement_costs!(cst, code.code, code, Any[match.sparams...],false, params)`
	`1284`	`+ sptypes= Core.Compiler.sptypes_from_meth_instance(mi)`
	`1285`	`+ code.ssavaluetypes= Core.Compiler.SSAValueTypes([Core.Compiler.NativeType(typ)for typin code.ssavaluetypes])`
	`1286`	`+ maxcost= Core.Compiler.statement_costs!(cst, code.code, code, sptypes,false, params)`
`1284`	`1287`	`nd=ndigits(maxcost)`
`1285`	`1288`	`println(io, meth)`
`1286`	`1289`	`irshow_config= IRShow.IRShowConfig()do io, linestart, idx`

Comments

(0)