[SubZero] Utilize instructions with immediate operands

tests_lit/llvm2ice_tests/8bit.pnacl.ll

 ; This tries to be a comprehensive test of i8 operations.
 
 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -O2 \
 ; RUN:   -allow-externally-defined-symbols | FileCheck %s
 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -Om1 \
 ; RUN:   -allow-externally-defined-symbols | FileCheck %s
 
 ; The following tests i8 srem/urem lowering on x86-64, specifically that the %ah
 ; result gets copied into %al/%bl/%cl/%dl before moved into its final register.
 ; This extra copy is forced by excluding al/bl/cl/dl by default (-reg-exclude),
@@ skipping 31 matching lines @@
 define internal i32 @add8BitConst(i32 %a) {
 entry:
   %a_8 = trunc i32 %a to i8
   %add = add i8 %a_8, 123
   %ret = zext i8 %add to i32
   ret i32 %ret
 }
 ; CHECK-LABEL: add8BitConst
 ; CHECK: add {{[abcd]l}}
 ; MIPS32-LABEL: add8BitConst
-; MIPS32:       li
-; MIPS32:       addu
+; MIPS32:       addiu
 ; MIPS32:       andi    {{.*}},0xff
 ; MIPS32:       move
 ; MIPS32:       jr
 ; MIPS32:       nop
 
 define internal i32 @sub8Bit(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %b_8 = trunc i32 %b to i8
   %sub = sub i8 %b_8, %a_8
@@ skipping 12 matching lines @@
 define internal i32 @sub8BitConst(i32 %a) {
 entry:
   %a_8 = trunc i32 %a to i8
   %sub = sub i8 %a_8, 123
   %ret = zext i8 %sub to i32
   ret i32 %ret
 }
 ; CHECK-LABEL: sub8BitConst
 ; CHECK: sub {{[abcd]l}}
 ; MIPS32-LABEL: sub8BitConst
-; MIPS32:       li
-; MIPS32:       subu
+; MIPS32:       addiu   {{.*}},-123
 ; MIPS32:       andi    {{.*}},0xff
 ; MIPS32:       move
 ; MIPS32:       jr
 ; MIPS32:       nop
 
 define internal i32 @mul8Bit(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %b_8 = trunc i32 %b to i8
   %mul = mul i8 %b_8, %a_8
@@ skipping 201 matching lines @@
 define internal i32 @shl8BitConst(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %shl = shl i8 %a_8, 6
   %ret = zext i8 %shl to i32
   ret i32 %ret
 }
 ; CHECK-LABEL: shl8BitConst
 ; CHECK: shl {{[abcd]l|BYTE PTR}},0x6
 ; MIPS32-LABEL: shl8BitConst
-; MIPS32:       li
-; MIPS32:       sllv
+; MIPS32:       sll
 ; MIPS32:       andi    {{.*}},0xff
 ; MIPS32:       move
 ; MIPS32:       jr
 ; MIPS32:       nop
 
 define internal i32 @lshr8Bit(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %b_8 = trunc i32 %b to i8
   %lshr = lshr i8 %b_8, %a_8
@@ skipping 12 matching lines @@
 define internal i32 @lshr8BitConst(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %lshr = lshr i8 %a_8, 6
   %ret = zext i8 %lshr to i32
   ret i32 %ret
 }
 ; CHECK-LABEL: lshr8BitConst
 ; CHECK: shr {{[abcd]l|BYTE PTR}},0x6
 ; MIPS32-LABEL: lshr8BitConst
-; MIPS32:       li
-; MIPS32:       srlv
+; MIPS32:       srl
 ; MIPS32:       andi    {{.*}},0xff
 ; MIPS32:       move
 ; MIPS32:       jr
 ; MIPS32:       nop
 
 define internal i32 @ashr8Bit(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %b_8 = trunc i32 %b to i8
   %ashr = ashr i8 %b_8, %a_8
@@ skipping 12 matching lines @@
 define internal i32 @ashr8BitConst(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %ashr = ashr i8 %a_8, 6
   %ret = zext i8 %ashr to i32
   ret i32 %ret
 }
 ; CHECK-LABEL: ashr8BitConst
 ; CHECK: sar {{[abcd]l|BYTE PTR}},0x6
 ; MIPS32-LABEL: ashr8BitConst
-; MIPS32:       li
-; MIPS32:       srav
+; MIPS32:       sra
 ; MIPS32:       andi    {{.*}},0xff
 ; MIPS32:       move
 ; MIPS32:       jr
 ; MIPS32:       nop
 
 define internal i32 @icmp8Bit(i32 %a, i32 %b) {
 entry:
   %a_8 = trunc i32 %a to i8
   %b_8 = trunc i32 %b to i8
   %icmp = icmp ne i8 %b_8, %a_8
@@ skipping 181 matching lines @@
   %addr = inttoptr i32 %addr_arg to i8*
   %ret = load i8, i8* %addr, align 1
   %ret2 = sub i8 %ret, 0
   %ret_ext = zext i8 %ret2 to i32
   ret i32 %ret_ext
 }
 ; CHECK-LABEL: load_i8
 ; CHECK: mov {{[a-d]l}},BYTE PTR
 ; MIPS32-LABEL: load_i8
 ; MIPS32:       lb
-; MIPS32:       li
-; MIPS32:       subu
+; MIPS32:       addiu   {{.*}},0
 ; MIPS32:       andi    {{.*}},0xff
 ; MIPS32:       move
 ; MIPS32:       jr
 ; MIPS32:       nop
 
 define i32 @load_i8_global(i32 %addr_arg) {
 entry:
   %addr = bitcast [1 x i8]* @global8 to i8*
   %ret = load i8, i8* %addr, align 1
   %ret2 = sub i8 %ret, 0
   %ret_ext = zext i8 %ret2 to i32
   ret i32 %ret_ext
 }
 ; CHECK-LABEL: load_i8_global
 ; CHECK: mov {{[a-d]l}},{{(BYTE PTR)?}}
 ; MIPS32-LABEL: load_i8_global
 ; MIPS32:       lui
 ; MIPS32:       addiu
 ; MIPS32:       lb
-; MIPS32:       li
-; MIPS32:       subu
+; MIPS32:       addiu   {{.*}},0
 ; MIPS32:       andi    {{.*}},0xff
 ; MIPS32:       jr
 ; MIPS32:       nop
 
 define void @store_i8(i32 %addr_arg, i32 %val) {
 entry:
   %val_trunc = trunc i32 %val to i8
   %addr = inttoptr i32 %addr_arg to i8*
   store i8 %val_trunc, i8* %addr, align 1
   ret void
@@ skipping 11 matching lines @@
   store i8 123, i8* %addr, align 1
   ret void
 }
 ; CHECK-LABEL: store_i8_const
 ; CHECK: mov BYTE PTR {{.*}},0x7b
 ; MIPS32-LABEL: store_i8_const
 ; MIPS32:       li
 ; MIPS32:       sb
 ; MIPS32:       jr
 ; MIPS32:       nop