-; RUN: opt -dse -inline -S %s | FileCheck %s
+; RUN: opt -basicaa -dse -inline -S %s | FileCheck %s
declare void @external(i32* byval)
declare i32 @identity(i32* byval)
; CHECK-LABEL: inliner_without_alloca
; CHECK-NEXT: %local.i = alloca i32
-; CHECK: store i32 42, i32* %local.i
; CHECK: tail call void @external
; CHECK: ret
; CHECK-LABEL: inliner_with_alloca
; CHECK: %local = alloca i32
-; CHECK: store i32 42, i32* %local
; CHECK: %1 = tail call i32 @identity
; CHECK: ret i32 %1
; CHECK-LABEL: strip_tail
; CHECK: %value1 = alloca i32
-; CHECK: {{^ *}}call void @external
+; CHECK-NOT: tail call void @external
; CHECK: ret void