This is an archive of the discontinued LLVM Phabricator instance.

Differential D119995

[NFC][Flang] Add colon to CHECK-LABEL to exercise the check
ClosedPublic

Authored by kiranchandramohan on Feb 16 2022, 4:53 PM.

Details

Reviewers
clementval
Commits
rGe217ebcc961b: [NFC][Flang] Add colon to CHECK-LABEL to exercise the check

Diff Detail

Event Timeline

kiranchandramohan created this revision.Feb 16 2022, 4:53 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 16 2022, 4:53 PM
kiranchandramohan requested review of this revision.Feb 16 2022, 4:53 PM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 16 2022, 4:53 PM
Herald added subscribers: llvm-commits, jdoerfert. · View Herald Transcript
kiranchandramohan added a reviewer: clementval.Feb 16 2022, 4:57 PM
Harbormaster completed remote builds in B150113: Diff 409454.Feb 16 2022, 5:20 PM
clementval accepted this revision.Feb 16 2022, 9:46 PM
This revision is now accepted and ready to land.Feb 16 2022, 9:46 PM
Closed by commit rGe217ebcc961b: [NFC][Flang] Add colon to CHECK-LABEL to exercise the check (authored by kiranchandramohan). · Explain WhyFeb 17 2022, 2:01 PM
This revision was automatically updated to reflect the committed changes.
kiranchandramohan added a commit: rGe217ebcc961b: [NFC][Flang] Add colon to CHECK-LABEL to exercise the check.

Revision Contents

PathSize
flang/
test/
Lower/
12 lines

Diff 409785

flang/test/Lower/stop-statement.f90

! RUN: bbc %s -emit-fir --canonicalize -o - | FileCheck %s ! RUN: bbc %s -emit-fir --canonicalize -o - | FileCheck %s
! CHECK-LABEL stop_test ! CHECK-LABEL: stop_test
subroutine stop_test() subroutine stop_test()
! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32 ! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32
! CHECK-DAG: %[[false:.*]] = arith.constant false ! CHECK-DAG: %[[false:.*]] = arith.constant false
! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[false]], %[[false]]) ! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[false]], %[[false]])
! CHECK-NEXT: fir.unreachable ! CHECK-NEXT: fir.unreachable
stop stop
end subroutine end subroutine
! CHECK-LABEL stop_error ! CHECK-LABEL: stop_error
subroutine stop_error() subroutine stop_error()
error stop error stop
! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32 ! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32
! CHECK-DAG: %[[true:.*]] = arith.constant true ! CHECK-DAG: %[[true:.*]] = arith.constant true
! CHECK-DAG: %[[false:.*]] = arith.constant false ! CHECK-DAG: %[[false:.*]] = arith.constant false
! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[true]], %[[false]]) ! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[true]], %[[false]])
! CHECK-NEXT: fir.unreachable ! CHECK-NEXT: fir.unreachable
end subroutine end subroutine
! CHECK-LABEL stop_code ! CHECK-LABEL: stop_code
subroutine stop_code() subroutine stop_code()
stop 42 stop 42
! CHECK-DAG: %[[c42:.*]] = arith.constant 42 : i32 ! CHECK-DAG: %[[c42:.*]] = arith.constant 42 : i32
! CHECK-DAG: %[[false:.*]] = arith.constant false ! CHECK-DAG: %[[false:.*]] = arith.constant false
! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c42]], %[[false]], %[[false]]) ! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c42]], %[[false]], %[[false]])
! CHECK-NEXT: fir.unreachable ! CHECK-NEXT: fir.unreachable
end subroutine end subroutine
! CHECK-LABEL stop_quiet_constant ! CHECK-LABEL: stop_quiet_constant
subroutine stop_quiet_constant() subroutine stop_quiet_constant()
stop, quiet = .true. stop, quiet = .true.
! CHECK-DAG: %[[true:.*]] = arith.constant true ! CHECK-DAG: %[[true:.*]] = arith.constant true
! CHECK-DAG: %[[false:.*]] = arith.constant false ! CHECK-DAG: %[[false:.*]] = arith.constant false
! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32 ! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32
! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[false]], %[[true]]) ! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[false]], %[[true]])
! CHECK-NEXT: fir.unreachable ! CHECK-NEXT: fir.unreachable
end subroutine end subroutine
! CHECK-LABEL stop_quiet ! CHECK-LABEL: stop_quiet
subroutine stop_quiet() subroutine stop_quiet()
logical :: b logical :: b
stop, quiet = b stop, quiet = b
! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32 ! CHECK-DAG: %[[c0:.*]] = arith.constant 0 : i32
! CHECK-DAG: %[[false:.*]] = arith.constant false ! CHECK-DAG: %[[false:.*]] = arith.constant false
! CHECK: %[[ALLOCA:.*]] = fir.alloca !fir.logical<4> {bindc_name = "b", uniq_name = "_QFstop_quietEb"} ! CHECK: %[[ALLOCA:.*]] = fir.alloca !fir.logical<4> {bindc_name = "b", uniq_name = "_QFstop_quietEb"}
! CHECK: %[[b:.*]] = fir.load %[[ALLOCA]] ! CHECK: %[[b:.*]] = fir.load %[[ALLOCA]]
! CHECK: %[[bi1:.*]] = fir.convert %[[b]] : (!fir.logical<4>) -> i1 ! CHECK: %[[bi1:.*]] = fir.convert %[[b]] : (!fir.logical<4>) -> i1
! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[false]], %[[bi1]]) ! CHECK: fir.call @_Fortran{{.*}}StopStatement(%[[c0]], %[[false]], %[[bi1]])
! CHECK-NEXT: fir.unreachable ! CHECK-NEXT: fir.unreachable
end subroutine end subroutine
! CHECK-LABEL stop_char_lit ! CHECK-LABEL: stop_char_lit
subroutine stop_char_lit subroutine stop_char_lit
! CHECK-DAG: %[[false:.*]] = arith.constant false ! CHECK-DAG: %[[false:.*]] = arith.constant false
! CHECK-DAG: %[[five:.*]] = arith.constant 5 : index ! CHECK-DAG: %[[five:.*]] = arith.constant 5 : index
! CHECK-DAG: %[[lit:.*]] = fir.address_of(@_QQ{{.*}}) : !fir.ref<!fir.char<1,5>> ! CHECK-DAG: %[[lit:.*]] = fir.address_of(@_QQ{{.*}}) : !fir.ref<!fir.char<1,5>>
! CHECK-DAG: %[[buff:.*]] = fir.convert %[[lit]] : (!fir.ref<!fir.char<1,5>>) -> !fir.ref<i8> ! CHECK-DAG: %[[buff:.*]] = fir.convert %[[lit]] : (!fir.ref<!fir.char<1,5>>) -> !fir.ref<i8>
! CHECK-DAG: %[[len:.*]] = fir.convert %[[five]] : (index) -> i64 ! CHECK-DAG: %[[len:.*]] = fir.convert %[[five]] : (index) -> i64
! CHECK: fir.call @{{.*}}StopStatementText(%[[buff]], %[[len]], %[[false]], %[[false]]) : ! CHECK: fir.call @{{.*}}StopStatementText(%[[buff]], %[[len]], %[[false]], %[[false]]) :
! CHECK-NEXT: fir.unreachable ! CHECK-NEXT: fir.unreachable
stop 'crash' stop 'crash'
end subroutine stop_char_lit end subroutine stop_char_lit