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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature
; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-p200:128:128:128:64-A200-P200-G200"
define i64 @remove_malloc() addrspace(200) {
; CHECK-LABEL: define {{[^@]+}}@remove_malloc() addrspace(200) {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i64 0
;
entry:
%call = call align 16 ptr addrspace(200) @malloc(i64 4)
call void @free(ptr addrspace(200) %call)
ret i64 0
}
define i64 @remove_calloc() addrspace(200) {
; CHECK-LABEL: define {{[^@]+}}@remove_calloc() addrspace(200) {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i64 0
;
entry:
%call = call ptr addrspace(200) @calloc(i64 1, i64 4)
call void @free(ptr addrspace(200) %call)
ret i64 0
}
define i64 @remove_aligned_alloc() addrspace(200) {
; CHECK-LABEL: define {{[^@]+}}@remove_aligned_alloc() addrspace(200) {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i64 0
;
entry:
%call = call align 4 ptr addrspace(200) @aligned_alloc(i64 4, i64 4)
call void @free(ptr addrspace(200) %call)
ret i64 0
}
define i64 @remove_strdup(ptr addrspace(200) %arg) addrspace(200) {
; CHECK-LABEL: define {{[^@]+}}@remove_strdup
; CHECK-SAME: (ptr addrspace(200) [[ARG:%.*]]) addrspace(200) {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i64 0
;
entry:
%call = call align 4 ptr addrspace(200) @strdup(ptr addrspace(200) %arg)
call void @free(ptr addrspace(200) %call)
ret i64 0
}
define i64 @remove_new(ptr addrspace(200) %arg) addrspace(200) {
; CHECK-LABEL: define {{[^@]+}}@remove_new
; CHECK-SAME: (ptr addrspace(200) [[ARG:%.*]]) addrspace(200) {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i64 0
;
entry:
%call = call align 4 ptr addrspace(200) @_Znwm(i64 4)
call void @_ZdlPv(ptr addrspace(200) %call)
ret i64 0
}
define i64 @remove_new_array(ptr addrspace(200) %arg) addrspace(200) {
; CHECK-LABEL: define {{[^@]+}}@remove_new_array
; CHECK-SAME: (ptr addrspace(200) [[ARG:%.*]]) addrspace(200) {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret i64 0
;
entry:
%call = call align 4 ptr addrspace(200) @_Znam(i64 4)
call void @_ZdaPv(ptr addrspace(200) %call)
ret i64 0
}
declare noalias ptr addrspace(200) @calloc(i64, i64) addrspace(200) nounwind allockind("alloc,zeroed") allocsize(0,1) "alloc-family"="malloc"
declare noalias ptr addrspace(200) @malloc(i64) addrspace(200) allockind("alloc,uninitialized") allocsize(0) "alloc-family"="malloc"
declare noalias ptr addrspace(200) @aligned_alloc(i64, i64) addrspace(200) allockind("alloc,uninitialized,aligned") allocsize(1) "alloc-family"="malloc"
declare noalias ptr addrspace(200) @strdup(ptr addrspace(200) %arg) addrspace(200)
declare void @free(ptr addrspace(200)) addrspace(200) allockind("free") "alloc-family"="malloc"
; new/delete
declare noalias ptr addrspace(200) @_Znwm(i64) addrspace(200)
declare void @_ZdlPv(ptr addrspace(200)) addrspace(200)
; new[]/delete[]
declare noalias ptr addrspace(200) @_Znam(i64) addrspace(200)
declare void @_ZdaPv(ptr addrspace(200)) addrspace(200)
|
