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

Reviewed By: gonglingqin

Differential Revision: https://reviews.llvm.org/D143846

diff --git a/llvm/test/CodeGen/LoongArch/ir-instruction/add.ll b/llvm/test/CodeGen/LoongArch/ir-instruction/add.ll
index d96adb2..2bf6c31 100644 (file)
--- a/llvm/test/CodeGen/LoongArch/ir-instruction/add.ll
+++ b/llvm/test/CodeGen/LoongArch/ir-instruction/add.ll
@@ -182,3 +182,546 @@ define i64 @add_i64_3(i64 %x) {
   %add = add i64 %x, 3
   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
+}