; Test the edge profiling instrumentation.
; RUN: opt < %s -insert-edge-profiling -S | FileCheck %s

; ModuleID = '<stdin>'

@.str = private constant [12 x i8] c"hello world\00", align 1 ; <[12 x i8]*> [#uses=1]
@.str1 = private constant [6 x i8] c"franz\00", align 1 ; <[6 x i8]*> [#uses=1]
@.str2 = private constant [9 x i8] c"argc > 2\00", align 1 ; <[9 x i8]*> [#uses=1]
@.str3 = private constant [9 x i8] c"argc = 1\00", align 1 ; <[9 x i8]*> [#uses=1]
@.str4 = private constant [6 x i8] c"fritz\00", align 1 ; <[6 x i8]*> [#uses=1]
@.str5 = private constant [10 x i8] c"argc <= 1\00", align 1 ; <[10 x i8]*> [#uses=1]
; CHECK:@EdgeProfCounters
; CHECK:[19 x i32] 
; CHECK:zeroinitializer

define void @oneblock() nounwind {
entry:
; CHECK:entry:
; CHECK:%OldFuncCounter
; CHECK:load 
; CHECK:getelementptr
; CHECK:@EdgeProfCounters
; CHECK:i32 0
; CHECK:i32 0
; CHECK:%NewFuncCounter
; CHECK:add
; CHECK:%OldFuncCounter
; CHECK:store 
; CHECK:%NewFuncCounter
; CHECK:getelementptr
; CHECK:@EdgeProfCounters
  %0 = call i32 @puts(i8* getelementptr inbounds ([12 x i8]* @.str, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  ret void
}

declare i32 @puts(i8*)

define i32 @main(i32 %argc, i8** %argv) nounwind {
entry:
; CHECK:entry:
  %argc_addr = alloca i32                         ; <i32*> [#uses=4]
  %argv_addr = alloca i8**                        ; <i8***> [#uses=1]
  %retval = alloca i32                            ; <i32*> [#uses=2]
  %j = alloca i32                                 ; <i32*> [#uses=4]
  %i = alloca i32                                 ; <i32*> [#uses=4]
  %0 = alloca i32                                 ; <i32*> [#uses=2]
; CHECK:call 
; CHECK:@llvm_start_edge_profiling
; CHECK:@EdgeProfCounters
  %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
  store i32 %argc, i32* %argc_addr
  store i8** %argv, i8*** %argv_addr
  store i32 0, i32* %i, align 4
  br label %bb10

bb:                                               ; preds = %bb10
; CHECK:bb:
  %1 = load i32* %argc_addr, align 4              ; <i32> [#uses=1]
  %2 = icmp sgt i32 %1, 1                         ; <i1> [#uses=1]
  br i1 %2, label %bb1, label %bb8

bb1:                                              ; preds = %bb
; CHECK:bb1:
  store i32 0, i32* %j, align 4
  br label %bb6

bb2:                                              ; preds = %bb6
; CHECK:bb2:
  %3 = call i32 @puts(i8* getelementptr inbounds ([6 x i8]* @.str1, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  %4 = load i32* %argc_addr, align 4              ; <i32> [#uses=1]
  %5 = icmp sgt i32 %4, 2                         ; <i1> [#uses=1]
  br i1 %5, label %bb3, label %bb4

bb3:                                              ; preds = %bb2
; CHECK:bb3:
  %6 = call i32 @puts(i8* getelementptr inbounds ([9 x i8]* @.str2, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  br label %bb5

bb4:                                              ; preds = %bb2
; CHECK:bb4:
  %7 = call i32 @puts(i8* getelementptr inbounds ([9 x i8]* @.str3, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  br label %bb11

bb5:                                              ; preds = %bb3
; CHECK:bb5:
  %8 = call i32 @puts(i8* getelementptr inbounds ([6 x i8]* @.str4, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  %9 = load i32* %j, align 4                      ; <i32> [#uses=1]
  %10 = add nsw i32 %9, 1                         ; <i32> [#uses=1]
  store i32 %10, i32* %j, align 4
  br label %bb6

bb6:                                              ; preds = %bb5, %bb1
; CHECK:bb6:
  %11 = load i32* %j, align 4                     ; <i32> [#uses=1]
  %12 = load i32* %argc_addr, align 4             ; <i32> [#uses=1]
  %13 = icmp slt i32 %11, %12                     ; <i1> [#uses=1]
  br i1 %13, label %bb2, label %bb7

bb7:                                              ; preds = %bb6
; CHECK:bb7:
  br label %bb9

bb8:                                              ; preds = %bb
; CHECK:bb8:
  %14 = call i32 @puts(i8* getelementptr inbounds ([10 x i8]* @.str5, i64 0, i64 0)) nounwind ; <i32> [#uses=0]
  br label %bb9

bb9:                                              ; preds = %bb8, %bb7
; CHECK:bb9:
  %15 = load i32* %i, align 4                     ; <i32> [#uses=1]
  %16 = add nsw i32 %15, 1                        ; <i32> [#uses=1]
  store i32 %16, i32* %i, align 4
  br label %bb10

bb10:                                             ; preds = %bb9, %entry
; CHECK:bb10:
  %17 = load i32* %i, align 4                     ; <i32> [#uses=1]
  %18 = icmp ne i32 %17, 3                        ; <i1> [#uses=1]
  br i1 %18, label %bb, label %bb11
; CHECK:br
; CHECK:label %bb10.bb11_crit_edge

; CHECK:bb10.bb11_crit_edge:
; CHECK:br
; CHECK:label %bb11

bb11:                                             ; preds = %bb10, %bb4
; CHECK:bb11:
  call void @oneblock() nounwind
  store i32 0, i32* %0, align 4
  %19 = load i32* %0, align 4                     ; <i32> [#uses=1]
  store i32 %19, i32* %retval, align 4
  br label %return

return:                                           ; preds = %bb11
; CHECK:return:
  %retval12 = load i32* %retval                   ; <i32> [#uses=1]
  ret i32 %retval12
}