xref: /aosp_15_r20/external/llvm/test/Transforms/InstCombine/badmalloc.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -instcombine -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-apple-darwin10.0"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdeclare noalias i8* @malloc(i64) nounwind
7*9880d681SAndroid Build Coastguard Workerdeclare void @free(i8*)
8*9880d681SAndroid Build Coastguard Worker
9*9880d681SAndroid Build Coastguard Worker; PR5130
10*9880d681SAndroid Build Coastguard Workerdefine i1 @test1() {
11*9880d681SAndroid Build Coastguard Worker  %A = call noalias i8* @malloc(i64 4) nounwind
12*9880d681SAndroid Build Coastguard Worker  %B = icmp eq i8* %A, null
13*9880d681SAndroid Build Coastguard Worker  store i8 0, i8* %A
14*9880d681SAndroid Build Coastguard Worker
15*9880d681SAndroid Build Coastguard Worker  call void @free(i8* %A)
16*9880d681SAndroid Build Coastguard Worker  ret i1 %B
17*9880d681SAndroid Build Coastguard Worker
18*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test1(
19*9880d681SAndroid Build Coastguard Worker; CHECK: ret i1 false
20*9880d681SAndroid Build Coastguard Worker}
21*9880d681SAndroid Build Coastguard Worker
22*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: @test2(
23*9880d681SAndroid Build Coastguard Workerdefine noalias i8* @test2() nounwind {
24*9880d681SAndroid Build Coastguard Workerentry:
25*9880d681SAndroid Build Coastguard Worker; CHECK: @malloc
26*9880d681SAndroid Build Coastguard Worker  %A = call noalias i8* @malloc(i64 4) nounwind
27*9880d681SAndroid Build Coastguard Worker; CHECK: icmp eq
28*9880d681SAndroid Build Coastguard Worker  %tobool = icmp eq i8* %A, null
29*9880d681SAndroid Build Coastguard Worker; CHECK: br i1
30*9880d681SAndroid Build Coastguard Worker  br i1 %tobool, label %return, label %if.end
31*9880d681SAndroid Build Coastguard Worker
32*9880d681SAndroid Build Coastguard Workerif.end:
33*9880d681SAndroid Build Coastguard Worker; CHECK: store
34*9880d681SAndroid Build Coastguard Worker  store i8 7, i8* %A
35*9880d681SAndroid Build Coastguard Worker  br label %return
36*9880d681SAndroid Build Coastguard Worker
37*9880d681SAndroid Build Coastguard Workerreturn:
38*9880d681SAndroid Build Coastguard Worker; CHECK: phi
39*9880d681SAndroid Build Coastguard Worker  %retval.0 = phi i8* [ %A, %if.end ], [ null, %entry ]
40*9880d681SAndroid Build Coastguard Worker  ret i8* %retval.0
41*9880d681SAndroid Build Coastguard Worker}
42