`ldexp`

함수

Returns x * 2^e: an f32 or float vector x with an i32 or integer vector exponent e of the same shape.

이름마다 붙은 시그니처와 설명은 커밋 26de7be8의 컴파일러 소스에서 그대로 가져온 영어 원문입니다.

구문

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)): V
declare 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): T

매개변수나 반환 위치에 쓰인 number는 스칼라가 들어갈 자리입니다. 앰비언트 파일은 GPU 스칼라를 브랜드가 붙은 number로 선언하고 그 브랜드는 선택이라서, 리터럴도 브랜드가 붙은 스칼라도 이 자리에 들어갑니다.

type f32 = number & { readonly [f32Tag]?: true }

직접 쓰는 선언에는 여전히 너비가 필요합니다. 필드나 매개변수에 number만 적으면 거부되며, 그 행과 컴파일러가 낸 메시지는 TypeScript에서 페이지에 있습니다.

시그니처에는 앰비언트 파일이 스스로 쓰려고 선언한 타입이 나올 수 있습니다. 아래가 그 선언입니다.

Numeric: type Numeric = number | vec2 | vec3 | vec4 | vec2i | vec3i | vec4i | vec2u | vec3u | vec4u

매개변수

x VP0T
e (V extends { readonly [vecTag]: readonly [unknown, 2] } ? vec2i : V extends { readonly [vecTag]: readonly [unknown, 3] } ? vec3i : vec4i)P1Numeric

반환값

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

설명

A bare literal exponent is an i32. Spelled through intBitsToFloat on GLSL ES 3.00, which has no ldexp.

CPU 오라클이 f64로 직접 계산합니다.

대상별 출력

WGSL: ldexp(a, b)
GLSL ES 3.00: (a * intBitsToFloat(((b >> 1) + 127) << 23) * intBitsToFloat(((b - (b >> 1)) + 127) << 23))

예제

bit-bump.shade.ts

함께 보기

이 페이지 편집 문제 보고