mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-11-15 20:06:46 +00:00
c8ecf53082
Since we have ARM unwind directive parser and assembler, we can check the correctness in two stages: 1. From LLVM assembly (.ll) to ARM assembly (.s) 2. From ARM assembly (.s) to ELF object file (.o) We already have several "*.s to *.o" test cases. This CL adds some "*.ll to *.s" test cases and removes the redundant "*.ll to *.o" test cases. New test cases to check "*.ll to *.s" code generator: - ehabi.ll: Check the correctness of the generated unwind directives. - section-name.ll: Check the section name of functions. Removed test cases: - ehabi-mc-cantunwind.ll (Covered by ehabi-cantunwind.ll, and eh-directive-cantunwind.s) - ehabi-mc-compact-pr0.ll (Covered by ehabi.ll, eh-compact-pr0.s, eh-directive-save.s, and eh-directive-setfp.s) - ehabi-mc-compact-pr1.ll (Covered by ehabi.ll, eh-compact-pr1.s, eh-directive-save.s, and eh-directive-setfp.s) - ehabi-mc.ll (Covered by ehabi.ll, and eh-directive-integrated-test.s) - ehabi-mc-section-group.ll (Covered by section-name.ll, and eh-directive-section-comdat.s) - ehabi-mc-section.ll (Covered by section-name.ll, and eh-directive-section.s) - ehabi-mc-sh_link.ll (Covered by eh-directive-text-section.s, and eh-directive-section.s) git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@183628 91177308-0d34-0410-b5e6-96231b3b80d8
299 lines
8.9 KiB
LLVM
299 lines
8.9 KiB
LLVM
; ARM EHABI integrated test
|
|
|
|
; This test case checks whether the ARM unwind directives are properly
|
|
; generated or not.
|
|
|
|
; The purpose of the test:
|
|
; (1) .fnstart and .fnend directives should wrap the function.
|
|
; (2) .setfp directive should be available if frame pointer is not eliminated.
|
|
; (3) .save directive should come with push instruction.
|
|
; (4) .vsave directive should come with vpush instruction.
|
|
; (5) .pad directive should come with stack pointer adjustment.
|
|
; (6) .cantunwind directive should be available if the function is marked with
|
|
; nounwind function attribute.
|
|
|
|
; We have to check several cases:
|
|
; (1) arm with -disable-fp-elim
|
|
; (2) arm without -disable-fp-elim
|
|
; (3) armv7 with -disable-fp-elim
|
|
; (4) armv7 without -disable-fp-elim
|
|
|
|
; RUN: llc -mtriple arm-unknown-linux-gnueabi \
|
|
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
|
|
; RUN: -disable-fp-elim -filetype=asm -o - %s \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-FP
|
|
|
|
; RUN: llc -mtriple arm-unknown-linux-gnueabi \
|
|
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
|
|
; RUN: -filetype=asm -o - %s \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-FP-ELIM
|
|
|
|
; RUN: llc -mtriple armv7-unknown-linux-gnueabi \
|
|
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
|
|
; RUN: -disable-fp-elim -filetype=asm -o - %s \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-V7-FP
|
|
|
|
; RUN: llc -mtriple armv7-unknown-linux-gnueabi \
|
|
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
|
|
; RUN: -filetype=asm -o - %s \
|
|
; RUN: | FileCheck %s --check-prefix=CHECK-V7-FP-ELIM
|
|
|
|
;-------------------------------------------------------------------------------
|
|
; Test 1
|
|
;-------------------------------------------------------------------------------
|
|
; This is the LLVM assembly generated from following C++ code:
|
|
;
|
|
; extern void print(int, int, int, int, int);
|
|
; extern void print(double, double, double, double, double);
|
|
;
|
|
; void test(int a, int b, int c, int d, int e,
|
|
; double m, double n, double p, double q, double r) {
|
|
; try {
|
|
; print(a, b, c, d, e);
|
|
; } catch (...) {
|
|
; print(m, n, p, q, r);
|
|
; }
|
|
; }
|
|
|
|
declare void @_Z5printiiiii(i32, i32, i32, i32, i32)
|
|
|
|
declare void @_Z5printddddd(double, double, double, double, double)
|
|
|
|
define void @_Z4testiiiiiddddd(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e,
|
|
double %m, double %n, double %p,
|
|
double %q, double %r) {
|
|
entry:
|
|
invoke void @_Z5printiiiii(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e)
|
|
to label %try.cont unwind label %lpad
|
|
|
|
lpad:
|
|
%0 = landingpad { i8*, i32 }
|
|
personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
|
catch i8* null
|
|
%1 = extractvalue { i8*, i32 } %0, 0
|
|
%2 = tail call i8* @__cxa_begin_catch(i8* %1)
|
|
invoke void @_Z5printddddd(double %m, double %n, double %p,
|
|
double %q, double %r)
|
|
to label %invoke.cont2 unwind label %lpad1
|
|
|
|
invoke.cont2:
|
|
tail call void @__cxa_end_catch()
|
|
br label %try.cont
|
|
|
|
try.cont:
|
|
ret void
|
|
|
|
lpad1:
|
|
%3 = landingpad { i8*, i32 }
|
|
personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
|
cleanup
|
|
invoke void @__cxa_end_catch()
|
|
to label %eh.resume unwind label %terminate.lpad
|
|
|
|
eh.resume:
|
|
resume { i8*, i32 } %3
|
|
|
|
terminate.lpad:
|
|
%4 = landingpad { i8*, i32 }
|
|
personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
|
catch i8* null
|
|
%5 = extractvalue { i8*, i32 } %4, 0
|
|
tail call void @__clang_call_terminate(i8* %5)
|
|
unreachable
|
|
}
|
|
|
|
declare void @__clang_call_terminate(i8*)
|
|
|
|
declare i32 @__gxx_personality_v0(...)
|
|
|
|
declare i8* @__cxa_begin_catch(i8*)
|
|
|
|
declare void @__cxa_end_catch()
|
|
|
|
declare void @_ZSt9terminatev()
|
|
|
|
; CHECK-FP: _Z4testiiiiiddddd:
|
|
; CHECK-FP: .fnstart
|
|
; CHECK-FP: .save {r4, r5, r6, r7, r8, r9, r10, r11, lr}
|
|
; CHECK-FP: push {r4, r5, r6, r7, r8, r9, r10, r11, lr}
|
|
; CHECK-FP: .setfp r11, sp, #28
|
|
; CHECK-FP: add r11, sp, #28
|
|
; CHECK-FP: .pad #28
|
|
; CHECK-FP: sub sp, sp, #28
|
|
; CHECK-FP: .personality __gxx_personality_v0
|
|
; CHECK-FP: .handlerdata
|
|
; CHECK-FP: .fnend
|
|
|
|
; CHECK-FP-ELIM: _Z4testiiiiiddddd:
|
|
; CHECK-FP-ELIM: .fnstart
|
|
; CHECK-FP-ELIM: .save {r4, r5, r6, r7, r8, r9, r10, r11, lr}
|
|
; CHECK-FP-ELIM: push {r4, r5, r6, r7, r8, r9, r10, r11, lr}
|
|
; CHECK-FP-ELIM: .pad #28
|
|
; CHECK-FP-ELIM: sub sp, sp, #28
|
|
; CHECK-FP-ELIM: .personality __gxx_personality_v0
|
|
; CHECK-FP-ELIM: .handlerdata
|
|
; CHECK-FP-ELIM: .fnend
|
|
|
|
; CHECK-V7-FP: _Z4testiiiiiddddd:
|
|
; CHECK-V7-FP: .fnstart
|
|
; CHECK-V7-FP: .save {r4, r11, lr}
|
|
; CHECK-V7-FP: push {r4, r11, lr}
|
|
; CHECK-V7-FP: .setfp r11, sp, #4
|
|
; CHECK-V7-FP: add r11, sp, #4
|
|
; CHECK-V7-FP: .vsave {d8, d9, d10, d11, d12}
|
|
; CHECK-V7-FP: vpush {d8, d9, d10, d11, d12}
|
|
; CHECK-V7-FP: .pad #28
|
|
; CHECK-V7-FP: sub sp, sp, #28
|
|
; CHECK-V7-FP: .personality __gxx_personality_v0
|
|
; CHECK-V7-FP: .handlerdata
|
|
; CHECK-V7-FP: .fnend
|
|
|
|
; CHECK-V7-FP-ELIM: _Z4testiiiiiddddd:
|
|
; CHECK-V7-FP-ELIM: .fnstart
|
|
; CHECK-V7-FP-ELIM: .save {r4, lr}
|
|
; CHECK-V7-FP-ELIM: push {r4, lr}
|
|
; CHECK-V7-FP-ELIM: .vsave {d8, d9, d10, d11, d12}
|
|
; CHECK-V7-FP-ELIM: vpush {d8, d9, d10, d11, d12}
|
|
; CHECK-V7-FP-ELIM: .pad #24
|
|
; CHECK-V7-FP-ELIM: sub sp, sp, #24
|
|
; CHECK-V7-FP-ELIM: .personality __gxx_personality_v0
|
|
; CHECK-V7-FP-ELIM: .handlerdata
|
|
; CHECK-V7-FP-ELIM: .fnend
|
|
|
|
|
|
;-------------------------------------------------------------------------------
|
|
; Test 2
|
|
;-------------------------------------------------------------------------------
|
|
|
|
declare void @throw_exception_2()
|
|
|
|
define void @test2() {
|
|
entry:
|
|
tail call void @throw_exception_2()
|
|
ret void
|
|
}
|
|
|
|
; CHECK-FP: test2:
|
|
; CHECK-FP: .fnstart
|
|
; CHECK-FP: .save {r11, lr}
|
|
; CHECK-FP: push {r11, lr}
|
|
; CHECK-FP: .setfp r11, sp
|
|
; CHECK-FP: mov r11, sp
|
|
; CHECK-FP: pop {r11, lr}
|
|
; CHECK-FP: mov pc, lr
|
|
; CHECK-FP: .fnend
|
|
|
|
; CHECK-FP-ELIM: test2:
|
|
; CHECK-FP-ELIM: .fnstart
|
|
; CHECK-FP-ELIM: .save {r11, lr}
|
|
; CHECK-FP-ELIM: push {r11, lr}
|
|
; CHECK-FP-ELIM: pop {r11, lr}
|
|
; CHECK-FP-ELIM: mov pc, lr
|
|
; CHECK-FP-ELIM: .fnend
|
|
|
|
; CHECK-V7-FP: test2:
|
|
; CHECK-V7-FP: .fnstart
|
|
; CHECK-V7-FP: .save {r11, lr}
|
|
; CHECK-V7-FP: push {r11, lr}
|
|
; CHECK-V7-FP: .setfp r11, sp
|
|
; CHECK-V7-FP: mov r11, sp
|
|
; CHECK-V7-FP: pop {r11, pc}
|
|
; CHECK-V7-FP: .fnend
|
|
|
|
; CHECK-V7-FP-ELIM: test2:
|
|
; CHECK-V7-FP-ELIM: .fnstart
|
|
; CHECK-V7-FP-ELIM: .save {r11, lr}
|
|
; CHECK-V7-FP-ELIM: push {r11, lr}
|
|
; CHECK-V7-FP-ELIM: pop {r11, pc}
|
|
; CHECK-V7-FP-ELIM: .fnend
|
|
|
|
|
|
;-------------------------------------------------------------------------------
|
|
; Test 3
|
|
;-------------------------------------------------------------------------------
|
|
|
|
declare void @throw_exception_3(i32)
|
|
|
|
define i32 @test3(i32 %a, i32 %b, i32 %c, i32 %d,
|
|
i32 %e, i32 %f, i32 %g, i32 %h) {
|
|
entry:
|
|
%add = add nsw i32 %b, %a
|
|
%add1 = add nsw i32 %add, %c
|
|
%add2 = add nsw i32 %add1, %d
|
|
tail call void @throw_exception_3(i32 %add2)
|
|
%add3 = add nsw i32 %f, %e
|
|
%add4 = add nsw i32 %add3, %g
|
|
%add5 = add nsw i32 %add4, %h
|
|
tail call void @throw_exception_3(i32 %add5)
|
|
%add6 = add nsw i32 %add5, %add2
|
|
ret i32 %add6
|
|
}
|
|
|
|
; CHECK-FP: test3:
|
|
; CHECK-FP: .fnstart
|
|
; CHECK-FP: .save {r4, r5, r11, lr}
|
|
; CHECK-FP: push {r4, r5, r11, lr}
|
|
; CHECK-FP: .setfp r11, sp, #8
|
|
; CHECK-FP: add r11, sp, #8
|
|
; CHECK-FP: pop {r4, r5, r11, lr}
|
|
; CHECK-FP: mov pc, lr
|
|
; CHECK-FP: .fnend
|
|
|
|
; CHECK-FP-ELIM: test3:
|
|
; CHECK-FP-ELIM: .fnstart
|
|
; CHECK-FP-ELIM: .save {r4, r5, r11, lr}
|
|
; CHECK-FP-ELIM: push {r4, r5, r11, lr}
|
|
; CHECK-FP-ELIM: pop {r4, r5, r11, lr}
|
|
; CHECK-FP-ELIM: mov pc, lr
|
|
; CHECK-FP-ELIM: .fnend
|
|
|
|
; CHECK-V7-FP: test3:
|
|
; CHECK-V7-FP: .fnstart
|
|
; CHECK-V7-FP: .save {r4, r5, r11, lr}
|
|
; CHECK-V7-FP: push {r4, r5, r11, lr}
|
|
; CHECK-V7-FP: .setfp r11, sp, #8
|
|
; CHECK-V7-FP: add r11, sp, #8
|
|
; CHECK-V7-FP: pop {r4, r5, r11, pc}
|
|
; CHECK-V7-FP: .fnend
|
|
|
|
; CHECK-V7-FP-ELIM: test3:
|
|
; CHECK-V7-FP-ELIM: .fnstart
|
|
; CHECK-V7-FP-ELIM: .save {r4, r5, r11, lr}
|
|
; CHECK-V7-FP-ELIM: push {r4, r5, r11, lr}
|
|
; CHECK-V7-FP-ELIM: pop {r4, r5, r11, pc}
|
|
; CHECK-V7-FP-ELIM: .fnend
|
|
|
|
|
|
;-------------------------------------------------------------------------------
|
|
; Test 4
|
|
;-------------------------------------------------------------------------------
|
|
|
|
define void @test4() nounwind {
|
|
entry:
|
|
ret void
|
|
}
|
|
|
|
; CHECK-FP: test4:
|
|
; CHECK-FP: .fnstart
|
|
; CHECK-FP: mov pc, lr
|
|
; CHECK-FP: .cantunwind
|
|
; CHECK-FP: .fnend
|
|
|
|
; CHECK-FP-ELIM: test4:
|
|
; CHECK-FP-ELIM: .fnstart
|
|
; CHECK-FP-ELIM: mov pc, lr
|
|
; CHECK-FP-ELIM: .cantunwind
|
|
; CHECK-FP-ELIM: .fnend
|
|
|
|
; CHECK-V7-FP: test4:
|
|
; CHECK-V7-FP: .fnstart
|
|
; CHECK-V7-FP: bx lr
|
|
; CHECK-V7-FP: .cantunwind
|
|
; CHECK-V7-FP: .fnend
|
|
|
|
; CHECK-V7-FP-ELIM: test4:
|
|
; CHECK-V7-FP-ELIM: .fnstart
|
|
; CHECK-V7-FP-ELIM: bx lr
|
|
; CHECK-V7-FP-ELIM: .cantunwind
|
|
; CHECK-V7-FP-ELIM: .fnend
|