ARMv7-M: infinite recursion with __divmoddi4 / __mulodi4

[japaric]

STR

let x: i64 = 6940082214040621058;
let y: i64 = 2305846955181360688;

let z = x % y;
// or
let z = sdiv::__divmoddi4(x, y, &mut 0);

with the target: thumbv7m-none-eabi.

The above program works fine (it terminates) with the x86_64-unknown-linux-gnu target.

Meta

$ rustc -V
rustc 1.17.0-nightly (b1e31766d 2017-03-03)

[japaric]

Actually, the problem seems to be mulodi4 (divmoddi4 calls mulodi4). This recurses infinitely:

let r: i64 = 3;
let b: i64 = 2305846955181360688;

let x = r * b;
// or
let x = mul::__mulodi4(r, b, &mut 0);