fails if timestamp-query is not supported

jowens · Oct 17, 2024 · 9eccac9 · 9eccac9
1 parent 9a29e5f
commit 9eccac9
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/timing-mre.html b/timing-mre.html
@@ -152,6 +152,12 @@
         fail("Fatal error: Device does not support WebGPU.");
       }
 
+      if (!canTimestamp) {
+        fail(
+          'Fatal error: Device does not support WebGPU timestamp query (`adapter.features.has("timestamp-query")` is false).'
+        );
+      }
+
       const workgroupSize = 64;
       const memsrcSize = 2 ** 24;
       const timingHelper = new TimingHelper(device);