encounter/dawn-cmake
1
0
Fork 0
mirror of https://github.com/encounter/dawn-cmake.git synced 2025-12-11 22:44:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

MSL writer: make signed int overflow defined behaviour

Browse Source 
Bug: tint:124
Change-Id: Icf545b633d6390ceb7f639e80111390005e311a1
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/60100
Kokoro: Kokoro <noreply+kokoro@google.com>
Commit-Queue: Antonio Maiorano <amaiorano@google.com>
Reviewed-by: David Neto <dneto@google.com>
This commit is contained in:
Antonio Maiorano
2021-07-29 13:51:47 +00:00
committed by Tint LUCI CQ
parent 1f0200a3ff
commit e5dbe24e94
651 changed files with 3963 additions and 3048 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.spvasm.expected.msl
View File

@@ -99,7 +99,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
}
if (x_78) {
{
x_87 = (x_86 + 1);
x_87 = as_type<int>((as_type<uint>(x_86) + as_type<uint>(1)));
x_86_phi = x_87;
}
continue;
@@ -110,7 +110,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_87 = (x_86 + 1);
x_87 = as_type<int>((as_type<uint>(x_86) + as_type<uint>(1)));
x_86_phi = x_87;
}
}
@@ -125,7 +125,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
x_66 = x_66_phi;
x_63 = as_type<int>((x_62 + x_66));
x_63 = as_type<int>(as_type<int>((as_type<uint>(x_62) + as_type<uint>(x_66))));
if (x_41) {
while (true) {
if (x_41) {
@@ -143,7 +143,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_68 = (x_67 + 1);
x_68 = as_type<int>((as_type<uint>(x_67) + as_type<uint>(1)));
x_62_phi = x_63;
x_65_phi = x_66;
x_67_phi = x_68;
@@ -163,7 +163,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_53 = (x_52 + 1);
x_53 = as_type<int>((as_type<uint>(x_52) + as_type<uint>(1)));
x_45_phi = x_46;
x_48_phi = x_49;
x_50_phi = x_51;
@@ -215,7 +215,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
}
if (x_135) {
{
x_144 = (x_143 + 1);
x_144 = as_type<int>((as_type<uint>(x_143) + as_type<uint>(1)));
x_143_phi = x_144;
}
continue;
@@ -226,7 +226,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_144 = (x_143 + 1);
x_144 = as_type<int>((as_type<uint>(x_143) + as_type<uint>(1)));
x_143_phi = x_144;
}
}
@@ -242,13 +242,13 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
}
int x_119 = 0;
x_119 = x_119_phi;
x_116 = as_type<int>((x_115 + x_119));
x_116 = as_type<int>(as_type<int>((as_type<uint>(x_115) + as_type<uint>(x_119))));
if (select(x_41, false, !(x_41))) {
x_161_phi = x_116;
break;
}
{
x_121 = (x_120 + 1);
x_121 = as_type<int>((as_type<uint>(x_120) + as_type<uint>(1)));
x_115_phi = x_116;
x_118_phi = x_119;
x_120_phi = x_121;

18
test/vk-gl-cts/graphicsfuzz/increment-value-in-nested-for-loop/0.wgsl.expected.msl
View File

@@ -99,7 +99,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
}
if (x_78) {
{
x_87 = (x_86 + 1);
x_87 = as_type<int>((as_type<uint>(x_86) + as_type<uint>(1)));
x_86_phi = x_87;
}
continue;
@@ -110,7 +110,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_87 = (x_86 + 1);
x_87 = as_type<int>((as_type<uint>(x_86) + as_type<uint>(1)));
x_86_phi = x_87;
}
}
@@ -125,7 +125,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
x_66 = x_66_phi;
x_63 = as_type<int>((x_62 + x_66));
x_63 = as_type<int>(as_type<int>((as_type<uint>(x_62) + as_type<uint>(x_66))));
if (x_41) {
while (true) {
if (x_41) {
@@ -143,7 +143,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_68 = (x_67 + 1);
x_68 = as_type<int>((as_type<uint>(x_67) + as_type<uint>(1)));
x_62_phi = x_63;
x_65_phi = x_66;
x_67_phi = x_68;
@@ -163,7 +163,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_53 = (x_52 + 1);
x_53 = as_type<int>((as_type<uint>(x_52) + as_type<uint>(1)));
x_45_phi = x_46;
x_48_phi = x_49;
x_50_phi = x_51;
@@ -215,7 +215,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
}
if (x_135) {
{
x_144 = (x_143 + 1);
x_144 = as_type<int>((as_type<uint>(x_143) + as_type<uint>(1)));
x_143_phi = x_144;
}
continue;
@@ -226,7 +226,7 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
break;
}
{
x_144 = (x_143 + 1);
x_144 = as_type<int>((as_type<uint>(x_143) + as_type<uint>(1)));
x_143_phi = x_144;
}
}
@@ -242,13 +242,13 @@ void main_1(constant buf0& x_6, thread float4* const tint_symbol_5, thread float
}
int x_119 = 0;
x_119 = x_119_phi;
x_116 = as_type<int>((x_115 + x_119));
x_116 = as_type<int>(as_type<int>((as_type<uint>(x_115) + as_type<uint>(x_119))));
if (select(x_41, false, !(x_41))) {
x_161_phi = x_116;
break;
}
{
x_121 = (x_120 + 1);
x_121 = as_type<int>((as_type<uint>(x_120) + as_type<uint>(1)));
x_115_phi = x_116;
x_118_phi = x_119;
x_120_phi = x_121;