[SPIR-V]Support KHR_Ray_tracing terminate Ops

[jiaolu]

Add OpIgnoreIntersectionKHR/OpTerminateRayKHR related
#3285

[AppVeyorBot]

❌ Build DirectXShaderCompiler 1.0.3961 failed (commit c8425bb51e by @jiaolu)

[ehsannas]

@jiaolu @MarijnS95 @jaebaek Please review.

[AppVeyorBot]

✅ Build DirectXShaderCompiler 1.0.3969 completed (commit f26e81a72e by @ehsannas)

[MarijnS95]

Thanks @ehsannas! Unfortunately this still seems to run into failed to optimize SPIR-V: OpLabel inside basic block

[MarijnS95]

Suggested change

	spv::Op::OpIgnoreIntersectionKHR);
	opcode == spv::Op::OpIgnoreIntersectionKHR);

Praise clang for catching this one:

../tools/clang/lib/SPIRV/SpirvInstruction.cpp:994:47: warning: converting the enum constant to a boolean [-Wint-in-bool-context]
  assert(opcode == spv::Op::OpTerminateRayKHR ||
                                              ^
../tools/clang/lib/SPIRV/SpirvInstruction.cpp:995:10: error: value of type 'spv::Op' is not contextually convertible to 'bool'
         spv::Op::OpIgnoreIntersectionKHR);
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

[ehsannas]

ouch. Sad that MSVC didn't catch this. Also not sure why Appveyor bot is passing.

[ehsannas]

I know why appveyor is passing... MSVC doesn't catch the build warning and the FileCheck tests run without optimizations.

[ehsannas]

Ok, we need to update SPIRV-Tools to recognize these instructions as terminator as well :) Will do so soon

[MarijnS95]

Another explanation would be Clang version. There are a few new warnings on Clang 11 but Appveyor is still at 10.0.1.

[ehsannas]

We should land this PR, and we will separately make fixes to SPIRV-Tools for recognizing these instructions as termination instructions.

[jiaolu]

Look good to me.

[AppVeyorBot]

✅ Build DirectXShaderCompiler 1.0.3971 completed (commit fcf7678a9e by @ehsannas)

[MarijnS95]

Clang 11 build is green now, thanks!