TypeShade
ldexp
Function
Returns x * 2^e: an f32 or float vector x with an i32 or integer vector exponent e of the same shape.
The signature and the sentence under each name are the compiler's own text at commit 26de7be8.
Syntax
declare function ldexp<V extends vec2 | vec3 | vec4>(a0: V, a1: (V extends { readonly [vecTag]: readonly [unknown, 2] } ? vec2i : V extends { readonly [vecTag]: readonly [unknown, 3] } ? vec3i : vec4i)): Vdeclare function ldexp<P0 extends number, P1 extends number>(a0: P0, a1: P1): ([P0] extends [boolean] ? bool : typeof f32Tag extends keyof P0 ? f32 : typeof i32Tag extends keyof P0 ? i32 : typeof u32Tag extends keyof P0 ? u32 : typeof f64Tag extends keyof P0 ? f64 : number)declare function ldexp<T extends Numeric>(x: T, e: Numeric): TA number in a parameter or a return position is the scalar slot. The ambient file declares a GPU scalar as a branded number whose brand is optional, so a literal and any branded scalar both fill it.
type f32 = number & { readonly [f32Tag]?: true }
A declaration you write still needs a width, and a bare number on a field or a parameter is refused; the TypeScript constructs page carries that row with the compiler's own message.
A signature may name a type the ambient file declares for its own use. These are those declarations.
Numerictype Numeric = number | vec2 | vec3 | vec4 | vec2i | vec3i | vec4i | vec2u | vec3u | vec4u
Parameters
Return value
V([P0] extends [boolean] ? bool : typeof f32Tag extends keyof P0 ? f32 : typeof i32Tag extends keyof P0 ? i32 : typeof u32Tag extends keyof P0 ? u32 : typeof f64Tag extends keyof P0 ? f64 : number)T
Description
A bare literal exponent is an i32. Spelled through intBitsToFloat on GLSL ES 3.00, which has no ldexp.
Targets
- WGSL
-
ldexp(a, b) - GLSL ES 3.00
-
(a * intBitsToFloat(((b >> 1) + 127) << 23) * intBitsToFloat(((b - (b >> 1)) + 127) << 23))