RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-31 20:51:52 +01:00
Code Issues Projects Releases Wiki Activity

Precommit test for D106017

Browse Source
This commit is contained in:
Arthur Eubanks 2021-07-14 13:56:59 -07:00
parent 9d99a13a85
commit a8da5bdd63
1 changed files with 23 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
test/Transforms/InstCombine/malloc-free-delete.ll
View File

@ -149,7 +149,7 @@ define void @test6a(i8* %foo) minsize {
; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i8* [[FOO:%.*]], null
; CHECK-NEXT: br i1 [[TOBOOL]], label [[IF_END:%.*]], label [[IF_THEN:%.*]]
; CHECK: if.then:
; CHECK-NEXT: tail call void @_ZdlPv(i8* [[FOO]]) #[[ATTR8:[0-9]+]]
; CHECK-NEXT: tail call void @_ZdlPv(i8* [[FOO]]) #[[ATTR10:[0-9]+]]
; CHECK-NEXT: br label [[IF_END]]
; CHECK: if.end:
; CHECK-NEXT: ret void
@ -352,7 +352,7 @@ define void @test10() {
define void @test11() {
; CHECK-LABEL: @test11(
; CHECK-NEXT: [[CALL:%.*]] = call dereferenceable(8) i8* @_Znwm(i64 8) #[[ATTR8]]
; CHECK-NEXT: [[CALL:%.*]] = call dereferenceable(8) i8* @_Znwm(i64 8) #[[ATTR10]]
; CHECK-NEXT: call void @_ZdlPv(i8* nonnull [[CALL]])
; CHECK-NEXT: ret void
;
@ -418,7 +418,7 @@ define void @test14(i8* %foo) nofree {
; TODO: free call marked no-free -> %foo must be null
define void @test15(i8* %foo) {
; CHECK-LABEL: @test15(
; CHECK-NEXT: call void @free(i8* [[FOO:%.*]]) #[[ATTR6:[0-9]+]]
; CHECK-NEXT: call void @free(i8* [[FOO:%.*]]) #[[ATTR7:[0-9]+]]
; CHECK-NEXT: ret void
;
call void @free(i8* %foo) nofree
@ -434,3 +434,23 @@ define void @test16(i8* nonnull nofree %foo) {
call void @free(i8* %foo)
ret void
}
declare i8* @llvm.launder.invariant.group(i8*)
declare i8* @llvm.strip.invariant.group(i8*)
define void @test17() {
; CHECK-LABEL: @test17(
; CHECK-NEXT: [[NW1:%.*]] = call dereferenceable(32) i8* @_Znwm(i64 32) #[[ATTR10]]
; CHECK-NEXT: [[NW2:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* nonnull [[NW1]])
; CHECK-NEXT: [[TMP1:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* nonnull [[NW1]])
; CHECK-NEXT: store i8 1, i8* [[TMP1]], align 1
; CHECK-NEXT: call void @_ZdlPv(i8* [[NW2]]) #[[ATTR10]]
; CHECK-NEXT: ret void
;
%nw1 = call i8* @_Znwm(i64 32) builtin
%nw2 = call i8* @llvm.launder.invariant.group(i8* %nw1)
%nw3 = call i8* @llvm.strip.invariant.group(i8* %nw2)
store i8 1, i8* %nw3
call void @_ZdlPv(i8* %nw2) builtin
ret void
}