25 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; Eliminate the dead allocation instruction3; REQUIRES: arm-registered-target4; RUN: opt -passes='require<profile-summary>,function(codegenprepare)' < %s -S | FileCheck %s5 6target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"7target triple = "armv7--linux-gnueabihf"8 9@.str = private unnamed_addr constant [2 x i8] c"a\00", align 110 11define void @func() {12; CHECK-LABEL: @func(13; CHECK-NEXT: entry:14; CHECK-NEXT: ret void15;16entry:17 %0 = tail call noalias noundef nonnull dereferenceable(32) ptr @_Znwm(i64 noundef 32)18 %1 = icmp ugt ptr %0, @.str19 tail call void @llvm.assume(i1 %1)20 ret void21}22 23declare noundef nonnull ptr @_Znwm(i64 noundef) local_unnamed_addr24declare void @llvm.assume(i1 noundef)25