Index: lib/Target/WebAssembly/WebAssemblyInstrSIMD.td =================================================================== --- lib/Target/WebAssembly/WebAssemblyInstrSIMD.td +++ lib/Target/WebAssembly/WebAssemblyInstrSIMD.td @@ -212,6 +212,12 @@ [(set (vec_t V128:$dst), (vec_t (fabs V128:$vec)))], vec#".abs\t$dst, $vec", vec#".abs", simdop>; } +multiclass SIMDSqrt simdop> { + defm SQRT_#vec_t : + SIMD_I<(outs V128:$dst), (ins V128:$vec), (outs), (ins), + [(set (vec_t V128:$dst), (vec_t (fsqrt V128:$vec)))], + vec#".sqrt\t$dst, $vec", vec#".sqrt", simdop>; +} let Defs = [ARGUMENTS] in { defm "" : ConstVec; defm "" : SIMDAbs; +defm "" : SIMDSqrt; +defm "" : SIMDSqrt; + } // Defs = [ARGUMENTS] // Def load and store patterns from WebAssemblyInstrMemory.td for vector types Index: test/CodeGen/WebAssembly/simd-arith.ll =================================================================== --- test/CodeGen/WebAssembly/simd-arith.ll +++ test/CodeGen/WebAssembly/simd-arith.ll @@ -723,6 +723,18 @@ ret <4 x float> %a } +; CHECK-LABEL: sqrt_v4f32: +; NO-SIMD128-NOT: f32x4 +; SIMD128-NEXT: .param v128{{$}} +; SIMD128-NEXT: .result v128{{$}} +; SIMD128-NEXT: f32x4.sqrt $push[[R:[0-9]+]]=, $0{{$}} +; SIMD128-NEXT: return $pop[[R]]{{$}} +declare <4 x float> @llvm.sqrt.v4f32(<4 x float> %x) +define <4 x float> @sqrt_v4f32(<4 x float> %x) { + %a = call <4 x float> @llvm.sqrt.v4f32(<4 x float> %x) + ret <4 x float> %a +} + ; ============================================================================== ; 2 x double ; ============================================================================== @@ -797,3 +809,15 @@ %a = fmul <2 x double> %x, %y ret <2 x double> %a } + +; CHECK-LABEL: sqrt_v2f64: +; NO-SIMD128-NOT: f64x2 +; SIMD128-NEXT: .param v128{{$}} +; SIMD128-NEXT: .result v128{{$}} +; SIMD128-NEXT: f64x2.sqrt $push[[R:[0-9]+]]=, $0{{$}} +; SIMD128-NEXT: return $pop[[R]]{{$}} +declare <2 x double> @llvm.sqrt.v2f64(<2 x double> %x) +define <2 x double> @sqrt_v2f64(<2 x double> %x) { + %a = call <2 x double> @llvm.sqrt.v2f64(<2 x double> %x) + ret <2 x double> %a +}