From ede60bc4670a8d9c14921c77abee1ac57fc0e6bf Mon Sep 17 00:00:00 2001
From: Paul Berry <stereotype441@gmail.com>
Date: Thu, 6 Oct 2011 10:20:10 -0700
Subject: glsl: Add isinf() and isnan() builtins.

The implementations are as follows:

isinf(x) = (abs(x) == +infinity)
isnan(x) = (x != x)

Note: the latter formula is not necessarily obvious.  It works because
NaN is the only floating point number that does not equal itself.

Fixes piglit tests "isinf-and-isnan fs_basic" and "isinf-and-isnan
vs_basic".
---
 src/glsl/builtins/ir/isinf.ir | 17 +++++++++++++++++
 src/glsl/builtins/ir/isnan.ir | 17 +++++++++++++++++
 2 files changed, 34 insertions(+)
 create mode 100644 src/glsl/builtins/ir/isinf.ir
 create mode 100644 src/glsl/builtins/ir/isnan.ir

(limited to 'src/glsl/builtins/ir')

diff --git a/src/glsl/builtins/ir/isinf.ir b/src/glsl/builtins/ir/isinf.ir
new file mode 100644
index 00000000000..92922f6fa36
--- /dev/null
+++ b/src/glsl/builtins/ir/isinf.ir
@@ -0,0 +1,17 @@
+((function isinf
+   (signature bool
+     (parameters
+       (declare (in) float x))
+     ((return (expression bool == (expression float abs (var_ref x)) (constant float (+INF))))))
+   (signature bvec2
+     (parameters
+       (declare (in) vec2 x))
+     ((return (expression bvec2 == (expression vec2 abs (var_ref x)) (constant vec2 (+INF +INF))))))
+   (signature bvec3
+     (parameters
+       (declare (in) vec3 x))
+     ((return (expression bvec3 == (expression vec3 abs (var_ref x)) (constant vec3 (+INF +INF +INF))))))
+   (signature bvec4
+     (parameters
+       (declare (in) vec4 x))
+     ((return (expression bvec4 == (expression vec4 abs (var_ref x)) (constant vec4 (+INF +INF +INF +INF))))))))
diff --git a/src/glsl/builtins/ir/isnan.ir b/src/glsl/builtins/ir/isnan.ir
new file mode 100644
index 00000000000..b67349f2a5c
--- /dev/null
+++ b/src/glsl/builtins/ir/isnan.ir
@@ -0,0 +1,17 @@
+((function isnan
+   (signature bool
+     (parameters
+       (declare (in) float x))
+     ((return (expression bool != (var_ref x) (var_ref x)))))
+   (signature bvec2
+     (parameters
+       (declare (in) vec2 x))
+     ((return (expression bvec2 != (var_ref x) (var_ref x)))))
+   (signature bvec3
+     (parameters
+       (declare (in) vec3 x))
+     ((return (expression bvec3 != (var_ref x) (var_ref x)))))
+   (signature bvec4
+     (parameters
+       (declare (in) vec4 x))
+     ((return (expression bvec4 != (var_ref x) (var_ref x)))))))
-- 
cgit v1.2.3