Index: tests_lit/llvm2ice_tests/convert.ll |
diff --git a/tests_lit/llvm2ice_tests/convert.ll b/tests_lit/llvm2ice_tests/convert.ll |
index 53a1de4391466144a9c7a288655f33338c8571c7..1fde62d3475ea17b47543b6c78144c604aad5518 100644 |
--- a/tests_lit/llvm2ice_tests/convert.ll |
+++ b/tests_lit/llvm2ice_tests/convert.ll |
@@ -1,5 +1,8 @@ |
-; RUIN: %llvm2ice %s | FileCheck %s |
-; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
+; Simple test of signed and unsigned integer conversions. |
+ |
+; RUIN: %llvm2ice -O2 --verbose none %s | FileCheck %s |
+; RUN: %llvm2ice -Om1 --verbose none %s | FileCheck --check-prefix=OPTM1 %s |
+; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
; RUN: %szdiff --llvm2ice=%llvm2ice %s | FileCheck --check-prefix=DUMP %s |
@i8v = common global i8 0, align 1 |
@@ -25,16 +28,28 @@ entry: |
%v3 = sext i8 %v0 to i64 |
store i64 %v3, i64* @i64v, align 1 |
ret void |
- ; CHECK: mov al, byte ptr [ |
- ; CHECK-NEXT: movsx cx, al |
- ; CHECK-NEXT: mov word ptr [ |
- ; CHECK-NEXT: movsx ecx, al |
- ; CHECK-NEXT: mov dword ptr [ |
- ; CHECK-NEXT: movsx ecx, al |
- ; CHECK-NEXT: sar eax, 31 |
- ; CHECK-NEXT: mov dword ptr [i64v+4], |
- ; CHECK-NEXT: mov dword ptr [i64v], |
} |
+; CHECK: from_int8: |
+; CHECK: mov al, byte ptr [ |
+; CHECK-NEXT: movsx cx, al |
+; CHECK-NEXT: mov word ptr [ |
+; CHECK-NEXT: movsx ecx, al |
+; CHECK-NEXT: mov dword ptr [ |
+; CHECK-NEXT: movsx ecx, al |
+; CHECK-NEXT: sar eax, 31 |
+; CHECK-NEXT: mov dword ptr [i64v+4], |
+; CHECK-NEXT: mov dword ptr [i64v], |
+; |
+; OPTM1: from_int8: |
+; OPTM1: mov {{.*}}, byte ptr [ |
+; OPTM1: movsx |
+; OPTM1: mov word ptr [ |
+; OPTM1: movsx |
+; OPTM1: mov dword ptr [ |
+; OPTM1: movsx |
+; OPTM1: sar {{.*}}, 31 |
+; OPTM1: mov dword ptr [i64v+4], |
+; OPTM1: mov dword ptr [i64v], |
define void @from_int16() { |
entry: |
@@ -46,16 +61,27 @@ entry: |
%v3 = sext i16 %v0 to i64 |
store i64 %v3, i64* @i64v, align 1 |
ret void |
- ; CHECK: mov ax, word ptr [ |
- ; CHECK-NEXT: mov cx, ax |
- ; CHECK-NEXT: mov byte ptr [ |
- ; CHECK-NEXT: movsx ecx, ax |
- ; CHECK-NEXT: mov dword ptr [ |
- ; CHECK-NEXT: movsx ecx, ax |
- ; CHECK-NEXT: sar eax, 31 |
- ; CHECK-NEXT: mov dword ptr [i64v+4], |
- ; CHECK-NEXT: mov dword ptr [i64v], |
} |
+; CHECK: from_int16: |
+; CHECK: mov ax, word ptr [ |
+; CHECK-NEXT: mov cx, ax |
+; CHECK-NEXT: mov byte ptr [ |
+; CHECK-NEXT: movsx ecx, ax |
+; CHECK-NEXT: mov dword ptr [ |
+; CHECK-NEXT: movsx ecx, ax |
+; CHECK-NEXT: sar eax, 31 |
+; CHECK-NEXT: mov dword ptr [i64v+4], |
+; CHECK-NEXT: mov dword ptr [i64v], |
+; |
+; OPTM1: from_int16: |
+; OPTM1: mov {{.*}}, word ptr [ |
+; OPTM1: mov byte ptr [i8v], |
+; OPTM1: movsx |
+; OPTM1: mov dword ptr [i32v], |
+; OPTM1: movsx |
+; OPTM1: sar {{.*}}, 31 |
+; OPTM1: mov dword ptr [i64v+4], |
+; OPTM1: mov dword ptr [i64v], |
define void @from_int32() { |
entry: |
@@ -67,16 +93,25 @@ entry: |
%v3 = sext i32 %v0 to i64 |
store i64 %v3, i64* @i64v, align 1 |
ret void |
- ; CHECK: mov eax, dword ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov byte ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov word ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: sar eax, 31 |
- ; CHECK-NEXT: mov dword ptr [i64v+4], |
- ; CHECK-NEXT: mov dword ptr [i64v], |
} |
+; CHECK: from_int32: |
+; CHECK: mov eax, dword ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov byte ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov word ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: sar eax, 31 |
+; CHECK-NEXT: mov dword ptr [i64v+4], |
+; CHECK-NEXT: mov dword ptr [i64v], |
+; |
+; OPTM1: from_int32: |
+; OPTM1: mov {{.*}}, dword ptr [i32v] |
+; OPTM1: mov byte ptr [i8v], |
+; OPTM1: mov word ptr [i16v], |
+; OPTM1: sar {{.*}}, 31 |
+; OPTM1: mov dword ptr [i64v+4], |
+; OPTM1: mov dword ptr [i64v], |
define void @from_int64() { |
entry: |
@@ -88,13 +123,21 @@ entry: |
%v3 = trunc i64 %v0 to i32 |
store i32 %v3, i32* @i32v, align 1 |
ret void |
- ; CHECK: mov eax, dword ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov byte ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov word ptr [ |
- ; CHECK-NEXT: mov dword ptr [ |
} |
+; CHECK: from_int64: |
+; CHECK: mov eax, dword ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov byte ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov word ptr [ |
+; CHECK-NEXT: mov dword ptr [ |
+; |
+; OPTM1: from_int64: |
+; OPTM1: mov {{.*}}, dword ptr [i64v] |
+; OPTM1: mov {{.*}}, dword ptr [i64v+4] |
+; OPTM1: mov byte ptr [i8v], |
+; OPTM1: mov word ptr [i16v], |
+; OPTM1: mov dword ptr [i32v], |
define void @from_uint8() { |
entry: |
@@ -106,16 +149,28 @@ entry: |
%v3 = zext i8 %v0 to i64 |
store i64 %v3, i64* @i64v, align 1 |
ret void |
- ; CHECK: mov al, byte ptr [ |
- ; CHECK-NEXT: movzx cx, al |
- ; CHECK-NEXT: mov word ptr [ |
- ; CHECK-NEXT: movzx ecx, al |
- ; CHECK-NEXT: mov dword ptr [ |
- ; CHECK-NEXT: movzx eax, al |
- ; CHECK-NEXT: mov ecx, 0 |
- ; CHECK-NEXT: mov dword ptr [i64v+4], |
- ; CHECK-NEXT: mov dword ptr [i64v], |
} |
+; CHECK: from_uint8: |
+; CHECK: mov al, byte ptr [ |
+; CHECK-NEXT: movzx cx, al |
+; CHECK-NEXT: mov word ptr [ |
+; CHECK-NEXT: movzx ecx, al |
+; CHECK-NEXT: mov dword ptr [ |
+; CHECK-NEXT: movzx eax, al |
+; CHECK-NEXT: mov ecx, 0 |
+; CHECK-NEXT: mov dword ptr [i64v+4], |
+; CHECK-NEXT: mov dword ptr [i64v], |
+; |
+; OPTM1: from_uint8: |
+; OPTM1: mov {{.*}}, byte ptr [u8v] |
+; OPTM1: movzx |
+; OPTM1: mov word ptr [i16v], |
+; OPTM1: movzx |
+; OPTM1: mov dword ptr [i32v], |
+; OPTM1: movzx |
+; OPTM1: mov {{.*}}, 0 |
+; OPTM1: mov dword ptr [i64v+4], |
+; OPTM1: mov dword ptr [i64v], |
define void @from_uint16() { |
entry: |
@@ -127,16 +182,27 @@ entry: |
%v3 = zext i16 %v0 to i64 |
store i64 %v3, i64* @i64v, align 1 |
ret void |
- ; CHECK: mov ax, word ptr [ |
- ; CHECK-NEXT: mov cx, ax |
- ; CHECK-NEXT: mov byte ptr [ |
- ; CHECK-NEXT: movzx ecx, ax |
- ; CHECK-NEXT: mov dword ptr [ |
- ; CHECK-NEXT: movzx eax, ax |
- ; CHECK-NEXT: mov ecx, 0 |
- ; CHECK-NEXT: mov dword ptr [i64v+4], |
- ; CHECK-NEXT: mov dword ptr [i64v], |
} |
+; CHECK: from_uint16: |
+; CHECK: mov ax, word ptr [ |
+; CHECK-NEXT: mov cx, ax |
+; CHECK-NEXT: mov byte ptr [ |
+; CHECK-NEXT: movzx ecx, ax |
+; CHECK-NEXT: mov dword ptr [ |
+; CHECK-NEXT: movzx eax, ax |
+; CHECK-NEXT: mov ecx, 0 |
+; CHECK-NEXT: mov dword ptr [i64v+4], |
+; CHECK-NEXT: mov dword ptr [i64v], |
+; |
+; OPTM1: from_uint16: |
+; OPTM1: mov {{.*}}, word ptr [u16v] |
+; OPTM1: mov byte ptr [i8v], |
+; OPTM1: movzx |
+; OPTM1: mov dword ptr [i32v], |
+; OPTM1: movzx |
+; OPTM1: mov {{.*}}, 0 |
+; OPTM1: mov dword ptr [i64v+4], |
+; OPTM1: mov dword ptr [i64v], |
define void @from_uint32() { |
entry: |
@@ -148,15 +214,24 @@ entry: |
%v3 = zext i32 %v0 to i64 |
store i64 %v3, i64* @i64v, align 1 |
ret void |
- ; CHECK: mov eax, dword ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov byte ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov word ptr [ |
- ; CHECK-NEXT: mov ecx, 0 |
- ; CHECK-NEXT: mov dword ptr [i64v+4], |
- ; CHECK-NEXT: mov dword ptr [i64v], |
} |
+; CHECK: from_uint32: |
+; CHECK: mov eax, dword ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov byte ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov word ptr [ |
+; CHECK-NEXT: mov ecx, 0 |
+; CHECK-NEXT: mov dword ptr [i64v+4], |
+; CHECK-NEXT: mov dword ptr [i64v], |
+; |
+; OPTM1: from_uint32: |
+; OPTM1: mov {{.*}}, dword ptr [u32v] |
+; OPTM1: mov byte ptr [i8v], |
+; OPTM1: mov word ptr [i16v], |
+; OPTM1: mov {{.*}}, 0 |
+; OPTM1: mov dword ptr [i64v+4], |
+; OPTM1: mov dword ptr [i64v], |
define void @from_uint64() { |
entry: |
@@ -168,13 +243,20 @@ entry: |
%v3 = trunc i64 %v0 to i32 |
store i32 %v3, i32* @i32v, align 1 |
ret void |
- ; CHECK: mov eax, dword ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov byte ptr [ |
- ; CHECK-NEXT: mov ecx, eax |
- ; CHECK-NEXT: mov word ptr [ |
- ; CHECK-NEXT: mov dword ptr [ |
} |
+; CHECK: from_uint64: |
+; CHECK: mov eax, dword ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov byte ptr [ |
+; CHECK-NEXT: mov ecx, eax |
+; CHECK-NEXT: mov word ptr [ |
+; CHECK-NEXT: mov dword ptr [ |
+; |
+; OPTM1: from_uint64: |
+; OPTM1: mov eax, dword ptr [u64v] |
+; OPTM1: mov byte ptr [i8v], |
+; OPTM1: mov word ptr [i16v], |
+; OPTM1: mov dword ptr [i32v], |
; ERRORS-NOT: ICE translation error |
; DUMP-NOT: SZ |