This is an archive of the discontinued LLVM Phabricator instance.

Differential D143846

[LoongArch] Add baseline tests for `addu16i.d` codegen. NFC
ClosedPublic

Authored by xen0n on Feb 12 2023, 4:41 AM.

Details

Reviewers
SixWeining
wangleiat
gonglingqin
xry111
Commits
rGdcf9c60a538c: [LoongArch] Add baseline tests for `addu16i.d` codegen. NFC

Diff Detail

Event Timeline

xen0n created this revision.Feb 12 2023, 4:41 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 12 2023, 4:41 AM
xen0n requested review of this revision.Feb 12 2023, 4:41 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 12 2023, 4:41 AM
Herald added a subscriber: llvm-commits. · View Herald Transcript
xen0n added a child revision: D143710: [LoongArch] Make use of addu16i.d for adds with suitable immediates.Feb 12 2023, 4:42 AM
Harbormaster completed remote builds in B213273: Diff 496754.Feb 12 2023, 5:44 AM
gonglingqin accepted this revision.Feb 12 2023, 8:00 PM

Thanks!

This revision is now accepted and ready to land.Feb 12 2023, 8:00 PM
This revision was landed with ongoing or failed builds.Feb 14 2023, 5:17 PM
Closed by commit rGdcf9c60a538c: [LoongArch] Add baseline tests for `addu16i.d` codegen. NFC (authored by WANG Xuerui <git@xen0n.name>, committed by SixWeining). · Explain Why
This revision was automatically updated to reflect the committed changes.
SixWeining added a commit: rGdcf9c60a538c: [LoongArch] Add baseline tests for `addu16i.d` codegen. NFC.

Revision Contents

PathSize
llvm/
test/
CodeGen/
LoongArch/
ir-instruction/
543 lines

Diff 497494

llvm/test/CodeGen/LoongArch/ir-instruction/add.ll

Show First 20 Lines • Show All 176 Lines • ▼ Show 20 Lines
; ;
; LA64-LABEL: add_i64_3: ; LA64-LABEL: add_i64_3:
; LA64: # %bb.0: ; LA64: # %bb.0:
; LA64-NEXT: addi.d $a0, $a0, 3 ; LA64-NEXT: addi.d $a0, $a0, 3
; LA64-NEXT: ret ; LA64-NEXT: ret
%add = add i64 %x, 3 %add = add i64 %x, 3
ret i64 %add ret i64 %add
} }
;; TODO: emit `addu16i.d` for these cases.
define i32 @add_i32_0x12340000(i32 %x) {
; LA32-LABEL: add_i32_0x12340000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 74560
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x12340000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 74560
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 305397760
ret i32 %add
}
define signext i32 @add_i32_0x12340000_sext(i32 %x) {
; LA32-LABEL: add_i32_0x12340000_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 74560
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x12340000_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 74560
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 305397760
ret i32 %add
}
define i64 @add_i64_0x12340000(i64 %x) {
; LA32-LABEL: add_i64_0x12340000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, 74560
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a1, $a1, $a0
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_0x12340000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 74560
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, 305397760
ret i64 %add
}
define i32 @add_i32_0x7fff0000(i32 %x) {
; LA32-LABEL: add_i32_0x7fff0000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524272
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x7fff0000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524272
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 2147418112
ret i32 %add
}
define signext i32 @add_i32_0x7fff0000_sext(i32 %x) {
; LA32-LABEL: add_i32_0x7fff0000_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524272
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x7fff0000_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524272
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 2147418112
ret i32 %add
}
define i64 @add_i64_0x7fff0000(i64 %x) {
; LA32-LABEL: add_i64_0x7fff0000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, 524272
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a1, $a1, $a0
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_0x7fff0000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524272
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, 2147418112
ret i64 %add
}
define i32 @add_i32_minus_0x80000000(i32 %x) {
; LA32-LABEL: add_i32_minus_0x80000000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -524288
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x80000000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -524288
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -2147483648
ret i32 %add
}
define signext i32 @add_i32_minus_0x80000000_sext(i32 %x) {
; LA32-LABEL: add_i32_minus_0x80000000_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -524288
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x80000000_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -524288
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -2147483648
ret i32 %add
}
define i64 @add_i64_minus_0x80000000(i64 %x) {
; LA32-LABEL: add_i64_minus_0x80000000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, -524288
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a0, $a1, $a0
; LA32-NEXT: addi.w $a1, $a0, -1
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_minus_0x80000000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -524288
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, -2147483648
ret i64 %add
}
define i32 @add_i32_minus_0x10000(i32 %x) {
; LA32-LABEL: add_i32_minus_0x10000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -16
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x10000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -16
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -65536
ret i32 %add
}
define signext i32 @add_i32_minus_0x10000_sext(i32 %x) {
; LA32-LABEL: add_i32_minus_0x10000_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -16
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x10000_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -16
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -65536
ret i32 %add
}
define i64 @add_i64_minus_0x10000(i64 %x) {
; LA32-LABEL: add_i64_minus_0x10000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, -16
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a0, $a1, $a0
; LA32-NEXT: addi.w $a1, $a0, -1
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_minus_0x10000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -16
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, -65536
ret i64 %add
}
;; TODO: use `addu16i.d + addi` for these cases.
define i32 @add_i32_0x7fff07ff(i32 %x) {
; LA32-LABEL: add_i32_0x7fff07ff:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524272
; LA32-NEXT: ori $a1, $a1, 2047
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x7fff07ff:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524272
; LA64-NEXT: ori $a1, $a1, 2047
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 2147420159
ret i32 %add
}
define signext i32 @add_i32_0x7fff07ff_sext(i32 %x) {
; LA32-LABEL: add_i32_0x7fff07ff_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524272
; LA32-NEXT: ori $a1, $a1, 2047
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x7fff07ff_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524272
; LA64-NEXT: ori $a1, $a1, 2047
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 2147420159
ret i32 %add
}
define i64 @add_i64_0x7fff07ff(i64 %x) {
; LA32-LABEL: add_i64_0x7fff07ff:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, 524272
; LA32-NEXT: ori $a2, $a2, 2047
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a1, $a1, $a0
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_0x7fff07ff:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524272
; LA64-NEXT: ori $a1, $a1, 2047
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, 2147420159
ret i64 %add
}
define i32 @add_i32_0x7ffef800(i32 %x) {
; LA32-LABEL: add_i32_0x7ffef800:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524271
; LA32-NEXT: ori $a1, $a1, 2048
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x7ffef800:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524271
; LA64-NEXT: ori $a1, $a1, 2048
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 2147416064
ret i32 %add
}
define signext i32 @add_i32_0x7ffef800_sext(i32 %x) {
; LA32-LABEL: add_i32_0x7ffef800_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524271
; LA32-NEXT: ori $a1, $a1, 2048
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_0x7ffef800_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524271
; LA64-NEXT: ori $a1, $a1, 2048
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, 2147416064
ret i32 %add
}
define i64 @add_i64_0x7ffef800(i64 %x) {
; LA32-LABEL: add_i64_0x7ffef800:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, 524271
; LA32-NEXT: ori $a2, $a2, 2048
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a1, $a1, $a0
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_0x7ffef800:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524271
; LA64-NEXT: ori $a1, $a1, 2048
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, 2147416064
ret i64 %add
}
define i64 @add_i64_minus_0x80000800(i64 %x) {
; LA32-LABEL: add_i64_minus_0x80000800:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, 524287
; LA32-NEXT: ori $a2, $a2, 2048
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a0, $a1, $a0
; LA32-NEXT: addi.w $a1, $a0, -1
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_minus_0x80000800:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524287
; LA64-NEXT: ori $a1, $a1, 2048
; LA64-NEXT: lu32i.d $a1, -1
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, -2147485696
ret i64 %add
}
define i32 @add_i32_minus_0x23450679(i32 %x) {
; LA32-LABEL: add_i32_minus_0x23450679:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -144465
; LA32-NEXT: ori $a1, $a1, 2439
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x23450679:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -144465
; LA64-NEXT: ori $a1, $a1, 2439
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -591726201
ret i32 %add
}
define signext i32 @add_i32_minus_0x23450679_sext(i32 %x) {
; LA32-LABEL: add_i32_minus_0x23450679_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -144465
; LA32-NEXT: ori $a1, $a1, 2439
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x23450679_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -144465
; LA64-NEXT: ori $a1, $a1, 2439
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -591726201
ret i32 %add
}
define i64 @add_i64_minus_0x23450679(i64 %x) {
; LA32-LABEL: add_i64_minus_0x23450679:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, -144465
; LA32-NEXT: ori $a2, $a2, 2439
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a0, $a1, $a0
; LA32-NEXT: addi.w $a1, $a0, -1
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_minus_0x23450679:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -144465
; LA64-NEXT: ori $a1, $a1, 2439
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, -591726201
ret i64 %add
}
define i32 @add_i32_minus_0x2345fedd(i32 %x) {
; LA32-LABEL: add_i32_minus_0x2345fedd:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -144480
; LA32-NEXT: ori $a1, $a1, 291
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x2345fedd:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -144480
; LA64-NEXT: ori $a1, $a1, 291
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -591789789
ret i32 %add
}
define signext i32 @add_i32_minus_0x2345fedd_sext(i32 %x) {
; LA32-LABEL: add_i32_minus_0x2345fedd_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, -144480
; LA32-NEXT: ori $a1, $a1, 291
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x2345fedd_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -144480
; LA64-NEXT: ori $a1, $a1, 291
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -591789789
ret i32 %add
}
define i64 @add_i64_minus_0x2345fedd(i64 %x) {
; LA32-LABEL: add_i64_minus_0x2345fedd:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, -144480
; LA32-NEXT: ori $a2, $a2, 291
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a0, $a1, $a0
; LA32-NEXT: addi.w $a1, $a0, -1
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_minus_0x2345fedd:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -144480
; LA64-NEXT: ori $a1, $a1, 291
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, -591789789
ret i64 %add
}
;; Check that `addu16i.d` isn't used for the following cases.
define i64 @add_i64_0x80000000(i64 %x) {
; LA32-LABEL: add_i64_0x80000000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, -524288
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a1, $a1, $a0
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_0x80000000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -524288
; LA64-NEXT: lu32i.d $a1, 0
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, 2147483648
ret i64 %add
}
define i64 @add_i64_0xffff0000(i64 %x) {
; LA32-LABEL: add_i64_0xffff0000:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a2, -16
; LA32-NEXT: add.w $a2, $a0, $a2
; LA32-NEXT: sltu $a0, $a2, $a0
; LA32-NEXT: add.w $a1, $a1, $a0
; LA32-NEXT: move $a0, $a2
; LA32-NEXT: ret
;
; LA64-LABEL: add_i64_0xffff0000:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, -16
; LA64-NEXT: lu32i.d $a1, 0
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i64 %x, 4294901760
ret i64 %add
}
;; -0x80000800 is equivalent to +0x7ffff800 in i32, so addu16i.d isn't matched
;; in this case.
define i32 @add_i32_minus_0x80000800(i32 %x) {
; LA32-LABEL: add_i32_minus_0x80000800:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524287
; LA32-NEXT: ori $a1, $a1, 2048
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x80000800:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524287
; LA64-NEXT: ori $a1, $a1, 2048
; LA64-NEXT: add.d $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -2147485696
ret i32 %add
}
define signext i32 @add_i32_minus_0x80000800_sext(i32 %x) {
; LA32-LABEL: add_i32_minus_0x80000800_sext:
; LA32: # %bb.0:
; LA32-NEXT: lu12i.w $a1, 524287
; LA32-NEXT: ori $a1, $a1, 2048
; LA32-NEXT: add.w $a0, $a0, $a1
; LA32-NEXT: ret
;
; LA64-LABEL: add_i32_minus_0x80000800_sext:
; LA64: # %bb.0:
; LA64-NEXT: lu12i.w $a1, 524287
; LA64-NEXT: ori $a1, $a1, 2048
; LA64-NEXT: add.w $a0, $a0, $a1
; LA64-NEXT: ret
%add = add i32 %x, -2147485696
ret i32 %add
}