xref: /llvm-project/llvm/test/CodeGen/Mips/overflow-intrinsic-optimizations.ll (revision 8663926a544602932d299dda435ed1ef70a05f48)
1c8c176d9SNick Desaulniers; RUN: llc %s -mtriple=mipsel -o - | FileCheck %s
2c8c176d9SNick Desaulniers
3*8663926aSNikita Popovdefine i1 @no__mulodi4(i32 %a, i64 %b, ptr %c) {
4c8c176d9SNick Desaulniers; CHECK-LABEL: no__mulodi4
5c8c176d9SNick Desaulniers; CHECK-NOT: jal __mulodi4
66860b136SNick Desaulniers; CHECK-NOT: jal __multi3
7c8c176d9SNick Desaulniersentry:
8c8c176d9SNick Desaulniers  %0 = sext i32 %a to i64
9c8c176d9SNick Desaulniers  %1 = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %0, i64 %b)
10c8c176d9SNick Desaulniers  %2 = extractvalue { i64, i1 } %1, 1
11c8c176d9SNick Desaulniers  %3 = extractvalue { i64, i1 } %1, 0
12c8c176d9SNick Desaulniers  %4 = trunc i64 %3 to i32
13c8c176d9SNick Desaulniers  %5 = sext i32 %4 to i64
14c8c176d9SNick Desaulniers  %6 = icmp ne i64 %3, %5
15c8c176d9SNick Desaulniers  %7 = or i1 %2, %6
16*8663926aSNikita Popov  store i32 %4, ptr %c, align 4
17c8c176d9SNick Desaulniers  ret i1 %7
18c8c176d9SNick Desaulniers}
19c8c176d9SNick Desaulniers
20c8c176d9SNick Desaulniersdeclare { i64, i1 } @llvm.smul.with.overflow.i64(i64, i64)
21