; Trivial smoke test of basic block reordering. Different random seeds should
; generate different basic block layout.
; REQUIRES allow_dump

; RUN: %p2i -i %s --filetype=asm --args -O2 -sz-seed=1 \
; RUN: -reorder-basic-blocks -threads=0 \
; RUN: | FileCheck %s --check-prefix=SEED1
; RUN: %p2i -i %s --filetype=asm --args -O2 -sz-seed=2 \
; RUN: -reorder-basic-blocks -threads=0 \
; RUN: | FileCheck %s --check-prefix=SEED2

define void @basic_block_reordering(i32 %foo, i32 %bar) {
entry:
  %r1 = icmp eq i32 %foo, %bar
  br i1 %r1, label %BB1, label %BB2
BB1:
  %r2 = icmp sgt i32 %foo, %bar
  br i1 %r2, label %BB3, label %BB4
BB2:
  %r3 = icmp slt i32 %foo, %bar
  br i1 %r3, label %BB3, label %BB4
BB3:
  ret void
BB4:
  ret void


; SEED1-LABEL: basic_block_reordering:
; SEED1: .Lbasic_block_reordering$entry:
; SEED1: .Lbasic_block_reordering$BB1:
; SEED1: .Lbasic_block_reordering$BB2:
; SEED1: .Lbasic_block_reordering$BB3:
; SEED1: .Lbasic_block_reordering$BB4:

; SEED2-LABEL: basic_block_reordering:
; SEED2: .Lbasic_block_reordering$entry:
; SEED2: .Lbasic_block_reordering$BB2:
; SEED2: .Lbasic_block_reordering$BB1:
; SEED2: .Lbasic_block_reordering$BB4:
; SEED2: .Lbasic_block_reordering$BB3
}