Add missing header and test cases for r173939.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@173941 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Logan Chien 2013-01-30 15:48:50 +00:00
parent 52b1b3bbc6
commit 620d5bd8e4
5 changed files with 323 additions and 0 deletions

View File

@ -0,0 +1,112 @@
//===-- ARMUnwindOp.h - ARM Unwind Opcodes ----------------------*- C++ -*-===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
//
// This file defines the constants for the ARM unwind opcodes and exception
// handling table entry kinds.
//
//===----------------------------------------------------------------------===//
#ifndef ARM_UNWIND_OP_H
#define ARM_UNWIND_OP_H
namespace llvm {
/// ARM exception handling table entry kinds
enum ARMEHTEntryKind {
EHT_GENERIC = 0x00,
EHT_COMPACT = 0x80
};
enum {
/// Special entry for the function never unwind
EXIDX_CANTUNWIND = 0x1
};
/// ARM-defined frame unwinding opcodes
enum ARMUnwindOpcodes {
// Format: 00xxxxxx
// Purpose: vsp = vsp + ((x << 2) + 4)
UNWIND_OPCODE_INC_VSP = 0x00,
// Format: 01xxxxxx
// Purpose: vsp = vsp - ((x << 2) + 4)
UNWIND_OPCODE_DEC_VSP = 0x40,
// Format: 10000000 00000000
// Purpose: refuse to unwind
UNWIND_OPCODE_REFUSE = 0x8000,
// Format: 1000xxxx xxxxxxxx
// Purpose: pop r[15:12], r[11:4]
// Constraint: x != 0
UNWIND_OPCODE_POP_REG_MASK_R4 = 0x8000,
// Format: 1001xxxx
// Purpose: vsp = r[x]
// Constraint: x != 13 && x != 15
UNWIND_OPCODE_SET_VSP = 0x90,
// Format: 10100xxx
// Purpose: pop r[(4+x):4]
UNWIND_OPCODE_POP_REG_RANGE_R4 = 0xa0,
// Format: 10101xxx
// Purpose: pop r14, r[(4+x):4]
UNWIND_OPCODE_POP_REG_RANGE_R4_R14 = 0xa8,
// Format: 10110000
// Purpose: finish
UNWIND_OPCODE_FINISH = 0xb0,
// Format: 10110001 0000xxxx
// Purpose: pop r[3:0]
// Constraint: x != 0
UNWIND_OPCODE_POP_REG_MASK = 0xb100,
// Format: 10110010 x(uleb128)
// Purpose: vsp = vsp + ((x << 2) + 0x204)
UNWIND_OPCODE_INC_VSP_ULEB128 = 0xb2,
// Format: 10110011 xxxxyyyy
// Purpose: pop d[(x+y):x]
UNWIND_OPCODE_POP_VFP_REG_RANGE_FSTMFDX = 0xb300,
// Format: 10111xxx
// Purpose: pop d[(8+x):8]
UNWIND_OPCODE_POP_VFP_REG_RANGE_FSTMFDX_D8 = 0xb8,
// Format: 11000xxx
// Purpose: pop wR[(10+x):10]
UNWIND_OPCODE_POP_WIRELESS_MMX_REG_RANGE_WR10 = 0xc0,
// Format: 11000110 xxxxyyyy
// Purpose: pop wR[(x+y):x]
UNWIND_OPCODE_POP_WIRELESS_MMX_REG_RANGE = 0xc600,
// Format: 11000111 0000xxxx
// Purpose: pop wCGR[3:0]
// Constraint: x != 0
UNWIND_OPCODE_POP_WIRELESS_MMX_REG_MASK = 0xc700,
// Format: 11001000 xxxxyyyy
// Purpose: pop d[(16+x+y):(16+x)]
UNWIND_OPCODE_POP_VFP_REG_RANGE_FSTMFDD_D16 = 0xc800,
// Format: 11001001 xxxxyyyy
// Purpose: pop d[(x+y):x]
UNWIND_OPCODE_POP_VFP_REG_RANGE_FSTMFDD = 0xc900,
// Format: 11010xxx
// Purpose: pop d[(8+x):8]
UNWIND_OPCODE_POP_VFP_REG_RANGE_FSTMFDD_D8 = 0xd0
};
}
#endif // ARM_UNWIND_OP_H

View File

@ -0,0 +1,14 @@
; RUN: llc -mtriple arm-unknown-linux-gnueabi \
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
; RUN: -filetype=obj -o - %s \
; RUN: | llvm-objdump -s - \
; RUN: | FileCheck %s
define void @test() nounwind {
entry:
ret void
}
; CHECK: section .text
; CHECK: section .ARM.exidx
; CHECK-NEXT: 0000 00000000 01000000

View File

@ -0,0 +1,79 @@
; Test section group of the function with linkonce_odr
; The instantiation of C++ function template will come with linkonce_odr,
; which indicates that the linker can remove the duplicated instantiation.
; However, to make this feature work, we have to group the section properly.
; .text, .ARM.extab, and .ARM.exidx should be grouped together.
; RUN: llc -mtriple arm-unknown-linux-gnueabi \
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
; RUN: -filetype=obj -o - %s \
; RUN: | elf-dump --dump-section-data \
; RUN: | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:64:128-a0:0:64-n32-S64"
target triple = "armv4t--linux-gnueabi"
define void @_Z11instantiatev() {
entry:
tail call void @_Z4testIidEvT_S0_S0_S0_S0_T0_S1_S1_S1_S1_(i32 1, i32 2, i32 3, i32 4, i32 5, double 1.000000e-01, double 2.000000e-01, double 3.000000e-01, double 4.000000e-01, double 5.000000e-01)
ret void
}
define linkonce_odr void @_Z4testIidEvT_S0_S0_S0_S0_T0_S1_S1_S1_S1_(i32 %u1, i32 %u2, i32 %u3, i32 %u4, i32 %u5, double %v1, double %v2, double %v3, double %v4, double %v5) {
entry:
invoke void @_Z5printiiiii(i32 %u1, i32 %u2, i32 %u3, i32 %u4, i32 %u5)
to label %try.cont unwind label %lpad
lpad: ; preds = %entry
%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) nounwind
invoke void @_Z5printddddd(double %v1, double %v2, double %v3, double %v4, double %v5)
to label %invoke.cont2 unwind label %lpad1
invoke.cont2: ; preds = %lpad
tail call void @__cxa_end_catch()
br label %try.cont
try.cont: ; preds = %entry, %invoke.cont2
ret void
lpad1: ; preds = %lpad
%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: ; preds = %lpad1
resume { i8*, i32 } %3
terminate.lpad: ; preds = %lpad1
%4 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
catch i8* null
tail call void @_ZSt9terminatev() noreturn nounwind
unreachable
}
declare void @_Z5printiiiii(i32, i32, i32, i32, i32)
declare i32 @__gxx_personality_v0(...)
declare i8* @__cxa_begin_catch(i8*)
declare void @_Z5printddddd(double, double, double, double, double)
declare void @__cxa_end_catch()
declare void @_ZSt9terminatev()
; CHECK: # Section 1
; CHECK-NEXT: (('sh_name', 0x0000002f) # '.group'
; CHECK: ('_section_data', '01000000 0a000000 0c000000 0e000000')
; CHECK: # Section 10
; CHECK-NEXT: (('sh_name', 0x000000e1) # '.text._Z4testIidEvT_S0_S0_S0_S0_T0_S1_S1_S1_S1_'
; CHECK: # Section 12
; CHECK-NEXT: (('sh_name', 0x000000d7) # '.ARM.extab.text._Z4testIidEvT_S0_S0_S0_S0_T0_S1_S1_S1_S1_'
; CHECK: # Section 14
; CHECK-NEXT: (('sh_name', 0x00000065) # '.ARM.exidx.text._Z4testIidEvT_S0_S0_S0_S0_T0_S1_S1_S1_S1_'

View File

@ -0,0 +1,59 @@
; RUN: llc -mtriple arm-unknown-linux-gnueabi \
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
; RUN: -filetype=obj -o - %s \
; RUN: | llvm-objdump -s - \
; RUN: | FileCheck %s
define void @_Z4testiiiiiddddd(i32 %u1, i32 %u2, i32 %u3, i32 %u4, i32 %u5, double %v1, double %v2, double %v3, double %v4, double %v5) section ".test_section" {
entry:
invoke void @_Z5printiiiii(i32 %u1, i32 %u2, i32 %u3, i32 %u4, i32 %u5)
to label %try.cont unwind label %lpad
lpad: ; preds = %entry
%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) nounwind
invoke void @_Z5printddddd(double %v1, double %v2, double %v3, double %v4, double %v5)
to label %invoke.cont2 unwind label %lpad1
invoke.cont2: ; preds = %lpad
tail call void @__cxa_end_catch()
br label %try.cont
try.cont: ; preds = %entry, %invoke.cont2
ret void
lpad1: ; preds = %lpad
%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: ; preds = %lpad1
resume { i8*, i32 } %3
terminate.lpad: ; preds = %lpad1
%4 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
catch i8* null
tail call void @_ZSt9terminatev() noreturn nounwind
unreachable
}
declare void @_Z5printiiiii(i32, i32, i32, i32, i32)
declare i32 @__gxx_personality_v0(...)
declare i8* @__cxa_begin_catch(i8*)
declare void @_Z5printddddd(double, double, double, double, double)
declare void @__cxa_end_catch()
declare void @_ZSt9terminatev()
; CHECK: section .test_section
; CHECK: section .ARM.extab.test_section
; CHECK-NEXT: 0000 00000000 b0b0b000
; CHECK: section .ARM.exidx.test_section
; CHECK-NEXT: 0000 00000000 00000000

View File

@ -0,0 +1,59 @@
; RUN: llc -mtriple arm-unknown-linux-gnueabi \
; RUN: -arm-enable-ehabi -arm-enable-ehabi-descriptors \
; RUN: -filetype=obj -o - %s \
; RUN: | llvm-objdump -s - \
; RUN: | FileCheck %s
define void @_Z4testiiiiiddddd(i32 %u1, i32 %u2, i32 %u3, i32 %u4, i32 %u5, double %v1, double %v2, double %v3, double %v4, double %v5) {
entry:
invoke void @_Z5printiiiii(i32 %u1, i32 %u2, i32 %u3, i32 %u4, i32 %u5)
to label %try.cont unwind label %lpad
lpad: ; preds = %entry
%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) nounwind
invoke void @_Z5printddddd(double %v1, double %v2, double %v3, double %v4, double %v5)
to label %invoke.cont2 unwind label %lpad1
invoke.cont2: ; preds = %lpad
tail call void @__cxa_end_catch()
br label %try.cont
try.cont: ; preds = %entry, %invoke.cont2
ret void
lpad1: ; preds = %lpad
%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: ; preds = %lpad1
resume { i8*, i32 } %3
terminate.lpad: ; preds = %lpad1
%4 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
catch i8* null
tail call void @_ZSt9terminatev() noreturn nounwind
unreachable
}
declare void @_Z5printiiiii(i32, i32, i32, i32, i32)
declare i32 @__gxx_personality_v0(...)
declare i8* @__cxa_begin_catch(i8*)
declare void @_Z5printddddd(double, double, double, double, double)
declare void @__cxa_end_catch()
declare void @_ZSt9terminatev()
; CHECK: section .text
; CHECK: section .ARM.extab
; CHECK-NEXT: 0000 00000000 b0b0b000
; CHECK: section .ARM.exidx
; CHECK-NEXT: 0000 00000000 00000000