2012-12-10 19:32:48 -06:00
|
|
|
// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2013-05-24 21:35:29 -05:00
|
|
|
use std::libc;
|
|
|
|
use std::task;
|
|
|
|
|
2013-03-05 16:42:58 -06:00
|
|
|
mod rustrt {
|
2013-05-24 21:35:29 -05:00
|
|
|
use std::libc;
|
|
|
|
|
2013-11-16 04:02:07 -06:00
|
|
|
#[link(name = "rustrt")]
|
2013-07-18 21:08:57 -05:00
|
|
|
extern {
|
2013-08-21 08:27:48 -05:00
|
|
|
pub fn rust_dbg_call(cb: extern "C" fn(libc::uintptr_t) -> libc::uintptr_t,
|
|
|
|
data: libc::uintptr_t)
|
2013-05-15 16:10:42 -05:00
|
|
|
-> libc::uintptr_t;
|
2013-03-05 16:42:58 -06:00
|
|
|
}
|
2012-02-14 01:18:21 -06:00
|
|
|
}
|
|
|
|
|
2012-07-03 18:32:02 -05:00
|
|
|
extern fn cb(data: libc::uintptr_t) -> libc::uintptr_t {
|
2012-02-14 01:18:21 -06:00
|
|
|
if data == 1u {
|
|
|
|
data
|
|
|
|
} else {
|
|
|
|
count(data - 1u) + 1u
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
fn count(n: uint) -> uint {
|
2013-01-23 18:29:31 -06:00
|
|
|
unsafe {
|
2013-10-21 15:08:31 -05:00
|
|
|
info!("n = {}", n);
|
2013-01-23 18:29:31 -06:00
|
|
|
rustrt::rust_dbg_call(cb, n)
|
|
|
|
}
|
2012-02-14 01:18:21 -06:00
|
|
|
}
|
|
|
|
|
2013-02-01 21:43:17 -06:00
|
|
|
pub fn main() {
|
2012-02-14 01:18:21 -06:00
|
|
|
// Make sure we're on a task with small Rust stacks (main currently
|
|
|
|
// has a large stack)
|
2014-01-27 17:29:50 -06:00
|
|
|
task::spawn(proc() {
|
2012-02-14 01:18:21 -06:00
|
|
|
let result = count(1000u);
|
2013-10-21 15:08:31 -05:00
|
|
|
info!("result = {}", result);
|
2013-05-18 21:02:45 -05:00
|
|
|
assert_eq!(result, 1000u);
|
2014-01-27 17:29:50 -06:00
|
|
|
});
|
2013-01-23 18:29:31 -06:00
|
|
|
}
|