diff options
Diffstat (limited to 'llvm/test/CodeGen/Thumb/cmp-add-fold.ll')
-rw-r--r-- | llvm/test/CodeGen/Thumb/cmp-add-fold.ll | 54 |
1 files changed, 43 insertions, 11 deletions
diff --git a/llvm/test/CodeGen/Thumb/cmp-add-fold.ll b/llvm/test/CodeGen/Thumb/cmp-add-fold.ll index aa61b0825b0c..4dc0bc70440d 100644 --- a/llvm/test/CodeGen/Thumb/cmp-add-fold.ll +++ b/llvm/test/CodeGen/Thumb/cmp-add-fold.ll @@ -1,33 +1,65 @@ -; RUN: llc -mtriple=thumbv6m-eabi -verify-machineinstrs < %s | FileCheck --check-prefix=CHECK --check-prefix=T1 %s -; RUN: llc -mtriple=thumbv7m-eabi -verify-machineinstrs < %s | FileCheck --check-prefix=CHECK --check-prefix=T2 %s +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -mtriple=thumbv6m-eabi -verify-machineinstrs < %s | FileCheck --check-prefix=T1 %s +; RUN: llc -mtriple=thumbv7m-eabi -verify-machineinstrs < %s | FileCheck --check-prefix=T2 %s -; CHECK-LABEL: addri1: -; T1: adds r0, r0, #3 -; T1-NEXT: b{{eq|ne}} -; T2: adds r0, #3 -; T2-NOT: cmp define i32 @addri1(i32 %a, i32 %b) { +; T1-LABEL: addri1: +; T1: @ %bb.0: @ %entry +; T1-NEXT: adds r0, r0, #3 +; T1-NEXT: beq .LBB0_2 +; T1-NEXT: @ %bb.1: @ %false +; T1-NEXT: movs r0, #5 +; T1-NEXT: bx lr +; T1-NEXT: .LBB0_2: @ %true +; T1-NEXT: movs r0, #4 +; T1-NEXT: bx lr +; +; T2-LABEL: addri1: +; T2: @ %bb.0: @ %entry +; T2-NEXT: adds r0, #3 +; T2-NEXT: mov.w r0, #5 +; T2-NEXT: it eq +; T2-NEXT: moveq r0, #4 +; T2-NEXT: bx lr +entry: %c = add i32 %a, 3 %d = icmp eq i32 %c, 0 br i1 %d, label %true, label %false true: ret i32 4 + false: ret i32 5 } -; CHECK-LABEL: addri2: -; CHECK: adds r0, #254 -; T1-NEXT: b{{eq|ne}} -; T2-NOT: cmp define i32 @addri2(i32 %a, i32 %b) { +; T1-LABEL: addri2: +; T1: @ %bb.0: @ %entry +; T1-NEXT: adds r0, #254 +; T1-NEXT: beq .LBB1_2 +; T1-NEXT: @ %bb.1: @ %false +; T1-NEXT: movs r0, #5 +; T1-NEXT: bx lr +; T1-NEXT: .LBB1_2: @ %true +; T1-NEXT: movs r0, #4 +; T1-NEXT: bx lr +; +; T2-LABEL: addri2: +; T2: @ %bb.0: @ %entry +; T2-NEXT: adds r0, #254 +; T2-NEXT: mov.w r0, #5 +; T2-NEXT: it eq +; T2-NEXT: moveq r0, #4 +; T2-NEXT: bx lr +entry: %c = add i32 %a, 254 %d = icmp eq i32 %c, 0 br i1 %d, label %true, label %false true: ret i32 4 + false: ret i32 5 } |