File: ifcvt-dead-predicate.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 (78 lines) | stat: -rw-r--r-- 2,976 bytes parent folder | download | duplicates (12)
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
72
73
74
75
76
77
78
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -o - %s -run-pass=if-converter -simplify-mir | FileCheck %s

--- |
  ; ModuleID = 'ifcvt-dead-predicate.ll'
  source_filename = "ifcvt-dead-predicate.ll"
  target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
  target triple = "thumbv7-unknown-linux-android16"

  ; Function Attrs: minsize nounwind optsize ssp uwtable
  define hidden zeroext i1 @branch_entry(ptr %command_set, ptr %requested_filename, ptr %filename_to_use) local_unnamed_addr #0 {
  entry:
    %0 = load i32, ptr %command_set, align 4
    %and.i.i = and i32 %0, 128
    %tobool.i.i.not = icmp eq i32 %and.i.i, 0
    br i1 %tobool.i.i.not, label %land.end, label %land.rhs

  land.rhs:                                         ; preds = %entry
    %call1 = tail call zeroext i1 @branch_target(ptr %requested_filename, ptr %filename_to_use)
    ret i1 %call1

  land.end:                                         ; preds = %entry
    ret i1 false
  }

  ; Function Attrs: minsize optsize
  declare zeroext i1 @branch_target(ptr, ptr) local_unnamed_addr #1

  attributes #0 = { minsize nounwind optsize ssp uwtable }
  attributes #1 = { minsize optsize }

...
---
name:            branch_entry
alignment:       2
tracksRegLiveness: true
liveins:
  - { reg: '$r0' }
  - { reg: '$r1' }
  - { reg: '$r2' }
frameInfo:
  maxAlignment:    1
  maxCallFrameSize: 0
machineFunctionInfo: {}
body:             |
  ; CHECK-LABEL: name: branch_entry
  ; CHECK: bb.0.entry:
  ; CHECK:   successors: %bb.1
  ; CHECK:   liveins: $r0, $r1, $r2
  ; CHECK:   renamable $r0 = tLDRBi killed renamable $r0, 0, 14 /* CC::al */, $noreg :: (load (s8) from %ir.command_set, align 4)
  ; CHECK:   dead renamable $r0, $cpsr = tLSLri killed renamable $r0, 24, 14 /* CC::al */, $noreg
  ; CHECK:   $r0, dead $noreg = tMOVi8 0, 5 /* CC::pl */, $cpsr
  ; CHECK:   tBX_RET 5 /* CC::pl */, killed $cpsr, implicit killed $r0
  ; CHECK: bb.1.land.rhs:
  ; CHECK:   liveins: $r1, $r2
  ; CHECK:   $r0 = tMOVr killed $r1, 14 /* CC::al */, $noreg
  ; CHECK:   $r1 = tMOVr killed $r2, 14 /* CC::al */, $noreg
  ; CHECK:   tTAILJMPdND @branch_target, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp, implicit $r0, implicit $r1
  bb.0.entry:
    successors: %bb.1, %bb.2
    liveins: $r0, $r1, $r2

    renamable $r0 = tLDRBi killed renamable $r0, 0, 14 /* CC::al */, $noreg :: (load (s8) from %ir.command_set, align 4)
    dead renamable $r0, $cpsr = tLSLri killed renamable $r0, 24, 14 /* CC::al */, $noreg
    t2Bcc %bb.2, 4 /* CC::mi */, killed $cpsr

  bb.1.land.end:
    $r0, dead $cpsr = tMOVi8 0, 14 /* CC::al */, $noreg
    tBX_RET 14 /* CC::al */, $noreg, implicit $r0

  bb.2.land.rhs:
    liveins: $r1, $r2

    $r0 = tMOVr killed $r1, 14 /* CC::al */, $noreg
    $r1 = tMOVr killed $r2, 14 /* CC::al */, $noreg
    tTAILJMPdND @branch_target, 14 /* CC::al */, $noreg, implicit $sp, implicit $sp, implicit $r0, implicit $r1

...