| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc -mtriple=thumbv6-linux-gnueabi < %s | FileCheck %s |
| |
| ; After various DAGCombine optimizations, we end up with an sbcs with |
| ; multiple uses of the cpsr def, and we therefore clone the subs/sbcs. |
| ; Make sure this doesn't crash. |
| ; |
| ; The output here might change at some point in the future, and no |
| ; longer clone the operations; if that happens, there probably isn't any |
| ; straightforward way to fix the test. |
| define i64 @f(i64 %x2, i32 %z) { |
| ; CHECK-LABEL: f: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: .save {r4, r5, r7, lr} |
| ; CHECK-NEXT: push {r4, r5, r7, lr} |
| ; CHECK-NEXT: movs r2, #0 |
| ; CHECK-NEXT: subs r3, r0, #1 |
| ; CHECK-NEXT: mov r3, r1 |
| ; CHECK-NEXT: sbcs r3, r2 |
| ; CHECK-NEXT: mov r3, r2 |
| ; CHECK-NEXT: adcs r3, r2 |
| ; CHECK-NEXT: movs r4, #30 |
| ; CHECK-NEXT: subs r5, r0, #1 |
| ; CHECK-NEXT: mov r5, r1 |
| ; CHECK-NEXT: sbcs r5, r2 |
| ; CHECK-NEXT: adcs r4, r2 |
| ; CHECK-NEXT: lsls r2, r1, #1 |
| ; CHECK-NEXT: lsls r2, r4 |
| ; CHECK-NEXT: movs r4, #1 |
| ; CHECK-NEXT: eors r4, r3 |
| ; CHECK-NEXT: lsrs r0, r4 |
| ; CHECK-NEXT: orrs r0, r2 |
| ; CHECK-NEXT: lsrs r1, r4 |
| ; CHECK-NEXT: pop {r4, r5, r7, pc} |
| %x3 = add nsw i64 %x2, -1 |
| %x8 = icmp ne i64 %x2, 0 |
| %x9 = xor i1 %x8, true |
| %x10 = zext i1 %x9 to i64 |
| %x11 = lshr i64 %x2, %x10 |
| ret i64 %x11 |
| } |