427fb35192
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, amyk, nikic, PowerPC Differential Revision: https://reviews.llvm.org/D135470
40 lines
1.5 KiB
LLVM
40 lines
1.5 KiB
LLVM
; NOTE: This test verifies that a redundant load immediate of zero is folded
|
|
; NOTE: from its use in an isel and deleted as it is no longer in use.
|
|
; RUN: llc -mcpu=pwr9 -mtriple=powerpc64le-unknown-linux-gnu \
|
|
; RUN: -ppc-asm-full-reg-names -verify-machineinstrs < %s | FileCheck %s
|
|
; RUN: llc -mcpu=pwr9 -mtriple=powerpc64-unknown-linux-gnu \
|
|
; RUN: -ppc-asm-full-reg-names -verify-machineinstrs < %s | FileCheck %s
|
|
|
|
%0 = type { i32, i16 }
|
|
|
|
@val = common dso_local local_unnamed_addr global ptr null, align 8
|
|
|
|
define dso_local signext i32 @redunLoadImm(ptr %arg) {
|
|
; CHECK-LABEL: redunLoadImm:
|
|
; verify that the load immediate has been folded into the isel and deleted
|
|
; CHECK-NOT: li r[[REG1:[0-9]+]], 0
|
|
; CHECK: iseleq r[[REG2:[0-9]+]], 0, r[[REG3:[0-9]+]]
|
|
|
|
bb:
|
|
%tmp = icmp eq ptr %arg, null
|
|
br i1 %tmp, label %bb9, label %bb1
|
|
|
|
bb1: ; preds = %bb
|
|
%tmp2 = getelementptr inbounds %0, ptr %arg, i64 0, i32 1
|
|
br label %bb3
|
|
|
|
bb3: ; preds = %bb3, %bb1
|
|
%tmp4 = load i16, ptr %tmp2, align 4
|
|
%tmp5 = sext i16 %tmp4 to i64
|
|
%tmp6 = getelementptr inbounds %0, ptr %arg, i64 %tmp5
|
|
%tmp7 = icmp eq i16 %tmp4, 0
|
|
%tmp8 = select i1 %tmp7, ptr null, ptr %tmp6
|
|
store ptr %tmp8, ptr @val, align 8
|
|
br label %bb3
|
|
|
|
bb9: ; preds = %bb
|
|
%tmp10 = load ptr, ptr @val, align 8
|
|
%tmp12 = load i32, ptr %tmp10, align 4
|
|
ret i32 %tmp12
|
|
}
|