llvm/test/Verifier/llvm.fptrunc.round.ll

   1 ; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s
   2
   3 declare half @llvm.fptrunc.round(float, metadata)
   4
   5 define void @test_fptrunc_round_dynamic(float %a) {
   6 ; CHECK: unsupported rounding mode argument
   7   %res = call half @llvm.fptrunc.round(float %a, metadata !"round.dynamic")
   8 ; CHECK: unsupported rounding mode argument
   9   %res1 = call half @llvm.fptrunc.round(float %a, metadata !"round.test")
  10 ; CHECK: invalid value for llvm.fptrunc.round metadata operand (the operand should be a string)
  11   %res2 = call half @llvm.fptrunc.round(float %a, metadata i32 5)
  12   ret void
  13 }