| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=arm-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-V4 |
| ; RUN: llc -mtriple=armv6-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-V6V7,CHECK-ARM-V6V7,CHECK-V6 |
| ; RUN: llc -mtriple=armv7-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-V6V7,CHECK-ARM-V6V7,CHECK-V7 |
| ; RUN: llc -mtriple=thumb-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-THUMB |
| ; RUN: llc -mtriple=thumbv6-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-THUMBV6 |
| ; RUN: llc -mtriple=thumbv6t2-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-V6V7,CHECK-THUMB-V6V7,CHECK-THUMBV6T2 |
| ; RUN: llc -mtriple=thumbv7-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-V6V7,CHECK-THUMB-V6V7,CHECK-THUMBV7 |
| ; RUN: llc -mtriple=thumbv7m-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-THUMBV7M |
| ; RUN: llc -mtriple=thumbv7em-eabi %s -o - | FileCheck %s --check-prefixes=CHECK-V6V7,CHECK-THUMB-V6V7,CHECK-THUMBV7EM |
| |
| ; Next test would previously trigger an assertion responsible for verification of |
| ; call site info state. |
| ; RUN: llc -stop-after=if-converter -debug-entry-values -mtriple=thumbv6t2-eabi %s -o -| FileCheck %s -check-prefix=CHECK-CALLSITE |
| ; CHECK-CALLSITE: name: test_used_flags |
| ; CHECK-CALLSITE: callSites: |
| |
| define i32 @Test0(i32 %a, i32 %b, i32 %c) nounwind readnone ssp { |
| ; CHECK-V4-LABEL: Test0: |
| ; CHECK-V4: @ %bb.0: @ %entry |
| ; CHECK-V4-NEXT: smull r3, r12, r2, r1 |
| ; CHECK-V4-NEXT: sub r0, r0, r12 |
| ; CHECK-V4-NEXT: mov pc, lr |
| ; |
| ; CHECK-ARM-V6V7-LABEL: Test0: |
| ; CHECK-ARM-V6V7: @ %bb.0: @ %entry |
| ; CHECK-ARM-V6V7-NEXT: smmul r1, r2, r1 |
| ; CHECK-ARM-V6V7-NEXT: sub r0, r0, r1 |
| ; CHECK-ARM-V6V7-NEXT: bx lr |
| ; |
| ; CHECK-THUMB-LABEL: Test0: |
| ; CHECK-THUMB: @ %bb.0: @ %entry |
| ; CHECK-THUMB-NEXT: .save {r4, r5, r7, lr} |
| ; CHECK-THUMB-NEXT: push {r4, r5, r7, lr} |
| ; CHECK-THUMB-NEXT: movs r5, r1 |
| ; CHECK-THUMB-NEXT: movs r4, r0 |
| ; CHECK-THUMB-NEXT: asrs r1, r2, #31 |
| ; CHECK-THUMB-NEXT: asrs r3, r5, #31 |
| ; CHECK-THUMB-NEXT: movs r0, r2 |
| ; CHECK-THUMB-NEXT: movs r2, r5 |
| ; CHECK-THUMB-NEXT: bl __aeabi_lmul |
| ; CHECK-THUMB-NEXT: subs r0, r4, r1 |
| ; CHECK-THUMB-NEXT: pop {r4, r5, r7} |
| ; CHECK-THUMB-NEXT: pop {r1} |
| ; CHECK-THUMB-NEXT: bx r1 |
| ; |
| ; CHECK-THUMBV6-LABEL: Test0: |
| ; CHECK-THUMBV6: @ %bb.0: @ %entry |
| ; CHECK-THUMBV6-NEXT: .save {r4, r5, r7, lr} |
| ; CHECK-THUMBV6-NEXT: push {r4, r5, r7, lr} |
| ; CHECK-THUMBV6-NEXT: mov r5, r1 |
| ; CHECK-THUMBV6-NEXT: mov r4, r0 |
| ; CHECK-THUMBV6-NEXT: asrs r1, r2, #31 |
| ; CHECK-THUMBV6-NEXT: asrs r3, r5, #31 |
| ; CHECK-THUMBV6-NEXT: mov r0, r2 |
| ; CHECK-THUMBV6-NEXT: mov r2, r5 |
| ; CHECK-THUMBV6-NEXT: bl __aeabi_lmul |
| ; CHECK-THUMBV6-NEXT: subs r0, r4, r1 |
| ; CHECK-THUMBV6-NEXT: pop {r4, r5, r7, pc} |
| ; |
| ; CHECK-THUMB-V6V7-LABEL: Test0: |
| ; CHECK-THUMB-V6V7: @ %bb.0: @ %entry |
| ; CHECK-THUMB-V6V7-NEXT: smmul r1, r2, r1 |
| ; CHECK-THUMB-V6V7-NEXT: subs r0, r0, r1 |
| ; CHECK-THUMB-V6V7-NEXT: bx lr |
| ; |
| ; CHECK-THUMBV7M-LABEL: Test0: |
| ; CHECK-THUMBV7M: @ %bb.0: @ %entry |
| ; CHECK-THUMBV7M-NEXT: smull r1, r2, r2, r1 |
| ; CHECK-THUMBV7M-NEXT: subs r0, r0, r2 |
| ; CHECK-THUMBV7M-NEXT: bx lr |
| entry: |
| %conv4 = zext i32 %a to i64 |
| %conv1 = sext i32 %b to i64 |
| %conv2 = sext i32 %c to i64 |
| %mul = mul nsw i64 %conv2, %conv1 |
| %shr5 = lshr i64 %mul, 32 |
| %sub = sub nsw i64 %conv4, %shr5 |
| %conv3 = trunc i64 %sub to i32 |
| ret i32 %conv3 |
| } |
| |
| define i32 @Test1(i32 %a, i32 %b, i32 %c) { |
| ; CHECK-V4-LABEL: Test1: |
| ; CHECK-V4: @ %bb.0: @ %entry |
| ; CHECK-V4-NEXT: smull r3, r12, r2, r1 |
| ; CHECK-V4-NEXT: rsbs r1, r3, #0 |
| ; CHECK-V4-NEXT: sbc r0, r0, r12 |
| ; CHECK-V4-NEXT: mov pc, lr |
| ; |
| ; CHECK-V6V7-LABEL: Test1: |
| ; CHECK-V6V7: @ %bb.0: @ %entry |
| ; CHECK-V6V7-NEXT: smmls r0, r2, r1, r0 |
| ; CHECK-V6V7-NEXT: bx lr |
| ; |
| ; CHECK-THUMB-LABEL: Test1: |
| ; CHECK-THUMB: @ %bb.0: @ %entry |
| ; CHECK-THUMB-NEXT: .save {r4, r5, r7, lr} |
| ; CHECK-THUMB-NEXT: push {r4, r5, r7, lr} |
| ; CHECK-THUMB-NEXT: movs r5, r1 |
| ; CHECK-THUMB-NEXT: movs r4, r0 |
| ; CHECK-THUMB-NEXT: asrs r1, r2, #31 |
| ; CHECK-THUMB-NEXT: asrs r3, r5, #31 |
| ; CHECK-THUMB-NEXT: movs r0, r2 |
| ; CHECK-THUMB-NEXT: movs r2, r5 |
| ; CHECK-THUMB-NEXT: bl __aeabi_lmul |
| ; CHECK-THUMB-NEXT: rsbs r0, r0, #0 |
| ; CHECK-THUMB-NEXT: sbcs r4, r1 |
| ; CHECK-THUMB-NEXT: movs r0, r4 |
| ; CHECK-THUMB-NEXT: pop {r4, r5, r7} |
| ; CHECK-THUMB-NEXT: pop {r1} |
| ; CHECK-THUMB-NEXT: bx r1 |
| ; |
| ; CHECK-THUMBV6-LABEL: Test1: |
| ; CHECK-THUMBV6: @ %bb.0: @ %entry |
| ; CHECK-THUMBV6-NEXT: .save {r4, r5, r7, lr} |
| ; CHECK-THUMBV6-NEXT: push {r4, r5, r7, lr} |
| ; CHECK-THUMBV6-NEXT: mov r5, r1 |
| ; CHECK-THUMBV6-NEXT: mov r4, r0 |
| ; CHECK-THUMBV6-NEXT: asrs r1, r2, #31 |
| ; CHECK-THUMBV6-NEXT: asrs r3, r5, #31 |
| ; CHECK-THUMBV6-NEXT: mov r0, r2 |
| ; CHECK-THUMBV6-NEXT: mov r2, r5 |
| ; CHECK-THUMBV6-NEXT: bl __aeabi_lmul |
| ; CHECK-THUMBV6-NEXT: rsbs r0, r0, #0 |
| ; CHECK-THUMBV6-NEXT: sbcs r4, r1 |
| ; CHECK-THUMBV6-NEXT: mov r0, r4 |
| ; CHECK-THUMBV6-NEXT: pop {r4, r5, r7, pc} |
| ; |
| ; CHECK-THUMBV7M-LABEL: Test1: |
| ; CHECK-THUMBV7M: @ %bb.0: @ %entry |
| ; CHECK-THUMBV7M-NEXT: smull r1, r2, r2, r1 |
| ; CHECK-THUMBV7M-NEXT: rsbs r1, r1, #0 |
| ; CHECK-THUMBV7M-NEXT: sbcs r0, r2 |
| ; CHECK-THUMBV7M-NEXT: bx lr |
| entry: |
| %conv = sext i32 %b to i64 |
| %conv1 = sext i32 %c to i64 |
| %mul = mul nsw i64 %conv1, %conv |
| %conv26 = zext i32 %a to i64 |
| %shl = shl nuw i64 %conv26, 32 |
| %sub = sub nsw i64 %shl, %mul |
| %shr7 = lshr i64 %sub, 32 |
| %conv3 = trunc i64 %shr7 to i32 |
| ret i32 %conv3 |
| } |
| |
| declare void @opaque(i32) |
| define void @test_used_flags(i32 %in1, i32 %in2) { |
| ; CHECK-V4-LABEL: test_used_flags: |
| ; CHECK-V4: @ %bb.0: |
| ; CHECK-V4-NEXT: .save {r11, lr} |
| ; CHECK-V4-NEXT: push {r11, lr} |
| ; CHECK-V4-NEXT: smull r2, r3, r0, r1 |
| ; CHECK-V4-NEXT: rsbs r0, r2, #0 |
| ; CHECK-V4-NEXT: rscs r0, r3, #0 |
| ; CHECK-V4-NEXT: movge r0, #42 |
| ; CHECK-V4-NEXT: movlt r0, #56 |
| ; CHECK-V4-NEXT: bl opaque |
| ; CHECK-V4-NEXT: pop {r11, lr} |
| ; CHECK-V4-NEXT: mov pc, lr |
| ; |
| ; CHECK-V6-LABEL: test_used_flags: |
| ; CHECK-V6: @ %bb.0: @ %common.ret |
| ; CHECK-V6-NEXT: .save {r11, lr} |
| ; CHECK-V6-NEXT: push {r11, lr} |
| ; CHECK-V6-NEXT: smull r1, r2, r0, r1 |
| ; CHECK-V6-NEXT: mov r0, #56 |
| ; CHECK-V6-NEXT: subs r1, r1, #1 |
| ; CHECK-V6-NEXT: sbcs r1, r2, #0 |
| ; CHECK-V6-NEXT: movlt r0, #42 |
| ; CHECK-V6-NEXT: bl opaque |
| ; CHECK-V6-NEXT: pop {r11, pc} |
| ; |
| ; CHECK-V7-LABEL: test_used_flags: |
| ; CHECK-V7: @ %bb.0: @ %common.ret |
| ; CHECK-V7-NEXT: .save {r11, lr} |
| ; CHECK-V7-NEXT: push {r11, lr} |
| ; CHECK-V7-NEXT: smull r1, r2, r0, r1 |
| ; CHECK-V7-NEXT: mov r0, #56 |
| ; CHECK-V7-NEXT: subs r1, r1, #1 |
| ; CHECK-V7-NEXT: sbcs r1, r2, #0 |
| ; CHECK-V7-NEXT: movwlt r0, #42 |
| ; CHECK-V7-NEXT: bl opaque |
| ; CHECK-V7-NEXT: pop {r11, pc} |
| ; |
| ; CHECK-THUMB-LABEL: test_used_flags: |
| ; CHECK-THUMB: @ %bb.0: |
| ; CHECK-THUMB-NEXT: .save {r7, lr} |
| ; CHECK-THUMB-NEXT: push {r7, lr} |
| ; CHECK-THUMB-NEXT: movs r2, r1 |
| ; CHECK-THUMB-NEXT: asrs r1, r0, #31 |
| ; CHECK-THUMB-NEXT: asrs r3, r2, #31 |
| ; CHECK-THUMB-NEXT: bl __aeabi_lmul |
| ; CHECK-THUMB-NEXT: movs r2, #0 |
| ; CHECK-THUMB-NEXT: rsbs r0, r0, #0 |
| ; CHECK-THUMB-NEXT: sbcs r2, r1 |
| ; CHECK-THUMB-NEXT: bge .LBB2_2 |
| ; CHECK-THUMB-NEXT: @ %bb.1: @ %false |
| ; CHECK-THUMB-NEXT: movs r0, #56 |
| ; CHECK-THUMB-NEXT: b .LBB2_3 |
| ; CHECK-THUMB-NEXT: .LBB2_2: @ %true |
| ; CHECK-THUMB-NEXT: movs r0, #42 |
| ; CHECK-THUMB-NEXT: .LBB2_3: @ %true |
| ; CHECK-THUMB-NEXT: bl opaque |
| ; CHECK-THUMB-NEXT: pop {r7} |
| ; CHECK-THUMB-NEXT: pop {r0} |
| ; CHECK-THUMB-NEXT: bx r0 |
| ; |
| ; CHECK-THUMBV6-LABEL: test_used_flags: |
| ; CHECK-THUMBV6: @ %bb.0: |
| ; CHECK-THUMBV6-NEXT: .save {r7, lr} |
| ; CHECK-THUMBV6-NEXT: push {r7, lr} |
| ; CHECK-THUMBV6-NEXT: mov r2, r1 |
| ; CHECK-THUMBV6-NEXT: asrs r1, r0, #31 |
| ; CHECK-THUMBV6-NEXT: asrs r3, r2, #31 |
| ; CHECK-THUMBV6-NEXT: bl __aeabi_lmul |
| ; CHECK-THUMBV6-NEXT: movs r2, #0 |
| ; CHECK-THUMBV6-NEXT: rsbs r0, r0, #0 |
| ; CHECK-THUMBV6-NEXT: sbcs r2, r1 |
| ; CHECK-THUMBV6-NEXT: bge .LBB2_2 |
| ; CHECK-THUMBV6-NEXT: @ %bb.1: @ %false |
| ; CHECK-THUMBV6-NEXT: movs r0, #56 |
| ; CHECK-THUMBV6-NEXT: bl opaque |
| ; CHECK-THUMBV6-NEXT: pop {r7, pc} |
| ; CHECK-THUMBV6-NEXT: .LBB2_2: @ %true |
| ; CHECK-THUMBV6-NEXT: movs r0, #42 |
| ; CHECK-THUMBV6-NEXT: bl opaque |
| ; CHECK-THUMBV6-NEXT: pop {r7, pc} |
| ; |
| ; CHECK-THUMBV6T2-LABEL: test_used_flags: |
| ; CHECK-THUMBV6T2: @ %bb.0: |
| ; CHECK-THUMBV6T2-NEXT: .save {r7, lr} |
| ; CHECK-THUMBV6T2-NEXT: push {r7, lr} |
| ; CHECK-THUMBV6T2-NEXT: smull r0, r1, r0, r1 |
| ; CHECK-THUMBV6T2-NEXT: movs r2, #0 |
| ; CHECK-THUMBV6T2-NEXT: rsbs r0, r0, #0 |
| ; CHECK-THUMBV6T2-NEXT: sbcs.w r0, r2, r1 |
| ; CHECK-THUMBV6T2-NEXT: ite lt |
| ; CHECK-THUMBV6T2-NEXT: movlt r0, #56 |
| ; CHECK-THUMBV6T2-NEXT: movge r0, #42 |
| ; CHECK-THUMBV6T2-NEXT: bl opaque |
| ; CHECK-THUMBV6T2-NEXT: pop {r7, pc} |
| ; |
| ; CHECK-THUMBV7-LABEL: test_used_flags: |
| ; CHECK-THUMBV7: @ %bb.0: @ %common.ret |
| ; CHECK-THUMBV7-NEXT: .save {r7, lr} |
| ; CHECK-THUMBV7-NEXT: push {r7, lr} |
| ; CHECK-THUMBV7-NEXT: smull r1, r2, r0, r1 |
| ; CHECK-THUMBV7-NEXT: movs r0, #56 |
| ; CHECK-THUMBV7-NEXT: subs r1, #1 |
| ; CHECK-THUMBV7-NEXT: sbcs r1, r2, #0 |
| ; CHECK-THUMBV7-NEXT: it lt |
| ; CHECK-THUMBV7-NEXT: movlt r0, #42 |
| ; CHECK-THUMBV7-NEXT: bl opaque |
| ; CHECK-THUMBV7-NEXT: pop {r7, pc} |
| ; |
| ; CHECK-THUMBV7M-LABEL: test_used_flags: |
| ; CHECK-THUMBV7M: @ %bb.0: @ %common.ret |
| ; CHECK-THUMBV7M-NEXT: .save {r7, lr} |
| ; CHECK-THUMBV7M-NEXT: push {r7, lr} |
| ; CHECK-THUMBV7M-NEXT: smull r1, r2, r0, r1 |
| ; CHECK-THUMBV7M-NEXT: movs r0, #56 |
| ; CHECK-THUMBV7M-NEXT: subs r1, #1 |
| ; CHECK-THUMBV7M-NEXT: sbcs r1, r2, #0 |
| ; CHECK-THUMBV7M-NEXT: it lt |
| ; CHECK-THUMBV7M-NEXT: movlt r0, #42 |
| ; CHECK-THUMBV7M-NEXT: bl opaque |
| ; CHECK-THUMBV7M-NEXT: pop {r7, pc} |
| ; |
| ; CHECK-THUMBV7EM-LABEL: test_used_flags: |
| ; CHECK-THUMBV7EM: @ %bb.0: @ %common.ret |
| ; CHECK-THUMBV7EM-NEXT: .save {r7, lr} |
| ; CHECK-THUMBV7EM-NEXT: push {r7, lr} |
| ; CHECK-THUMBV7EM-NEXT: smull r1, r2, r0, r1 |
| ; CHECK-THUMBV7EM-NEXT: movs r0, #56 |
| ; CHECK-THUMBV7EM-NEXT: subs r1, #1 |
| ; CHECK-THUMBV7EM-NEXT: sbcs r1, r2, #0 |
| ; CHECK-THUMBV7EM-NEXT: it lt |
| ; CHECK-THUMBV7EM-NEXT: movlt r0, #42 |
| ; CHECK-THUMBV7EM-NEXT: bl opaque |
| ; CHECK-THUMBV7EM-NEXT: pop {r7, pc} |
| %in1.64 = sext i32 %in1 to i64 |
| %in2.64 = sext i32 %in2 to i64 |
| %mul = mul nsw i64 %in1.64, %in2.64 |
| %tst = icmp slt i64 %mul, 1 |
| br i1 %tst, label %true, label %false |
| |
| true: |
| call void @opaque(i32 42) |
| ret void |
| |
| false: |
| call void @opaque(i32 56) |
| ret void |
| } |