File: branch-folder-hoist-livein.mir

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 (71 lines) | stat: -rw-r--r-- 2,709 bytes parent folder | download | duplicates (10)
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
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4
# RUN: llc -verify-machineinstrs -O1 -mtriple=s390x-ibm-linux -o - %s -run-pass=branch-folder | FileCheck %s
--- |
  target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-a:8:16-n32:64"
  target triple = "s390x-ibm-linux"

  @b = external global i16, align 1
  @d = external global i16, align 1

  define void @f1() {
    ret void
  }

...
---
name:            f1
tracksRegLiveness: true
body:             |
  ; CHECK-LABEL: name: f1
  ; CHECK: bb.0:
  ; CHECK-NEXT:   successors: %bb.2(0x7fffffff), %bb.1(0x00000001)
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   renamable $r1d = LGRL @b :: (load (s32) from got, align 8)
  ; CHECK-NEXT:   renamable $r1l = LH killed renamable $r1d, 0, $noreg, implicit-def $r1d :: (dereferenceable load (s8) from @b)
  ; CHECK-NEXT:   renamable $r2l = LHI 0
  ; CHECK-NEXT:   renamable $r3d = LGRL @d :: (load (s32) from got, align 8)
  ; CHECK-NEXT:   renamable $r4d = LLILL 0, implicit-def $r4q
  ; CHECK-NEXT:   renamable $r4d = COPY killed renamable $r4d, implicit killed $r4q
  ; CHECK-NEXT:   CHI killed renamable $r2l, 0, implicit-def $cc
  ; CHECK-NEXT:   BRC 14, 6, %bb.2, implicit killed $cc
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.1:
  ; CHECK-NEXT:   successors:
  ; CHECK-NEXT:   liveins: $r3d, $r4d, $r1l
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   STH renamable $r1l, killed renamable $r3d, 0, $noreg, implicit killed $r4d :: (store (s8) into @d)
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT: bb.2:
  ; CHECK-NEXT:   liveins: $r3d, $r4d, $r1l
  ; CHECK-NEXT: {{  $}}
  ; CHECK-NEXT:   STH renamable $r1l, killed renamable $r3d, 0, $noreg, implicit killed $r4d :: (store (s8) into @d)
  ; CHECK-NEXT:   Return
  bb.0:
    successors: %bb.2(0x7fffffff), %bb.1(0x00000001)
    liveins:

    renamable $r1d = LGRL @b :: (load (s32) from got, align 8)
    renamable $r1l = LH killed renamable $r1d, 0, $noreg, implicit-def $r1d :: (dereferenceable load (s8) from @b)
    renamable $r2l = LHI 0
    renamable $r3d = LGRL @d :: (load (s32) from got, align 8)
    renamable $r4d = LLILL 0, implicit-def $r4q

    CHI killed renamable $r2l, 0, implicit-def $cc
    BRC 14, 6, %bb.2, implicit killed $cc
    J %bb.1

  bb.1:
    successors:
    liveins: $r1l, $r3d, $r4q

    renamable $r4d = COPY killed renamable $r4d, implicit killed $r4q
    STH renamable $r1l, killed renamable $r3d, 0, $noreg, implicit killed $r4d :: (store (s8) into @d)

  bb.2:
    liveins: $r1l, $r3d, $r4q

    renamable $r4d = COPY killed renamable $r4d, implicit killed $r4q
    STH renamable $r1l, killed renamable $r3d, 0, $noreg, implicit killed $r4d :: (store (s8) into @d)
    Return

...