1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
divert(-1)
dnl m4 macros for PowerPC assembler (32 and 64 bit).
dnl Copyright 2000, 2002, 2003, 2017, 2018, 2020 Free Software Foundation,
dnl Inc.
dnl This file is part of the GNU MP Library.
dnl
dnl The GNU MP Library is free software; you can redistribute it and/or modify
dnl it under the terms of either:
dnl
dnl * the GNU Lesser General Public License as published by the Free
dnl Software Foundation; either version 3 of the License, or (at your
dnl option) any later version.
dnl
dnl or
dnl
dnl * the GNU General Public License as published by the Free Software
dnl Foundation; either version 2 of the License, or (at your option) any
dnl later version.
dnl
dnl or both in parallel, as here.
dnl
dnl The GNU MP Library is distributed in the hope that it will be useful, but
dnl WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
dnl or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
dnl for more details.
dnl
dnl You should have received copies of the GNU General Public License and the
dnl GNU Lesser General Public License along with the GNU MP Library. If not,
dnl see https://www.gnu.org/licenses/.
dnl Called: PROLOGUE_cpu(GSYM_PREFIX`'foo)
dnl
dnl This is the same as the default in mpn/asm-defs.m4, but with ALIGN(4)
dnl not 8.
dnl
dnl 4-byte alignment is normally enough, certainly it's what gcc gives. We
dnl don't want bigger alignment within PROLOGUE since it can introduce
dnl padding into multiple-entrypoint routines, and with gas such padding is
dnl zero words, which are not valid instructions.
define(`PROLOGUE_cpu',
m4_assert_numargs(1)
` TEXT
ALIGN(4)
GLOBL `$1' GLOBL_ATTR
TYPE(`$1',`function')
`$1'LABEL_SUFFIX')
dnl Usage: r0 ... r31, cr0 ... cr7
dnl
dnl Registers names, either left as "r0" etc or mapped to plain 0 etc,
dnl according to the result of the GMP_ASM_POWERPC_REGISTERS configure
dnl test.
ifelse(WANT_R_REGISTERS,no,`
forloop(i,0,31,`deflit(`r'i,i)')
forloop(i,0,31,`deflit(`v'i,i)')
forloop(i,0,31,`deflit(`f'i,i)')
forloop(i,0,7, `deflit(`cr'i,i)')
')
dnl Usage: ASSERT(cond,instructions)
dnl
dnl If WANT_ASSERT is 1, output the given instructions and expect the given
dnl flags condition to then be satisfied. For example,
dnl
dnl ASSERT(eq, `cmpwi r6, 123')
dnl
dnl The instructions can be omitted to just assert a flags condition with
dnl no extra calculation. For example,
dnl
dnl ASSERT(ne)
dnl
dnl The condition can be omitted to just output the given instructions when
dnl assertion checking is wanted. For example,
dnl
dnl ASSERT(, `mr r11, r0')
dnl
dnl Using a zero word for an illegal instruction is probably not ideal,
dnl since it marks the beginning of a traceback table in the 64-bit ABI.
dnl But assertions are only for development, so it doesn't matter too much.
define(ASSERT,
m4_assert_numargs_range(1,2)
m4_assert_defined(`WANT_ASSERT')
`ifelse(WANT_ASSERT,1,
`C ASSERT
$2
ifelse(`$1',,,
` b$1 L(ASSERT_ok`'ASSERT_counter)
W32 0 C assertion failed
L(ASSERT_ok`'ASSERT_counter):
define(`ASSERT_counter',incr(ASSERT_counter))
')')')
define(ASSERT_counter,1)
dnl Manually assemble some new instructions
dnl
define(`maddld',m4_assert_numargs(4)`dnl
.long eval(0x10000033+m4_lshift($1,21)+m4_lshift($2,16)+m4_lshift($3,11)+m4_lshift($4,6))')
define(`maddhdu',m4_assert_numargs(4)`dnl
.long eval(0x10000031+m4_lshift($1,21)+m4_lshift($2,16)+m4_lshift($3,11)+m4_lshift($4,6))')
define(`popcntd',m4_assert_numargs(2)`dnl
.long eval(0x7c0003f4+m4_lshift($2,21)+m4_lshift($1,16))')
define(`divdeu',m4_assert_numargs(3)`dnl
.long eval(0x7c000312+m4_lshift($1,21)+m4_lshift($2,16)+m4_lshift($3,11))')
define(`addex',m4_assert_numargs(4)`dnl
.long eval(0x7c000154+m4_lshift($1,21)+m4_lshift($2,16)+m4_lshift($3,11)+m4_lshift($4,9))')
define(`aese',m4_assert_numargs(3)`dnl
.long eval(0x10000508+m4_lshift($1,21)+m4_lshift($2,16)+m4_lshift($3,11))')
define(`aeselst',m4_assert_numargs(3)`dnl
.long eval(0x10000509+m4_lshift($1,21)+m4_lshift($2,16)+m4_lshift($3,11))')
divert
|
