File: assume.sil

package info (click to toggle)
swiftlang 6.0.3-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 2,519,992 kB
  • sloc: cpp: 9,107,863; ansic: 2,040,022; asm: 1,135,751; python: 296,500; objc: 82,456; f90: 60,502; lisp: 34,951; pascal: 19,946; sh: 18,133; perl: 7,482; ml: 4,937; javascript: 4,117; makefile: 3,840; awk: 3,535; xml: 914; fortran: 619; cs: 573; ruby: 573
file content (26 lines) | stat: -rw-r--r-- 985 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
}