Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[LowerConstantIntrinsics] Support phi operand in __builtin_object_siz…
…e folder The implementation is just a generalization of the Select handler. We're no trying to be smart and compute any kind of fixed point. Differential Revision: https://reviews.llvm.org/D121897
- Loading branch information
serge-sans-paille
committed
Mar 21, 2022
1 parent
0ebac76
commit d8e0a6d
Showing
3 changed files
with
91 additions
and
28 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
63 changes: 63 additions & 0 deletions
63
llvm/test/Transforms/LowerConstantIntrinsics/builtin-object-size-phi.ll
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,63 @@ | ||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py | ||
; RUN: opt -lower-constant-intrinsics -S < %s | FileCheck %s | ||
|
||
|
||
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" | ||
target triple = "x86_64-unknown-linux-gnu" | ||
|
||
declare dso_local noalias noundef i8* @malloc(i64 noundef) local_unnamed_addr | ||
declare i64 @llvm.objectsize.i64.p0i8(i8*, i1 immarg, i1 immarg, i1 immarg) | ||
|
||
@buffer = dso_local global [4 x i8] zeroinitializer, align 1 | ||
|
||
define dso_local i64 @pick_max(i32 noundef %n) local_unnamed_addr { | ||
; CHECK-LABEL: @pick_max( | ||
; CHECK-NEXT: entry: | ||
; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[N:%.*]], 0 | ||
; CHECK-NEXT: br i1 [[COND]], label [[IF_ELSE:%.*]], label [[IF_END:%.*]] | ||
; CHECK: if.else: | ||
; CHECK-NEXT: [[MALLOCED:%.*]] = call noalias dereferenceable_or_null(8) i8* @malloc(i64 noundef 8) | ||
; CHECK-NEXT: br label [[IF_END]] | ||
; CHECK: if.end: | ||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[MALLOCED]], [[IF_ELSE]] ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @buffer, i64 0, i64 0), [[ENTRY:%.*]] ] | ||
; CHECK-NEXT: ret i64 8 | ||
; | ||
entry: | ||
%cond = icmp eq i32 %n, 0 | ||
br i1 %cond, label %if.else, label %if.end | ||
|
||
if.else: | ||
%malloced = call noalias dereferenceable_or_null(8) i8* @malloc(i64 noundef 8) | ||
br label %if.end | ||
|
||
if.end: | ||
%p = phi i8* [ %malloced, %if.else ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @buffer, i64 0, i64 0), %entry ] | ||
%size = call i64 @llvm.objectsize.i64.p0i8(i8* %p, i1 false, i1 true, i1 false) | ||
ret i64 %size | ||
} | ||
|
||
define dso_local i64 @pick_min(i32 noundef %n) local_unnamed_addr { | ||
; CHECK-LABEL: @pick_min( | ||
; CHECK-NEXT: entry: | ||
; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[N:%.*]], 0 | ||
; CHECK-NEXT: br i1 [[COND]], label [[IF_ELSE:%.*]], label [[IF_END:%.*]] | ||
; CHECK: if.else: | ||
; CHECK-NEXT: [[MALLOCED:%.*]] = call noalias dereferenceable_or_null(8) i8* @malloc(i64 noundef 8) | ||
; CHECK-NEXT: br label [[IF_END]] | ||
; CHECK: if.end: | ||
; CHECK-NEXT: [[P:%.*]] = phi i8* [ [[MALLOCED]], [[IF_ELSE]] ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @buffer, i64 0, i64 0), [[ENTRY:%.*]] ] | ||
; CHECK-NEXT: ret i64 4 | ||
; | ||
entry: | ||
%cond = icmp eq i32 %n, 0 | ||
br i1 %cond, label %if.else, label %if.end | ||
|
||
if.else: | ||
%malloced = call noalias dereferenceable_or_null(8) i8* @malloc(i64 noundef 8) | ||
br label %if.end | ||
|
||
if.end: | ||
%p = phi i8* [ %malloced, %if.else ], [ getelementptr inbounds ([4 x i8], [4 x i8]* @buffer, i64 0, i64 0), %entry ] | ||
%size = call i64 @llvm.objectsize.i64.p0i8(i8* %p, i1 true, i1 true, i1 false) | ||
ret i64 %size | ||
} |