mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
38bd7f436e
rdar://132124067 LLVM code gen has changed, so we need to adjust the expected output in our tests accordingly
27 lines
991 B
Plaintext
27 lines
991 B
Plaintext
// 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
|
|
}
|