aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/CodeGen/ARM/trap.ll
blob: 88b69a4ed7b894fc5b7c8b0054078c17a47c54f6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
;; Check encodings of trap instructions and that their properties are set
;; correctly so that they are not placed after the stack frame is destroyed.

; RUN: llc < %s -mtriple=arm-apple-darwin | FileCheck %s -check-prefix=DARWIN
; RUN: llc < %s -mtriple=arm-apple-darwin -trap-func=_trap | FileCheck %s -check-prefix=FUNC
; RUN: llc < %s -mtriple=arm-apple-darwin -trap-func=_trap -O0 | FileCheck %s -check-prefix=FUNC
; RUN: llc < %s -mtriple=armv7 | FileCheck %s -check-prefix=ARM
; RUN: llc < %s -mtriple=thumbv7 | FileCheck %s -check-prefix=THUMB

; RUN: llc -mtriple=armv7 -filetype=obj %s -o - \
; RUN:  | llvm-objdump -d --triple=armv7 - \
; RUN:  | FileCheck %s -check-prefix=ENCODING-ARM
; RUN: llc -verify-machineinstrs -fast-isel -mtriple=armv7 -filetype=obj %s -o - \
; RUN:  | llvm-objdump -d --triple=armv7 - \
; RUN:  | FileCheck %s -check-prefix=ENCODING-ARM

; RUN: llc -mtriple=thumbv7 -filetype=obj %s -o - \
; RUN:  | llvm-objdump -d --triple=thumbv7 - \
; RUN:  | FileCheck %s -check-prefix=ENCODING-THUMB
; RUN: llc -verify-machineinstrs -fast-isel -mtriple=thumbv7 -filetype=obj %s -o - \
; RUN:  | llvm-objdump -d --triple=thumbv7 - \
; RUN:  | FileCheck %s -check-prefix=ENCODING-THUMB

; rdar://7961298
; rdar://9249183

define void @t() noinline optnone {
entry:
  ;; So that we have a stack frame.
  %1 = alloca i32, align 4
  store volatile i32 0, ptr %1, align 4

; DARWIN-LABEL: t:
; DARWIN:      trap
; DARWIN-NEXT: add sp, sp, #4

; FUNC-LABEL: t:
; FUNC:      bl __trap
; FUNC-NEXT: add sp, sp, #4

; ARM-LABEL: t:
; ARM:      .inst 0xe7ffdefe
; ARM-NEXT: add sp, sp, #4

; THUMB-LABEL: t:
; THUMB:      .inst.n 0xdefe
; THUMB-NEXT: add sp, #4

; ENCODING-ARM: e7ffdefe    trap

; ENCODING-THUMB: defe  trap

  call void @llvm.trap()
  ret void
}

define void @t2() {
entry:
  ;; So that we have a stack frame.
  %1 = alloca i32, align 4
  store volatile i32 0, ptr %1, align 4

; DARWIN-LABEL: t2:
; DARWIN:      udf #254
; DARWIN-NEXT: add sp, sp, #4

; FUNC-LABEL: t2:
; FUNC:      bl __trap
; FUNC-NEXT: add sp, sp, #4

; ARM-LABEL: t2:
; ARM:      bkpt #0
; ARM-NEXT: add sp, sp, #4

; THUMB-LABEL: t2:
; THUMB:      bkpt #0
; THUMB-NEXT: add sp, #4

; ENCODING-ARM: e1200070    bkpt #0

; ENCODING-THUMB: be00  bkpt #0

  call void @llvm.debugtrap()
  ret void
}

declare void @llvm.trap() nounwind
declare void @llvm.debugtrap() nounwind