test/CodeGen/SPARC/smulo-128-legalisation-lowering.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=sparc-unknown-linux-gnu | FileCheck %s --check-prefixes=SPARC
; RUN: llc < %s -mtriple=sparc64-unknown-linux-gnu | FileCheck %s --check-prefixes=SPARC64

define { i128, i8 } @muloti_test(i128 %l, i128 %r) nounwind {
; SPARC-LABEL: muloti_test:
; SPARC:       ! %bb.0: ! %start
; SPARC-NEXT:    save %sp, -96, %sp
; SPARC-NEXT:    ld [%fp+96], %l2
; SPARC-NEXT:    mov %i3, %g2
; SPARC-NEXT:    mov %i2, %g3
; SPARC-NEXT:    umul %i1, %l2, %l0
; SPARC-NEXT:    rd %y, %i2
; SPARC-NEXT:    ld [%fp+92], %l1
; SPARC-NEXT:    umul %i0, %l2, %i3
; SPARC-NEXT:    rd %y, %g4
; SPARC-NEXT:    addcc %i3, %i2, %i2
; SPARC-NEXT:    addxcc %g4, 0, %i3
; SPARC-NEXT:    umul %i1, %l1, %g4
; SPARC-NEXT:    rd %y, %l3
; SPARC-NEXT:    addcc %g4, %i2, %l4
; SPARC-NEXT:    addxcc %l3, 0, %i2
; SPARC-NEXT:    addcc %i3, %i2, %i2
; SPARC-NEXT:    addxcc %g0, 0, %i3
; SPARC-NEXT:    umul %i0, %l1, %g4
; SPARC-NEXT:    rd %y, %l3
; SPARC-NEXT:    addcc %g4, %i2, %i2
; SPARC-NEXT:    sra %i0, 31, %g4
; SPARC-NEXT:    smul %l1, %g4, %l5
; SPARC-NEXT:    umul %l2, %g4, %l6
; SPARC-NEXT:    rd %y, %l7
; SPARC-NEXT:    addxcc %l3, %i3, %l3
; SPARC-NEXT:    add %l7, %l6, %i3
; SPARC-NEXT:    add %i3, %l5, %l5
; SPARC-NEXT:    addcc %i2, %l6, %l6
; SPARC-NEXT:    umul %g2, %l2, %i3
; SPARC-NEXT:    rd %y, %i2
; SPARC-NEXT:    addxcc %l3, %l5, %l3
; SPARC-NEXT:    umul %g3, %l2, %l2
; SPARC-NEXT:    rd %y, %l5
; SPARC-NEXT:    addcc %l2, %i2, %i2
; SPARC-NEXT:    addxcc %l5, 0, %l2
; SPARC-NEXT:    umul %g2, %l1, %l5
; SPARC-NEXT:    rd %y, %l7
; SPARC-NEXT:    addcc %l5, %i2, %i2
; SPARC-NEXT:    addxcc %l7, 0, %l5
; SPARC-NEXT:    addcc %l2, %l5, %l2
; SPARC-NEXT:    addxcc %g0, 0, %l5
; SPARC-NEXT:    umul %g3, %l1, %l1
; SPARC-NEXT:    rd %y, %l7
; SPARC-NEXT:    addcc %l1, %l2, %l1
; SPARC-NEXT:    addxcc %l7, %l5, %l2
; SPARC-NEXT:    addcc %l0, %l1, %l0
; SPARC-NEXT:    addxcc %l4, %l2, %l1
; SPARC-NEXT:    addxcc %l6, 0, %l2
; SPARC-NEXT:    addxcc %l3, 0, %l3
; SPARC-NEXT:    umul %g2, %i5, %l4
; SPARC-NEXT:    rd %y, %l5
; SPARC-NEXT:    sra %l3, 31, %l6
; SPARC-NEXT:    umul %g3, %i5, %l7
; SPARC-NEXT:    rd %y, %o0
; SPARC-NEXT:    addcc %l7, %l5, %l5
; SPARC-NEXT:    addxcc %o0, 0, %l7
; SPARC-NEXT:    umul %g2, %i4, %o0
; SPARC-NEXT:    rd %y, %o1
; SPARC-NEXT:    addcc %o0, %l5, %l5
; SPARC-NEXT:    addxcc %o1, 0, %o0
; SPARC-NEXT:    addcc %l7, %o0, %l7
; SPARC-NEXT:    addxcc %g0, 0, %o0
; SPARC-NEXT:    umul %g3, %i4, %o1
; SPARC-NEXT:    rd %y, %o2
; SPARC-NEXT:    addcc %o1, %l7, %l7
; SPARC-NEXT:    sra %i4, 31, %o1
; SPARC-NEXT:    smul %o1, %g3, %g3
; SPARC-NEXT:    umul %o1, %g2, %g2
; SPARC-NEXT:    rd %y, %o3
; SPARC-NEXT:    addxcc %o2, %o0, %o0
; SPARC-NEXT:    add %o3, %g3, %g3
; SPARC-NEXT:    add %g3, %g2, %g3
; SPARC-NEXT:    addcc %l7, %g2, %l7
; SPARC-NEXT:    addxcc %o0, %g3, %o0
; SPARC-NEXT:    addcc %l4, %l0, %g2
; SPARC-NEXT:    addxcc %l5, %l1, %g3
; SPARC-NEXT:    addxcc %l7, 0, %l0
; SPARC-NEXT:    addxcc %o0, 0, %l1
; SPARC-NEXT:    sra %l1, 31, %l4
; SPARC-NEXT:    addcc %l2, %l0, %l0
; SPARC-NEXT:    addxcc %l3, %l1, %l1
; SPARC-NEXT:    addxcc %l6, %l4, %l2
; SPARC-NEXT:    smul %i4, %g4, %l3
; SPARC-NEXT:    umul %i5, %g4, %g4
; SPARC-NEXT:    rd %y, %l5
; SPARC-NEXT:    addxcc %l6, %l4, %l4
; SPARC-NEXT:    add %l5, %g4, %l5
; SPARC-NEXT:    smul %o1, %i0, %l6
; SPARC-NEXT:    umul %o1, %i1, %l7
; SPARC-NEXT:    rd %y, %o0
; SPARC-NEXT:    add %l5, %l3, %l3
; SPARC-NEXT:    add %o0, %l6, %l5
; SPARC-NEXT:    add %l5, %l7, %l5
; SPARC-NEXT:    addcc %l7, %g4, %g4
; SPARC-NEXT:    umul %i1, %i5, %l6
; SPARC-NEXT:    rd %y, %l7
; SPARC-NEXT:    addxcc %l5, %l3, %l3
; SPARC-NEXT:    umul %i0, %i5, %i5
; SPARC-NEXT:    rd %y, %l5
; SPARC-NEXT:    addcc %i5, %l7, %i5
; SPARC-NEXT:    addxcc %l5, 0, %l5
; SPARC-NEXT:    umul %i1, %i4, %i1
; SPARC-NEXT:    rd %y, %l7
; SPARC-NEXT:    addcc %i1, %i5, %i1
; SPARC-NEXT:    addxcc %l7, 0, %i5
; SPARC-NEXT:    addcc %l5, %i5, %i5
; SPARC-NEXT:    addxcc %g0, 0, %l5
; SPARC-NEXT:    umul %i0, %i4, %i0
; SPARC-NEXT:    rd %y, %i4
; SPARC-NEXT:    addcc %i0, %i5, %i0
; SPARC-NEXT:    addxcc %i4, %l5, %i4
; SPARC-NEXT:    addcc %i0, %g4, %i0
; SPARC-NEXT:    addxcc %i4, %l3, %i4
; SPARC-NEXT:    addcc %l6, %l0, %i5
; SPARC-NEXT:    addxcc %i1, %l1, %i1
; SPARC-NEXT:    addxcc %i0, %l2, %i0
; SPARC-NEXT:    addxcc %i4, %l4, %i4
; SPARC-NEXT:    sra %g3, 31, %g4
; SPARC-NEXT:    xor %i4, %g4, %i4
; SPARC-NEXT:    xor %i1, %g4, %i1
; SPARC-NEXT:    or %i1, %i4, %i1
; SPARC-NEXT:    xor %i0, %g4, %i0
; SPARC-NEXT:    xor %i5, %g4, %i4
; SPARC-NEXT:    or %i4, %i0, %i0
; SPARC-NEXT:    or %i0, %i1, %i0
; SPARC-NEXT:    cmp %i0, 0
; SPARC-NEXT:    bne .LBB0_2
; SPARC-NEXT:    nop
; SPARC-NEXT:  ! %bb.1: ! %start
; SPARC-NEXT:    ba .LBB0_3
; SPARC-NEXT:    mov %g0, %i4
; SPARC-NEXT:  .LBB0_2:
; SPARC-NEXT:    mov 1, %i4
; SPARC-NEXT:  .LBB0_3: ! %start
; SPARC-NEXT:    mov %g3, %i0
; SPARC-NEXT:    ret
; SPARC-NEXT:    restore %g0, %g2, %o1
;
; SPARC64-LABEL: muloti_test:
; SPARC64:         .register %g2, #scratch
; SPARC64-NEXT:    .register %g3, #scratch
; SPARC64-NEXT:  ! %bb.0: ! %start
; SPARC64-NEXT:    save %sp, -176, %sp
; SPARC64-NEXT:    mov %i3, %i4
; SPARC64-NEXT:    mov %i1, %i5
; SPARC64-NEXT:    mov %i0, %l2
; SPARC64-NEXT:    srax %i0, 63, %i3
; SPARC64-NEXT:    mov %i3, %o0
; SPARC64-NEXT:    mov %i0, %o1
; SPARC64-NEXT:    mov %g0, %o2
; SPARC64-NEXT:    call __multi3
; SPARC64-NEXT:    mov %i4, %o3
; SPARC64-NEXT:    mov %o0, %l0
; SPARC64-NEXT:    mov %o1, %l1
; SPARC64-NEXT:    mov %g0, %o0
; SPARC64-NEXT:    mov %i1, %o1
; SPARC64-NEXT:    mov %g0, %o2
; SPARC64-NEXT:    call __multi3
; SPARC64-NEXT:    mov %i4, %o3
; SPARC64-NEXT:    mov %o1, %i1
; SPARC64-NEXT:    mov %g0, %i0
; SPARC64-NEXT:    add %l1, %o0, %l3
; SPARC64-NEXT:    cmp %l3, %l1
; SPARC64-NEXT:    movcs %xcc, 1, %i0
; SPARC64-NEXT:    srl %i0, 0, %i0
; SPARC64-NEXT:    add %l0, %i0, %l0
; SPARC64-NEXT:    srax %l0, 63, %l1
; SPARC64-NEXT:    srax %i2, 63, %i4
; SPARC64-NEXT:    mov %g0, %o0
; SPARC64-NEXT:    mov %i5, %o1
; SPARC64-NEXT:    mov %i4, %o2
; SPARC64-NEXT:    call __multi3
; SPARC64-NEXT:    mov %i2, %o3
; SPARC64-NEXT:    mov %g0, %i5
; SPARC64-NEXT:    mov %g0, %g2
; SPARC64-NEXT:    add %o1, %l3, %i0
; SPARC64-NEXT:    cmp %i0, %o1
; SPARC64-NEXT:    movcs %xcc, 1, %i5
; SPARC64-NEXT:    srl %i5, 0, %i5
; SPARC64-NEXT:    add %o0, %i5, %i5
; SPARC64-NEXT:    srax %i5, 63, %g3
; SPARC64-NEXT:    add %l1, %g3, %g3
; SPARC64-NEXT:    add %l0, %i5, %i5
; SPARC64-NEXT:    cmp %i5, %l0
; SPARC64-NEXT:    movcs %xcc, 1, %g2
; SPARC64-NEXT:    srl %g2, 0, %g2
; SPARC64-NEXT:    add %g3, %g2, %l0
; SPARC64-NEXT:    mov %i3, %o0
; SPARC64-NEXT:    mov %l2, %o1
; SPARC64-NEXT:    mov %i4, %o2
; SPARC64-NEXT:    call __multi3
; SPARC64-NEXT:    mov %i2, %o3
; SPARC64-NEXT:    mov %g0, %i2
; SPARC64-NEXT:    mov %g0, %i3
; SPARC64-NEXT:    add %o0, %l0, %i4
; SPARC64-NEXT:    add %o1, %i5, %i5
; SPARC64-NEXT:    cmp %i5, %o1
; SPARC64-NEXT:    movcs %xcc, 1, %i2
; SPARC64-NEXT:    srl %i2, 0, %i2
; SPARC64-NEXT:    add %i4, %i2, %i2
; SPARC64-NEXT:    srax %i0, 63, %i4
; SPARC64-NEXT:    xor %i2, %i4, %i2
; SPARC64-NEXT:    xor %i5, %i4, %i4
; SPARC64-NEXT:    or %i4, %i2, %i2
; SPARC64-NEXT:    movrnz %i2, 1, %i3
; SPARC64-NEXT:    srl %i3, 0, %i2
; SPARC64-NEXT:    ret
; SPARC64-NEXT:    restore
start:
  %0 = tail call { i128, i1 } @llvm.smul.with.overflow.i128(i128 %l, i128 %r)
  %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
}

declare { i128, i1 } @llvm.smul.with.overflow.i128(i128, i128)