From 0c7508306c6fec6f78a9c67275ca878cc0275f3a Mon Sep 17 00:00:00 2001
From: David Green <david.green@arm.com>
Date: Mon, 4 Feb 2019 11:50:14 +0000
Subject: [PATCH] [ARM] Add testcases for D57671. NFC

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@353039 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/CodeGen/Thumb/uxth.ll | 165 +++++++++++++++++++++++++++++++++++++
 1 file changed, 165 insertions(+)
 create mode 100644 test/CodeGen/Thumb/uxth.ll

diff --git a/test/CodeGen/Thumb/uxth.ll b/test/CodeGen/Thumb/uxth.ll
new file mode 100644
index 00000000000..11514d80899
--- /dev/null
+++ b/test/CodeGen/Thumb/uxth.ll
@@ -0,0 +1,165 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -mtriple=thumbv6m-eabi -asm-verbose=false %s -o - | FileCheck %s --check-prefix=V6M
+
+define i32 @uxth(i32 %x) {
+; V6M-LABEL: uxth:
+; V6M:         uxth r0, r0
+; V6M-NEXT:    bx lr
+  %xn = and i32 %x, 65535
+  ret i32 %xn
+}
+
+define i32 @uxtb(i32 %x) {
+; V6M-LABEL: uxtb:
+; V6M:         uxtb r0, r0
+; V6M-NEXT:    bx lr
+  %xn = and i32 %x, 255
+  ret i32 %xn
+}
+
+define i32 @uxth_2(i32 %x, i32 %y) {
+; V6M-LABEL: uxth_2:
+; V6M:         uxth r1, r1
+; V6M-NEXT:    uxth r0, r0
+; V6M-NEXT:    muls r0, r1, r0
+; V6M-NEXT:    bx lr
+  %xn = and i32 %x, 65535
+  %yn = and i32 %y, 65535
+  %r = mul nuw i32 %xn, %yn
+  ret i32 %r
+}
+
+define i32 @uxtb_2(i32 %x, i32 %y) {
+; V6M-LABEL: uxtb_2:
+; V6M:         uxtb r1, r1
+; V6M-NEXT:    uxtb r0, r0
+; V6M-NEXT:    muls r0, r1, r0
+; V6M-NEXT:    bx lr
+  %xn = and i32 %x, 255
+  %yn = and i32 %y, 255
+  %r = mul nuw nsw i32 %xn, %yn
+  ret i32 %r
+}
+
+define void @uxth_loop(i32* %a, i32 %n) {
+; V6M-LABEL: uxth_loop:
+; V6M:       .LBB4_1:
+; V6M-NEXT:    ldrh r2, [r0]
+; V6M-NEXT:    stm r0!, {r2}
+; V6M-NEXT:    subs r1, r1, #1
+; V6M-NEXT:    bne .LBB4_1
+; V6M-NEXT:    bx lr
+entry:
+  br label %for.body
+
+for.body:
+  %i = phi i32 [ 0, %entry ], [ %inc, %for.body ]
+  %arrayidx = getelementptr inbounds i32, i32* %a, i32 %i
+  %x = load i32, i32* %arrayidx
+  %xn = and i32 %x, 65535
+  store i32 %xn, i32* %arrayidx
+  %inc = add nuw nsw i32 %i, 1
+  %exitcond = icmp eq i32 %inc, %n
+  br i1 %exitcond, label %for.cond.cleanup, label %for.body
+
+for.cond.cleanup:
+  ret void
+}
+
+define void @uxth_loop_2(i32* %a, i32 %n) {
+; V6M-LABEL: uxth_loop_2:
+; V6M:         .save {r4, r5, r7, lr}
+; V6M-NEXT:    push {r4, r5, r7, lr}
+; V6M-NEXT:    movs r3, #0
+; V6M-NEXT:    ldr r2, .LCPI5_0
+; V6M-NEXT:  .LBB5_1:
+; V6M-NEXT:    adds r4, r3, #1
+; V6M-NEXT:    ands r3, r2
+; V6M-NEXT:    ldr r5, [r0]
+; V6M-NEXT:    ands r5, r2
+; V6M-NEXT:    muls r5, r3, r5
+; V6M-NEXT:    stm r0!, {r5}
+; V6M-NEXT:    cmp r1, r4
+; V6M-NEXT:    mov r3, r4
+; V6M-NEXT:    bne .LBB5_1
+; V6M-NEXT:    pop {r4, r5, r7, pc}
+; V6M-NEXT:    .p2align 2
+; V6M-NEXT:  .LCPI5_0:
+; V6M-NEXT:    .long 65535
+entry:
+  br label %for.body
+
+for.body:
+  %i = phi i32 [ 0, %entry ], [ %inc, %for.body ]
+  %arrayidx = getelementptr inbounds i32, i32* %a, i32 %i
+  %x = load i32, i32* %arrayidx
+  %xn = and i32 %x, 65535
+  %in = and i32 %i, 65535
+  %s = mul i32 %xn, %in
+  store i32 %s, i32* %arrayidx
+  %inc = add nuw nsw i32 %i, 1
+  %exitcond = icmp eq i32 %inc, %n
+  br i1 %exitcond, label %for.cond.cleanup, label %for.body
+
+for.cond.cleanup:
+  ret void
+}
+
+define void @uxtb_loop(i32* %a, i32 %n) {
+; V6M-LABEL: uxtb_loop:
+; V6M:       .LBB6_1:
+; V6M-NEXT:    ldrb r2, [r0]
+; V6M-NEXT:    stm r0!, {r2}
+; V6M-NEXT:    subs r1, r1, #1
+; V6M-NEXT:    bne .LBB6_1
+; V6M-NEXT:    bx lr
+entry:
+  br label %for.body
+
+for.body:
+  %i = phi i32 [ 0, %entry ], [ %inc, %for.body ]
+  %arrayidx = getelementptr inbounds i32, i32* %a, i32 %i
+  %x = load i32, i32* %arrayidx
+  %xn = and i32 %x, 255
+  store i32 %xn, i32* %arrayidx
+  %inc = add nuw nsw i32 %i, 1
+  %exitcond = icmp eq i32 %inc, %n
+  br i1 %exitcond, label %for.cond.cleanup, label %for.body
+
+for.cond.cleanup:
+  ret void
+}
+
+define void @uxtb_loop_2(i32* %a, i32 %n) {
+; V6M-LABEL: uxtb_loop_2:
+; V6M:         .save {r4, lr}
+; V6M-NEXT:    push {r4, lr}
+; V6M-NEXT:    movs r2, #0
+; V6M-NEXT:  .LBB7_1:
+; V6M-NEXT:    uxtb r3, r2
+; V6M-NEXT:    ldrb r4, [r0]
+; V6M-NEXT:    muls r4, r3, r4
+; V6M-NEXT:    stm r0!, {r4}
+; V6M-NEXT:    adds r2, r2, #1
+; V6M-NEXT:    cmp r1, r2
+; V6M-NEXT:    bne .LBB7_1
+; V6M-NEXT:    pop {r4, pc}
+entry:
+  br label %for.body
+
+for.body:
+  %i = phi i32 [ 0, %entry ], [ %inc, %for.body ]
+  %arrayidx = getelementptr inbounds i32, i32* %a, i32 %i
+  %x = load i32, i32* %arrayidx
+  %xn = and i32 %x, 255
+  %in = and i32 %i, 255
+  %s = mul i32 %xn, %in
+  store i32 %s, i32* %arrayidx
+  %inc = add nuw nsw i32 %i, 1
+  %exitcond = icmp eq i32 %inc, %n
+  br i1 %exitcond, label %for.cond.cleanup, label %for.body
+
+for.cond.cleanup:
+  ret void
+}
+
-- 
2.40.0