diff --git a/specification/bk_main.xml b/specification/bk_main.xml
index 4262e2a..c4308ba 100644
--- a/specification/bk_main.xml
+++ b/specification/bk_main.xml
@@ -57,7 +57,7 @@
Freescale Semiconductor, Inc
- Revision 1.5i draft
+ Revision 1.5j draft
OpenPOWER
@@ -93,6 +93,16 @@
+
+ 2019-12-11
+
+
+
+ Revision 1.5j: Back out prefix28 uses.
+
+
+
+
2019-04-16
diff --git a/specification/ch_3.xml b/specification/ch_3.xml
index e918990..eb04887 100644
--- a/specification/ch_3.xml
+++ b/specification/ch_3.xml
@@ -2278,8 +2278,8 @@ my_func:
In the following figure, prefix28 specifies a 28-bit field taking up
- bits 20-31 and 48-63 of two consecutive words. This is used, for
- example, by the pmlxv instruction.
+ bits 20-31 and 48-63 of two consecutive words. This is reserved for future use.
@@ -2446,7 +2446,9 @@ my_func:
Represents the address in
the .TOC. at which the address of
- the relocation entry’s symbol resides during execution. This
+ the relocation entry’s symbol
+ plus addend
+ resides during execution. This
implies the creation of a .got section. For more information,
see
and
@@ -2826,7 +2828,7 @@ my_func:
- tlsgd
+ @got@tlsgd
Allocates two contiguous entries in the GOT to hold a
@@ -2841,7 +2843,7 @@ my_func:
- tlsld
+ @got@tlsld
Allocates two contiguous entries in the GOT to hold a
@@ -2856,7 +2858,7 @@ my_func:
- tprelg
+ @got@tprel
Allocates an entry in the GOT with value tprel, and
@@ -5285,8 +5287,8 @@ my_func:
has another relocation at r_offset. The
R_PPC64_PCREL_OPT entry occurs immediately after that relocation in
the table of relocations.
- See and
- for more details.
+ See for more details.
@@ -5455,6 +5457,7 @@ nop
in the sequence.
+
@@ -5887,7 +5891,8 @@ extern void *__tls_get_addr (tls_index *ti);
data object is loaded into the first argument register with the addis and
addi instruction, and a standard function call is made. Notice that the
bl instruction has two relocations: the R_PPC64_TLSGD tying it to the
- argument setup instructions and the R_PPC64_REL24 specifying the call
+ argument setup instructions and the R_PPC64_REL24 or R_PPC64_REL24_NOTOC specifying the call
destination.
@@ -6155,10 +6160,10 @@ static __thread unsigned int x3;
- paddi r9, r3, x1@dtprel
+ addi r9, r3, x1@dtprel
- R_PPC64_DTPREL34
+ R_PPC64_DTPREL16
x1
@@ -9142,7 +9147,7 @@ nop
- paddi r9, r9, x@tprel@l
+ paddi r9, r9, x@tprel
R_PPC64_TPREL34