1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=thumbv6-unknown-linux-gnu | FileCheck %s
4 %umul.ty = type { i32, i1 }
6 define i32 @test1(i32 %a, i1 %x) nounwind {
9 ; CHECK-NEXT: push {r4, r5, r7, lr}
10 ; CHECK-NEXT: mov r5, r1
11 ; CHECK-NEXT: movs r2, #37
12 ; CHECK-NEXT: movs r4, #0
13 ; CHECK-NEXT: mov r1, r4
14 ; CHECK-NEXT: mov r3, r4
15 ; CHECK-NEXT: bl __muldi3
16 ; CHECK-NEXT: lsls r1, r5, #31
17 ; CHECK-NEXT: beq .LBB0_2
18 ; CHECK-NEXT: @ %bb.1:
19 ; CHECK-NEXT: mvns r0, r4
20 ; CHECK-NEXT: .LBB0_2:
21 ; CHECK-NEXT: pop {r4, r5, r7, pc}
22 %tmp0 = tail call %umul.ty @llvm.umul.with.overflow.i32(i32 %a, i32 37)
23 %tmp1 = extractvalue %umul.ty %tmp0, 0
24 %tmp2 = select i1 %x, i32 -1, i32 %tmp1
28 declare %umul.ty @llvm.umul.with.overflow.i32(i32, i32) nounwind readnone
30 define i32 @test2(ptr %m_degree) ssp {
33 ; CHECK-NEXT: push {r4, lr}
34 ; CHECK-NEXT: ldr r1, [r0]
35 ; CHECK-NEXT: lsls r0, r1, #3
36 ; CHECK-NEXT: lsrs r2, r0, #3
37 ; CHECK-NEXT: subs r1, r1, r2
38 ; CHECK-NEXT: subs r2, r1, #1
39 ; CHECK-NEXT: sbcs r1, r2
40 ; CHECK-NEXT: movs r4, #0
41 ; CHECK-NEXT: cmp r1, #0
42 ; CHECK-NEXT: beq .LBB1_2
43 ; CHECK-NEXT: @ %bb.1:
44 ; CHECK-NEXT: mvns r0, r4
45 ; CHECK-NEXT: .LBB1_2:
46 ; CHECK-NEXT: bl _Znam
47 ; CHECK-NEXT: mov r0, r4
48 ; CHECK-NEXT: pop {r4, pc}
49 %val = load i32, ptr %m_degree, align 4
50 %res = call %umul.ty @llvm.umul.with.overflow.i32(i32 %val, i32 8)
51 %ov = extractvalue %umul.ty %res, 1
52 %mul = extractvalue %umul.ty %res, 0
53 %sel = select i1 %ov, i32 -1, i32 %mul
54 %ret = call noalias ptr @_Znam(i32 %sel)
58 declare noalias ptr @_Znam(i32)