emitIAS for store and indirect calls.

tests_lit/llvm2ice_tests/8bit.pnacl.ll

 ; This tries to be a comprehensive test of i8 operations.
 
 ; RUN: %p2i -i %s --args -O2 --verbose none \
 ; RUN:   | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \
 ; RUN:   | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s
 ; RUN: %p2i -i %s --args -Om1 --verbose none \
 ; RUN:   | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \
 ; RUN:   | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s
 ; RUN: %p2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s
 
@@ skipping 258 matching lines @@
   %a_8 = trunc i32 %a to i8
   %bptr = inttoptr i32 %b_iptr to i8*
   %b_8 = load i8* %bptr, align 1
   %icmp = icmp ne i8 %a_8, %b_8
   %ret = zext i1 %icmp to i32
   ret i32 %ret
 }
 ; CHECK-LABEL: icmp8BitMemSwapped
 ; CHECK: cmp {{[abcd]l|byte ptr}}
 
+define internal i32 @selectI8Var(i32 %a, i32 %b) {
+entry:
+  %a_8 = trunc i32 %a to i8
+  %b_8 = trunc i32 %b to i8
+  %cmp = icmp slt i8 %a_8, %b_8
+  %ret = select i1 %cmp, i8 %a_8, i8 %b_8
+  %ret_ext = zext i8 %ret to i32
+  ret i32 %ret_ext
+}
+; CHECK-LABEL: selectI8Var
+; CHECK: cmp
+; CHECK: jl
+; CHECK: mov {{[a-d]l}}
+
 define internal i32 @testPhi8(i32 %arg, i32 %arg2, i32 %arg3, i32 %arg4, i32 %arg5, i32 %arg6, i32 %arg7, i32 %arg8, i32 %arg9, i32 %arg10) {
 entry:
   %trunc = trunc i32 %arg to i8
   %trunc2 = trunc i32 %arg2 to i8
   %trunc3 = trunc i32 %arg3 to i8
   %trunc4 = trunc i32 %arg4 to i8
   %trunc5 = trunc i32 %arg5 to i8
   %cmp1 = icmp sgt i32 %arg, 0
   br i1 %cmp1, label %next, label %target
 next:
@@ skipping 19 matching lines @@
   %res123 = select i1 %merge1, i8 %merge6, i8 %res1_2
   %result = zext i8 %res123 to i32
   ret i32 %result
 }
 ; CHECK-LABEL: testPhi8
 ; This assumes there will be some copy from an 8-bit register / stack slot.
 ; CHECK-DAG: mov {{.*}}, {{[a-d]}}l
 ; CHECK-DAG: mov {{.*}}, byte ptr
 ; CHECK-DAG: mov byte ptr {{.*}}
 
+@global8 = internal global [1 x i8] c"\01", align 4
+
+define i32 @load_i8(i32 %addr_arg) {
+entry:
+  %addr = inttoptr i32 %addr_arg to i8*
+  %ret = load i8* %addr, align 1
+  %ret_ext = zext i8 %ret to i32
+  ret i32 %ret_ext
+}
+; CHECK-LABEL: load_i8
+; CHECK: mov {{[a-d]l}}, byte ptr
+
+define i32 @load_i8_global(i32 %addr_arg) {
+entry:
+  %addr = bitcast [1 x i8]* @global8 to i8*
+  %ret = load i8* %addr, align 1
+  %ret_ext = zext i8 %ret to i32
+  ret i32 %ret_ext
+}
+; CHECK-LABEL: load_i8_global
+; CHECK: mov {{[a-d]l}}, byte ptr
+
+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
+}
+; CHECK-LABEL: store_i8
+; CHECK: mov byte ptr {{.*}}, {{[a-d]l}}
+
+define void @store_i8_const(i32 %addr_arg) {
+entry:
+  %addr = inttoptr i32 %addr_arg to i8*
+  store i8 123, i8* %addr, align 1
+  ret void
+}
+; CHECK-LABEL: store_i8_const
+; CHECK: mov byte ptr {{.*}}, 123
+
 ; ERRORS-NOT: ICE translation error
 ; DUMP-NOT: SZ