2012-05-18 01:44:19 +02:00
|
|
|
; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s
|
Explicitly request physreg coalesing for a bunch of Thumb2 unit tests.
These tests all follow the same pattern:
mov r2, r0
movs r0, #0
$CMP r2, r1
it eq
moveq r0, #1
bx lr
The first 'mov' can be eliminated by rematerializing 'movs r0, #0' below the
test instruction:
$CMP r0, r1
mov.w r0, #0
it eq
moveq r0, #1
bx lr
So far, only physreg coalescing can do that. The register allocators won't yet
split live ranges just to eliminate copies. They can learn, but this particular
problem is not likely to show up in real code. It only appears because r0 is
used for both the function argument and return value.
llvm-svn: 130858
2011-05-04 21:02:07 +02:00
|
|
|
|
2012-05-18 01:44:19 +02:00
|
|
|
; These tests could be improved by 'movs r0, #0' being rematerialized below the
|
|
|
|
; test as 'mov.w r0, #0'.
|
2009-06-29 17:33:01 +02:00
|
|
|
|
|
|
|
define i1 @f1(i32 %a, i32 %b) {
|
|
|
|
%nb = sub i32 0, %b
|
|
|
|
%tmp = icmp ne i32 %a, %nb
|
|
|
|
ret i1 %tmp
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f1:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn {{.*}}, r1
|
2009-06-29 17:33:01 +02:00
|
|
|
|
|
|
|
define i1 @f2(i32 %a, i32 %b) {
|
|
|
|
%nb = sub i32 0, %b
|
|
|
|
%tmp = icmp ne i32 %nb, %a
|
|
|
|
ret i1 %tmp
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f2:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn {{.*}}, r1
|
2009-06-29 17:33:01 +02:00
|
|
|
|
|
|
|
define i1 @f3(i32 %a, i32 %b) {
|
|
|
|
%nb = sub i32 0, %b
|
|
|
|
%tmp = icmp eq i32 %a, %nb
|
|
|
|
ret i1 %tmp
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f3:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn {{.*}}, r1
|
2009-06-29 17:33:01 +02:00
|
|
|
|
|
|
|
define i1 @f4(i32 %a, i32 %b) {
|
|
|
|
%nb = sub i32 0, %b
|
|
|
|
%tmp = icmp eq i32 %nb, %a
|
|
|
|
ret i1 %tmp
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f4:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn {{.*}}, r1
|
2009-06-30 03:02:20 +02:00
|
|
|
|
|
|
|
define i1 @f5(i32 %a, i32 %b) {
|
|
|
|
%tmp = shl i32 %b, 5
|
|
|
|
%nb = sub i32 0, %tmp
|
|
|
|
%tmp1 = icmp eq i32 %nb, %a
|
|
|
|
ret i1 %tmp1
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f5:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn.w {{.*}}, r1, lsl #5
|
2009-06-30 03:02:20 +02:00
|
|
|
|
|
|
|
define i1 @f6(i32 %a, i32 %b) {
|
|
|
|
%tmp = lshr i32 %b, 6
|
|
|
|
%nb = sub i32 0, %tmp
|
|
|
|
%tmp1 = icmp ne i32 %nb, %a
|
|
|
|
ret i1 %tmp1
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f6:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn.w {{.*}}, r1, lsr #6
|
2009-06-30 03:02:20 +02:00
|
|
|
|
|
|
|
define i1 @f7(i32 %a, i32 %b) {
|
|
|
|
%tmp = ashr i32 %b, 7
|
|
|
|
%nb = sub i32 0, %tmp
|
|
|
|
%tmp1 = icmp eq i32 %a, %nb
|
|
|
|
ret i1 %tmp1
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f7:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn.w {{.*}}, r1, asr #7
|
2009-06-30 03:02:20 +02:00
|
|
|
|
|
|
|
define i1 @f8(i32 %a, i32 %b) {
|
|
|
|
%l8 = shl i32 %a, 24
|
|
|
|
%r8 = lshr i32 %a, 8
|
|
|
|
%tmp = or i32 %l8, %r8
|
|
|
|
%nb = sub i32 0, %tmp
|
|
|
|
%tmp1 = icmp ne i32 %a, %nb
|
|
|
|
ret i1 %tmp1
|
|
|
|
}
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f8:
|
2012-05-18 01:44:19 +02:00
|
|
|
; CHECK: cmn.w {{.*}}, {{.*}}, ror #8
|
2009-11-22 16:18:27 +01:00
|
|
|
|
2012-05-04 21:53:56 +02:00
|
|
|
|
|
|
|
define void @f9(i32 %a, i32 %b) nounwind optsize {
|
|
|
|
tail call void asm sideeffect "cmn.w r0, r1", ""() nounwind, !srcloc !0
|
|
|
|
ret void
|
|
|
|
}
|
|
|
|
|
|
|
|
!0 = metadata !{i32 81}
|
|
|
|
|
2013-07-14 08:24:09 +02:00
|
|
|
; CHECK-LABEL: f9:
|
2012-05-04 21:53:56 +02:00
|
|
|
; CHECK: cmn.w r0, r1
|