Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The repeat intrinsic creates ncopies of a string. The lowering is to a runtime call to a function in the flang library. The runtime allocates the buffer to store the result string. This buffer is freed by code added in the lowering. This is part of the upstreaming effort from the fir-dev branch in [1]. [1] https://github.com/flang-compiler/f18-llvm-project Reviewed By: clementval Differential Revision: https://reviews.llvm.org/D121880 Co-authored-by: Valentin Clement <clementval@gmail.com> Co-authored-by: Jean Perier <jperier@nvidia.com>
- Loading branch information
1 parent
2b55850
commit 291913d
Showing
2 changed files
with
48 additions
and
0 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
! RUN: bbc -emit-fir %s -o - | FileCheck %s | ||
! RUN: %flang_fc1 -emit-fir %s -o - | FileCheck %s | ||
|
||
! CHECK-LABEL: func @_QPrepeat_test( | ||
! CHECK-SAME: %[[arg0:.*]]: !fir.boxchar<1>{{.*}}, %[[arg1:.*]]: !fir.ref<i32>{{.*}}) { | ||
subroutine repeat_test(c, n) | ||
character(*) :: c | ||
integer :: n | ||
! CHECK: %[[tmpBox:.*]] = fir.alloca !fir.box<!fir.heap<!fir.char<1,?>>> | ||
! CHECK-DAG: %[[c:.*]]:2 = fir.unboxchar %[[arg0]] : (!fir.boxchar<1>) -> (!fir.ref<!fir.char<1,?>>, index) | ||
! CHECK-DAG: %[[ni32:.*]] = fir.load %[[arg1]] : !fir.ref<i32> | ||
! CHECK-DAG: %[[n:.*]] = fir.convert %[[ni32]] : (i32) -> i64 | ||
! CHECK-DAG: %[[cBox:.*]] = fir.embox %[[c]]#0 typeparams %[[c]]#1 : (!fir.ref<!fir.char<1,?>>, index) -> !fir.box<!fir.char<1,?>> | ||
! CHECK-DAG: %[[cBoxNone:.*]] = fir.convert %[[cBox]] : (!fir.box<!fir.char<1,?>>) -> !fir.box<none> | ||
! CHECK-DAG: %[[resBox:.*]] = fir.convert %[[tmpBox]] : (!fir.ref<!fir.box<!fir.heap<!fir.char<1,?>>>>) -> !fir.ref<!fir.box<none>> | ||
! CHECK: fir.call @{{.*}}Repeat(%[[resBox]], %[[cBoxNone]], %[[n]], {{.*}}, {{.*}}) : (!fir.ref<!fir.box<none>>, !fir.box<none>, i64, !fir.ref<i8>, i32) -> none | ||
! CHECK-DAG: %[[tmpAddr:.*]] = fir.box_addr | ||
! CHECK-DAG: fir.box_elesize | ||
! CHECK: fir.call @{{.*}}bar_repeat_test | ||
call bar_repeat_test(repeat(c,n)) | ||
! CHECK: fir.freemem %[[tmpAddr]] : <!fir.char<1,?>> | ||
return | ||
end subroutine | ||
|