TS8034

발생 조건

workgroupBarrier() / storageBarrier() somewhere a barrier cannot stand (§25): in a vertex or fragment entry, which has no workgroup; or as a value, since a barrier is a statement (roadmap 0.2 item 5). A barrier or a workgroupUniformLoad under control flow the invocations do not share is UNIFORMITY (§54), not this.

예제

"use typeshade"

@fragment
export function main(@location(0) uv: vec2): vec4 {
  workgroupBarrier()
  return vec4(uv, 0., 1.)
}

빌드할 때 고정된 컴파일러로 이 프로그램을 컴파일하면 다음 진단이 나옵니다.

고치는 법

같은 프로그램을 고친 모습입니다. 진단 없이 컴파일됩니다.

"use typeshade"

@fragment
export function main(@location(0) uv: vec2): vec4 {
  return vec4(uv, 0., 1.)
}

이 코드가 적용하는 규칙

규칙 8.3 테스트

A builtin WGSL confines by stage may be used in an entry of a permitted stage, and in a helper that no entry of an excluded stage can reach.

함께 보기

TS8052 UNIFORMITY

A call that needs uniform control flow — textureSample and the other implicit-LOD forms, the derivatives, a barrier, or workgroupUniformLoad — reached under a condition that is not uniform across the invocations that run together (an if, a switch, a loop's condition, the left side of && or ||, the condition of a ?: WGSL writes as an if), or after a return, break or continue taken under one (§54).

• 제어 흐름
• workgroupBarrier
• storageBarrier
• workgroupUniformLoad
• 오류 코드

소스

커밋 c66579bf에서 컴파일러가 이 코드를 내는 곳입니다. 파일마다 한 줄씩 적었습니다.

• src/compiler/ts/lower/barriers.ts:73
• src/compiler/ts/lower/expression-call.ts:438