[SPIR-V] Emit OpExecutionMode ContractionOff for no FP_CONTRACT metadata

[mpaszkowski]

Summary

This change makes the AsmPrinter emit OpExecutionMode ContractionOff when both opencl.enable.FP_CONTRACT and spirv.ExecutionMode metadata are not present. All 16 contractions OpenCL CTS tests pass after this change.

no_fp_contractions_metadata.ll and fp_contractions_metadata.ll LIT tests were added and other tests checking OpenCL metadata were moved to OpenCL/metadata directory.

[iliya-diyachkov]

This patch looks good to me. Thanks, Michal.

[mpaszkowski]

Full runtime testing results are now available: https://spirv-testing.khronos.org/job/82/. I will commit this patch after D142061.

llvm/lib/Target/SPIRV/SPIRVAsmPrinter.cpp

if (MDNode *Node = F.getMetadata("vec_type_hint")) {
       Inst.setOpcode(SPIRV::OpExecutionMode);
       Inst.addOperand(MCOperand::createReg(FReg));
       unsigned EM = static_cast<unsigned>(SPIRV::ExecutionMode::VecTypeHint);
       Inst.addOperand(MCOperand::createImm(EM));
       unsigned TypeCode = encodeVecTypeHint(getMDOperandAsType(Node, 0));
       Inst.addOperand(MCOperand::createImm(TypeCode));
       outputMCInst(Inst);
     }
+    if (!M.getNamedMetadata("spirv.ExecutionMode") &&
+        !M.getNamedMetadata("opencl.enable.FP_CONTRACT")) {
+      MCInst Inst;
+      Inst.setOpcode(SPIRV::OpExecutionMode);
+      Inst.addOperand(MCOperand::createReg(FReg));
+      unsigned EM = static_cast<unsigned>(SPIRV::ExecutionMode::ContractionOff);
+      Inst.addOperand(MCOperand::createImm(EM));
+      outputMCInst(Inst);
+    }
   }
 }
 
 void SPIRVAsmPrinter::outputAnnotations(const Module &M) {
   outputModuleSection(SPIRV::MB_Annotations);
   // Process llvm.global.annotations special global variable.
   for (auto F = M.global_begin(), E = M.global_end(); F != E; ++F) {
     if ((*F).getName() != "llvm.global.annotations")

llvm/test/CodeGen/SPIRV/opencl/metadata/fp_contractions_metadata.ll

+; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
+
+; CHECK: OpEntryPoint Kernel %[[#ENTRY:]] "foo"
+; CHECK-NOT: OpExecutionMode %[[#ENTRY]] ContractionOff
+define spir_kernel void @foo() {
+entry:
+  ret void
+}
+
+!opencl.enable.FP_CONTRACT = !{}

llvm/test/CodeGen/SPIRV/opencl/metadata/no_fp_contractions_metadata.ll

+; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
+
+; CHECK: OpEntryPoint Kernel %[[#ENTRY:]] "foo"
+; CHECK: OpExecutionMode %[[#ENTRY]] ContractionOff
+define spir_kernel void @foo() {
+entry:
+  ret void
+}