45ad58a903
In some cases we need to bitcast when dealing with int vs. uint. SPIR-V allows inputs to be of different integer signedness, so we need to deal with this somehow. Add testing system to test SPIR-V assembly. For now, test all possible combination for all major cases. - IAdd (which doesn't care about input type as long as they're equal) - SDiv/UDiv operations which case about input type. - Arith/Logical right shifts. - IEqual to test outputs to bvec, which shouldn't get output cast. Also tests casting in function-like calls.
28 lines
565 B
Plaintext
28 lines
565 B
Plaintext
#version 310 es
|
|
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
|
|
|
|
layout(binding = 0, std430) buffer _3
|
|
{
|
|
ivec4 _0;
|
|
uvec4 _1;
|
|
} _5;
|
|
|
|
layout(binding = 1, std430) buffer _4
|
|
{
|
|
uvec4 _0;
|
|
ivec4 _1;
|
|
} _6;
|
|
|
|
void main()
|
|
{
|
|
_6._0 = uvec4(ivec4(_5._1) >> _5._0);
|
|
_6._0 = uvec4(_5._0 >> ivec4(_5._1));
|
|
_6._0 = uvec4(ivec4(_5._1) >> ivec4(_5._1));
|
|
_6._0 = uvec4(_5._0 >> _5._0);
|
|
_6._1 = (ivec4(_5._1) >> ivec4(_5._1));
|
|
_6._1 = (_5._0 >> _5._0);
|
|
_6._1 = (ivec4(_5._1) >> _5._0);
|
|
_6._1 = (_5._0 >> ivec4(_5._1));
|
|
}
|
|
|