view graal/com.oracle.truffle.sl.test/tests/ControlFlow.sl @ 21038:6868faf48f02

Conditional Elimination: tryProofCondition: return true if ShortCircuitOrNode could be proven
author Gilles Duboscq <gilles.m.duboscq@oracle.com>
date Sat, 18 Apr 2015 19:56:22 +0200
parents ff3136ecb5a7
children
line wrap: on
line source

function foo() {}
function bar() {}

function main() {  
  foo();
  if (1 < 2) {
    bar();
    return 1;
  }
}