File: PR57660.ll

package info (click to toggle)
llvm-toolchain-16 1%3A16.0.6-15~deb12u1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 1,634,792 kB
  • sloc: cpp: 6,179,261; ansic: 1,216,205; asm: 741,319; python: 196,614; objc: 75,325; f90: 49,640; lisp: 32,396; pascal: 12,286; sh: 9,394; perl: 7,442; ml: 5,494; awk: 3,523; makefile: 2,723; javascript: 1,206; xml: 886; fortran: 581; cs: 573
file content (83 lines) | stat: -rw-r--r-- 2,581 bytes parent folder | download | duplicates (5)
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
79
80
81
82
83
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -mtriple=m68k --regalloc=fast %s -o - | FileCheck %s

define dso_local void @foo1() {
; CHECK-LABEL: foo1:
; CHECK:         .cfi_startproc
; CHECK-NEXT:  ; %bb.0: ; %entry
; CHECK-NEXT:    suba.l #2, %sp
; CHECK-NEXT:    .cfi_def_cfa_offset -6
; CHECK-NEXT:    move.b #0, %d0
; CHECK-NEXT:    move.b %d0, (0,%sp) ; 1-byte Folded Spill
; CHECK-NEXT:  .LBB0_1: ; %do.body
; CHECK-NEXT:    ; =>This Inner Loop Header: Depth=1
; CHECK-NEXT:    move.b (0,%sp), %d0 ; 1-byte Folded Reload
; CHECK-NEXT:    cmpi.b #0, %d0
; CHECK-NEXT:    bne .LBB0_1
; CHECK-NEXT:  ; %bb.2: ; %do.end
; CHECK-NEXT:    adda.l #2, %sp
; CHECK-NEXT:    rts
entry:
  br label %do.body

do.body:                                          ; preds = %land.end, %entry
  %cmp5 = icmp eq i32 0, 4
  br label %land.end

land.end:                                         ; preds = %do.body
  br i1 %cmp5, label %do.body, label %do.end

do.end:                                           ; preds = %land.end
  ret void
}

define i32 @foo2(ptr noundef %0) {
; CHECK-LABEL: foo2:
; CHECK:         .cfi_startproc
; CHECK-NEXT:  ; %bb.0: ; %entry
; CHECK-NEXT:    suba.l #4, %sp
; CHECK-NEXT:    .cfi_def_cfa_offset -8
; CHECK-NEXT:    move.l (8,%sp), %a0
; CHECK-NEXT:    move.b (%a0), %d0
; CHECK-NEXT:    move.b %d0, (0,%sp) ; 1-byte Folded Spill
; CHECK-NEXT:    and.b #1, %d0
; CHECK-NEXT:    move.b %d0, (2,%sp) ; 1-byte Folded Spill
; CHECK-NEXT:    sub.b #1, %d0
; CHECK-NEXT:    bgt .LBB1_2
; CHECK-NEXT:  ; %bb.1: ; %if
; CHECK-NEXT:    move.b (2,%sp), %d0 ; 1-byte Folded Reload
; CHECK-NEXT:    move.b (0,%sp), %d1 ; 1-byte Folded Reload
; CHECK-NEXT:    add.b %d1, %d0
; CHECK-NEXT:    bra .LBB1_3
; CHECK-NEXT:  .LBB1_2: ; %else
; CHECK-NEXT:    move.b (2,%sp), %d1 ; 1-byte Folded Reload
; CHECK-NEXT:    move.b (0,%sp), %d0 ; 1-byte Folded Reload
; CHECK-NEXT:    sub.b %d1, %d0
; CHECK-NEXT:    move.b %d0, (0,%sp) ; 1-byte Folded Spill
; CHECK-NEXT:  .LBB1_3: ; %cont
; CHECK-NEXT:    move.b %d0, (2,%sp) ; 1-byte Folded Spill
; CHECK-NEXT:    move.b (2,%sp), %d0 ; 1-byte Folded Reload
; CHECK-NEXT:    ext.w %d0
; CHECK-NEXT:    ext.l %d0
; CHECK-NEXT:    adda.l #4, %sp
; CHECK-NEXT:    rts
entry:
  %1 = getelementptr i8, ptr %0, i32 0
  %2 = load i8, ptr %1
  %3 = and i8 %2, 1
  %4 = icmp sle i8 %3, 1
  br i1 %4, label %if, label %else

if:
  %5 = add i8 %3, %2
  br label %cont

else:
  %6 = sub i8 %2, %3
  br label %cont

cont:
  %7 = phi i8 [%5, %if], [%6, %else]
  %8 = sext i8 %7 to i32
  ret i32 %8
}