mirror of
https://github.com/encounter/dawn-cmake.git
synced 2025-05-16 12:21:35 +00:00
46ee63933c
Prevents UB for divide-by-zero and integer overflow when dividing Fixed: tint:1349 Change-Id: Ieef66d27d7aec3011628ced076b2bccc7770a8af Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/108925 Commit-Queue: Ben Clayton <bclayton@google.com> Reviewed-by: Dan Sinclair <dsinclair@chromium.org> Kokoro: Kokoro <noreply+kokoro@google.com>
25 lines
803 B
Plaintext
25 lines
803 B
Plaintext
#include <metal_stdlib>
|
|
|
|
using namespace metal;
|
|
int tint_div(int lhs, int rhs) {
|
|
return (lhs / select(rhs, 1, bool((rhs == 0) | bool((lhs == (-2147483647 - 1)) & (rhs == -1)))));
|
|
}
|
|
|
|
int tint_mod(int lhs, int rhs) {
|
|
return (lhs % select(rhs, 1, bool((rhs == 0) | bool((lhs == (-2147483647 - 1)) & (rhs == -1)))));
|
|
}
|
|
|
|
void foo(int maybe_zero) {
|
|
thread int tint_symbol = 0;
|
|
thread float tint_symbol_1 = 0.0f;
|
|
tint_symbol = tint_div(tint_symbol, 0);
|
|
tint_symbol = tint_mod(tint_symbol, 0);
|
|
tint_symbol = tint_div(tint_symbol, maybe_zero);
|
|
tint_symbol = tint_mod(tint_symbol, maybe_zero);
|
|
tint_symbol_1 = (tint_symbol_1 / 0.0f);
|
|
tint_symbol_1 = fmod(tint_symbol_1, 0.0f);
|
|
tint_symbol_1 = (tint_symbol_1 / float(maybe_zero));
|
|
tint_symbol_1 = fmod(tint_symbol_1, float(maybe_zero));
|
|
}
|
|
|