; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=arm64-eabi -verify-machineinstrs | FileCheck %s
define i24 @ldi24(ptr %p) nounwind {
; CHECK-LABEL: ldi24:
; CHECK: // %bb.0:
; CHECK-NEXT: ldrb w8, [x0, #2]
; CHECK-NEXT: ldrh w9, [x0]
; CHECK-NEXT: orr w0, w9, w8, lsl #16
; CHECK-NEXT: ret
%r = load i24, ptr %p
ret i24 %r
}
define i56 @ldi56(ptr %p) nounwind {
; CHECK-LABEL: ldi56:
; CHECK: // %bb.0:
; CHECK-NEXT: ldrb w8, [x0, #6]
; CHECK-NEXT: ldrh w9, [x0, #4]
; CHECK-NEXT: orr w8, w9, w8, lsl #16
; CHECK-NEXT: ldr w9, [x0]
; CHECK-NEXT: orr x0, x9, x8, lsl #32
; CHECK-NEXT: ret
%r = load i56, ptr %p
ret i56 %r
}
define i80 @ldi80(ptr %p) nounwind {
; CHECK-LABEL: ldi80:
; CHECK: // %bb.0:
; CHECK-NEXT: ldr x8, [x0]
; CHECK-NEXT: ldrh w1, [x0, #8]
; CHECK-NEXT: mov x0, x8
; CHECK-NEXT: ret
%r = load i80, ptr %p
ret i80 %r
}
define i120 @ldi120(ptr %p) nounwind {
; CHECK-LABEL: ldi120:
; CHECK: // %bb.0:
; CHECK-NEXT: ldrb w8, [x0, #14]
; CHECK-NEXT: ldrh w9, [x0, #12]
; CHECK-NEXT: orr w8, w9, w8, lsl #16
; CHECK-NEXT: ldr w9, [x0, #8]
; CHECK-NEXT: ldr x0, [x0]
; CHECK-NEXT: orr x1, x9, x8, lsl #32
; CHECK-NEXT: ret
%r = load i120, ptr %p
ret i120 %r
}
define i280 @ldi280(ptr %p) nounwind {
; CHECK-LABEL: ldi280:
; CHECK: // %bb.0:
; CHECK-NEXT: ldrb w9, [x0, #34]
; CHECK-NEXT: ldrh w10, [x0, #32]
; CHECK-NEXT: ldp x8, x1, [x0]
; CHECK-NEXT: ldp x2, x3, [x0, #16]
; CHECK-NEXT: orr x4, x10, x9, lsl #16
; CHECK-NEXT: mov x0, x8
; CHECK-NEXT: ret
%r = load i280, ptr %p
ret i280 %r
}
define void @sti24(ptr %p, i24 %a) nounwind {
; CHECK-LABEL: sti24:
; CHECK: // %bb.0:
; CHECK-NEXT: lsr w8, w1, #16
; CHECK-NEXT: strh w1, [x0]
; CHECK-NEXT: strb w8, [x0, #2]
; CHECK-NEXT: ret
store i24 %a, ptr %p
ret void
}
define void @sti56(ptr %p, i56 %a) nounwind {
; CHECK-LABEL: sti56:
; CHECK: // %bb.0:
; CHECK-NEXT: lsr x8, x1, #48
; CHECK-NEXT: lsr x9, x1, #32
; CHECK-NEXT: str w1, [x0]
; CHECK-NEXT: strb w8, [x0, #6]
; CHECK-NEXT: strh w9, [x0, #4]
; CHECK-NEXT: ret
store i56 %a, ptr %p
ret void
}
define void @sti80(ptr %p, i80 %a) nounwind {
; CHECK-LABEL: sti80:
; CHECK: // %bb.0:
; CHECK-NEXT: str x2, [x0]
; CHECK-NEXT: strh w3, [x0, #8]
; CHECK-NEXT: ret
store i80 %a, ptr %p
ret void
}
define void @sti120(ptr %p, i120 %a) nounwind {
; CHECK-LABEL: sti120:
; CHECK: // %bb.0:
; CHECK-NEXT: lsr x8, x3, #48
; CHECK-NEXT: lsr x9, x3, #32
; CHECK-NEXT: str x2, [x0]
; CHECK-NEXT: str w3, [x0, #8]
; CHECK-NEXT: strb w8, [x0, #14]
; CHECK-NEXT: strh w9, [x0, #12]
; CHECK-NEXT: ret
store i120 %a, ptr %p
ret void
}
define void @sti280(ptr %p, i280 %a) nounwind {
; CHECK-LABEL: sti280:
; CHECK: // %bb.0:
; CHECK-NEXT: lsr x8, x6, #16
; CHECK-NEXT: stp x4, x5, [x0, #16]
; CHECK-NEXT: stp x2, x3, [x0]
; CHECK-NEXT: strh w6, [x0, #32]
; CHECK-NEXT: strb w8, [x0, #34]
; CHECK-NEXT: ret
store i280 %a, ptr %p
ret void
}
define void @i56_or(ptr %a) {
; CHECK-LABEL: i56_or:
; CHECK: // %bb.0:
; CHECK-NEXT: ldr w8, [x0]
; CHECK-NEXT: mov x9, x0
; CHECK-NEXT: ldrh w10, [x9, #4]!
; CHECK-NEXT: ldrb w11, [x9, #2]
; CHECK-NEXT: orr w8, w8, #0x180
; CHECK-NEXT: str w8, [x0]
; CHECK-NEXT: orr w8, w10, w11, lsl #16
; CHECK-NEXT: strb w11, [x9, #2]
; CHECK-NEXT: strh w8, [x9]
; CHECK-NEXT: ret
%aa = load i56, ptr %a, align 1
%b = or i56 %aa, 384
store i56 %b, ptr %a, align 1
ret void
}
define void @i56_and_or(ptr %a) {
; CHECK-LABEL: i56_and_or:
; CHECK: // %bb.0:
; CHECK-NEXT: ldr w8, [x0]
; CHECK-NEXT: mov x9, x0
; CHECK-NEXT: ldrh w10, [x9, #4]!
; CHECK-NEXT: ldrb w11, [x9, #2]
; CHECK-NEXT: orr w8, w8, #0x180
; CHECK-NEXT: and w8, w8, #0xffffff80
; CHECK-NEXT: strb w11, [x9, #2]
; CHECK-NEXT: str w8, [x0]
; CHECK-NEXT: orr w8, w10, w11, lsl #16
; CHECK-NEXT: strh w8, [x9]
; CHECK-NEXT: ret
%b = load i56, ptr %a, align 1
%c = and i56 %b, -128
%d = or i56 %c, 384
store i56 %d, ptr %a, align 1
ret void
}
define void @i56_insert_bit(ptr %a, i1 zeroext %bit) {
; CHECK-LABEL: i56_insert_bit:
; CHECK: // %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: ldr w11, [x0]
; CHECK-NEXT: ldrh w9, [x8, #4]!
; CHECK-NEXT: ldrb w10, [x8, #2]
; CHECK-NEXT: orr w9, w9, w10, lsl #16
; CHECK-NEXT: strb w10, [x8, #2]
; CHECK-NEXT: orr x11, x11, x9, lsl #32
; CHECK-NEXT: strh w9, [x8]
; CHECK-NEXT: and x11, x11, #0xffffffffffffdfff
; CHECK-NEXT: orr w11, w11, w1, lsl #13
; CHECK-NEXT: str w11, [x0]
; CHECK-NEXT: ret
%extbit = zext i1 %bit to i56
%b = load i56, ptr %a, align 1
%extbit.shl = shl nuw nsw i56 %extbit, 13
%c = and i56 %b, -8193
%d = or i56 %c, %extbit.shl
store i56 %d, ptr %a, align 1
ret void
}
Codebase Browser
llvm