Commitc37ef6e

authored and

committed

do not inline CLIMutable record field getter in release (dotnet#2263)

1 parentad87edb commitc37ef6eCopy full SHA for c37ef6e

File tree

-4

lines changed

-4

lines changed

Lines changed: 7 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -1955,12 +1955,15 @@ and OptimizeConst cenv env expr (c,m,ty) =`
`1955`	`1955`	`// Optimize/analyze a record lookup.`
`1956`	`1956`	`//-------------------------------------------------------------------------`
`1957`	`1957`
`1958`		`-andTryOptimizeRecordFieldGet cenv _env(e1info,r:RecdFieldRef,_tinst,m)=`
	`1958`	`+andTryOptimizeRecordFieldGet cenv _env(e1info,(RFRef(rtcref,_)as r),_tinst,m)=`
`1959`	`1959`	`match destRecdValue e1info.Infowith`
`1960`	`1960`	`\| Some finfoswhen cenv.settings.EliminateRecdFieldGet()&&not e1info.HasEffect->`
`1961`		`-letn= r.Index`
`1962`		`-if n>= finfos.Lengththen errorR(InternalError("TryOptimizeRecordFieldGet: term argument out of range",m))`
`1963`		`- Some finfos.[n](* Uses INVARIANT on record ValInfos that exprs are in defn order*)`
	`1961`	`+match TryFindFSharpAttribute cenv.g cenv.g.attrib_CLIMutableAttribute rtcref.Attribswith`
	`1962`	`+\| Some_-> None`
	`1963`	`+\| None->`
	`1964`	`+letn= r.Index`
	`1965`	`+if n>= finfos.Lengththen errorR(InternalError("TryOptimizeRecordFieldGet: term argument out of range",m))`
	`1966`	`+ Some finfos.[n](* Uses INVARIANT on record ValInfos that exprs are in defn order*)`
`1964`	`1967`	`\|_-> None`
`1965`	`1968`
`1966`	`1969`	`andTryOptimizeTupleFieldGet cenv _env(_tupInfo,e1info,tys,n,m)=`

Comments

(0)