diff options
Diffstat (limited to 'src/test/mir-opt/building/custom')
11 files changed, 0 insertions, 271 deletions
diff --git a/src/test/mir-opt/building/custom/arbitrary_let.arbitrary_let.built.after.mir b/src/test/mir-opt/building/custom/arbitrary_let.arbitrary_let.built.after.mir deleted file mode 100644 index 20dd251e7..000000000 --- a/src/test/mir-opt/building/custom/arbitrary_let.arbitrary_let.built.after.mir +++ /dev/null @@ -1,22 +0,0 @@ -// MIR for `arbitrary_let` after built - -fn arbitrary_let(_1: i32) -> i32 { - let mut _0: i32; // return place in scope 0 at $DIR/arbitrary_let.rs:+0:29: +0:32 - let mut _2: i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - let mut _3: i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - - bb0: { - _2 = _1; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - goto -> bb2; // scope 0 at $DIR/arbitrary_let.rs:+4:13: +4:25 - } - - bb1: { - _0 = _3; // scope 0 at $DIR/arbitrary_let.rs:+7:13: +7:20 - return; // scope 0 at $DIR/arbitrary_let.rs:+8:13: +8:21 - } - - bb2: { - _3 = _2; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - goto -> bb1; // scope 0 at $DIR/arbitrary_let.rs:+12:13: +12:24 - } -} diff --git a/src/test/mir-opt/building/custom/arbitrary_let.rs b/src/test/mir-opt/building/custom/arbitrary_let.rs deleted file mode 100644 index 776df3151..000000000 --- a/src/test/mir-opt/building/custom/arbitrary_let.rs +++ /dev/null @@ -1,28 +0,0 @@ -#![feature(custom_mir, core_intrinsics)] - -extern crate core; -use core::intrinsics::mir::*; -use core::ptr::{addr_of, addr_of_mut}; - -// EMIT_MIR arbitrary_let.arbitrary_let.built.after.mir -#[custom_mir(dialect = "built")] -fn arbitrary_let(x: i32) -> i32 { - mir!( - { - let y = x; - Goto(second) - } - third = { - RET = z; - Return() - } - second = { - let z = y; - Goto(third) - } - ) -} - -fn main() { - assert_eq!(arbitrary_let(5), 5); -} diff --git a/src/test/mir-opt/building/custom/consts.consts.built.after.mir b/src/test/mir-opt/building/custom/consts.consts.built.after.mir deleted file mode 100644 index ba753cfc2..000000000 --- a/src/test/mir-opt/building/custom/consts.consts.built.after.mir +++ /dev/null @@ -1,22 +0,0 @@ -// MIR for `consts` after built - -fn consts() -> () { - let mut _0: (); // return place in scope 0 at $DIR/consts.rs:+0:27: +0:27 - let mut _1: u8; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - let mut _2: i8; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - let mut _3: u32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - let mut _4: i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - let mut _5: fn() {consts::<10>}; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - - bb0: { - _1 = const 5_u8; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - _2 = const _; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - _3 = const C; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - _4 = const _; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - _5 = consts::<10>; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - // mir::Constant - // + span: $DIR/consts.rs:16:18: 16:30 - // + literal: Const { ty: fn() {consts::<10>}, val: Value(<ZST>) } - return; // scope 0 at $DIR/consts.rs:+7:9: +7:17 - } -} diff --git a/src/test/mir-opt/building/custom/consts.rs b/src/test/mir-opt/building/custom/consts.rs deleted file mode 100644 index ff4fe1a93..000000000 --- a/src/test/mir-opt/building/custom/consts.rs +++ /dev/null @@ -1,36 +0,0 @@ -#![feature(custom_mir, core_intrinsics, inline_const)] - -extern crate core; -use core::intrinsics::mir::*; - -const D: i32 = 5; - -// EMIT_MIR consts.consts.built.after.mir -#[custom_mir(dialect = "built")] -fn consts<const C: u32>() { - mir!({ - let _a = 5_u8; - let _b = const { 5_i8 }; - let _c = C; - let _d = D; - let _e = consts::<10>; - Return() - }) -} - -static S: i32 = 5; -static mut T: i32 = 10; -// EMIT_MIR consts.statics.built.after.mir -#[custom_mir(dialect = "built")] -fn statics() { - mir!({ - let _a: &i32 = Static(S); - let _b: *mut i32 = StaticMut(T); - Return() - }) -} - -fn main() { - consts::<5>(); - statics(); -} diff --git a/src/test/mir-opt/building/custom/consts.statics.built.after.mir b/src/test/mir-opt/building/custom/consts.statics.built.after.mir deleted file mode 100644 index ee768e263..000000000 --- a/src/test/mir-opt/building/custom/consts.statics.built.after.mir +++ /dev/null @@ -1,27 +0,0 @@ -// MIR for `statics` after built - -fn statics() -> () { - let mut _0: (); // return place in scope 0 at $DIR/consts.rs:+0:14: +0:14 - let mut _1: &i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - let mut _2: *mut i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - - bb0: { - _1 = const {alloc1: &i32}; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - // mir::Constant - // + span: $DIR/consts.rs:27:31: 27:32 - // + literal: Const { ty: &i32, val: Value(Scalar(alloc1)) } - _2 = const {alloc2: *mut i32}; // scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - // mir::Constant - // + span: $DIR/consts.rs:28:38: 28:39 - // + literal: Const { ty: *mut i32, val: Value(Scalar(alloc2)) } - return; // scope 0 at $DIR/consts.rs:+4:9: +4:17 - } -} - -alloc2 (static: T, size: 4, align: 4) { - 0a 00 00 00 │ .... -} - -alloc1 (static: S, size: 4, align: 4) { - 05 00 00 00 │ .... -} diff --git a/src/test/mir-opt/building/custom/references.immut_ref.built.after.mir b/src/test/mir-opt/building/custom/references.immut_ref.built.after.mir deleted file mode 100644 index 4d38d45c0..000000000 --- a/src/test/mir-opt/building/custom/references.immut_ref.built.after.mir +++ /dev/null @@ -1,14 +0,0 @@ -// MIR for `immut_ref` after built - -fn immut_ref(_1: &i32) -> &i32 { - let mut _0: &i32; // return place in scope 0 at $DIR/references.rs:+0:30: +0:34 - let mut _2: *const i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - - bb0: { - _2 = &raw const (*_1); // scope 0 at $DIR/references.rs:+5:13: +5:29 - Retag([raw] _2); // scope 0 at $DIR/references.rs:+6:13: +6:24 - _0 = &(*_2); // scope 0 at $DIR/references.rs:+7:13: +7:23 - Retag(_0); // scope 0 at $DIR/references.rs:+8:13: +8:23 - return; // scope 0 at $DIR/references.rs:+9:13: +9:21 - } -} diff --git a/src/test/mir-opt/building/custom/references.mut_ref.built.after.mir b/src/test/mir-opt/building/custom/references.mut_ref.built.after.mir deleted file mode 100644 index 01bc8a9cd..000000000 --- a/src/test/mir-opt/building/custom/references.mut_ref.built.after.mir +++ /dev/null @@ -1,14 +0,0 @@ -// MIR for `mut_ref` after built - -fn mut_ref(_1: &mut i32) -> &mut i32 { - let mut _0: &mut i32; // return place in scope 0 at $DIR/references.rs:+0:32: +0:40 - let mut _2: *mut i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - - bb0: { - _2 = &raw mut (*_1); // scope 0 at $DIR/references.rs:+5:13: +5:33 - Retag([raw] _2); // scope 0 at $DIR/references.rs:+6:13: +6:24 - _0 = &mut (*_2); // scope 0 at $DIR/references.rs:+7:13: +7:26 - Retag(_0); // scope 0 at $DIR/references.rs:+8:13: +8:23 - return; // scope 0 at $DIR/references.rs:+9:13: +9:21 - } -} diff --git a/src/test/mir-opt/building/custom/references.rs b/src/test/mir-opt/building/custom/references.rs deleted file mode 100644 index dee85722e..000000000 --- a/src/test/mir-opt/building/custom/references.rs +++ /dev/null @@ -1,43 +0,0 @@ -#![feature(custom_mir, core_intrinsics)] - -extern crate core; -use core::intrinsics::mir::*; -use core::ptr::{addr_of, addr_of_mut}; - -// EMIT_MIR references.mut_ref.built.after.mir -#[custom_mir(dialect = "runtime", phase = "optimized")] -pub fn mut_ref(x: &mut i32) -> &mut i32 { - mir!( - let t: *mut i32; - - { - t = addr_of_mut!(*x); - RetagRaw(t); - RET = &mut *t; - Retag(RET); - Return() - } - ) -} - -// EMIT_MIR references.immut_ref.built.after.mir -#[custom_mir(dialect = "runtime", phase = "optimized")] -pub fn immut_ref(x: &i32) -> &i32 { - mir!( - let t: *const i32; - - { - t = addr_of!(*x); - RetagRaw(t); - RET = & *t; - Retag(RET); - Return() - } - ) -} - -fn main() { - let mut x = 5; - assert_eq!(*mut_ref(&mut x), 5); - assert_eq!(*immut_ref(&x), 5); -} diff --git a/src/test/mir-opt/building/custom/simple_assign.rs b/src/test/mir-opt/building/custom/simple_assign.rs deleted file mode 100644 index ec6dbe1d0..000000000 --- a/src/test/mir-opt/building/custom/simple_assign.rs +++ /dev/null @@ -1,37 +0,0 @@ -#![feature(custom_mir, core_intrinsics)] - -extern crate core; -use core::intrinsics::mir::*; - -// EMIT_MIR simple_assign.simple.built.after.mir -#[custom_mir(dialect = "built")] -pub fn simple(x: i32) -> i32 { - mir!( - let temp1: i32; - let temp2: _; - - { - temp1 = x; - Goto(exit) - } - - exit = { - temp2 = Move(temp1); - RET = temp2; - Return() - } - ) -} - -// EMIT_MIR simple_assign.simple_ref.built.after.mir -#[custom_mir(dialect = "built")] -pub fn simple_ref(x: &mut i32) -> &mut i32 { - mir!({ - RET = Move(x); - Return() - }) -} - -fn main() { - assert_eq!(5, simple(5)); -} diff --git a/src/test/mir-opt/building/custom/simple_assign.simple.built.after.mir b/src/test/mir-opt/building/custom/simple_assign.simple.built.after.mir deleted file mode 100644 index d7560fde6..000000000 --- a/src/test/mir-opt/building/custom/simple_assign.simple.built.after.mir +++ /dev/null @@ -1,18 +0,0 @@ -// MIR for `simple` after built - -fn simple(_1: i32) -> i32 { - let mut _0: i32; // return place in scope 0 at $DIR/simple_assign.rs:+0:26: +0:29 - let mut _2: i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - let mut _3: i32; // in scope 0 at $SRC_DIR/core/src/intrinsics/mir.rs:LL:COL - - bb0: { - _2 = _1; // scope 0 at $DIR/simple_assign.rs:+6:13: +6:22 - goto -> bb1; // scope 0 at $DIR/simple_assign.rs:+7:13: +7:23 - } - - bb1: { - _3 = move _2; // scope 0 at $DIR/simple_assign.rs:+11:13: +11:32 - _0 = _3; // scope 0 at $DIR/simple_assign.rs:+12:13: +12:24 - return; // scope 0 at $DIR/simple_assign.rs:+13:13: +13:21 - } -} diff --git a/src/test/mir-opt/building/custom/simple_assign.simple_ref.built.after.mir b/src/test/mir-opt/building/custom/simple_assign.simple_ref.built.after.mir deleted file mode 100644 index 2b0e8f104..000000000 --- a/src/test/mir-opt/building/custom/simple_assign.simple_ref.built.after.mir +++ /dev/null @@ -1,10 +0,0 @@ -// MIR for `simple_ref` after built - -fn simple_ref(_1: &mut i32) -> &mut i32 { - let mut _0: &mut i32; // return place in scope 0 at $DIR/simple_assign.rs:+0:35: +0:43 - - bb0: { - _0 = move _1; // scope 0 at $DIR/simple_assign.rs:+2:9: +2:22 - return; // scope 0 at $DIR/simple_assign.rs:+3:9: +3:17 - } -} |