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
   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
   84
   85
   86
   87
   88
   89
   90

; RUN: opt -aa-pipeline=default -passes="default<O2>" -disable-output %s
; REQUIRES: asserts
; PR42272

target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

@b = external global i32, align 4
@f = external global i32, align 4
@g = external global i32, align 4

define i32* @a(i32 %h) #0 {
entry:
  %h.addr = alloca i32, align 4
  store i32 %h, i32* %h.addr, align 4
  %tmp0 = load i32, i32* %h.addr, align 4
  switch i32 %tmp0, label %sw.default [
    i32 4, label %sw.bb
    i32 3, label %sw.bb1
    i32 2, label %sw.bb3
  ]

sw.bb:                                            ; preds = %entry
  %call = call i32 (...) @c()
  unreachable

sw.bb1:                                           ; preds = %entry
  %call2 = call i32 (...) @c()
  unreachable

sw.bb3:                                           ; preds = %entry
  %call4 = call i32 (...) @c()
  %conv = sext i32 %call4 to i64
  %tmp1 = inttoptr i64 %conv to i32*
  ret i32* %tmp1

sw.default:                                       ; preds = %entry
  unreachable
}

define i32 @m() #1 {
entry:
  %call = call i32 @j()
  %call1 = call i32 @j()
  ret i32 undef
}

define internal i32 @j() #0 {
entry:
  %i = alloca i32, align 4
  store i32 0, i32* %i, align 4
  br label %for.cond

for.cond:                                         ; preds = %for.body, %entry
  %tmp0 = load i32, i32* %i, align 4
  %tmp1 = load i32, i32* @f, align 4
  %cmp = icmp ult i32 %tmp0, %tmp1
  br i1 %cmp, label %for.body, label %for.cond.cleanup

for.cond.cleanup:                                 ; preds = %for.cond
  %tmp2 = load i32, i32* @f, align 4
  %call3 = call i32* @a(i32 %tmp2)
  ret i32 undef

for.body:                                         ; preds = %for.cond
  %call = call i32 (...) @c()
  %call1 = call i32 (...) @c()
  %call2 = call i32 (...) @c()
  %tmp3 = load i32, i32* @b, align 4
  %tmp4 = load i32, i32* @g, align 4
  %sub = sub nsw i32 %tmp4, %tmp3
  store i32 %sub, i32* @g, align 4
  %tmp5 = load i32, i32* %i, align 4
  %inc = add i32 %tmp5, 1
  store i32 %inc, i32* %i, align 4
  br label %for.cond
}

declare i32 @c(...) #0

; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #2

; Function Attrs: argmemonly nounwind
declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) #2

attributes #0 = { "use-soft-float"="false" }
attributes #1 = { "target-cpu"="x86-64" }
attributes #2 = { argmemonly nounwind }