RISCV: Convert test to opaque pointers
This commit is contained in:
Matt Arsenault
Matt Arsenault
parent
112af87964
commit
1c8291ffc4
@ -2,294 +2,294 @@
|
||||
; 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) {
|
||||
define <2 x i32> @lb_ri_inc(ptr %a) {
|
||||
; CHECK-LABEL: lb_ri_inc:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: cv.lb a1, (a0), 42
|
||||
; CHECK-NEXT: ret
|
||||
%1 = load i8, i8* %a
|
||||
%1 = load i8, ptr %a
|
||||
%2 = sext i8 %1 to i32
|
||||
%3 = getelementptr i8, i8* %a, i32 42
|
||||
%4 = ptrtoint i8* %3 to i32
|
||||
%3 = getelementptr i8, ptr %a, i32 42
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define <2 x i32> @lb_rr_inc(ptr %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
|
||||
%1 = load i8, ptr %a
|
||||
%2 = sext i8 %1 to i32
|
||||
%3 = getelementptr i8, i8* %a, i32 %b
|
||||
%4 = ptrtoint i8* %3 to i32
|
||||
%3 = getelementptr i8, ptr %a, i32 %b
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define i32 @lb_rr(ptr %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
|
||||
%1 = getelementptr i8, ptr %a, i32 %b
|
||||
%2 = load i8, ptr %1
|
||||
%3 = sext i8 %2 to i32
|
||||
ret i32 %3
|
||||
}
|
||||
|
||||
define <2 x i32> @lbu_ri_inc(i8* %a) {
|
||||
define <2 x i32> @lbu_ri_inc(ptr %a) {
|
||||
; CHECK-LABEL: lbu_ri_inc:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: cv.lbu a1, (a0), 42
|
||||
; CHECK-NEXT: ret
|
||||
%1 = load i8, i8* %a
|
||||
%1 = load i8, ptr %a
|
||||
%2 = zext i8 %1 to i32
|
||||
%3 = getelementptr i8, i8* %a, i32 42
|
||||
%4 = ptrtoint i8* %3 to i32
|
||||
%3 = getelementptr i8, ptr %a, i32 42
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define <2 x i32> @lbu_rr_inc(ptr %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
|
||||
%1 = load i8, ptr %a
|
||||
%2 = zext i8 %1 to i32
|
||||
%3 = getelementptr i8, i8* %a, i32 %b
|
||||
%4 = ptrtoint i8* %3 to i32
|
||||
%3 = getelementptr i8, ptr %a, i32 %b
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define i32 @lbu_rr(ptr %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
|
||||
%1 = getelementptr i8, ptr %a, i32 %b
|
||||
%2 = load i8, ptr %1
|
||||
%3 = zext i8 %2 to i32
|
||||
ret i32 %3
|
||||
}
|
||||
|
||||
define <2 x i32> @lh_ri_inc(i16* %a) {
|
||||
define <2 x i32> @lh_ri_inc(ptr %a) {
|
||||
; CHECK-LABEL: lh_ri_inc:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: cv.lh a1, (a0), 84
|
||||
; CHECK-NEXT: ret
|
||||
%1 = load i16, i16* %a
|
||||
%1 = load i16, ptr %a
|
||||
%2 = sext i16 %1 to i32
|
||||
%3 = getelementptr i16, i16* %a, i32 42
|
||||
%4 = ptrtoint i16* %3 to i32
|
||||
%3 = getelementptr i16, ptr %a, i32 42
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define <2 x i32> @lh_rr_inc(ptr %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
|
||||
%1 = load i16, ptr %a
|
||||
%2 = sext i16 %1 to i32
|
||||
%3 = getelementptr i16, i16* %a, i32 %b
|
||||
%4 = ptrtoint i16* %3 to i32
|
||||
%3 = getelementptr i16, ptr %a, i32 %b
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define i32 @lh_rr(ptr %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
|
||||
%1 = getelementptr i16, ptr %a, i32 %b
|
||||
%2 = load i16, ptr %1
|
||||
%3 = sext i16 %2 to i32
|
||||
ret i32 %3
|
||||
}
|
||||
|
||||
define <2 x i32> @lhu_ri_inc(i16* %a) {
|
||||
define <2 x i32> @lhu_ri_inc(ptr %a) {
|
||||
; CHECK-LABEL: lhu_ri_inc:
|
||||
; CHECK: # %bb.0:
|
||||
; CHECK-NEXT: cv.lhu a1, (a0), 84
|
||||
; CHECK-NEXT: ret
|
||||
%1 = load i16, i16* %a
|
||||
%1 = load i16, ptr %a
|
||||
%2 = zext i16 %1 to i32
|
||||
%3 = getelementptr i16, i16* %a, i32 42
|
||||
%4 = ptrtoint i16* %3 to i32
|
||||
%3 = getelementptr i16, ptr %a, i32 42
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define <2 x i32> @lhu_rr_inc(ptr %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
|
||||
%1 = load i16, ptr %a
|
||||
%2 = zext i16 %1 to i32
|
||||
%3 = getelementptr i16, i16* %a, i32 %b
|
||||
%4 = ptrtoint i16* %3 to i32
|
||||
%3 = getelementptr i16, ptr %a, i32 %b
|
||||
%4 = ptrtoint ptr %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) {
|
||||
define i32 @lhu_rr(ptr %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
|
||||
%1 = getelementptr i16, ptr %a, i32 %b
|
||||
%2 = load i16, ptr %1
|
||||
%3 = zext i16 %2 to i32
|
||||
ret i32 %3
|
||||
}
|
||||
|
||||
define <2 x i32> @lw_ri_inc(i32* %a) {
|
||||
define <2 x i32> @lw_ri_inc(ptr %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
|
||||
%1 = load i32, ptr %a
|
||||
%2 = getelementptr i32, ptr %a, i32 42
|
||||
%3 = ptrtoint ptr %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) {
|
||||
define <2 x i32> @lw_rr_inc(ptr %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
|
||||
%1 = load i32, ptr %a
|
||||
%2 = getelementptr i32, ptr %a, i32 %b
|
||||
%3 = ptrtoint ptr %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) {
|
||||
define i32 @lw_rr(ptr %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
|
||||
%1 = getelementptr i32, ptr %a, i32 %b
|
||||
%2 = load i32, ptr %1
|
||||
ret i32 %2
|
||||
}
|
||||
|
||||
define i8* @sb_ri_inc(i8* %a, i8 %b) {
|
||||
define ptr @sb_ri_inc(ptr %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
|
||||
store i8 %b, ptr %a
|
||||
%1 = getelementptr i8, ptr %a, i32 42
|
||||
ret ptr %1
|
||||
}
|
||||
|
||||
define i8* @sb_rr_inc(i8* %a, i8 %b, i32 %c) {
|
||||
define ptr @sb_rr_inc(ptr %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
|
||||
store i8 %b, ptr %a
|
||||
%1 = getelementptr i8, ptr %a, i32 %c
|
||||
ret ptr %1
|
||||
}
|
||||
|
||||
define void @sb_rr(i8* %a, i8 %b, i32 %c) {
|
||||
define void @sb_rr(ptr %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
|
||||
%1 = getelementptr i8, ptr %a, i32 %c
|
||||
store i8 %b, ptr %1
|
||||
ret void
|
||||
}
|
||||
|
||||
define i16* @sh_ri_inc(i16* %a, i16 %b) {
|
||||
define ptr @sh_ri_inc(ptr %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
|
||||
store i16 %b, ptr %a
|
||||
%1 = getelementptr i16, ptr %a, i32 42
|
||||
ret ptr %1
|
||||
}
|
||||
|
||||
define i16* @sh_rr_inc(i16* %a, i16 %b, i32 %c) {
|
||||
define ptr @sh_rr_inc(ptr %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
|
||||
store i16 %b, ptr %a
|
||||
%1 = getelementptr i16, ptr %a, i32 %c
|
||||
ret ptr %1
|
||||
}
|
||||
|
||||
define void @sh_rr(i16* %a, i16 %b, i32 %c) {
|
||||
define void @sh_rr(ptr %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
|
||||
%1 = getelementptr i16, ptr %a, i32 %c
|
||||
store i16 %b, ptr %1
|
||||
ret void
|
||||
}
|
||||
|
||||
define i32* @sw_ri_inc(i32* %a, i32 %b) {
|
||||
define ptr @sw_ri_inc(ptr %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
|
||||
store i32 %b, ptr %a
|
||||
%1 = getelementptr i32, ptr %a, i32 42
|
||||
ret ptr %1
|
||||
}
|
||||
|
||||
define i32* @sw_rr_inc(i32* %a, i32 %b, i32 %c) {
|
||||
define ptr @sw_rr_inc(ptr %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
|
||||
store i32 %b, ptr %a
|
||||
%1 = getelementptr i32, ptr %a, i32 %c
|
||||
ret ptr %1
|
||||
}
|
||||
|
||||
define void @sw_rr(i32* %a, i32 %b, i32 %c) {
|
||||
define void @sw_rr(ptr %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
|
||||
%1 = getelementptr i32, ptr %a, i32 %c
|
||||
store i32 %b, ptr %1
|
||||
ret void
|
||||
}
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user