Test Failure: Transforms/SimplifyCFG/speculate-call.ll

Test source: git

Comments: Alive2 missing support for speculatable attribute

Log:


stderr:

RUN: at line 1: /home/nlopes/alive2/build/opt-alive.sh -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 < /bitbucket/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/speculate-call.ll | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/speculate-call.ll
+ /home/nlopes/alive2/build/opt-alive.sh -S -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1
+ /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/speculate-call.ll

FileCheck error: '<stdin>' is empty.
FileCheck command line:  /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/SimplifyCFG/speculate-call.ll

 

<-- Back