testing if the intrinsics works when inlined

Author: x17jiri

tests/codegen/intrinsics/likely_inline.rs

@@ -0,0 +1,37 @@
+// compile-flags: -O
+#![crate_type = "lib"]
+#![feature(core_intrinsics)]
+
+#[inline(never)]
+#[no_mangle]
+pub fn path_a() {
+    println!("fast_path");
+}
+
+#[inline(never)]
+#[no_mangle]
+pub fn path_b() {
+    println!("slow_path");
+}
+
+#[inline(always)]
+fn likely(b: bool) -> bool {
+    std::intrinsics::likely(b)
+}
+
+#[no_mangle]
+pub fn f(x: bool) {
+    if likely(x) {
+        path_a();
+    } else {
+        path_b();
+    }
+}
+
+// CHECK-LABEL: @f(
+// CHECK: br i1 %x, label %bb1, label %bb2, !prof ![[NUM:[0-9]+]]
+// CHECK: bb2:
+// CHECK: path_b
+// CHECK: bb1:
+// CHECK: path_a
+// CHECK: ![[NUM]] = !{!"branch_weights", i32 2000, i32 1}

tests/codegen/intrinsics/unlikely_inline.rs

@@ -0,0 +1,37 @@
+// compile-flags: -O
+#![crate_type = "lib"]
+#![feature(core_intrinsics)]
+
+#[inline(never)]
+#[no_mangle]
+pub fn path_a() {
+    println!("fast_path");
+}
+
+#[inline(never)]
+#[no_mangle]
+pub fn path_b() {
+    println!("slow_path");
+}
+
+#[inline(always)]
+fn unlikely(b: bool) -> bool {
+    std::intrinsics::unlikely(b)
+}
+
+#[no_mangle]
+pub fn f(x: bool) {
+    if unlikely(x) {
+        path_a();
+    } else {
+        path_b();
+    }
+}
+
+// CHECK-LABEL: @f(
+// CHECK: br i1 %x, label %bb1, label %bb2, !prof ![[NUM:[0-9]+]]
+// CHECK: bb2:
+// CHECK: path_b
+// CHECK: bb1:
+// CHECK: path_a
+// CHECK: ![[NUM]] = !{!"branch_weights", i32 1, i32 2000}

tests/codegen/intrinsics/unpredictable_inline.rs

@@ -0,0 +1,36 @@
+// compile-flags: -O
+#![crate_type = "lib"]
+#![feature(core_intrinsics)]
+
+#[inline(never)]
+#[no_mangle]
+pub fn path_a() {
+    println!("fast_path");
+}
+
+#[inline(never)]
+#[no_mangle]
+pub fn path_b() {
+    println!("slow_path");
+}
+
+#[inline(always)]
+fn unpredictable(b: bool) -> bool {
+    std::intrinsics::unpredictable(b)
+}
+
+#[no_mangle]
+pub fn f(x: bool) {
+    if unpredictable(x) {
+        path_a();
+    } else {
+        path_b();
+    }
+}
+
+// CHECK-LABEL: @f(
+// CHECK: br i1 %x, label %bb1, label %bb2, !unpredictable
+// CHECK: bb2:
+// CHECK: path_b
+// CHECK: bb1:
+// CHECK: path_a