Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 9c41a93e24880289837cb387dc78dc643edc9ec6 / . / llvm / test / CodeGen / X86 / implicit-null-check.ll
blob: 1d1b36bbd5d060402c715593c8a5419842769090 [file] [log] [blame]
Sanjoy Das69fad072015-06-15 18:44:27 +0000[diff] [blame]1; RUN: llc -O3 -mtriple=x86_64-apple-macosx -enable-implicit-null-checks < %s | FileCheck %s
2
Sanjoy Das6f567a42015-06-22 18:03:02 +0000[diff] [blame]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
7
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
12
Sanjoy Das69fad072015-06-15 18:44:27 +0000[diff] [blame]13define i32 @imp_null_check_load(i32* %x) {
14; CHECK-LABEL: _imp_null_check_load:
15; CHECK: Ltmp1:
16; CHECK: movl (%rdi), %eax
17; CHECK: retq
18; CHECK: Ltmp0:
19; CHECK: movl $42, %eax
20; CHECK: retq
21
22 entry:
23 %c = icmp eq i32* %x, null
Sanjoy Das9c41a932015-06-30 21:22:32 +0000[diff] [blame^]24 br i1 %c, label %is_null, label %not_null, !make.implicit !0
Sanjoy Das69fad072015-06-15 18:44:27 +0000[diff] [blame]25
26 is_null:
27 ret i32 42
28
29 not_null:
30 %t = load i32, i32* %x
31 ret i32 %t
32}
33
34define i32 @imp_null_check_gep_load(i32* %x) {
35; CHECK-LABEL: _imp_null_check_gep_load:
36; CHECK: Ltmp3:
37; CHECK: movl 128(%rdi), %eax
38; CHECK: retq
39; CHECK: Ltmp2:
40; CHECK: movl $42, %eax
41; CHECK: retq
42
43 entry:
44 %c = icmp eq i32* %x, null
Sanjoy Das9c41a932015-06-30 21:22:32 +0000[diff] [blame^]45 br i1 %c, label %is_null, label %not_null, !make.implicit !0
Sanjoy Das69fad072015-06-15 18:44:27 +0000[diff] [blame]46
47 is_null:
48 ret i32 42
49
50 not_null:
51 %x.gep = getelementptr i32, i32* %x, i32 32
52 %t = load i32, i32* %x.gep
53 ret i32 %t
54}
55
56define i32 @imp_null_check_add_result(i32* %x, i32 %p) {
57; CHECK-LABEL: _imp_null_check_add_result:
58; CHECK: Ltmp5:
59; CHECK: addl (%rdi), %esi
60; CHECK: movl %esi, %eax
61; CHECK: retq
62; CHECK: Ltmp4:
63; CHECK: movl $42, %eax
64; CHECK: retq
65
66 entry:
67 %c = icmp eq i32* %x, null
Sanjoy Das9c41a932015-06-30 21:22:32 +0000[diff] [blame^]68 br i1 %c, label %is_null, label %not_null, !make.implicit !0
Sanjoy Das69fad072015-06-15 18:44:27 +0000[diff] [blame]69
70 is_null:
71 ret i32 42
72
73 not_null:
74 %t = load i32, i32* %x
75 %p1 = add i32 %t, %p
76 ret i32 %p1
77}
78
Sanjoy Das9c41a932015-06-30 21:22:32 +0000[diff] [blame^]79!0 = !{}
80
Sanjoy Das69fad072015-06-15 18:44:27 +0000[diff] [blame]81; CHECK-LABEL: __LLVM_FaultMaps:
82
83; Version:
84; CHECK-NEXT: .byte 1
85
86; Reserved x2
87; CHECK-NEXT: .byte 0
88; CHECK-NEXT: .short 0
89
90; # functions:
91; CHECK-NEXT: .long 3
92
93; FunctionAddr:
94; CHECK-NEXT: .quad _imp_null_check_add_result
95; NumFaultingPCs
96; CHECK-NEXT: .long 1
97; Reserved:
98; CHECK-NEXT: .long 0
99; Fault[0].Type:
100; CHECK-NEXT: .long 1
101; Fault[0].FaultOffset:
102; CHECK-NEXT: .long Ltmp5-_imp_null_check_add_result
103; Fault[0].HandlerOffset:
104; CHECK-NEXT: .long Ltmp4-_imp_null_check_add_result
105
106; FunctionAddr:
107; CHECK-NEXT: .quad _imp_null_check_gep_load
108; NumFaultingPCs
109; CHECK-NEXT: .long 1
110; Reserved:
111; CHECK-NEXT: .long 0
112; Fault[0].Type:
113; CHECK-NEXT: .long 1
114; Fault[0].FaultOffset:
115; CHECK-NEXT: .long Ltmp3-_imp_null_check_gep_load
116; Fault[0].HandlerOffset:
117; CHECK-NEXT: .long Ltmp2-_imp_null_check_gep_load
118
119; FunctionAddr:
120; CHECK-NEXT: .quad _imp_null_check_load
121; NumFaultingPCs
122; CHECK-NEXT: .long 1
123; Reserved:
124; CHECK-NEXT: .long 0
125; Fault[0].Type:
126; CHECK-NEXT: .long 1
127; Fault[0].FaultOffset:
128; CHECK-NEXT: .long Ltmp1-_imp_null_check_load
129; Fault[0].HandlerOffset:
130; CHECK-NEXT: .long Ltmp0-_imp_null_check_load
Sanjoy Das6f567a42015-06-22 18:03:02 +0000[diff] [blame]131
132; OBJDUMP: FaultMap table:
133; OBJDUMP-NEXT: Version: 0x1
134; OBJDUMP-NEXT: NumFunctions: 3
135; OBJDUMP-NEXT: FunctionAddress: 0x000000, NumFaultingPCs: 1
136; OBJDUMP-NEXT: Fault kind: FaultingLoad, faulting PC offset: 0, handling PC offset: 5
137; OBJDUMP-NEXT: FunctionAddress: 0x000000, NumFaultingPCs: 1
138; OBJDUMP-NEXT: Fault kind: FaultingLoad, faulting PC offset: 0, handling PC offset: 7
139; OBJDUMP-NEXT: FunctionAddress: 0x000000, NumFaultingPCs: 1
140; OBJDUMP-NEXT: Fault kind: FaultingLoad, faulting PC offset: 0, handling PC offset: 3