Kai Nacke 5403c59c60 [PPC] Opaque pointer migration, part 2.
The LIT test cases were migrated with the script provided by
Nikita Popov. Due to the size of the change it is split into
several parts.

Reviewed By: nemanja, nikic

Differential Revision: https://reviews.llvm.org/D135474
2022-10-11 17:24:06 +00:00

35 lines
1.1 KiB
LLVM

; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- | grep rlwimi
; RUN: llc -verify-machineinstrs < %s -mtriple=ppc32-- | not grep "or "
; Make sure there is no register-register copies here.
define void @test1(ptr %A, ptr %B, ptr %D, ptr %E) {
%A.upgrd.1 = load i32, ptr %A ; <i32> [#uses=2]
%B.upgrd.2 = load i32, ptr %B ; <i32> [#uses=1]
%X = and i32 %A.upgrd.1, 15 ; <i32> [#uses=1]
%Y = and i32 %B.upgrd.2, -16 ; <i32> [#uses=1]
%Z = or i32 %X, %Y ; <i32> [#uses=1]
store i32 %Z, ptr %D
store i32 %A.upgrd.1, ptr %E
ret void
}
define void @test2(ptr %A, ptr %B, ptr %D, ptr %E) {
%A.upgrd.3 = load i32, ptr %A ; <i32> [#uses=1]
%B.upgrd.4 = load i32, ptr %B ; <i32> [#uses=2]
%X = and i32 %A.upgrd.3, 15 ; <i32> [#uses=1]
%Y = and i32 %B.upgrd.4, -16 ; <i32> [#uses=1]
%Z = or i32 %X, %Y ; <i32> [#uses=1]
store i32 %Z, ptr %D
store i32 %B.upgrd.4, ptr %E
ret void
}
define i32 @test3(i32 %a, i32 %b) {
%tmp.1 = and i32 %a, 15 ; <i32> [#uses=1]
%tmp.3 = and i32 %b, 240 ; <i32> [#uses=1]
%tmp.4 = or i32 %tmp.3, %tmp.1 ; <i32> [#uses=1]
ret i32 %tmp.4
}