1 ; RUN: llc -O3 -mtriple=x86_64-apple-macosx -enable-implicit-null-checks < %s | FileCheck %s
3 ; RUN: llc < %s -mtriple=x86_64-apple-macosx -enable-implicit-null-checks \
4 ; RUN: | llvm-mc -triple x86_64-apple-macosx -filetype=obj -o - \
5 ; RUN: | llvm-objdump -triple x86_64-apple-macosx -fault-map-section - \
6 ; RUN: | FileCheck %s -check-prefix OBJDUMP
8 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -enable-implicit-null-checks \
9 ; RUN: | llvm-mc -triple x86_64-unknown-linux-gnu -filetype=obj -o - \
10 ; RUN: | llvm-objdump -triple x86_64-unknown-linux-gnu -fault-map-section - \
11 ; RUN: | FileCheck %s -check-prefix OBJDUMP
13 define i32 @imp_null_check_load(i32* %x) {
14 ; CHECK-LABEL: _imp_null_check_load:
16 ; CHECK: movl (%rdi), %eax
19 ; CHECK: movl $42, %eax
23 %c = icmp eq i32* %x, null
24 br i1 %c, label %is_null, label %not_null, !make.implicit !0
30 %t = load i32, i32* %x
34 define i32 @imp_null_check_gep_load(i32* %x) {
35 ; CHECK-LABEL: _imp_null_check_gep_load:
37 ; CHECK: movl 128(%rdi), %eax
40 ; CHECK: movl $42, %eax
44 %c = icmp eq i32* %x, null
45 br i1 %c, label %is_null, label %not_null, !make.implicit !0
51 %x.gep = getelementptr i32, i32* %x, i32 32
52 %t = load i32, i32* %x.gep
56 define i32 @imp_null_check_add_result(i32* %x, i32 %p) {
57 ; CHECK-LABEL: _imp_null_check_add_result:
59 ; CHECK: addl (%rdi), %esi
60 ; CHECK: movl %esi, %eax
63 ; CHECK: movl $42, %eax
67 %c = icmp eq i32* %x, null
68 br i1 %c, label %is_null, label %not_null, !make.implicit !0
74 %t = load i32, i32* %x
79 define i32 @imp_null_check_hoist_over_unrelated_load(i32* %x, i32* %y, i32* %z) {
80 ; CHECK-LABEL: _imp_null_check_hoist_over_unrelated_load:
82 ; CHECK: movl (%rdi), %eax
83 ; CHECK: movl (%rsi), %ecx
84 ; CHECK: movl %ecx, (%rdx)
87 ; CHECK: movl $42, %eax
91 %c = icmp eq i32* %x, null
92 br i1 %c, label %is_null, label %not_null, !make.implicit !0
98 %t0 = load i32, i32* %y
99 %t1 = load i32, i32* %x
100 store i32 %t0, i32* %z
104 define i32 @imp_null_check_via_mem_comparision(i32* %x, i32 %val) {
105 ; CHECK-LABEL: _imp_null_check_via_mem_comparision
107 ; CHECK: cmpl %esi, 4(%rdi)
109 ; CHECK: movl $100, %eax
112 ; CHECK: movl $42, %eax
115 ; CHECK: movl $200, %eax
119 %c = icmp eq i32* %x, null
120 br i1 %c, label %is_null, label %not_null, !make.implicit !0
126 %x.loc = getelementptr i32, i32* %x, i32 1
127 %t = load i32, i32* %x.loc
128 %m = icmp slt i32 %t, %val
129 br i1 %m, label %ret_100, label %ret_200
140 ; CHECK-LABEL: __LLVM_FaultMaps:
143 ; CHECK-NEXT: .byte 1
146 ; CHECK-NEXT: .byte 0
147 ; CHECK-NEXT: .short 0
150 ; CHECK-NEXT: .long 5
153 ; CHECK-NEXT: .quad _imp_null_check_add_result
155 ; CHECK-NEXT: .long 1
157 ; CHECK-NEXT: .long 0
159 ; CHECK-NEXT: .long 1
160 ; Fault[0].FaultOffset:
161 ; CHECK-NEXT: .long Ltmp5-_imp_null_check_add_result
162 ; Fault[0].HandlerOffset:
163 ; CHECK-NEXT: .long Ltmp4-_imp_null_check_add_result
166 ; CHECK-NEXT: .quad _imp_null_check_gep_load
168 ; CHECK-NEXT: .long 1
170 ; CHECK-NEXT: .long 0
172 ; CHECK-NEXT: .long 1
173 ; Fault[0].FaultOffset:
174 ; CHECK-NEXT: .long Ltmp3-_imp_null_check_gep_load
175 ; Fault[0].HandlerOffset:
176 ; CHECK-NEXT: .long Ltmp2-_imp_null_check_gep_load
179 ; CHECK-NEXT: .quad _imp_null_check_hoist_over_unrelated_load
181 ; CHECK-NEXT: .long 1
183 ; CHECK-NEXT: .long 0
185 ; CHECK-NEXT: .long 1
186 ; Fault[0].FaultOffset:
187 ; CHECK-NEXT: .long Ltmp7-_imp_null_check_hoist_over_unrelated_load
188 ; Fault[0].HandlerOffset:
189 ; CHECK-NEXT: .long Ltmp6-_imp_null_check_hoist_over_unrelated_load
192 ; CHECK-NEXT: .quad _imp_null_check_load
194 ; CHECK-NEXT: .long 1
196 ; CHECK-NEXT: .long 0
198 ; CHECK-NEXT: .long 1
199 ; Fault[0].FaultOffset:
200 ; CHECK-NEXT: .long Ltmp1-_imp_null_check_load
201 ; Fault[0].HandlerOffset:
202 ; CHECK-NEXT: .long Ltmp0-_imp_null_check_load
205 ; CHECK-NEXT: .quad _imp_null_check_via_mem_comparision
207 ; CHECK-NEXT: .long 1
209 ; CHECK-NEXT: .long 0
211 ; CHECK-NEXT: .long 1
212 ; Fault[0].FaultOffset:
213 ; CHECK-NEXT: .long Ltmp9-_imp_null_check_via_mem_comparision
214 ; Fault[0].HandlerOffset:
215 ; CHECK-NEXT: .long Ltmp8-_imp_null_check_via_mem_comparision
217 ; OBJDUMP: FaultMap table:
218 ; OBJDUMP-NEXT: Version: 0x1
219 ; OBJDUMP-NEXT: NumFunctions: 5
220 ; OBJDUMP-NEXT: FunctionAddress: 0x000000, NumFaultingPCs: 1
221 ; OBJDUMP-NEXT: Fault kind: FaultingLoad, faulting PC offset: 0, handling PC offset: 5
222 ; OBJDUMP-NEXT: FunctionAddress: 0x000000, NumFaultingPCs: 1
223 ; OBJDUMP-NEXT: Fault kind: FaultingLoad, faulting PC offset: 0, handling PC offset: 7
224 ; OBJDUMP-NEXT: FunctionAddress: 0x000000, NumFaultingPCs: 1
225 ; OBJDUMP-NEXT: Fault kind: FaultingLoad, faulting PC offset: 0, handling PC offset: 7
226 ; OBJDUMP-NEXT: FunctionAddress: 0x000000, NumFaultingPCs: 1
227 ; OBJDUMP-NEXT: Fault kind: FaultingLoad, faulting PC offset: 0, handling PC offset: 3