// RUN: %target-swift-frontend -O -emit-ir %s | %FileCheck %s
sil_stage canonical

import Swift
import Builtin

// CHECK-LABEL: define{{.*}} swiftcc{{.*}} i64 @test_assume(i64 %0)
// CHECK:   [[COND:%.*]] = icmp sgt i64 %0, -1
// CHECK:   tail call void @llvm.assume(i1 [[COND]])
// CHECK:   [[RES:%.*]] = lshr i64 %0, 6
// CHECK:   ret i64 [[RES]]
// CHECK: }

sil @test_assume : $@convention(thin) (Int64) -> Int64 {
bb0(%0 : $Int64):
 %2 = integer_literal $Builtin.Int64, 0
 %3 = struct_extract %0 : $Int64, #Int64._value
 %4 = builtin "cmp_slt_Int64"(%3 : $Builtin.Int64, %2 : $Builtin.Int64) : $Builtin.Int1
 %5 = integer_literal $Builtin.Int1, -1
 %6 = builtin "xor_Int1"(%4 : $Builtin.Int1, %5 : $Builtin.Int1) : $Builtin.Int1
 %7 = builtin "assume_Int1"(%6 : $Builtin.Int1) : $Builtin.Int1
 %8 = integer_literal $Builtin.Int64, 64
 %9 = builtin "sdiv_Int64"(%3 : $Builtin.Int64, %8 : $Builtin.Int64) : $Builtin.Int64
 %10 = struct $Int64 (%9 : $Builtin.Int64)
 return %10 : $Int64
}