; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -O3 -mtriple=riscv32 -mattr=+xcvmem -verify-machineinstrs < %s \
; RUN: | FileCheck %s --check-prefixes=CHECK
define <2 x i32> @lb_ri_inc(i8* %a) {
; CHECK-LABEL: lb_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lb a1, (a0), 42
; CHECK-NEXT: ret
%1 = load i8, i8* %a
%2 = sext i8 %1 to i32
%3 = getelementptr i8, i8* %a, i32 42
%4 = ptrtoint i8* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define <2 x i32> @lb_rr_inc(i8* %a, i32 %b) {
; CHECK-LABEL: lb_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lb a1, (a0), a1
; CHECK-NEXT: ret
%1 = load i8, i8* %a
%2 = sext i8 %1 to i32
%3 = getelementptr i8, i8* %a, i32 %b
%4 = ptrtoint i8* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define i32 @lb_rr(i8* %a, i32 %b) {
; CHECK-LABEL: lb_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lb a0, a1(a0)
; CHECK-NEXT: ret
%1 = getelementptr i8, i8* %a, i32 %b
%2 = load i8, i8* %1
%3 = sext i8 %2 to i32
ret i32 %3
}
define <2 x i32> @lbu_ri_inc(i8* %a) {
; CHECK-LABEL: lbu_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lbu a1, (a0), 42
; CHECK-NEXT: ret
%1 = load i8, i8* %a
%2 = zext i8 %1 to i32
%3 = getelementptr i8, i8* %a, i32 42
%4 = ptrtoint i8* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define <2 x i32> @lbu_rr_inc(i8* %a, i32 %b) {
; CHECK-LABEL: lbu_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lbu a1, (a0), a1
; CHECK-NEXT: ret
%1 = load i8, i8* %a
%2 = zext i8 %1 to i32
%3 = getelementptr i8, i8* %a, i32 %b
%4 = ptrtoint i8* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define i32 @lbu_rr(i8* %a, i32 %b) {
; CHECK-LABEL: lbu_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lbu a0, a1(a0)
; CHECK-NEXT: ret
%1 = getelementptr i8, i8* %a, i32 %b
%2 = load i8, i8* %1
%3 = zext i8 %2 to i32
ret i32 %3
}
define <2 x i32> @lh_ri_inc(i16* %a) {
; CHECK-LABEL: lh_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lh a1, (a0), 84
; CHECK-NEXT: ret
%1 = load i16, i16* %a
%2 = sext i16 %1 to i32
%3 = getelementptr i16, i16* %a, i32 42
%4 = ptrtoint i16* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define <2 x i32> @lh_rr_inc(i16* %a, i32 %b) {
; CHECK-LABEL: lh_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a1, a1, 1
; CHECK-NEXT: cv.lh a1, (a0), a1
; CHECK-NEXT: ret
%1 = load i16, i16* %a
%2 = sext i16 %1 to i32
%3 = getelementptr i16, i16* %a, i32 %b
%4 = ptrtoint i16* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define i32 @lh_rr(i16* %a, i32 %b) {
; CHECK-LABEL: lh_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a1, a1, 1
; CHECK-NEXT: cv.lh a0, a1(a0)
; CHECK-NEXT: ret
%1 = getelementptr i16, i16* %a, i32 %b
%2 = load i16, i16* %1
%3 = sext i16 %2 to i32
ret i32 %3
}
define <2 x i32> @lhu_ri_inc(i16* %a) {
; CHECK-LABEL: lhu_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lhu a1, (a0), 84
; CHECK-NEXT: ret
%1 = load i16, i16* %a
%2 = zext i16 %1 to i32
%3 = getelementptr i16, i16* %a, i32 42
%4 = ptrtoint i16* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define <2 x i32> @lhu_rr_inc(i16* %a, i32 %b) {
; CHECK-LABEL: lhu_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a1, a1, 1
; CHECK-NEXT: cv.lhu a1, (a0), a1
; CHECK-NEXT: ret
%1 = load i16, i16* %a
%2 = zext i16 %1 to i32
%3 = getelementptr i16, i16* %a, i32 %b
%4 = ptrtoint i16* %3 to i32
%5 = insertelement <2 x i32> undef, i32 %4, i32 0
%6 = insertelement <2 x i32> %5, i32 %2, i32 1
ret <2 x i32> %6
}
define i32 @lhu_rr(i16* %a, i32 %b) {
; CHECK-LABEL: lhu_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a1, a1, 1
; CHECK-NEXT: cv.lhu a0, a1(a0)
; CHECK-NEXT: ret
%1 = getelementptr i16, i16* %a, i32 %b
%2 = load i16, i16* %1
%3 = zext i16 %2 to i32
ret i32 %3
}
define <2 x i32> @lw_ri_inc(i32* %a) {
; CHECK-LABEL: lw_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.lw a1, (a0), 168
; CHECK-NEXT: ret
%1 = load i32, i32* %a
%2 = getelementptr i32, i32* %a, i32 42
%3 = ptrtoint i32* %2 to i32
%4 = insertelement <2 x i32> undef, i32 %3, i32 0
%5 = insertelement <2 x i32> %4, i32 %1, i32 1
ret <2 x i32> %5
}
define <2 x i32> @lw_rr_inc(i32* %a, i32 %b) {
; CHECK-LABEL: lw_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a1, a1, 2
; CHECK-NEXT: cv.lw a1, (a0), a1
; CHECK-NEXT: ret
%1 = load i32, i32* %a
%2 = getelementptr i32, i32* %a, i32 %b
%3 = ptrtoint i32* %2 to i32
%4 = insertelement <2 x i32> undef, i32 %3, i32 0
%5 = insertelement <2 x i32> %4, i32 %1, i32 1
ret <2 x i32> %5
}
define i32 @lw_rr(i32* %a, i32 %b) {
; CHECK-LABEL: lw_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a1, a1, 2
; CHECK-NEXT: cv.lw a0, a1(a0)
; CHECK-NEXT: ret
%1 = getelementptr i32, i32* %a, i32 %b
%2 = load i32, i32* %1
ret i32 %2
}
define i8* @sb_ri_inc(i8* %a, i8 %b) {
; CHECK-LABEL: sb_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.sb a1, (a0), 42
; CHECK-NEXT: ret
store i8 %b, i8* %a
%1 = getelementptr i8, i8* %a, i32 42
ret i8* %1
}
define i8* @sb_rr_inc(i8* %a, i8 %b, i32 %c) {
; CHECK-LABEL: sb_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.sb a1, (a0), a2
; CHECK-NEXT: ret
store i8 %b, i8* %a
%1 = getelementptr i8, i8* %a, i32 %c
ret i8* %1
}
define void @sb_rr(i8* %a, i8 %b, i32 %c) {
; CHECK-LABEL: sb_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.sb a1, a2(a0)
; CHECK-NEXT: ret
%1 = getelementptr i8, i8* %a, i32 %c
store i8 %b, i8* %1
ret void
}
define i16* @sh_ri_inc(i16* %a, i16 %b) {
; CHECK-LABEL: sh_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.sh a1, (a0), 84
; CHECK-NEXT: ret
store i16 %b, i16* %a
%1 = getelementptr i16, i16* %a, i32 42
ret i16* %1
}
define i16* @sh_rr_inc(i16* %a, i16 %b, i32 %c) {
; CHECK-LABEL: sh_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a2, a2, 1
; CHECK-NEXT: cv.sh a1, (a0), a2
; CHECK-NEXT: ret
store i16 %b, i16* %a
%1 = getelementptr i16, i16* %a, i32 %c
ret i16* %1
}
define void @sh_rr(i16* %a, i16 %b, i32 %c) {
; CHECK-LABEL: sh_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a2, a2, 1
; CHECK-NEXT: cv.sh a1, a2(a0)
; CHECK-NEXT: ret
%1 = getelementptr i16, i16* %a, i32 %c
store i16 %b, i16* %1
ret void
}
define i32* @sw_ri_inc(i32* %a, i32 %b) {
; CHECK-LABEL: sw_ri_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: cv.sw a1, (a0), 168
; CHECK-NEXT: ret
store i32 %b, i32* %a
%1 = getelementptr i32, i32* %a, i32 42
ret i32* %1
}
define i32* @sw_rr_inc(i32* %a, i32 %b, i32 %c) {
; CHECK-LABEL: sw_rr_inc:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a2, a2, 2
; CHECK-NEXT: cv.sw a1, (a0), a2
; CHECK-NEXT: ret
store i32 %b, i32* %a
%1 = getelementptr i32, i32* %a, i32 %c
ret i32* %1
}
define void @sw_rr(i32* %a, i32 %b, i32 %c) {
; CHECK-LABEL: sw_rr:
; CHECK: # %bb.0:
; CHECK-NEXT: slli a2, a2, 2
; CHECK-NEXT: cv.sw a1, a2(a0)
; CHECK-NEXT: ret
%1 = getelementptr i32, i32* %a, i32 %c
store i32 %b, i32* %1
ret void
}