Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 


Quelle  recover-int64tobigint.js   Sprache: JAVA

 
// |jit-test| --ion-limit-script-size=off

setJitCompilerOption("baseline.warmup.trigger", 9);
setJitCompilerOption("ion.warmup.trigger", 20);

// Prevent GC from cancelling/discarding Ion compilations.
gczeal(0);

var max = 200;

// Check that we are able to remove the operation inside recover test functions
// (denoted by "rop..."), when we inline the first version of uceFault, and
// ensure that the bailout is correct when uceFault is replaced (which cause an
// invalidation bailout).

var uceFault = function (i) {
  if (i > 98) {
    uceFault = function (i) { return true; };
  }
  return false;
};

let i64 = new BigInt64Array(100);

for (let i = 0; i < i64.length; ++i) {
  i64[i] = 0x8000_0000_0000_0000n + BigInt(i);
}

let u64 = new BigUint64Array(i64.length);
u64.set(i64);

let dv = new DataView(i64.buffer);

let uceFault_rint64tobigint_i64_load = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_i64_load'));
function rint64tobigint_i64_load(i) {
  var y = i64[i];
  if (uceFault_rint64tobigint_i64_load(i) || uceFault_rint64tobigint_i64_load(i))
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_load = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_u64_load'));
function rint64tobigint_u64_load(i) {
  var y = u64[i];
  if (uceFault_rint64tobigint_u64_load(i) || uceFault_rint64tobigint_u64_load(i))
    assertEq(y, 0x8000_0000_0000_0063n);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_dataview = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_i64_dataview'));
function rint64tobigint_i64_dataview(i) {
  var y = dv.getBigInt64(i * 8, true);
  if (uceFault_rint64tobigint_i64_dataview(i) || uceFault_rint64tobigint_i64_dataview(i))
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_dataview = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_u64_dataview'));
function rint64tobigint_u64_dataview(i) {
  var y = dv.getBigUint64(i * 8, true);
  if (uceFault_rint64tobigint_u64_dataview(i) || uceFault_rint64tobigint_u64_dataview(i))
    assertEq(y, 0x8000_0000_0000_0063n);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_atomics_load = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_i64_atomics_load'));
function rint64tobigint_i64_atomics_load(i) {
  var y = Atomics.load(i64, i);
  if (uceFault_rint64tobigint_i64_atomics_load(i) || uceFault_rint64tobigint_i64_atomics_load(i))
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_atomics_load = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_u64_atomics_load'));
function rint64tobigint_u64_atomics_load(i) {
  var y = Atomics.load(u64, i);
  if (uceFault_rint64tobigint_u64_atomics_load(i) || uceFault_rint64tobigint_u64_atomics_load(i))
    assertEq(y, 0x8000_0000_0000_0063n);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_atomics_and = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_i64_atomics_and'));
function rint64tobigint_i64_atomics_and(i) {
  var y = Atomics.and(i64, i, -1n);
  if (uceFault_rint64tobigint_i64_atomics_and(i) || uceFault_rint64tobigint_i64_atomics_and(i))
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_atomics_and = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_u64_atomics_and'));
function rint64tobigint_u64_atomics_and(i) {
  var y = Atomics.and(u64, i, -1n);
  if (uceFault_rint64tobigint_u64_atomics_and(i) || uceFault_rint64tobigint_u64_atomics_and(i))
    assertEq(y, 0x8000_0000_0000_0063n);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_atomics_cmpxchg = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_i64_atomics_cmpxchg'));
function rint64tobigint_i64_atomics_cmpxchg(i) {
  var y = Atomics.compareExchange(i64, i, -1n, 0n);
  if (uceFault_rint64tobigint_i64_atomics_cmpxchg(i) || uceFault_rint64tobigint_i64_atomics_cmpxchg(i))
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_atomics_cmpxchg = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_u64_atomics_cmpxchg'));
function rint64tobigint_u64_atomics_cmpxchg(i) {
  var y = Atomics.compareExchange(u64, i, -1n, 0n);
  if (uceFault_rint64tobigint_u64_atomics_cmpxchg(i) || uceFault_rint64tobigint_u64_atomics_cmpxchg(i))
    assertEq(y, 0x8000_0000_0000_0063n);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_i64_atomics_xchg = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_i64_atomics_xchg'));
function rint64tobigint_i64_atomics_xchg(i) {
  var y = Atomics.exchange(i64, i, -1n);
  if (uceFault_rint64tobigint_i64_atomics_xchg(i) || uceFault_rint64tobigint_i64_atomics_xchg(i))
    assertEq(y, -0x7fff_ffff_ffff_ff9dn);
  assertRecoveredOnBailout(y, true);
  return i;
}

let uceFault_rint64tobigint_u64_atomics_xchg = eval(`(${uceFault})`.replace('uceFault''uceFault_rint64tobigint_u64_atomics_xchg'));
function rint64tobigint_u64_atomics_xchg(i) {
  var y = Atomics.exchange(u64, i, -1n);
  if (uceFault_rint64tobigint_u64_atomics_xchg(i) || uceFault_rint64tobigint_u64_atomics_xchg(i))
    assertEq(y, 0x8000_0000_0000_0063n);
  assertRecoveredOnBailout(y, true);
  return i;
}

for (let j = 100 - max; j < 100; j++) {
  with({}){} // Do not Ion-compile this loop.
  let i = j < 2 ? (Math.abs(j) % 50) + 2 : j;

  rint64tobigint_i64_load(i);
  rint64tobigint_u64_load(i);
  rint64tobigint_i64_dataview(i);
  rint64tobigint_u64_dataview(i);
  rint64tobigint_i64_atomics_load(i);
  rint64tobigint_u64_atomics_load(i);
  rint64tobigint_i64_atomics_and(i);
  rint64tobigint_u64_atomics_and(i);
  rint64tobigint_i64_atomics_cmpxchg(i);
  rint64tobigint_u64_atomics_cmpxchg(i);
  rint64tobigint_i64_atomics_xchg(i);
  rint64tobigint_u64_atomics_xchg(i);
}

Messung V0.5
C=94 H=94 G=93

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

Software

     Produkte
     Quellcodebibliothek

Aktivitäten

     Artikel über Sicherheit
     Anleitung zur Aktivierung von SSL

Muße

     Gedichte
     Musik
     Bilder

Jenseits des Üblichen ....
    

Besucherstatistik

Besucherstatistik

Monitoring

Montastic status badge