Add constant blinding/pooling option for X8632 code translation

tests_lit/llvm2ice_tests/randomize-pool-immediate-basic.ll

+; This is a smoke test of constant blinding and constant pooling.
+
+; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \
+; RUN:                                  -sz-seed=1 -randomize-pool-immediates=randomize \

[Jim Stichnoth, 2015/06/19 16:51:03]

Reduce the indentation so lines don't exceed 80 columns.  Follow the indentation
style of other .ll files.  (This is just for the RUN lines; you don't have much
control over the CHECK lines below.)

[qining, 2015/06/19 20:22:26]

Done.

+; RUN:                                 | FileCheck %s --check-prefix=BLINDINGO2
+; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 \
+; RUN:                                  -sz-seed=1 -randomize-pool-immediates=randomize \
+; RUN:                                 | FileCheck %s --check-prefix=BLINDINGOM1
+
+; RUN: %p2i -i %s --filetype=obj --disassemble --args -O2 \
+; RUN:                                  -sz-seed=1 -randomize-pool-immediates=pool \
+; RUN:                                 | FileCheck %s --check-prefix=POOLING
+; RUN: %p2i -i %s --filetype=obj --disassemble --args -Om1 \
+; RUN:                                  -sz-seed=1 -randomize-pool-immediates=pool \
+; RUN:                                 | FileCheck %s --check-prefix=POOLING
+
+
+define i32 @add_arg_plus_200000(i32 %arg) {
+entry:
+  %res = add i32 200000, %arg
+  ret i32 %res
+
+; BLINDINGO2-LABEL: add_arg_plus_200000
+; BLINDINGO2: mov [[REG:e[a-z]*]],0x34ee7
+; BLINDINGO2-NEXT: lea [[REG]],{{[[]}}[[REG]]-0x41a7{{[]]}}
+
+; BLINDINGOM1-LABEL: add_arg_plus_200000
+; BLINDINGOM1: mov [[REG:e[a-z]*]],0x34ee7
+; BLINDINGOM1-NEXT: lea [[REG]],{{[[]}}[[REG]]-0x41a7{{[]]}}
+
+; POOLING-LABEL: add_arg_plus_200000
+; POOLING: mov e{{[a-z]*}},DWORD PTR ds:0x0 {{[0-9]*[a-f]*}}: R_386_32 .L$i32${{[0-9]*}}
+}
+
+define float @load_arg_plus_200000(float* %arg) {
+entry:
+  %arg.int = ptrtoint float* %arg to i32
+  %addr.int = add i32 %arg.int, 200000
+  %addr.ptr = inttoptr i32 %addr.int to float*
+  %addr.load = load float, float* %addr.ptr, align 4
+  ret float %addr.load
+; BLINDINGO2-LABEL: load_arg_plus_200000
+; BLINDINGO2: lea [[REG:e[a-z]*]],{{[[]}}{{e[a-z]*}}+0x34ee7{{[]]}}
+
+; BLINDINGOM1-LABEL: load_arg_plus_200000
+; BLINDINGOM1: lea [[REG:e[a-z]*]],{{[[]}}{{e[a-z]*}}-0x41a7{{[]]}}
+
+; POOLING-LABEL: load_arg_plus_200000
+; POOLING: mov e{{[a-z]*}},DWORD PTR ds:0x0 {{[0-9]*[a-f]*}}: R_386_32 .L$i32${{[0-9]*}}
+}
+
+define i64 @add_arg_plus_64bits(i32 %arg) {
+entry:
+  %0 = sext i32 %arg to i64
+  %res = add i64 90000000000, %0
+  ret i64 %res
+
+; BLINDINGO2-LABEL: add_arg_plus_64bits
+; BLINDINGO2: sar [[RHI:e[a-z]*]],0x1f
+; BLINDINGO2: mov [[RLO:e[a-z]*]],0xf46b45a7
+; BLINDINGO2-NEXT: lea [[RLO]],{{[[]}}[[RLO]]-0x41a7{{[]]}}
+
+; BLINDINGOM1-LABEL: add_arg_plus_64bits
+; BLINDINGOM1: sar [[RHI:e[a-z]*]],0x1f
+; BLINDINGOM1: mov [[RLO:e[a-z]*]],0xf46b45a7
+; BLINDINGOM1-NEXT: lea [[RLO]],{{[[]}}[[RLO]]-0x41a7{{[]]}}
+
+; POOLING-LABEL: add_arg_plus_64bits
+; POOLING: mov e{{[a-z]*}},DWORD PTR ds:0x0 {{[0-9]*[a-f]*}}: R_386_32 .L$i32${{[0-9]*}}
+}
+
+define i64 @load_arg_plus_64bits(i64* %arg) {
+entry:
+  %arg.int = ptrtoint i64* %arg to i32
+  %arg.new = add i32 %arg.int, 90000
+  %arg.ptr = inttoptr i32 %arg.new to i64*
+  %arg.load = load i64, i64* %arg.ptr, align 1
+  ret i64 %arg.load
+}
+
+define internal i32 @add_const_8bits(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
+
+; BLINDINGO2-LABEL: add_const_8bits
+; BLINDINGO2: mov e{{[a-z]*}},0x4222
+; BLINDINGO2-NEXT: e{{[a-z]*}},{{[[]}}e{{[a-z]*}}-0x41a7{{[]]}}
+
+; BLINDINGOM1-LABEL: add_const_8bits
+; BLINDINGOM1: mov e{{[a-z]*}},0x4222
+; BLINDINGOM1-NEXT: e{{[a-z]*}},{{[[]}}e{{[a-z]*}}-0x41a7{{[]]}}
+
+; POOLING-LABEL: add_const_8bits
+; POOLING: mov {{[a-z]l}},BYTE PTR ds:0x0 {{[0-9]*[a-f]*}}: R_386_32 .L$i8${{[0-9]*}}
+}
+
+define internal i32 @add_const_16bits(i32 %a) {
+entry:
+  %a_16 = trunc i32 %a to i16
+  %add = add i16 %a_16, 32766
+  %ret = zext i16 %add to i32
+  ret i32 %ret
+
+; BLINDINGO2-LABEL: add_const_16bits
+; BLINDINGO2: mov e{{[a-z]*}},0xc1a5
+; BLINDINGO2-NEXT: e{{[a-z]*}},{{[[]}}e{{[a-z]*}}-0x41a7{{[]]}}
+
+; BLINDINGOM1-LABEL: add_const_16bits
+; BLINDINGOM1: mov e{{[a-z]*}},0xc1a5
+; BLINDINGOM1-NEXT: e{{[a-z]*}},{{[[]}}e{{[a-z]*}}-0x41a7{{[]]}}
+
+; POOLING-LABEL: add_const_16bits
+; POOLING: mov {{[a-z]x}},WORD PTR ds:0x0 {{[0-9]*[a-f]*}}: R_386_32 .L$i16${{[0-9]*}}
+
+}