Skip to content

Commit

Permalink
fixup! feat(const_eval): impl. abs
Browse files Browse the repository at this point in the history
  • Loading branch information
@ErichDonGubler
ErichDonGubler committed Dec 22, 2023
1 parent 43360cc commit 342c881
Show file tree
Hide file tree
Showing 5 changed files with 69 additions and 71 deletions.
6 changes: 3 additions & 3 deletions naga/tests/out/glsl/math-functions.main.Fragment.glsl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -67,7 +67,7 @@ void main() {
float sign_c = sign(-1.0);
vec4 sign_d = sign(vec4(-1.0));
int const_dot = ( + ivec2(0).x * ivec2(0).x + ivec2(0).y * ivec2(0).y);
uint first_leading_bit_abs = uint(findMSB(uint(abs(int(0u)))));
uint first_leading_bit_abs = uint(findMSB(0u));
int flb_a = findMSB(-1);
ivec2 flb_b = findMSB(ivec2(-1));
uvec2 flb_c = uvec2(findMSB(uvec2(1u)));
Expand All @@ -85,8 +85,8 @@ void main() {
ivec2 ctz_h = ivec2(min(uvec2(findLSB(ivec2(1))), uvec2(32u)));
int clz_a = (-1 < 0 ? 0 : 31 - findMSB(-1));
uint clz_b = uint(31 - findMSB(1u));
ivec2 _e68 = ivec2(-1);
ivec2 clz_c = mix(ivec2(31) - findMSB(_e68), ivec2(0), lessThan(_e68, ivec2(0)));
ivec2 _e67 = ivec2(-1);
ivec2 clz_c = mix(ivec2(31) - findMSB(_e67), ivec2(0), lessThan(_e67, ivec2(0)));
uvec2 clz_d = uvec2(ivec2(31) - findMSB(uvec2(1u)));
float lde_a = ldexp(1.0, 2);
vec2 lde_b = ldexp(vec2(1.0, 2.0), ivec2(3, 4));
Expand Down
6 changes: 3 additions & 3 deletions naga/tests/out/hlsl/math-functions.hlsl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ void main()
float sign_c = sign(-1.0);
float4 sign_d = sign((-1.0).xxxx);
int const_dot = dot((int2)0, (int2)0);
uint first_leading_bit_abs = firstbithigh(abs(0u));
uint first_leading_bit_abs = firstbithigh(0u);
int flb_a = asint(firstbithigh(-1));
int2 flb_b = asint(firstbithigh((-1).xx));
uint2 flb_c = firstbithigh((1u).xx);
Expand All @@ -95,8 +95,8 @@ void main()
int2 ctz_h = asint(min((32u).xx, firstbitlow((1).xx)));
int clz_a = (-1 < 0 ? 0 : 31 - asint(firstbithigh(-1)));
uint clz_b = (31u - firstbithigh(1u));
int2 _expr68 = (-1).xx;
int2 clz_c = (_expr68 < (0).xx ? (0).xx : (31).xx - asint(firstbithigh(_expr68)));
int2 _expr67 = (-1).xx;
int2 clz_c = (_expr67 < (0).xx ? (0).xx : (31).xx - asint(firstbithigh(_expr67)));
uint2 clz_d = ((31u).xx - firstbithigh((1u).xx));
float lde_a = ldexp(1.0, 2);
float2 lde_b = ldexp(float2(1.0, 2.0), int2(3, 4));
Expand Down
11 changes: 5 additions & 6 deletions naga/tests/out/msl/math-functions.msl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -70,13 +70,12 @@ fragment void main_(
float sign_c = metal::sign(-1.0);
metal::float4 sign_d = metal::sign(metal::float4(-1.0));
int const_dot = ( + metal::int2 {}.x * metal::int2 {}.x + metal::int2 {}.y * metal::int2 {}.y);
uint _e23 = metal::abs(0u);
uint first_leading_bit_abs = metal::select(31 - metal::clz(_e23), uint(-1), _e23 == 0 || _e23 == -1);
uint first_leading_bit_abs = metal::select(31 - metal::clz(0u), uint(-1), 0u == 0 || 0u == -1);
int flb_a = metal::select(31 - metal::clz(metal::select(-1, ~-1, -1 < 0)), int(-1), -1 == 0 || -1 == -1);
metal::int2 _e28 = metal::int2(-1);
metal::int2 flb_b = metal::select(31 - metal::clz(metal::select(_e28, ~_e28, _e28 < 0)), int2(-1), _e28 == 0 || _e28 == -1);
metal::uint2 _e31 = metal::uint2(1u);
metal::uint2 flb_c = metal::select(31 - metal::clz(_e31), uint2(-1), _e31 == 0 || _e31 == -1);
metal::int2 _e27 = metal::int2(-1);
metal::int2 flb_b = metal::select(31 - metal::clz(metal::select(_e27, ~_e27, _e27 < 0)), int2(-1), _e27 == 0 || _e27 == -1);
metal::uint2 _e30 = metal::uint2(1u);
metal::uint2 flb_c = metal::select(31 - metal::clz(_e30), uint2(-1), _e30 == 0 || _e30 == -1);
int ftb_a = (((metal::ctz(-1) + 1) % 33) - 1);
uint ftb_b = (((metal::ctz(1u) + 1) % 33) - 1);
metal::int2 ftb_c = (((metal::ctz(metal::int2(-1)) + 1) % 33) - 1);
Expand Down
115 changes: 57 additions & 58 deletions naga/tests/out/spv/math-functions.spvasm
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
; SPIR-V
; Version: 1.1
; Generator: rspirv
; Bound: 126
; Bound: 125
OpCapability Shader
%1 = OpExtInstImport "GLSL.std.450"
OpMemoryModel Logical GLSL450
Expand Down Expand Up @@ -61,10 +61,10 @@ OpMemberDecorate %13 1 Offset 16
%45 = OpConstantComposite %3 %43 %43 %43 %43
%52 = OpConstantComposite %3 %17 %17 %17 %17
%59 = OpConstantNull %6
%77 = OpConstant %25 32
%86 = OpConstantComposite %29 %77 %77
%95 = OpConstant %6 31
%100 = OpConstantComposite %5 %95 %95
%76 = OpConstant %25 32
%85 = OpConstantComposite %29 %76 %76
%94 = OpConstant %6 31
%99 = OpConstantComposite %5 %94 %94
%15 = OpFunction %2 None %16
%14 = OpLabel
OpBranch %46
Expand All @@ -87,60 +87,59 @@ OpBranch %46
%65 = OpCompositeExtract %6 %24 1
%66 = OpIMul %6 %64 %65
%58 = OpIAdd %6 %63 %66
%67 = OpCopyObject %25 %26
%68 = OpExtInst %25 %1 FindUMsb %67
%69 = OpExtInst %6 %1 FindSMsb %20
%70 = OpExtInst %5 %1 FindSMsb %27
%71 = OpExtInst %29 %1 FindUMsb %30
%72 = OpExtInst %6 %1 FindILsb %20
%73 = OpExtInst %25 %1 FindILsb %28
%74 = OpExtInst %5 %1 FindILsb %27
%75 = OpExtInst %29 %1 FindILsb %30
%78 = OpExtInst %25 %1 FindILsb %26
%76 = OpExtInst %25 %1 UMin %77 %78
%80 = OpExtInst %6 %1 FindILsb %31
%79 = OpExtInst %6 %1 UMin %77 %80
%82 = OpExtInst %25 %1 FindILsb %32
%81 = OpExtInst %25 %1 UMin %77 %82
%84 = OpExtInst %6 %1 FindILsb %20
%83 = OpExtInst %6 %1 UMin %77 %84
%87 = OpExtInst %29 %1 FindILsb %33
%85 = OpExtInst %29 %1 UMin %86 %87
%89 = OpExtInst %5 %1 FindILsb %34
%88 = OpExtInst %5 %1 UMin %86 %89
%91 = OpExtInst %29 %1 FindILsb %30
%90 = OpExtInst %29 %1 UMin %86 %91
%93 = OpExtInst %5 %1 FindILsb %36
%92 = OpExtInst %5 %1 UMin %86 %93
%96 = OpExtInst %6 %1 FindUMsb %20
%94 = OpISub %6 %95 %96
%98 = OpExtInst %6 %1 FindUMsb %28
%97 = OpISub %25 %95 %98
%101 = OpExtInst %5 %1 FindUMsb %27
%99 = OpISub %5 %100 %101
%103 = OpExtInst %5 %1 FindUMsb %30
%102 = OpISub %29 %100 %103
%104 = OpExtInst %4 %1 Ldexp %17 %37
%105 = OpExtInst %7 %1 Ldexp %39 %42
%67 = OpExtInst %25 %1 FindUMsb %26
%68 = OpExtInst %6 %1 FindSMsb %20
%69 = OpExtInst %5 %1 FindSMsb %27
%70 = OpExtInst %29 %1 FindUMsb %30
%71 = OpExtInst %6 %1 FindILsb %20
%72 = OpExtInst %25 %1 FindILsb %28
%73 = OpExtInst %5 %1 FindILsb %27
%74 = OpExtInst %29 %1 FindILsb %30
%77 = OpExtInst %25 %1 FindILsb %26
%75 = OpExtInst %25 %1 UMin %76 %77
%79 = OpExtInst %6 %1 FindILsb %31
%78 = OpExtInst %6 %1 UMin %76 %79
%81 = OpExtInst %25 %1 FindILsb %32
%80 = OpExtInst %25 %1 UMin %76 %81
%83 = OpExtInst %6 %1 FindILsb %20
%82 = OpExtInst %6 %1 UMin %76 %83
%86 = OpExtInst %29 %1 FindILsb %33
%84 = OpExtInst %29 %1 UMin %85 %86
%88 = OpExtInst %5 %1 FindILsb %34
%87 = OpExtInst %5 %1 UMin %85 %88
%90 = OpExtInst %29 %1 FindILsb %30
%89 = OpExtInst %29 %1 UMin %85 %90
%92 = OpExtInst %5 %1 FindILsb %36
%91 = OpExtInst %5 %1 UMin %85 %92
%95 = OpExtInst %6 %1 FindUMsb %20
%93 = OpISub %6 %94 %95
%97 = OpExtInst %6 %1 FindUMsb %28
%96 = OpISub %25 %94 %97
%100 = OpExtInst %5 %1 FindUMsb %27
%98 = OpISub %5 %99 %100
%102 = OpExtInst %5 %1 FindUMsb %30
%101 = OpISub %29 %99 %102
%103 = OpExtInst %4 %1 Ldexp %17 %37
%104 = OpExtInst %7 %1 Ldexp %39 %42
%105 = OpExtInst %8 %1 ModfStruct %43
%106 = OpExtInst %8 %1 ModfStruct %43
%107 = OpExtInst %8 %1 ModfStruct %43
%108 = OpCompositeExtract %4 %107 0
%109 = OpExtInst %8 %1 ModfStruct %43
%110 = OpCompositeExtract %4 %109 1
%111 = OpExtInst %9 %1 ModfStruct %44
%112 = OpExtInst %10 %1 ModfStruct %45
%113 = OpCompositeExtract %3 %112 1
%114 = OpCompositeExtract %4 %113 0
%115 = OpExtInst %9 %1 ModfStruct %44
%116 = OpCompositeExtract %7 %115 0
%117 = OpCompositeExtract %4 %116 1
%107 = OpCompositeExtract %4 %106 0
%108 = OpExtInst %8 %1 ModfStruct %43
%109 = OpCompositeExtract %4 %108 1
%110 = OpExtInst %9 %1 ModfStruct %44
%111 = OpExtInst %10 %1 ModfStruct %45
%112 = OpCompositeExtract %3 %111 1
%113 = OpCompositeExtract %4 %112 0
%114 = OpExtInst %9 %1 ModfStruct %44
%115 = OpCompositeExtract %7 %114 0
%116 = OpCompositeExtract %4 %115 1
%117 = OpExtInst %11 %1 FrexpStruct %43
%118 = OpExtInst %11 %1 FrexpStruct %43
%119 = OpExtInst %11 %1 FrexpStruct %43
%120 = OpCompositeExtract %4 %119 0
%121 = OpExtInst %11 %1 FrexpStruct %43
%122 = OpCompositeExtract %6 %121 1
%123 = OpExtInst %13 %1 FrexpStruct %45
%124 = OpCompositeExtract %12 %123 1
%125 = OpCompositeExtract %6 %124 0
%119 = OpCompositeExtract %4 %118 0
%120 = OpExtInst %11 %1 FrexpStruct %43
%121 = OpCompositeExtract %6 %120 1
%122 = OpExtInst %13 %1 FrexpStruct %45
%123 = OpCompositeExtract %12 %122 1
%124 = OpCompositeExtract %6 %123 0
OpReturn
OpFunctionEnd
2 changes: 1 addition & 1 deletion naga/tests/out/wgsl/math-functions.wgsl
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ fn main() {
let sign_c = sign(-1f);
let sign_d = sign(vec4(-1f));
let const_dot = dot(vec2<i32>(), vec2<i32>());
let first_leading_bit_abs = firstLeadingBit(abs(0u));
let first_leading_bit_abs = firstLeadingBit(0u);
let flb_a = firstLeadingBit(-1i);
let flb_b = firstLeadingBit(vec2(-1i));
let flb_c = firstLeadingBit(vec2(1u));
Expand Down

0 comments on commit 342c881

Please sign in to comment.