llvm-project/llvm/test/CodeGen/PowerPC/opt-li-add-to-addi.ll
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

61 lines
1.4 KiB
LLVM

; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s
define i64 @testOptimizeLiAddToAddi(i64 %a) {
; CHECK-LABEL: testOptimizeLiAddToAddi:
; CHECK: addi 3, 3, 2444
; CHECK: bl callv
; CHECK: addi 3, 30, 234
; CHECK: bl call
; CHECK: blr
entry:
%cmp = icmp sgt i64 %a, 33
br i1 %cmp, label %if.then, label %if.end
if.then:
tail call void @callv()
br label %if.end
if.end:
%add.0 = phi i64 [ 234, %if.then ], [ 2444, %entry ]
%add2 = add nsw i64 %add.0, %a
%call = tail call i64 @call(i64 %add2)
ret i64 %call
}
define i64 @testThreePhiIncomings(i64 %a) {
; CHECK-LABEL: testThreePhiIncomings:
; CHECK: bl callv
; CHECK: addi 3, 30, 234
; CHECK: addi 3, 30, 2444
; CHECK: bl callv
; CHECK: addi 3, 30, 345
; CHECK: bl call
; CHECK: blr
entry:
%cmp = icmp slt i64 %a, 33
br i1 %cmp, label %if.then, label %if.else
if.then:
tail call void @callv()
br label %if.end4
if.else:
%cmp1 = icmp slt i64 %a, 55
br i1 %cmp1, label %if.then2, label %if.end4
if.then2:
tail call void @callv()
br label %if.end4
if.end4:
%add.0 = phi i64 [ 234, %if.then ], [ 345, %if.then2 ], [ 2444, %if.else ]
%add5 = add nsw i64 %add.0, %a
%call = tail call i64 @call(i64 %add5)
ret i64 %call
}
declare void @callv(...)
declare i64 @call(i64)