blob: 600a8c29ea912b6269721be7a36ffdee9cdb2055 [file] [log] [blame]
Evan Cheng39dfb0f2011-07-07 03:55:05 +00001; RUN: llc < %s -march=arm -mattr=+v4t | FileCheck %s
Chris Lattner603572a2007-04-11 05:02:57 +00002
3;; Integer absolute value, should produce something as good as: ARM:
Bill Wendlingef2c86f2011-10-10 22:59:55 +00004;; movs r0, r0
5;; rsbmi r0, r0, #0
Chris Lattner603572a2007-04-11 05:02:57 +00006;; bx lr
Chris Lattner603572a2007-04-11 05:02:57 +00007
8define i32 @test(i32 %a) {
9 %tmp1neg = sub i32 0, %a
10 %b = icmp sgt i32 %a, -1
11 %abs = select i1 %b, i32 %a, i32 %tmp1neg
12 ret i32 %abs
Manman Ren307473d2012-06-15 21:32:12 +000013; CHECK: cmp
Bill Wendlingef2c86f2011-10-10 22:59:55 +000014; CHECK: rsbmi r0, r0, #0
Chris Lattnerd863b762010-02-08 23:47:34 +000015; CHECK: bx lr
Chris Lattner603572a2007-04-11 05:02:57 +000016}
Manman Ren307473d2012-06-15 21:32:12 +000017
18; rdar://11633193
19;; 3 instructions will be generated for abs(a-b):
20;; subs
21;; rsbmi
22;; bx
23define i32 @test2(i32 %a, i32 %b) nounwind readnone ssp {
24entry:
25; CHECK: test2
26; CHECK: subs
27; CHECK-NEXT: rsbmi
28; CHECK-NEXT: bx
29 %sub = sub nsw i32 %a, %b
30 %cmp = icmp sgt i32 %sub, -1
31 %sub1 = sub nsw i32 0, %sub
32 %cond = select i1 %cmp, i32 %sub, i32 %sub1
33 ret i32 %cond
34}