1 files changed, 94 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/umulo-128-legalisation-lowering.ll b/llvm/test/CodeGen/WebAssembly/umulo-128-legalisation-lowering.ll
new file mode 100644
index 00000000000..3dcfbf2d996
--- /dev/null
+++ b/llvm/test/CodeGen/WebAssembly/umulo-128-legalisation-lowering.ll
@@ -0,0 +1,94 @@
+; RUN: llc < %s -mtriple=wasm32 | FileCheck %s --check-prefixes=WASM32
+; NOTE: did not compile on wasm64 at the time the test was created!
+
+define { i128, i8 } @muloti_test(i128 %l, i128 %r) unnamed_addr #0 {
+; WASM32-LABEL: muloti_test
+; WASM32: get_global      $push18=, __stack_pointer@GLOBAL
+; WASM32: i32.const       $push19=, 48
+; WASM32: i32.sub         $push40=, $pop18, $pop19
+; WASM32: tee_local       $push39=, 5, $pop40
+; WASM32: set_global      __stack_pointer@GLOBAL, $pop39
+; WASM32: get_local       $push41=, 5
+; WASM32: i32.const       $push22=, 32
+; WASM32: i32.add         $push23=, $pop41, $pop22
+; WASM32: get_local       $push43=, 1
+; WASM32: i64.const       $push0=, 0
+; WASM32: get_local       $push42=, 3
+; WASM32: i64.const       $push38=, 0
+; WASM32: call            __multi3@FUNCTION, $pop23, $pop43, $pop0, $pop42, $pop38
+; WASM32: get_local       $push44=, 5
+; WASM32: i32.const       $push24=, 16
+; WASM32: i32.add         $push25=, $pop44, $pop24
+; WASM32: get_local       $push46=, 4
+; WASM32: i64.const       $push37=, 0
+; WASM32: get_local       $push45=, 1
+; WASM32: i64.const       $push36=, 0
+; WASM32: call            __multi3@FUNCTION, $pop25, $pop46, $pop37, $pop45, $pop36
+; WASM32: get_local       $push49=, 5
+; WASM32: get_local       $push48=, 2
+; WASM32: i64.const       $push35=, 0
+; WASM32: get_local       $push47=, 3
+; WASM32: i64.const       $push34=, 0
+; WASM32: call            __multi3@FUNCTION, $pop49, $pop48, $pop35, $pop47, $pop34
+; WASM32: get_local       $push51=, 0
+; WASM32: get_local       $push50=, 5
+; WASM32: i64.load        $push1=, 32($pop50)
+; WASM32: i64.store       0($pop51), $pop1
+; WASM32: get_local       $push55=, 0
+; WASM32: get_local       $push52=, 5
+; WASM32: i32.const       $push5=, 40
+; WASM32: i32.add         $push6=, $pop52, $pop5
+; WASM32: i64.load        $push33=, 0($pop6)
+; WASM32: tee_local       $push32=, 1, $pop33
+; WASM32: get_local       $push53=, 5
+; WASM32: i64.load        $push3=, 0($pop53)
+; WASM32: get_local       $push54=, 5
+; WASM32: i64.load        $push2=, 16($pop54)
+; WASM32: i64.add         $push4=, $pop3, $pop2
+; WASM32: i64.add         $push31=, $pop32, $pop4
+; WASM32: tee_local       $push30=, 3, $pop31
+; WASM32: i64.store       8($pop55), $pop30
+; WASM32: get_local       $push62=, 0
+; WASM32: get_local       $push56=, 2
+; WASM32: i64.const       $push29=, 0
+; WASM32: i64.ne          $push8=, $pop56, $pop29
+; WASM32: get_local       $push57=, 4
+; WASM32: i64.const       $push28=, 0
+; WASM32: i64.ne          $push7=, $pop57, $pop28
+; WASM32: i32.and         $push9=, $pop8, $pop7
+; WASM32: get_local       $push58=, 5
+; WASM32: i64.load        $push10=, 8($pop58)
+; WASM32: i64.const       $push27=, 0
+; WASM32: i64.ne          $push11=, $pop10, $pop27
+; WASM32: i32.or          $push12=, $pop9, $pop11
+; WASM32: get_local       $push59=, 5
+; WASM32: i64.load        $push13=, 24($pop59)
+; WASM32: i64.const       $push26=, 0
+; WASM32: i64.ne          $push14=, $pop13, $pop26
+; WASM32: i32.or          $push15=, $pop12, $pop14
+; WASM32: get_local       $push61=, 3
+; WASM32: get_local       $push60=, 1
+; WASM32: i64.lt_u        $push16=, $pop61, $pop60
+; WASM32: i32.or          $push17=, $pop15, $pop16
+; WASM32: i32.store8      16($pop62), $pop17
+; WASM32: get_local       $push63=, 5
+; WASM32: i32.const       $push20=, 48
+; WASM32: i32.add         $push21=, $pop63, $pop20
+; WASM32: set_global      __stack_pointer@GLOBAL, $pop21
+
+start:
+  %0 = tail call { i128, i1 } @llvm.umul.with.overflow.i128(i128 %l, i128 %r) #2
+  %1 = extractvalue { i128, i1 } %0, 0
+  %2 = extractvalue { i128, i1 } %0, 1
+  %3 = zext i1 %2 to i8
+  %4 = insertvalue { i128, i8 } undef, i128 %1, 0
+  %5 = insertvalue { i128, i8 } %4, i8 %3, 1
+  ret { i128, i8 } %5
+}
+
+; Function Attrs: nounwind readnone speculatable
+declare { i128, i1 } @llvm.umul.with.overflow.i128(i128, i128) #1
+
+attributes #0 = { nounwind readnone uwtable }
+attributes #1 = { nounwind readnone speculatable }
+attributes #2 = { nounwind }