File: assume.sil

package info (click to toggle)
swiftlang 6.1.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 2,791,532 kB
  • sloc: cpp: 9,901,743; ansic: 2,201,431; asm: 1,091,827; python: 308,252; objc: 82,166; f90: 80,126; lisp: 38,358; pascal: 25,559; sh: 20,429; ml: 5,058; perl: 4,745; makefile: 4,484; awk: 3,535; javascript: 3,018; xml: 918; fortran: 664; cs: 573; ruby: 396
file content (26 lines) | stat: -rw-r--r-- 991 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
 
// 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
}