| Index: tests_lit/llvm2ice_tests/64bit.pnacl.ll
|
| diff --git a/tests_lit/llvm2ice_tests/64bit.pnacl.ll b/tests_lit/llvm2ice_tests/64bit.pnacl.ll
|
| index 6b86ce58b5ffe247b14dd6a40579f0719796481f..2dfd4e3a9033f6c5f983d61fd68772f6f692a536 100644
|
| --- a/tests_lit/llvm2ice_tests/64bit.pnacl.ll
|
| +++ b/tests_lit/llvm2ice_tests/64bit.pnacl.ll
|
| @@ -10,18 +10,15 @@
|
| ; RUN: --target x8632 -i %s --args -Om1 -allow-externally-defined-symbols \
|
| ; RUN: | %if --need=target_X8632 --command FileCheck --check-prefix=OPTM1 %s
|
|
|
| -; TODO(jvoung): Stop skipping unimplemented parts (via --skip-unimplemented)
|
| -; once enough infrastructure is in. Also, switch to --filetype=obj
|
| -; when possible.
|
| ; RUN: %if --need=target_ARM32 --need=allow_dump \
|
| -; RUN: --command %p2i --filetype=asm --assemble \
|
| -; RUN: --disassemble --target arm32 -i %s --args -O2 --skip-unimplemented \
|
| +; RUN: --command %p2i --filetype=obj --assemble \
|
| +; RUN: --disassemble --target arm32 -i %s --args -O2 \
|
| ; RUN: -allow-externally-defined-symbols \
|
| ; RUN: | %if --need=target_ARM32 --need=allow_dump \
|
| ; RUN: --command FileCheck --check-prefix ARM32 --check-prefix ARM32-O2 %s
|
| ; RUN: %if --need=target_ARM32 --need=allow_dump \
|
| -; RUN: --command %p2i --filetype=asm --assemble --disassemble --target arm32 \
|
| -; RUN: -i %s --args -Om1 --skip-unimplemented \
|
| +; RUN: --command %p2i --filetype=obj --assemble --disassemble --target arm32 \
|
| +; RUN: -i %s --args -Om1 \
|
| ; RUN: -allow-externally-defined-symbols \
|
| ; RUN: | %if --need=target_ARM32 --need=allow_dump \
|
| ; RUN: --command FileCheck --check-prefix ARM32 --check-prefix ARM32-OM1 %s
|
| @@ -102,18 +99,24 @@ entry:
|
|
|
| ; ARM32-LABEL: pass64BitArg
|
| ; ARM32: str {{.*}}, [sp]
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} ignore64BitArgNoInline
|
| +; ARM32: movt [[CALL]], {{.+}} ignore64BitArgNoInline
|
| ; ARM32: mov r2, #123
|
| -; ARM32: bl {{.*}} ignore64BitArgNoInline
|
| +; ARM32: blx [[CALL]]
|
| ; ARM32: str {{.*}}, [sp]
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} ignore64BitArgNoInline
|
| +; ARM32: movt [[CALL]], {{.+}} ignore64BitArgNoInline
|
| ; ARM32: {{mov|ldr}} r0
|
| ; ARM32: {{mov|ldr}} r1
|
| ; ARM32: mov r2, #123
|
| -; ARM32: bl {{.*}} ignore64BitArgNoInline
|
| +; ARM32: blx [[CALL]]
|
| ; ARM32: str {{.*}}, [sp]
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} ignore64BitArgNoInline
|
| +; ARM32: movt [[CALL]], {{.+}} ignore64BitArgNoInline
|
| ; ARM32: {{mov|ldr}} r0
|
| ; ARM32: {{mov|ldr}} r1
|
| ; ARM32: mov r2, #123
|
| -; ARM32: bl {{.*}} ignore64BitArgNoInline
|
| +; ARM32: blx [[CALL]]
|
|
|
| ; MIPS32-LABEL: pass64BitArg
|
|
|
| @@ -155,10 +158,13 @@ entry:
|
| ; ARM32: movt [[REG2]], {{.*}} ; 0x1234
|
| ; ARM32: str [[REG1]], [sp, #4]
|
| ; ARM32: str [[REG2]], [sp]
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} ignore64BitArgNoInline
|
| +; ARM32: movt [[CALL]], {{.+}} ignore64BitArgNoInline
|
| ; ARM32: {{mov|ldr}} r0
|
| ; ARM32: {{mov|ldr}} r1
|
| ; ARM32: mov r2, #123
|
| -; ARM32: bl {{.*}} ignore64BitArgNoInline
|
| +; ARM32: blx [[CALL]]
|
| +
|
|
|
| define internal i32 @pass64BitUndefArg() {
|
| entry:
|
| @@ -179,8 +185,10 @@ entry:
|
| ; ARM32: sub sp
|
| ; ARM32: mov {{.*}}, #0
|
| ; ARM32: str
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} ignore64BitArgNoInline
|
| +; ARM32: movt [[CALL]], {{.+}} ignore64BitArgNoInline
|
| ; ARM32: mov {{.*}}, #123
|
| -; ARM32: bl {{.*}} ignore64BitArgNoInline
|
| +; ARM32: blx [[CALL]]
|
|
|
| ; MIPS32-LABEL: pass64BitUndefArg
|
| ; MIPS32: jr ra
|
| @@ -388,7 +396,9 @@ entry:
|
| ; ARM32-LABEL: div64BitSigned
|
| ; ARM32: orrs {{r.*}}, {{r.*}}
|
| ; ARM32: bne
|
| -; ARM32: bl {{.*}} __divdi3
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} __divdi3
|
| +; ARM32: movt [[CALL]], {{.+}} __divdi3
|
| +; ARM32: blx [[CALL]]
|
|
|
| define internal i64 @div64BitSignedConst(i64 %a) {
|
| entry:
|
| @@ -408,10 +418,12 @@ entry:
|
| ; ARM32-LABEL: div64BitSignedConst
|
| ; For a constant, we should be able to optimize-out the divide by zero check.
|
| ; ARM32-NOT: orrs
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} __divdi3
|
| +; ARM32: movt [[CALL]], {{.+}} __divdi3
|
| ; ARM32: movw {{.*}} ; 0x2ff2
|
| ; ARM32: movt {{.*}} ; 0x73ce
|
| ; ARM32: movw {{.*}} ; 0xb3a
|
| -; ARM32: bl {{.*}} __divdi3
|
| +; ARM32: blx [[CALL]]
|
|
|
| define internal i64 @div64BitUnsigned(i64 %a, i64 %b) {
|
| entry:
|
| @@ -427,7 +439,9 @@ entry:
|
| ; ARM32-LABEL: div64BitUnsigned
|
| ; ARM32: orrs {{r.*}}, {{r.*}}
|
| ; ARM32: bne
|
| -; ARM32: bl {{.*}} __udivdi3
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} __udivdi3
|
| +; ARM32: movt [[CALL]], {{.+}} __udivdi3
|
| +; ARM32: blx [[CALL]]
|
|
|
| define internal i64 @rem64BitSigned(i64 %a, i64 %b) {
|
| entry:
|
| @@ -443,7 +457,9 @@ entry:
|
| ; ARM32-LABEL: rem64BitSigned
|
| ; ARM32: orrs {{r.*}}, {{r.*}}
|
| ; ARM32: bne
|
| -; ARM32: bl {{.*}} __moddi3
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} __moddi3
|
| +; ARM32: movt [[CALL]], {{.+}} __moddi3
|
| +; ARM32: blx [[CALL]]
|
|
|
| define internal i64 @rem64BitUnsigned(i64 %a, i64 %b) {
|
| entry:
|
| @@ -459,7 +475,9 @@ entry:
|
| ; ARM32-LABEL: rem64BitUnsigned
|
| ; ARM32: orrs {{r.*}}, {{r.*}}
|
| ; ARM32: bne
|
| -; ARM32: bl {{.*}} __umoddi3
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} __umoddi3
|
| +; ARM32: movt [[CALL]], {{.+}} __umoddi3
|
| +; ARM32: blx [[CALL]]
|
|
|
| define internal i64 @shl64BitSigned(i64 %a, i64 %b) {
|
| entry:
|
| @@ -1122,12 +1140,16 @@ if.end3: ; preds = %if.then2, %if.end
|
| ; ARM32: cmpeq
|
| ; ARM32-OM1: tst
|
| ; ARM32: bne
|
| -; ARM32: bl {{.*}} <func>
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} func
|
| +; ARM32: movt [[CALL]], {{.+}} func
|
| +; ARM32: blx [[CALL]]
|
| ; ARM32: cmp
|
| ; ARM32: cmpeq
|
| ; ARM32-OM1: tst
|
| ; ARM32: bne
|
| -; ARM32: bl {{.*}} <func>
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} func
|
| +; ARM32: movt [[CALL]], {{.+}} func
|
| +; ARM32: blx [[CALL]]
|
| ; ARM32: bx
|
|
|
| declare void @func()
|
| @@ -1192,7 +1214,9 @@ if.end3: ; preds = %if.end, %if.then2
|
| ; ARM32-OM1: tst
|
| ; ARM32-OM1: bne
|
| ; ARM32-O2: beq
|
| -; ARM32: bl {{.*}} <func>
|
| +; ARM32: movw [[CALL:r[0-9]]], {{.+}} func
|
| +; ARM32: movt [[CALL]], {{.+}} func
|
| +; ARM32: blx [[CALL]]
|
| ; ARM32: cmp
|
| ; ARM32: cmpeq
|
| ; ARM32-OM1: tst
|
|
|