| /linux/tools/verification/rvgen/rvgen/ |
| H A D | ltl2ba.py | 130 def normalize(self): member in ASTNode
136 self.op = self.op.normalize()
153 def normalize(self): member in BinaryOp
176 def normalize(self): member in AndOp
200 def normalize(self): member in OrOp
226 def normalize(self): member in UntilOp
248 def normalize(self): member in VOp
270 def normalize(self): member in ImplyOp
291 def normalize(self): member in UnaryOp
309 def normalize(self): member in EventuallyOp
[all …]
|
| /linux/arch/parisc/math-emu/ |
| H A D | sfrem.c | 147 /* normalize, then continue */ in sgl_frem()
155 /* normalize, then continue */ in sgl_frem()
182 /* now normalize */ in sgl_frem()
242 /* normalize result's mantissa */ in sgl_frem()
|
| H A D | dfrem.c | 148 /* normalize, then continue */ in dbl_frem()
156 /* normalize, then continue */ in dbl_frem()
186 /* now normalize */ in dbl_frem()
248 /* normalize result's mantissa */ in dbl_frem()
|
| H A D | fmpyfadd.c | 301 /* need to normalize results mantissa */ in dbl_fmpyfadd()
343 /* need to normalize results mantissa */ in dbl_fmpyfadd()
358 /* is denormalized; want to normalize */ in dbl_fmpyfadd()
447 * Adjust exponent and normalize add operand. in dbl_fmpyfadd()
961 /* need to normalize results mantissa */
1003 /* need to normalize results mantissa */
1018 /* is denormalized; want to normalize */
1107 * Adjust exponent and normalize add operand.
1617 /* need to normalize results mantissa */
1659 /* need to normalize results mantissa */
[all …]
|
| H A D | sfdiv.c | 176 /* is denormalized; want to normalize */ in sgl_fdiv()
186 /* is denormalized; want to normalize */ in sgl_fdiv()
|
| /linux/tools/perf/util/ |
| H A D | expr.l | 39 static char *normalize(char *str, int runtime) in normalize() function
77 yylval->str = normalize(strdup(text), runtime); in str()
81 yylval->str = normalize(yylval->str, runtime); in str()
|
| /linux/arch/mips/math-emu/ |
| H A D | dp_sub.c | 99 /* normalize ym,ye */ in ieee754dp_sub()
104 /* normalize xm,xe */ in ieee754dp_sub()
163 /* normalize to rounding precision in ieee754dp_sub()
|
| H A D | dp_flong.c | 37 /* normalize */ in ieee754dp_flong()
45 /* normalize in grs extended double precision */ in ieee754dp_flong()
|
| H A D | dp_fsp.c | 43 /* normalize */ in ieee754dp_fsp()
|
| H A D | dp_fint.c | 37 /* normalize - result can never be inexact or overflow */ in ieee754dp_fint()
|
| H A D | sp_flong.c | 45 /* normalize in grs extended single precision */ in ieee754sp_flong()
|
| H A D | sp_fint.c | 45 /* normalize in grs extended single precision in ieee754sp_fint()
|
| /linux/include/math-emu/ |
| H A D | op-1.h | 72 * normalize the data.
130 /* Normalize since we know where the msb of the multiplicands \
142 /* Normalize since we know where the msb of the multiplicands \
174 /* normalize */ \
208 /* Normalize Y -- i.e. make the most significant bit set. */ \
|
| H A D | op-2.h | 177 * normalize the data.
254 /* Normalize since we know where the msb of the multiplicands \
298 /* Normalize since we know where the msb of the multiplicands \
315 /* Normalize since we know where the msb of the multiplicands \
440 /* Normalize, i.e. make the most significant bit of the \
|
| /linux/arch/powerpc/math-emu/ |
| H A D | udivmodti4.c | 55 /* Normalize, i.e. make the most significant bit of the in _fp_udivmodti4()
93 /* Normalize. */ in _fp_udivmodti4()
161 /* Normalize. */ in _fp_udivmodti4()
|
| /linux/drivers/net/wireless/realtek/rtw89/ |
| H A D | acpi.c | 572 rec->normalize(ptr->v[antidx][subband]); in rtw89_acpi_sar_load_std_legacy()
595 ent->v[subband][path] = rec->normalize(ptr->v[antidx][subband]); in rtw89_acpi_sar_load_std_has_6ghz()
616 rec->normalize(ptr->v[antidx][subband]); in rtw89_acpi_sar_load_sml_legacy()
639 ent->v[subband][path] = rec->normalize(ptr->v[antidx][subband]); in rtw89_acpi_sar_load_sml_has_6ghz()
913 .normalize = rtw89_acpi_sar_normalize_hp_val,
925 .normalize = rtw89_acpi_sar_normalize_hp_val,
937 .normalize = rtw89_acpi_sar_normalize_rt_val,
949 .normalize = rtw89_acpi_sar_normalize_rt_val,
961 .normalize = rtw89_acpi_sar_normalize_rt_val,
973 .normalize = rtw89_acpi_sar_normalize_rt_val,
|
| /linux/arch/m68k/fpsp040/ |
| H A D | sint.S | 37 | 4. Normalize the rounded result; store in fp0.
229 | normalize the rounded result and store value in fp0
231 bsr nrm_set |normalize the unnorm
|
| H A D | get_op.S | 232 bsr mk_norm |go normalize - mk_norm returns:
260 bsr mk_norm |go normalize - mk_norm returns:
274 | If the inst is not fmove, normalize the source. If it is,
444 bsr nrm_zero |normalize till msb = 1 or exp = zero
456 bsr nrm_zero |normalize the number
|
| H A D | kernel_ex.S | 397 bsr nrm_set |normalize the result (exponent
458 bsr nrm_set |normalize result, exponent
472 bsr nrm_set |normalize result, exponent
|
| /linux/arch/x86/math-emu/ |
| H A D | round_Xsig.S | 9 | Normalize and round a 12 byte quantity. |
13 | Normalize a 12 byte quantity. |
|
| /linux/fs/isofs/ |
| H A D | export.c | 41 * simply need to find its ".." entry, normalize its block and offset,
99 /* Normalize */ in isofs_export_get_parent()
|
| /linux/drivers/net/ethernet/mellanox/mlx5/core/en/ |
| H A D | selq.c | 219 /* Normalize any picked txq_ix to [0, num_channels), in mlx5e_select_queue()
254 /* Normalize any picked txq_ix to [0, num_channels). Queues in range in mlx5e_select_queue()
|
| /linux/tools/lib/perf/Documentation/ |
| H A D | manpage-suppress-sp.xsl | 14 <xsl:value-of select="normalize-space($content)"/>
|
| /linux/tools/perf/Documentation/ |
| H A D | manpage-suppress-sp.xsl | 14 <xsl:value-of select="normalize-space($content)"/>
|
| /linux/arch/mips/include/asm/octeon/ |
| H A D | cvmx-spinlock.h | 120 return tmp != 0; /* normalize to 0 or 1 */ in cvmx_spinlock_trylock()
213 return tmp != 0; /* normalize to 0 or 1 */ in cvmx_spinlock_bit_trylock()
|