tree bc5458ffcfc94dab710cd48727390f5da3c9b5b3
parent 7ac7a0f364609b29a4748217da87791197f2288c
author David Neto <dneto@google.com> 1593805995 -0400
committer David Neto <dneto@google.com> 1614960074 -0500

Support SPV_KHR_expect_assume