From 69c670e4e32322a80b1fdca38a269e20bb4e364e Mon Sep 17 00:00:00 2001 From: Simon Pilgrim Date: Fri, 1 Mar 2019 12:08:50 +0000 Subject: [PATCH] [Thumb] Add some integer abs testcases for different typesizes. Committed on behalf of @ikulagin (Ivan Kulagin) Differential Revision: https://reviews.llvm.org/D52138 llvm-svn: 355197 --- llvm/test/CodeGen/Thumb/iabs.ll | 72 +++++++++++++++++++++++++-------- 1 file changed, 55 insertions(+), 17 deletions(-) diff --git a/llvm/test/CodeGen/Thumb/iabs.ll b/llvm/test/CodeGen/Thumb/iabs.ll index ecd4a6b96fa6..2d51288b5242 100644 --- a/llvm/test/CodeGen/Thumb/iabs.ll +++ b/llvm/test/CodeGen/Thumb/iabs.ll @@ -1,20 +1,58 @@ -; RUN: llc < %s -mtriple=thumb-unknown-unknown -filetype=obj -o %t.o -; RUN: llvm-objdump -disassemble -arch-name=thumb %t.o | FileCheck %s +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc < %s -mtriple=thumbv6m-none-eabi | FileCheck %s -define i32 @test(i32 %a) { - %tmp1neg = sub i32 0, %a - %b = icmp sgt i32 %a, -1 - %abs = select i1 %b, i32 %a, i32 %tmp1neg - ret i32 %abs - -; This test just checks that 4 instructions were emitted - -; CHECK: {{text}} -; CHECK: 0: -; CHECK-NEXT: 2: -; CHECK-NEXT: 4: -; CHECK-NEXT: 6: - -; CHECK-NOT: 8: +define i8 @test_i8(i8 %a) nounwind { +; CHECK-LABEL: test_i8: +; CHECK: @ %bb.0: +; CHECK-NEXT: sxtb r1, r0 +; CHECK-NEXT: asrs r1, r1, #7 +; CHECK-NEXT: adds r0, r0, r1 +; CHECK-NEXT: eors r0, r1 +; CHECK-NEXT: bx lr + %tmp1neg = sub i8 0, %a + %b = icmp sgt i8 %a, -1 + %abs = select i1 %b, i8 %a, i8 %tmp1neg + ret i8 %abs } +define i16 @test_i16(i16 %a) nounwind { +; CHECK-LABEL: test_i16: +; CHECK: @ %bb.0: +; CHECK-NEXT: sxth r1, r0 +; CHECK-NEXT: asrs r1, r1, #15 +; CHECK-NEXT: adds r0, r0, r1 +; CHECK-NEXT: eors r0, r1 +; CHECK-NEXT: bx lr + %tmp1neg = sub i16 0, %a + %b = icmp sgt i16 %a, -1 + %abs = select i1 %b, i16 %a, i16 %tmp1neg + ret i16 %abs +} + +define i32 @test_i32(i32 %a) nounwind { +; CHECK-LABEL: test_i32: +; CHECK: @ %bb.0: +; CHECK-NEXT: asrs r1, r0, #31 +; CHECK-NEXT: adds r0, r0, r1 +; CHECK-NEXT: eors r0, r1 +; CHECK-NEXT: bx lr + %tmp1neg = sub i32 0, %a + %b = icmp sgt i32 %a, -1 + %abs = select i1 %b, i32 %a, i32 %tmp1neg + ret i32 %abs +} + +define i64 @test_i64(i64 %a) nounwind { +; CHECK-LABEL: test_i64: +; CHECK: @ %bb.0: +; CHECK-NEXT: asrs r2, r1, #31 +; CHECK-NEXT: adds r0, r0, r2 +; CHECK-NEXT: adcs r1, r2 +; CHECK-NEXT: eors r0, r2 +; CHECK-NEXT: eors r1, r2 +; CHECK-NEXT: bx lr + %tmp1neg = sub i64 0, %a + %b = icmp sgt i64 %a, -1 + %abs = select i1 %b, i64 %a, i64 %tmp1neg + ret i64 %abs +}