From 0e93023eef174262310737004d398bc7a606939a Mon Sep 17 00:00:00 2001 From: Andreas Klebinger Date: Mon, 10 May 2021 22:06:51 +0200 Subject: Tag inference work. This does three major things: * Enforce the invariant that all strict fields must contain tagged pointers. * Try to predict the tag on bindings in order to omit tag checks. * Allows functions to pass arguments unlifted (call-by-value). The former is "simply" achieved by wrapping any constructor allocations with a case which will evaluate the respective strict bindings. The prediction is done by a new data flow analysis based on the STG representation of a program. This also helps us to avoid generating redudant cases for the above invariant. StrictWorkers are created by W/W directly and SpecConstr indirectly. See the Note [Strict Worker Ids] Other minor changes: * Add StgUtil module containing a few functions needed by, but not specific to the tag analysis. ------------------------- Metric Decrease: T12545 T18698b T18140 T18923 LargeRecord Metric Increase: LargeRecord ManyAlternatives ManyConstructors T10421 T12425 T12707 T13035 T13056 T13253 T13253-spj T13379 T15164 T18282 T18304 T18698a T1969 T20049 T3294 T4801 T5321FD T5321Fun T783 T9233 T9675 T9961 T19695 WWRec ------------------------- --- rts/RtsSymbols.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'rts/RtsSymbols.c') diff --git a/rts/RtsSymbols.c b/rts/RtsSymbols.c index e186830b4e..5f97568b62 100644 --- a/rts/RtsSymbols.c +++ b/rts/RtsSymbols.c @@ -541,6 +541,12 @@ extern char **environ; SymI_HasProto(RET_OLD_ctr) \ SymI_HasProto(RET_UNBOXED_TUP_ctr) \ SymI_HasProto(RET_SEMI_loads_avoided) \ + \ + SymI_HasProto(TAG_UNTAGGED_pred) \ + SymI_HasProto(TAG_UNTAGGED_miss) \ + SymI_HasProto(TAG_TAGGED_pred) \ + SymI_HasProto(TAG_TAGGED_miss) \ + \ SymI_HasProto(RET_NEW_hst) \ SymI_HasProto(RET_OLD_hst) \ SymI_HasProto(RET_UNBOXED_TUP_hst) -- cgit v1.2.1