// RUN: %target-swift-frontend -assume-parsing-unqualified-ownership-sil -emit-ir %s | %FileCheck %s

// REQUIRES: CPU=i386_or_x86_64

import Builtin

// Various tests for SIL that doesn't happen to appear in dominance order.

sil @test0 : $@convention(thin) () -> (Builtin.Int8) {
bb0:
  br bb1
bb2:
  return %0 : $Builtin.Int8
bb1:
  %0 = integer_literal $Builtin.Int8, 7
  br bb2
}
// CHECK:   define{{( protected)?}} swiftcc i8 @test0()
// CHECK:     br
// CHECK-NOT: }
// CHECK:     ret i8 7
// CHECK-NOT: }
// CHECK:     br
// CHECK:   }

// Just don't crash on this one.
sil @test1 : $@convention(thin) () -> (Builtin.Int8) {
bb0:
  br bb2
bb1:
  br bb2
bb2:
  %0 = integer_literal $Builtin.Int8, 7
  return %0 : $Builtin.Int8
}