encounter
/
dawn-cmake
mirror of https://github.com/encounter/dawn-cmake.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

tint: delete e2e tests that fail because Tint detects infinite loops 

Bug: tint:1521
Change-Id: I9ae9af0b3799e3be1c2cb083e9f2ae5752b63b58
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/88362
Reviewed-by: Ben Clayton <bclayton@google.com>
Kokoro: Kokoro <noreply+kokoro@google.com>
This commit is contained in:
Antonio Maiorano 2022-04-29 15:31:22 +00:00
parent b52c8a4758
commit 98685f34a5
204 changed files with 0 additions and 6738 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_Back.spvasm
View File

@ -1,54 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_Back.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %20 None
OpBranchConditional %5 %20 %20
%99 = OpLabel
OpStore %var %uint_5
OpReturn
OpFunctionEnd

20
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_Back.spvasm.expected.glsl
View File

@ -1,20 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

20
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_Back.spvasm.expected.hlsl
View File

@ -1,20 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

20
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_Back.spvasm.expected.msl
View File

@ -1,20 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

20
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_Back.spvasm.expected.spvasm
View File

@ -1,20 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 5u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

20
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Back_SingleBlock_Back.spvasm.expected.wgsl
View File

@ -1,20 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

67
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional.spvasm
View File

@ -1,67 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpSelectionMerge %50 None
OpBranchConditional %true %40 %50
%40 = OpLabel
OpStore %var %uint_3
OpBranchConditional %false %80 %80
%50 = OpLabel
OpStore %var %uint_4
OpBranch %80
%80 = OpLabel
OpStore %var %uint_5
OpBranch %20
%99 = OpLabel
OpStore %var %uint_6
OpReturn
OpFunctionEnd

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional.spvasm.expected.glsl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional.spvasm.expected.hlsl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional.spvasm.expected.msl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional.spvasm.expected.spvasm
View File

@ -1,30 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
if true
var_1 = 3u ;
continue ;
var_1 = 4u ;
continuing
var_1 = 5u ;
var_1 = 6u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional.spvasm.expected.wgsl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

66
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional_EmptyContinuing.spvasm
View File

@ -1,66 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional_EmptyContinuing.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpSelectionMerge %50 None
OpBranchConditional %true %40 %50
%40 = OpLabel
OpStore %var %uint_3
OpBranchConditional %false %80 %80
%50 = OpLabel
OpStore %var %uint_4
OpBranch %80
%80 = OpLabel
OpBranch %20
%99 = OpLabel
OpStore %var %uint_6
OpReturn
OpFunctionEnd

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional_EmptyContinuing.spvasm.expected.glsl
View File

@ -1,26 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional_EmptyContinuing.spvasm.expected.hlsl
View File

@ -1,26 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional_EmptyContinuing.spvasm.expected.msl
View File

@ -1,26 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional_EmptyContinuing.spvasm.expected.spvasm
View File

@ -1,26 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
if true
var_1 = 3u ;
continue ;
var_1 = 4u ;
var_1 = 6u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Conditional_EmptyContinuing.spvasm.expected.wgsl
View File

@ -1,26 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
continue;
}
var_1 = 4u;
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

60
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Unconditional.spvasm
View File

@ -1,60 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Unconditional.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpBranchConditional %5 %80 %80
%80 = OpLabel
OpStore %var %uint_4
OpBranch %20
%99 = OpLabel
OpStore %var %uint_5
OpReturn
OpFunctionEnd

25
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Unconditional.spvasm.expected.glsl
View File

@ -1,25 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

25
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Unconditional.spvasm.expected.hlsl
View File

@ -1,25 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

25
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Unconditional.spvasm.expected.msl
View File

@ -1,25 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

25
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Unconditional.spvasm.expected.spvasm
View File

@ -1,25 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
continuing
var_1 = 4u ;
var_1 = 5u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

25
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_AfterHeader_Unconditional.spvasm.expected.wgsl
View File

@ -1,25 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

57
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_FromHeader.spvasm
View File

@ -1,57 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_FromHeader.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranchConditional %5 %80 %80
%80 = OpLabel
OpStore %var %uint_4
OpBranch %20
%99 = OpLabel
OpStore %var %uint_5
OpReturn
OpFunctionEnd

24
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_FromHeader.spvasm.expected.glsl
View File

@ -1,24 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

24
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_FromHeader.spvasm.expected.hlsl
View File

@ -1,24 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

24
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_FromHeader.spvasm.expected.msl
View File

@ -1,24 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

24
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_FromHeader.spvasm.expected.spvasm
View File

@ -1,24 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
continuing
var_1 = 4u ;
var_1 = 5u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

24
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Continue_FromHeader.spvasm.expected.wgsl
View File

@ -1,24 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

70
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnFalse.spvasm
View File

@ -1,70 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnFalse.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpSelectionMerge %79 None
OpSwitch %uint_42 %79 40 %40 50 %50
%40 = OpLabel
OpStore %var %uint_40
OpBranchConditional %5 %80 %50
%50 = OpLabel
OpStore %var %uint_50
OpBranch %79
%79 = OpLabel
OpStore %var %uint_3
OpBranch %80
%80 = OpLabel
OpStore %var %uint_4
OpBranch %20
%99 = OpLabel
OpStore %var %uint_5
OpReturn
OpFunctionEnd

40
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnFalse.spvasm.expected.glsl
View File

@ -1,40 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

40
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnFalse.spvasm.expected.hlsl
View File

@ -1,40 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

40
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnFalse.spvasm.expected.msl
View File

@ -1,40 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

40
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnFalse.spvasm.expected.spvasm
View File

@ -1,40 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
switch 42u
case 40u
var_1 = 40u ;
if false
continue ;
fallthrough ;
case 50u
var_1 = 50u ;
default
var_1 = 3u ;
continuing
var_1 = 4u ;
var_1 = 5u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

40
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnFalse.spvasm.expected.wgsl
View File

@ -1,40 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

70
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnTrue.spvasm
View File

@ -1,70 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnTrue.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpSelectionMerge %79 None
OpSwitch %uint_42 %79 40 %40 50 %50
%40 = OpLabel
OpStore %var %uint_40
OpBranchConditional %5 %50 %80
%50 = OpLabel
OpStore %var %uint_50
OpBranch %79
%79 = OpLabel
OpStore %var %uint_3
OpBranch %80
%80 = OpLabel
OpStore %var %uint_4
OpBranch %20
%99 = OpLabel
OpStore %var %uint_5
OpReturn
OpFunctionEnd

41
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnTrue.spvasm.expected.glsl
View File

@ -1,41 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

41
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnTrue.spvasm.expected.hlsl
View File

@ -1,41 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

41
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnTrue.spvasm.expected.msl
View File

@ -1,41 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

41
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnTrue.spvasm.expected.spvasm
View File

@ -1,41 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
switch 42u
case 40u
var_1 = 40u ;
if false
else
continue ;
fallthrough ;
case 50u
var_1 = 50u ;
default
var_1 = 3u ;
continuing
var_1 = 4u ;
var_1 = 5u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

41
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Fallthrough_OnTrue.spvasm.expected.wgsl
View File

@ -1,41 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
fallthrough;
}
case 50u: {
var_1 = 50u;
}
default: {
}
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

63
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnFalse.spvasm
View File

@ -1,63 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnFalse.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpBranchConditional %5 %80 %40
%40 = OpLabel
OpStore %var %uint_3
OpBranch %80
%80 = OpLabel
OpStore %var %uint_4
OpBranch %20
%99 = OpLabel
OpStore %var %uint_5
OpReturn
OpFunctionEnd

29
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnFalse.spvasm.expected.glsl
View File

@ -1,29 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

29
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnFalse.spvasm.expected.hlsl
View File

@ -1,29 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

29
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnFalse.spvasm.expected.msl
View File

@ -1,29 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

29
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnFalse.spvasm.expected.spvasm
View File

@ -1,29 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
if false
continue ;
var_1 = 3u ;
continuing
var_1 = 4u ;
var_1 = 5u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

29
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnFalse.spvasm.expected.wgsl
View File

@ -1,29 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

63
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnTrue.spvasm
View File

@ -1,63 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnTrue.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpBranchConditional %5 %40 %80
%40 = OpLabel
OpStore %var %uint_3
OpBranch %80
%80 = OpLabel
OpStore %var %uint_4
OpBranch %20
%99 = OpLabel
OpStore %var %uint_5
OpReturn
OpFunctionEnd

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnTrue.spvasm.expected.glsl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
} else {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnTrue.spvasm.expected.hlsl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
} else {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnTrue.spvasm.expected.msl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
} else {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnTrue.spvasm.expected.spvasm
View File

@ -1,30 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
if false
else
continue ;
var_1 = 3u ;
continuing
var_1 = 4u ;
var_1 = 5u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

30
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_Forward_OnTrue.spvasm.expected.wgsl
View File

@ -1,30 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (false) {
} else {
continue;
}
var_1 = 3u;
continuing {
var_1 = 4u;
}
}
var_1 = 5u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

67
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnFalse.spvasm
View File

@ -1,67 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnFalse.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpSelectionMerge %50 None
OpBranchConditional %true %40 %50
%40 = OpLabel
OpStore %var %uint_3
OpBranchConditional %false %80 %50
%50 = OpLabel
OpStore %var %uint_4
OpBranch %80
%80 = OpLabel
OpStore %var %uint_5
OpBranch %20
%99 = OpLabel
OpStore %var %uint_6
OpReturn
OpFunctionEnd

32
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnFalse.spvasm.expected.glsl
View File

@ -1,32 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

32
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnFalse.spvasm.expected.hlsl
View File

@ -1,32 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

32
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnFalse.spvasm.expected.msl
View File

@ -1,32 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

32
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnFalse.spvasm.expected.spvasm
View File

@ -1,32 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
if true
var_1 = 3u ;
if false
continue ;
var_1 = 4u ;
continuing
var_1 = 5u ;
var_1 = 6u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

32
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnFalse.spvasm.expected.wgsl
View File

@ -1,32 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

67
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnTrue.spvasm
View File

@ -1,67 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnTrue.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_0
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_2
OpSelectionMerge %50 None
OpBranchConditional %true %40 %50
%40 = OpLabel
OpStore %var %uint_3
OpBranchConditional %false %50 %80
%50 = OpLabel
OpStore %var %uint_4
OpBranch %80
%80 = OpLabel
OpStore %var %uint_5
OpBranch %20
%99 = OpLabel
OpStore %var %uint_6
OpReturn
OpFunctionEnd

33
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnTrue.spvasm.expected.glsl
View File

@ -1,33 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
} else {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

33
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnTrue.spvasm.expected.hlsl
View File

@ -1,33 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
} else {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

33
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnTrue.spvasm.expected.msl
View File

@ -1,33 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
} else {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

33
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnTrue.spvasm.expected.spvasm
View File

@ -1,33 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 0u ;
loop
var_1 = 1u ;
var_1 = 2u ;
if true
var_1 = 3u ;
if false
else
continue ;
var_1 = 4u ;
continuing
var_1 = 5u ;
var_1 = 6u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

33
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_Continue_IfBreak_OnTrue.spvasm.expected.wgsl
View File

@ -1,33 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 0u;
loop {
var_1 = 1u;
var_1 = 2u;
if (true) {
var_1 = 3u;
if (false) {
} else {
continue;
}
}
var_1 = 4u;
continuing {
var_1 = 5u;
}
}
var_1 = 6u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

67
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopContinue_FromSwitch.spvasm
View File

@ -1,67 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_LoopContinue_FromSwitch.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_1
OpBranch %20
%20 = OpLabel
OpStore %var %uint_2
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_3
OpSelectionMerge %79 None
OpSwitch %uint_42 %79 40 %40
%40 = OpLabel
OpStore %var %uint_4
OpBranchConditional %true %80 %80
%79 = OpLabel
OpStore %var %uint_5
OpBranch %80
%80 = OpLabel
OpStore %var %uint_6
OpBranch %20
%99 = OpLabel
OpStore %var %uint_7
OpReturn
OpFunctionEnd

34
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopContinue_FromSwitch.spvasm.expected.glsl
View File

@ -1,34 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 4u;
continue;
}
default: {
}
}
var_1 = 5u;
continuing {
var_1 = 6u;
}
}
var_1 = 7u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

34
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopContinue_FromSwitch.spvasm.expected.hlsl
View File

@ -1,34 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 4u;
continue;
}
default: {
}
}
var_1 = 5u;
continuing {
var_1 = 6u;
}
}
var_1 = 7u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

34
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopContinue_FromSwitch.spvasm.expected.msl
View File

@ -1,34 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 4u;
continue;
}
default: {
}
}
var_1 = 5u;
continuing {
var_1 = 6u;
}
}
var_1 = 7u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

34
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopContinue_FromSwitch.spvasm.expected.spvasm
View File

@ -1,34 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 1u ;
loop
var_1 = 2u ;
var_1 = 3u ;
switch 42u
case 40u
var_1 = 4u ;
continue ;
default
var_1 = 5u ;
continuing
var_1 = 6u ;
var_1 = 7u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

34
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_LoopContinue_FromSwitch.spvasm.expected.wgsl
View File

@ -1,34 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 4u;
continue;
}
default: {
}
}
var_1 = 5u;
continuing {
var_1 = 6u;
}
}
var_1 = 7u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

67
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnFalse.spvasm
View File

@ -1,67 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnFalse.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_1
OpBranch %20
%20 = OpLabel
OpStore %var %uint_2
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_3
OpSelectionMerge %79 None
OpSwitch %uint_42 %79 40 %40
%40 = OpLabel
OpStore %var %uint_40
OpBranchConditional %5 %79 %80
%79 = OpLabel
OpStore %var %uint_6
OpBranch %80
%80 = OpLabel
OpStore %var %uint_7
OpBranch %20
%99 = OpLabel
OpStore %var %uint_8
OpReturn
OpFunctionEnd

37
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnFalse.spvasm.expected.glsl
View File

@ -1,37 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

37
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnFalse.spvasm.expected.hlsl
View File

@ -1,37 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

37
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnFalse.spvasm.expected.msl
View File

@ -1,37 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

37
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnFalse.spvasm.expected.spvasm
View File

@ -1,37 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 1u ;
loop
var_1 = 2u ;
var_1 = 3u ;
switch 42u
case 40u
var_1 = 40u ;
if false
else
continue ;
default
var_1 = 6u ;
continuing
var_1 = 7u ;
var_1 = 8u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

37
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnFalse.spvasm.expected.wgsl
View File

@ -1,37 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
} else {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

67
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnTrue.spvasm
View File

@ -1,67 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnTrue.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpStore %var %uint_1
OpBranch %20
%20 = OpLabel
OpStore %var %uint_2
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpStore %var %uint_3
OpSelectionMerge %79 None
OpSwitch %uint_42 %79 40 %40
%40 = OpLabel
OpStore %var %uint_40
OpBranchConditional %5 %80 %79
%79 = OpLabel
OpStore %var %uint_6
OpBranch %80
%80 = OpLabel
OpStore %var %uint_7
OpBranch %20
%99 = OpLabel
OpStore %var %uint_8
OpReturn
OpFunctionEnd

36
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnTrue.spvasm.expected.glsl
View File

@ -1,36 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

36
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnTrue.spvasm.expected.hlsl
View File

@ -1,36 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

36
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnTrue.spvasm.expected.msl
View File

@ -1,36 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

36
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnTrue.spvasm.expected.spvasm
View File

@ -1,36 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
var_1 = 1u ;
loop
var_1 = 2u ;
var_1 = 3u ;
switch 42u
case 40u
var_1 = 40u ;
if false
continue ;
default
var_1 = 6u ;
continuing
var_1 = 7u ;
var_1 = 8u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

36
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_BranchConditional_SwitchBreak_Continue_OnTrue.spvasm.expected.wgsl
View File

@ -1,36 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
var_1 = 1u;
loop {
var_1 = 2u;
var_1 = 3u;
switch(42u) {
case 40u: {
var_1 = 40u;
if (false) {
continue;
}
}
default: {
}
}
var_1 = 6u;
continuing {
var_1 = 7u;
}
}
var_1 = 8u;
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

54
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_MultiBlockLoop.spvasm
View File

@ -1,54 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_Branch_BackEdge_MultiBlockLoop.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpBranch %20
%20 = OpLabel
OpLoopMerge %99 %80 None
OpBranch %80
%80 = OpLabel
OpStore %var %uint_1
OpBranch %20
%99 = OpLabel
OpReturn
OpFunctionEnd

21
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_MultiBlockLoop.spvasm.expected.glsl
View File

@ -1,21 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
continuing {
var_1 = 1u;
}
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

21
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_MultiBlockLoop.spvasm.expected.hlsl
View File

@ -1,21 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
continuing {
var_1 = 1u;
}
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

21
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_MultiBlockLoop.spvasm.expected.msl
View File

@ -1,21 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
continuing {
var_1 = 1u;
}
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

21
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_MultiBlockLoop.spvasm.expected.spvasm
View File

@ -1,21 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
loop
continuing
var_1 = 1u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

21
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_MultiBlockLoop.spvasm.expected.wgsl
View File

@ -1,21 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
continuing {
var_1 = 1u;
}
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

52
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_SingleBlockLoop.spvasm
View File

@ -1,52 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_Branch_BackEdge_SingleBlockLoop.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpBranch %20
%20 = OpLabel
OpStore %var %uint_1
OpLoopMerge %99 %20 None
OpBranch %20
%99 = OpLabel
OpReturn
OpFunctionEnd

18
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_SingleBlockLoop.spvasm.expected.glsl
View File

@ -1,18 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
var_1 = 1u;
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

18
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_SingleBlockLoop.spvasm.expected.hlsl
View File

@ -1,18 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
var_1 = 1u;
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

18
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_SingleBlockLoop.spvasm.expected.msl
View File

@ -1,18 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
var_1 = 1u;
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

18
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_SingleBlockLoop.spvasm.expected.spvasm
View File

@ -1,18 +0,0 @@
SKIP FAILED
var private var_1 u32 ;
fn main_1
loop
var_1 = 1u ;
return ;
stage fragment
fn main
main_1 ;
error loop does not exit

18
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_BackEdge_SingleBlockLoop.spvasm.expected.wgsl
View File

@ -1,18 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
var_1 = 1u;
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

63
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_LoopContinue_BeforeLast.spvasm
View File

@ -1,63 +0,0 @@
; Test: SpvParserCFGTest_EmitBody_Branch_LoopContinue_BeforeLast.spvasm
; SPIR-V
; Version: 1.0
; Generator: Khronos SPIR-V Tools Assembler; 0
; Bound: 1000
; Schema: 0
OpCapability Shader
OpMemoryModel Logical Simple
OpEntryPoint Fragment %100 "main"
OpExecutionMode %100 OriginUpperLeft
OpName %var "var"
%void = OpTypeVoid
%3 = OpTypeFunction %void
%bool = OpTypeBool
%5 = OpConstantNull %bool
%true = OpConstantTrue %bool
%false = OpConstantFalse %bool
%uint = OpTypeInt 32 0
%int = OpTypeInt 32 1
%uint_42 = OpConstant %uint 42
%int_42 = OpConstant %int 42
%13 = OpTypeFunction %uint
%uint_0 = OpConstant %uint 0
%uint_1 = OpConstant %uint 1
%uint_2 = OpConstant %uint 2
%uint_3 = OpConstant %uint 3
%uint_4 = OpConstant %uint 4
%uint_5 = OpConstant %uint 5
%uint_6 = OpConstant %uint 6
%uint_7 = OpConstant %uint 7
%uint_8 = OpConstant %uint 8
%uint_10 = OpConstant %uint 10
%uint_20 = OpConstant %uint 20
%uint_30 = OpConstant %uint 30
%uint_40 = OpConstant %uint 40
%uint_50 = OpConstant %uint 50
%uint_90 = OpConstant %uint 90
%uint_99 = OpConstant %uint 99
%_ptr_Private_uint = OpTypePointer Private %uint
%var = OpVariable %_ptr_Private_uint Private
%uint_999 = OpConstant %uint 999
%100 = OpFunction %void None %3
%10 = OpLabel
OpBranch %20
%20 = OpLabel
OpLoopMerge %99 %80 None
OpBranch %30
%30 = OpLabel
OpSelectionMerge %50 None
OpBranchConditional %5 %40 %50
%40 = OpLabel
OpStore %var %uint_1
OpBranch %80
%50 = OpLabel
OpStore %var %uint_2
OpBranch %80
%80 = OpLabel
OpStore %var %uint_3
OpBranch %20
%99 = OpLabel
OpReturn
OpFunctionEnd

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_LoopContinue_BeforeLast.spvasm.expected.glsl
View File

@ -1,26 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
if (false) {
var_1 = 1u;
continue;
}
var_1 = 2u;
continuing {
var_1 = 3u;
}
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_LoopContinue_BeforeLast.spvasm.expected.hlsl
View File

@ -1,26 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
if (false) {
var_1 = 1u;
continue;
}
var_1 = 2u;
continuing {
var_1 = 3u;
}
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

26
test/tint/unittest/reader/spirv/SpvParserCFGTest_EmitBody_Branch_LoopContinue_BeforeLast.spvasm.expected.msl
View File

@ -1,26 +0,0 @@
SKIP: FAILED
var<private> var_1 : u32;
fn main_1() {
loop {
if (false) {
var_1 = 1u;
continue;
}
var_1 = 2u;
continuing {
var_1 = 3u;
}
}
return;
}
@stage(fragment)
fn main() {
main_1();
}
error: loop does not exit

Some files were not shown because too many files have changed in this diff Show More