Index: tests_lit/assembler/arm32/int-extend.ll |
diff --git a/tests_lit/assembler/arm32/int-extend.ll b/tests_lit/assembler/arm32/int-extend.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..5ea1365a3fe59320fed0ddba37c7d6bdf079a8d5 |
--- /dev/null |
+++ b/tests_lit/assembler/arm32/int-extend.ll |
@@ -0,0 +1,113 @@ |
+; Tests signed/unsigned extend to 32 bits. |
+ |
+; Show that we know how to translate add. |
+ |
+; NOTE: We use -O2 to get rid of memory stores. |
+ |
+; REQUIRES: allow_dump |
+ |
+; Compile using standalone assembler. |
+; RUN: %p2i --filetype=asm -i %s --target=arm32 --args -O2 \ |
+; RUN: | FileCheck %s --check-prefix=ASM |
+ |
+; NOTE: We use -O2 to get rid of memory stores. |
+ |
+; Show bytes in assembled standalone code. |
+; RUN: %p2i --filetype=asm -i %s --target=arm32 --assemble --disassemble \ |
+; RUN: --args -O2 | FileCheck %s --check-prefix=DIS |
+ |
+; Compile using integrated assembler. |
+; RUN: %p2i --filetype=iasm -i %s --target=arm32 --args -O2 \ |
+; RUN: | FileCheck %s --check-prefix=IASM |
+ |
+; Show bytes in assembled integrated code. |
+; RUN: %p2i --filetype=iasm -i %s --target=arm32 --assemble --disassemble \ |
+; RUN: --args -O2 | FileCheck %s --check-prefix=DIS |
+ |
+define internal i32 @testUxtb(i32 %v) { |
+; ASM-LABEL:testUxtb: |
+; DIS-LABEL:00000000 <testUxtb>: |
+; IASM-LABEL:testUxtb: |
+ |
+entry: |
+; ASM-NEXT:.LtestUxtb$entry: |
+; IASM-NEXT:.LtestUxtb$entry: |
+ |
+ %v.b = trunc i32 %v to i8 |
+ %res = zext i8 %v.b to i32 |
+ |
+; ASM-NEXT: uxtb r0, r0 |
+; DIS-NEXT: 0: e6ef0070 |
+; IASM-NEXT: .byte 0x70 |
+; IASM-NEXT: .byte 0x0 |
+; IASM-NEXT: .byte 0xef |
+; IASM-NEXT: .byte 0xe6 |
+ |
+ ret i32 %res |
+} |
+ |
+define internal i32 @testSxtb(i32 %v) { |
+; ASM-LABEL:testSxtb: |
+; DIS-LABEL:00000010 <testSxtb>: |
+; IASM-LABEL:testSxtb: |
+ |
+entry: |
+; ASM-NEXT:.LtestSxtb$entry: |
+; IASM-NEXT:.LtestSxtb$entry: |
+ |
+ %v.b = trunc i32 %v to i8 |
+ %res = sext i8 %v.b to i32 |
+ |
+; ASM-NEXT: sxtb r0, r0 |
+; DIS-NEXT: 10: e6af0070 |
+; IASM-NEXT: .byte 0x70 |
+; IASM-NEXT: .byte 0x0 |
+; IASM-NEXT: .byte 0xaf |
+; IASM-NEXT: .byte 0xe6 |
+ |
+ ret i32 %res |
+} |
+ |
+define internal i32 @testUxth(i32 %v) { |
+; ASM-LABEL:testUxth: |
+; DIS-LABEL:00000020 <testUxth>: |
+; IASM-LABEL:testUxth: |
+ |
+entry: |
+; ASM-NEXT:.LtestUxth$entry: |
+; IASM-NEXT:.LtestUxth$entry: |
+ |
+ %v.h = trunc i32 %v to i16 |
+ %res = zext i16 %v.h to i32 |
+ |
+; ASM-NEXT: uxth r0, r0 |
+; DIS-NEXT: 20: e6ff0070 |
+; IASM-NEXT: .byte 0x70 |
+; IASM-NEXT: .byte 0x0 |
+; IASM-NEXT: .byte 0xff |
+; IASM-NEXT: .byte 0xe6 |
+ |
+ ret i32 %res |
+} |
+ |
+define internal i32 @testSxth(i32 %v) { |
+; ASM-LABEL:testSxth: |
+; DIS-LABEL:00000030 <testSxth>: |
+; IASM-LABEL:testSxth: |
+ |
+entry: |
+; ASM-NEXT:.LtestSxth$entry: |
+; IASM-NEXT:.LtestSxth$entry: |
+ |
+ %v.h = trunc i32 %v to i16 |
+ %res = sext i16 %v.h to i32 |
+ |
+; ASM-NEXT: sxth r0, r0 |
+; DIS-NEXT: 30: e6bf0070 |
+; IASM-NEXT: .byte 0x70 |
+; IASM-NEXT: .byte 0x0 |
+; IASM-NEXT: .byte 0xbf |
+; IASM-NEXT: .byte 0xe6 |
+ |
+ ret i32 %res |
+} |