blob: e1e5117b394e7ed7a65a68d721b207e10c0ea0ac [file] [log] [blame]
; 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, lr}
; V6M-NEXT: push {r4, lr}
; V6M-NEXT: movs r2, #0
; V6M-NEXT: .LBB5_1:
; V6M-NEXT: uxth r3, r2
; V6M-NEXT: ldrh 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 .LBB5_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, 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
}