[WebAssembly] Add V128 value type to binary format

[tlively]

• Add to switch in MCTargetDesc

[dschuff]

Is this enough to add SIMD to one of our existing binary-format tests?

[tlively]

• add tests, fix calls to make tests work, and remove dead code.

[aheejin]

test/CodeGen/WebAssembly/call.ll

15 ↗

(On Diff #166052)

Nit: v128_nullary or v16i8_nullary for symmetry?

124 ↗

(On Diff #166052)

Maybe we can make this call-related stuff another CL, which is not relevant to V128?

test/MC/WebAssembly/types.ll

1 ↗

(On Diff #166052)

What's the purpose of this test?

10 ↗

(On Diff #166052)

No argument for rest of functions?

18 ↗

(On Diff #166052)

Nit: indentation 2 spaces

[tlively]

test/MC/WebAssembly/types.ll

1 ↗

(On Diff #166052)

It checks that the ValTypes are emitted to an object file correctly, including the new V128 one.

[tlively]

• Address comments

[aheejin]

test/MC/WebAssembly/types.ll

10 ↗

(On Diff #166052)

Oh, I wasn't suggesting deleting the argument... actually was suggesting adding it to other functions too (for symmetry), but if you don't think we need it, that's probably fine.

[aheejin]

test/MC/WebAssembly/types.ll

1 ↗

(On Diff #166052)

Nit: Then probably it would make more sense to move this to D52254..?

[tlively]

test/MC/WebAssembly/types.ll

1 ↗

(On Diff #166052)

I think at least part of this test belongs in this CL since it's the only thing testing the ObjectYAML support for V128, but splitting up the test file into two commits is probably more trouble than it's worth, so I would prefer to just keep it here.

[aheejin]

test/MC/WebAssembly/types.ll

1 ↗

(On Diff #166052)

Yeah that makes sense.

[tlively]

@aheejin is this blocked on anything else?

[aheejin]

I was not sure if what @dschuff asked was done. If it was I’m ok with the change.

include/llvm/BinaryFormat/Wasm.h

 };
 
 // Type immediate encodings used in various contexts.
 enum : unsigned {
   WASM_TYPE_I32 = 0x7F,
   WASM_TYPE_I64 = 0x7E,
   WASM_TYPE_F32 = 0x7D,
   WASM_TYPE_F64 = 0x7C,
+  WASM_TYPE_V128 = 0x7B,
   WASM_TYPE_ANYFUNC = 0x70,
   WASM_TYPE_EXCEPT_REF = 0x68,
   WASM_TYPE_FUNC = 0x60,
   WASM_TYPE_NORESULT = 0x40, // for blocks with no result values
 };
 
 // Kinds of externals (for imports and exports).
 enum : unsigned {

 };
 
 // Subset of types that a value can have
 enum class ValType {
   I32 = WASM_TYPE_I32,
   I64 = WASM_TYPE_I64,
   F32 = WASM_TYPE_F32,
   F64 = WASM_TYPE_F64,
+  V128 = WASM_TYPE_V128,
   EXCEPT_REF = WASM_TYPE_EXCEPT_REF,
 };
 
 // Kind codes used in the custom "name" section
 enum : unsigned {
   WASM_NAMES_FUNCTION = 0x1,
   WASM_NAMES_LOCAL = 0x2,
 };

lib/Target/WebAssembly/InstPrinter/WebAssemblyInstPrinter.cpp

const char *llvm::WebAssembly::TypeToString(wasm::ValType Type) {
   case wasm::ValType::I32:
     return "i32";
   case wasm::ValType::I64:
     return "i64";
   case wasm::ValType::F32:
     return "f32";
   case wasm::ValType::F64:
     return "f64";
+  case wasm::ValType::V128:
+    return "v128";
   case wasm::ValType::EXCEPT_REF:
     return "except_ref";
   }
   llvm_unreachable("unsupported type");
 }

lib/Target/WebAssembly/MCTargetDesc/WebAssemblyMCTargetDesc.cpp

wasm::ValType WebAssembly::toValType(const MVT &Ty) {
   case MVT::i32:
     return wasm::ValType::I32;
   case MVT::i64:
     return wasm::ValType::I64;
   case MVT::f32:
     return wasm::ValType::F32;
   case MVT::f64:
     return wasm::ValType::F64;
+  case MVT::v16i8:
+  case MVT::v8i16:
+  case MVT::v4i32:
+  case MVT::v2i64:
+  case MVT::v4f32:
+  case MVT::v2f64:
+    return wasm::ValType::V128;
   case MVT::ExceptRef:
     return wasm::ValType::EXCEPT_REF;
   default:
     llvm_unreachable("unexpected type");
   }
 }

lib/Target/WebAssembly/WebAssemblyMCInstLower.cpp

static wasm::ValType getType(const TargetRegisterClass *RC) {
   if (RC == &WebAssembly::I32RegClass)
     return wasm::ValType::I32;
   if (RC == &WebAssembly::I64RegClass)
     return wasm::ValType::I64;
   if (RC == &WebAssembly::F32RegClass)
     return wasm::ValType::F32;
   if (RC == &WebAssembly::F64RegClass)
     return wasm::ValType::F64;
+  if (RC == &WebAssembly::V128RegClass)
+    return wasm::ValType::V128;
   llvm_unreachable("Unexpected register class");
 }
 
 void WebAssemblyMCInstLower::Lower(const MachineInstr *MI,
                                    MCInst &OutMI) const {
   OutMI.setOpcode(MI->getOpcode());
 
   const MCInstrDesc &Desc = MI->getDesc();