1 files changed, 19 insertions, 0 deletions
diff --git a/tests/codegen-llvm/no-assumes-on-casts.rs b/tests/codegen-llvm/no-assumes-on-casts.rs
new file mode 100644
index 00000000000..9c00dc2c015
--- /dev/null
+++ b/tests/codegen-llvm/no-assumes-on-casts.rs
@@ -0,0 +1,19 @@
+#![crate_type = "lib"]
+
+//@ compile-flags: -Cno-prepopulate-passes
+
+// CHECK-LABEL: fna
+#[no_mangle]
+pub fn fna(a: i16) -> i32 {
+    a as i32
+    // CHECK-NOT: assume
+    // CHECK: sext
+}
+
+// CHECK-LABEL: fnb
+#[no_mangle]
+pub fn fnb(a: u16) -> u32 {
+    a as u32
+    // CHECK-NOT: assume
+    // CHECK: zext
+}