| ; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV |
| ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %} |
| |
| ; CHECK-SPIRV: %[[#HALF:]] = OpTypeFloat 16 |
| ; CHECK-SPIRV: %[[#HALFPTR:]] = OpTypePointer Function %[[#HALF]] |
| ; CHECK-SPIRV: %[[#HALFV2:]] = OpTypeVector %[[#HALF]] 2 |
| ; CHECK-SPIRV: %[[#HALFV2PTR:]] = OpTypePointer Function %[[#HALFV2]] |
| ; CHECK-SPIRV: %[[#CONST:]] = OpConstant %[[#HALF]] 14788 |
| ; CHECK-SPIRV: %[[#ADDR:]] = OpVariable %[[#HALFPTR]] Function |
| ; CHECK-SPIRV: %[[#ADDR2:]] = OpVariable %[[#HALFV2PTR]] Function |
| ; CHECK-SPIRV: %[[#]] = OpExtInst %[[#HALF]] %[[#]] fract %[[#CONST]] %[[#ADDR]] |
| ; CHECK-SPIRV: %[[#]] = OpExtInst %[[#HALFV2]] %[[#]] fract %[[#]] %[[#ADDR2]] |
| |
| define spir_kernel void @test() { |
| entry: |
| %addr = alloca half |
| %addr2 = alloca <2 x half> |
| %res = call spir_func noundef half @_Z17__spirv_ocl_fractDF16_PU3AS0DF16_(half noundef 0xH39C4, ptr noundef %addr) |
| %res2 = call spir_func noundef <2 x half> @_Z17__spirv_ocl_fractDv2_DF16_PU3AS0S_(<2 x half> noundef <half 0xH39C4, half 0xH0000>, ptr noundef %addr2) |
| ret void |
| } |
| |
| declare spir_func noundef half @_Z17__spirv_ocl_fractDF16_PU3AS0DF16_(half noundef, ptr noundef) local_unnamed_addr |
| |
| declare spir_func noundef <2 x half> @_Z17__spirv_ocl_fractDv2_DF16_PU3AS0S_(<2 x half> noundef, ptr noundef) local_unnamed_addr |
