otp.git/lib/hipe/ppc, branch KennethL-patch-1

Merge PR-1386 from kostis/hipe-const-alignment OTP-14302

2017-03-27T15:05:11+00:00

hipe: Fix alignment of byte-sized constants

Remove (now) unnecessary argument of pack_constants

2017-03-23T08:57:45+00:00

hipe: Add pseudo_spill_f?move instructions

2017-03-16T19:49:42+00:00

These pseudo instructions are added to all backends and allow spill slot
to spill slot move coalescing in a clean way.

They have regular move semantics, but contain an additional scratch
register to be used if both source and destination are spilled, and can
not be move coalesced.

Additionally, a register allocator callback
Target:is_spill_move(Instr, Context) is added which allows the spill
slot allocators to check for these instructions and try to coalesce the
spill slots the two temporaries are allocated to.

hipe: Add branch prediction accessor ra callbacks

2017-03-16T19:49:42+00:00

Adds a new register allocator callback
Target:branch_preds(Instr, Context) which, for a control flow
instruction Instr, returns a list of tuples {Target, Probability} for
each label name Target that Instr may branch to. Probability is a float
between 0.0 and 1.0 and corresponds to the predicted probability that
control flow branches to the corresponding target. The probabilities may
sum to at most 1.0 (rounding errors aside). Note that a sum less than
1.0 is valid.

hipe: Add basic range splitting ra callbacks

2017-03-16T19:49:42+00:00

In addition to the temporary name rewriting that hipe_regalloc_prepass
does, range splitters also need to be able to insert move instructions,
as well as inserting new basic blocks in the control flow graph. The
following four callbacks are added for that purpose:

 * Target:mk_move(Src, Dst, Context)
   Returns a move instruction from the temporary (not just register
   number) Src to Dst.
 * Target:mk_goto(Label, Context)
   Returns a unconditional control flow instruction that branches to the
   label with name Label.
 * Target:redirect_jmp(Instr, ToOld, ToNew, Context)
   Modifies the control flow instruction Instr so that any control flow
   that would go to a label with name ToOld instead goes to the label
   with name ToNew.
 * Target:new_label(Context)
   Returns a fresh label name that does not belong to any existing block
   in the current function, and is to be used to create a new basic
   block in the control flow graph by calling Target:update_bb/4 with
   this new name.

Correct copyright on remaining hipe files

2016-11-23T15:36:23+00:00

hipe_ppc: better rlwinm pp

2016-11-15T13:58:59+00:00

hipe_ppc: move coalescing

2016-11-15T13:58:59+00:00

hipe_rtl: unify branch and alub

2016-11-15T13:58:59+00:00

branch and alub overlap in their use cases, but the backends rely on
knowing that the result is unused in their lowering of branch. By
extending alub so that the destination is optional, it can fully replace
branch.

This simplifies rtl by reducing code duplication and the number of
instructions.

Also, in the x86 and arm backends, we can now use 'test' and
{'tst','mvn','teq'} to lower some alubs without destinations. This is
particularly good for x86, as sequences such as 'is_boxed' type tests
now get shorter (both from not needing a mov to copy the variable, but
also from the fact that 'testb' encodes shorter than 'andq').

hipe: Refactor ra callbacks to accept context arg

2016-09-05T17:17:50+00:00

This allows us to pass around the context data that
hipe_regalloc_prepass needs cleanly, without using process dictionary or
parameterised modules (like it was previous to this change).