Index: llvm/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp =================================================================== --- llvm/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp +++ llvm/lib/Target/WebAssembly/WebAssemblyISelLowering.cpp @@ -225,6 +225,9 @@ } } + // Don't do anything clever with build_pairs + setOperationAction(ISD::BUILD_PAIR, MVT::i64, Expand); + // Trap lowers to wasm unreachable setOperationAction(ISD::TRAP, MVT::Other, Legal); Index: llvm/test/CodeGen/WebAssembly/build-pair.ll =================================================================== --- /dev/null +++ llvm/test/CodeGen/WebAssembly/build-pair.ll @@ -0,0 +1,24 @@ +; RUN: llc < %s -asm-verbose=false -verify-machineinstrs -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers -mattr=simd128 | FileCheck %s --check-prefixes CHECK + +target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" +target triple = "wasm32-unknown-unknown-wasm" + +; Test that BUILD_PAIR dag nodes are correctly lowered. + +; CHECK: i32x4.extract_lane +; CHECK-NEXT: i64.extend_i32_u +; CHECK-NEXT: i32x4.extract_lane +; CHECK-NEXT: i64.extend_i32_u +; CHECK-NEXT: i64.const {{.*}} 32 +; CHECK-NEXT: i64.shl +; CHECK-NEXT: i64.or +; CHECK-NEXT: i64.store +define void @build_pair_i32s() { +entry: + %0 = load <4 x i32>, <4 x i32>* undef, align 16 + %shuffle.i184 = shufflevector <4 x i32> %0, <4 x i32> undef, <4 x i32> + %bc357 = bitcast <4 x i32> %shuffle.i184 to <2 x i64> + %1 = extractelement <2 x i64> %bc357, i32 0 + store i64 %1, i64* undef, align 1 + ret void +}