src/test/codegen/no-assumes-on-casts.rs

   1 #![crate_type = "lib"]
   2
   3 // compile-flags: -Cno-prepopulate-passes
   4
   5 // CHECK-LABEL: fna
   6 #[no_mangle]
   7 pub fn fna(a: i16) -> i32 {
   8     a as i32
   9 // CHECK-NOT: assume
  10 // CHECK: sext
  11 }
  12
  13 // CHECK-LABEL: fnb
  14 #[no_mangle]
  15 pub fn fnb(a: u16) -> u32 {
  16     a as u32
  17 // CHECK-NOT: assume
  18 // CHECK: zext
  19 }