1/*========================== begin_copyright_notice ============================
2
3Copyright (C) 2019-2021 Intel Corporation
4
5SPDX-License-Identifier: MIT
6
7============================= end_copyright_notice ===========================*/
8
9/* Shader clock extension */
10__attribute__((always_inline))
11ulong __builtin_spirv_OpReadClockKHR_i64_i32(uint scope) {
12  (void) scope;
13  return as_ulong(__builtin_IB_read_cycle_counter());
14}
15
16__attribute__((always_inline))
17uint __builtin_spirv_OpReadClockKHR_i32_i32(uint scope) {
18  return (uint) __builtin_spirv_OpReadClockKHR_i64_i32(scope);
19}
20
21