File: block-labels.ll

package info (click to toggle)
llvm-toolchain-19 1%3A19.1.7-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,998,520 kB
  • sloc: cpp: 6,951,680; ansic: 1,486,157; asm: 913,598; python: 232,024; f90: 80,126; objc: 75,281; lisp: 37,276; pascal: 16,990; sh: 10,009; ml: 5,058; perl: 4,724; awk: 3,523; makefile: 3,167; javascript: 2,504; xml: 892; fortran: 664; cs: 573
file content (48 lines) | stat: -rw-r--r-- 1,230 bytes parent folder | download | duplicates (21)
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
; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s --match-full-lines
; RUN: verify-uselistorder %s

define i32 @test1(i32 %X) {
; Implicit entry label. Not printed on output.
  %1 = alloca i32
  br label %2
; Implicit label ids still allowed.
  br label %3
3: ; Explicit numeric label
  br label %"2"
"2": ; string label, quoted number
  br label %-3
-3: ; numeric-looking, but actually string, label
  br label %-N-
-N-:
  br label %$N
$N:
  %4 = add i32 1, 1
  ret i32 %4
}

; CHECK-LABEL: define i32 @test1(i32 %X) {
; CHECK-NEXT:   %1 = alloca i32, align 4
; CHECK-NEXT:   br label %2
; CHECK:      2:       ; preds = %0
; CHECK-NEXT:   br label %3
; CHECK:      3:       ; preds = %2
; CHECK-NEXT:   br label %"2"
; CHECK:      "2":     ; preds = %3
; CHECK-NEXT:   br label %-3
; CHECK:      -3:      ; preds = %"2"
; CHECK-NEXT:   br label %-N-
; CHECK:      -N-:     ; preds = %-3
; CHECK-NEXT:   br label %"$N"
; CHECK:      "$N":    ; preds = %-N-
; CHECK-NEXT:   %4 = add i32 1, 1
; CHECK-NEXT:   ret i32 %4
; CHECK-NEXT: }

define void @test2(i32 %0, i32 %1) {
; entry label id still not printed on output
2:
  ret void
}

; CHECK-LABEL: define void @test2(i32 %0, i32 %1) {
; CHECK-NEXT:    ret void