test/CodeGen/WebAssembly/umulo-128-legalisation-lowering.ll

   1 ; RUN: llc < %s -mtriple=wasm32 -wasm-keep-registers | FileCheck %s --check-prefixes=WASM32
   2 ; NOTE: did not compile on wasm64 at the time the test was created!
   3
   4 define { i128, i8 } @muloti_test(i128 %l, i128 %r) unnamed_addr #0 {
   5 ; WASM32-LABEL: muloti_test
   6 ; WASM32: global.get      $push18=, __stack_pointer
   7 ; WASM32: i32.const       $push19=, 48
   8 ; WASM32: i32.sub         $push40=, $pop18, $pop19
   9 ; WASM32: local.tee       $push39=, 5, $pop40
  10 ; WASM32: global.set      __stack_pointer, $pop39
  11 ; WASM32: local.get       $push41=, 5
  12 ; WASM32: i32.const       $push22=, 32
  13 ; WASM32: i32.add         $push23=, $pop41, $pop22
  14 ; WASM32: local.get       $push43=, 1
  15 ; WASM32: i64.const       $push0=, 0
  16 ; WASM32: local.get       $push42=, 3
  17 ; WASM32: i64.const       $push38=, 0
  18 ; WASM32: call            __multi3, $pop23, $pop43, $pop0, $pop42, $pop38
  19 ; WASM32: local.get       $push44=, 5
  20 ; WASM32: i32.const       $push24=, 16
  21 ; WASM32: i32.add         $push25=, $pop44, $pop24
  22 ; WASM32: local.get       $push46=, 4
  23 ; WASM32: i64.const       $push37=, 0
  24 ; WASM32: local.get       $push45=, 1
  25 ; WASM32: i64.const       $push36=, 0
  26 ; WASM32: call            __multi3, $pop25, $pop46, $pop37, $pop45, $pop36
  27 ; WASM32: local.get       $push49=, 5
  28 ; WASM32: local.get       $push48=, 2
  29 ; WASM32: i64.const       $push35=, 0
  30 ; WASM32: local.get       $push47=, 3
  31 ; WASM32: i64.const       $push34=, 0
  32 ; WASM32: call            __multi3, $pop49, $pop48, $pop35, $pop47, $pop34
  33 ; WASM32: local.get       $push51=, 0
  34 ; WASM32: local.get       $push50=, 5
  35 ; WASM32: i64.load        $push1=, 32($pop50)
  36 ; WASM32: i64.store       0($pop51), $pop1
  37 ; WASM32: local.get       $push55=, 0
  38 ; WASM32: local.get       $push52=, 5
  39 ; WASM32: i32.const       $push5=, 40
  40 ; WASM32: i32.add         $push6=, $pop52, $pop5
  41 ; WASM32: i64.load        $push33=, 0($pop6)
  42 ; WASM32: local.tee       $push32=, 1, $pop33
  43 ; WASM32: local.get       $push53=, 5
  44 ; WASM32: i64.load        $push3=, 0($pop53)
  45 ; WASM32: local.get       $push54=, 5
  46 ; WASM32: i64.load        $push2=, 16($pop54)
  47 ; WASM32: i64.add         $push4=, $pop3, $pop2
  48 ; WASM32: i64.add         $push31=, $pop32, $pop4
  49 ; WASM32: local.tee       $push30=, 3, $pop31
  50 ; WASM32: i64.store       8($pop55), $pop30
  51 ; WASM32: local.get       $push62=, 0
  52 ; WASM32: local.get       $push56=, 2
  53 ; WASM32: i64.const       $push29=, 0
  54 ; WASM32: i64.ne          $push8=, $pop56, $pop29
  55 ; WASM32: local.get       $push57=, 4
  56 ; WASM32: i64.const       $push28=, 0
  57 ; WASM32: i64.ne          $push7=, $pop57, $pop28
  58 ; WASM32: i32.and         $push9=, $pop8, $pop7
  59 ; WASM32: local.get       $push58=, 5
  60 ; WASM32: i64.load        $push10=, 8($pop58)
  61 ; WASM32: i64.const       $push27=, 0
  62 ; WASM32: i64.ne          $push11=, $pop10, $pop27
  63 ; WASM32: i32.or          $push12=, $pop9, $pop11
  64 ; WASM32: local.get       $push59=, 5
  65 ; WASM32: i64.load        $push13=, 24($pop59)
  66 ; WASM32: i64.const       $push26=, 0
  67 ; WASM32: i64.ne          $push14=, $pop13, $pop26
  68 ; WASM32: i32.or          $push15=, $pop12, $pop14
  69 ; WASM32: local.get       $push61=, 3
  70 ; WASM32: local.get       $push60=, 1
  71 ; WASM32: i64.lt_u        $push16=, $pop61, $pop60
  72 ; WASM32: i32.or          $push17=, $pop15, $pop16
  73 ; WASM32: i32.store8      16($pop62), $pop17
  74 ; WASM32: local.get       $push63=, 5
  75 ; WASM32: i32.const       $push20=, 48
  76 ; WASM32: i32.add         $push21=, $pop63, $pop20
  77 ; WASM32: global.set      __stack_pointer, $pop21
  78
  79 start:
  80   %0 = tail call { i128, i1 } @llvm.umul.with.overflow.i128(i128 %l, i128 %r) #2
  81   %1 = extractvalue { i128, i1 } %0, 0
  82   %2 = extractvalue { i128, i1 } %0, 1
  83   %3 = zext i1 %2 to i8
  84   %4 = insertvalue { i128, i8 } undef, i128 %1, 0
  85   %5 = insertvalue { i128, i8 } %4, i8 %3, 1
  86   ret { i128, i8 } %5
  87 }
  88
  89 ; Function Attrs: nounwind readnone speculatable
  90 declare { i128, i1 } @llvm.umul.with.overflow.i128(i128, i128) #1
  91
  92 attributes #0 = { nounwind readnone uwtable }
  93 attributes #1 = { nounwind readnone speculatable }
  94 attributes #2 = { nounwind }