1; RUN: llc -O0 -verify-machineinstrs -mtriple=spirv-unknown-unknown %s -o - | FileCheck %s 2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-unknown %s -o - -filetype=obj | spirv-val %} 3 4; CHECK: OpExtInstImport "GLSL.std.450" 5 6define noundef float @trunc_float(float noundef %a) { 7entry: 8; CHECK: %[[#]] = OpExtInst %[[#]] %[[#]] Trunc %[[#]] 9 %elt.trunc = call float @llvm.trunc.f32(float %a) 10 ret float %elt.trunc 11} 12 13define noundef half @trunc_half(half noundef %a) { 14entry: 15; CHECK: %[[#]] = OpExtInst %[[#]] %[[#]] Trunc %[[#]] 16 %elt.trunc = call half @llvm.trunc.f16(half %a) 17 ret half %elt.trunc 18} 19 20declare half @llvm.trunc.f16(half) 21declare float @llvm.trunc.f32(float) 22