aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/test/CodeGen/Thumb/cmp-add-fold.ll')
-rw-r--r--llvm/test/CodeGen/Thumb/cmp-add-fold.ll54
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
}