1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
! RUN: bbc -emit-fir -o - %s | FileCheck %s
! CHECK-LABEL: func @_QPss
subroutine ss(n)
print*, n
! CHECK: return{{$}}
return
! CHECK-LABEL: func @_QPee
entry ee(n,*)
print*, n
! CHECK: return %{{.}} : index
return 1
end
! CHECK-LABEL: func @_QQmain
call ss(7)
call ee(2, *3)
print*, 'default'
3 print*, 3
print*, k(10,20)
print*, k(15,15)
print*, k(20,10)
end
! CHECK-LABEL: func @_QPk
function k(n1, n2)
! CHECK-NOT: ^bb
! CHECK: [[selector:%[0-9]+]] = fir.call @_QPs
! CHECK-NEXT: fir.select [[selector]] : index [1, ^[[block1:bb[0-9]+]], 2, ^[[block2:bb[0-9]+]], unit, ^[[blockunit:bb[0-9]+]]
call s(n1, *5, n2, *7)
! CHECK: ^[[blockunit]]: // pred: ^bb0
k = 0; return;
! CHECK: ^[[block1]]: // pred: ^bb0
5 k = -1; return;
! CHECK: ^[[block2]]: // pred: ^bb0
7 k = 1; return
end
! CHECK-LABEL: func @_QPs
subroutine s(n1, *, n2, *)
! CHECK: [[retval:%[0-9]+]] = fir.alloca index {{{.*}}bindc_name = "s"}
! CHECK-COUNT-3: fir.store {{.*}} to [[retval]] : !fir.ref<index>
if (n1 < n2) return 1
if (n1 > n2) return 2
! CHECK: {{.*}} = fir.load [[retval]] : !fir.ref<index>
! CHECK-NEXT: return {{.*}} : index
return
end
|
