reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21

; RUN: opt < %s -loop-reduce -disable-output
; PR 2537

define void @a() {
entry:
        br label %dobody

dobody:         ; preds = %dobody, %entry
        %y.0 = phi i128 [ 0, %entry ], [ %add, %dobody ]
        %x.0 = phi i128 [ 0, %entry ], [ %add2, %dobody ]
        %add = add i128 %y.0, shl (i128 1, i128 64)
        %add2 = add i128 %x.0, shl (i128 1, i128 48)
        call void @b( i128 %add )
        %cmp = icmp ult i128 %add2, shl (i128 1, i128 64)
        br i1 %cmp, label %dobody, label %afterdo

afterdo:                ; preds = %dobody
        ret void
}

declare void @b(i128 %add)