Test Failure: Transforms/FunctionImport/funcimport.ll

Test source: git

Log:

Source: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll
-- 1. FunctionImportPass
-- 2. FunctionImportPass

----------------------------------------
declare void @weakalias()
declare void @analias()
declare void @linkoncealias()
declare i32 @referencestatics()
declare i32 @referenceglobals()
declare i32 @referencecommon()
declare void @setfuncptr()
declare void @callfuncptr()
declare void @weakfunc()
declare void @linkoncefunc2()
declare void @referencelargelinkonce()
declare void @variadic_no_va_start()
declare void @variadic_va_start()

define i32 @main() {
entry:
  call void @weakalias()
  call void @analias()
  call void @linkoncealias()
  %call = call i32 @referencestatics()
  %call1 = call i32 @referenceglobals()
  %call2 = call i32 @referencecommon()
  call void @setfuncptr()
  call void @callfuncptr()
  call void @weakfunc()
  call void @linkoncefunc2()
  call void @referencelargelinkonce()
  call void @variadic_no_va_start()
  call void @variadic_va_start()
  ret i32 0
}
=>
declare void @weakalias()
declare void @analias()
declare void @linkoncealias()
declare void @setfuncptr()
declare void @callfuncptr()
declare void @weakfunc()
declare void @linkoncefunc2()
declare void @referencelargelinkonce()
declare void @variadic_no_va_start()
declare void @variadic_va_start()

analias = constant ? bytes, align 8
linkoncealias = constant ? bytes, align 8
setfuncptr = constant ? bytes, align 8
callfuncptr = constant ? bytes, align 8
referencelargelinkonce = constant ? bytes, align 8

define i32 @main() {
entry:
  call void @weakalias()
  call void analias()
  call void linkoncealias()
  assume i1 0
  assume i1 0
  assume i1 0
  call void setfuncptr()
  call void callfuncptr()
  call void @weakfunc()
  call void @linkoncefunc2()
  call void referencelargelinkonce()
  call void @variadic_no_va_start()
  call void @variadic_va_start()
  ret i32 0
}
Transformation doesn't verify! (unsound)
ERROR: Source is more defined than target

Example:

Source:
Function @weakalias returned
Function @analias returned
Function @linkoncealias returned
i32 %call = function did not return!

SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >	size: 0	align: 1	alloc type: 0	alive: false	address: 0
Block 1 >	size: 8	align: 8	alloc type: 0	alive: true	address: 144	const
Block 2 >	size: 8	align: 8	alloc type: 0	alive: true	address: 80	const
Block 3 >	size: 9	align: 8	alloc type: 0	alive: true	address: 8	const
Block 4 >	size: 9	align: 8	alloc type: 0	alive: true	address: 32	const
Block 5 >	size: 9	align: 8	alloc type: 0	alive: true	address: 64	const
Block 6 >	size: 1	align: 1	alloc type: 0	alive: true	address: 0

Target:
Function @weakalias returned
Function  returned
Function  returned
void = UB triggered!


Pass: FunctionImportPass
Command line: '/home/nlopes/llvm/build/bin/opt' '-load=/home/nlopes/alive2/build/tv/tv.so' '-load-pass-plugin=/home/nlopes/alive2/build/tv/tv.so' '-tv-exit-on-error' '-passes=function-import' '-stats' '-print-imports' '-enable-import-metadata' '-summary-file' '/bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp3.thinlto.bc' '/bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp.bc' '-S' '-tv-smt-to=20000' '-tv-report-dir=/home/nlopes/alive2/build/logs' '-tv-smt-stats'
Wrote bitcode to: "/home/nlopes/alive2/build/logs/funcimport_Foh2KHOJ_jkGx.bc"


------------------- SMT STATS -------------------
Num queries: 39
Num invalid: 0
Num skips:   0
Num trivial: 0 (0.0%)
Num timeout: 0 (0.0%)
Num errors:  0 (0.0%)
Num SAT:     27 (69.2%)
Num UNSAT:   12 (30.8%)
Alive2: Transform doesn't verify; aborting!

stderr:

RUN: at line 4: /home/nlopes/alive2/build/opt-alive.sh -module-summary /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll -o /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp.bc
+ /home/nlopes/alive2/build/opt-alive.sh -module-summary /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll -o /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp.bc
RUN: at line 5: /home/nlopes/alive2/build/opt-alive.sh -module-summary /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll -o /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp2.bc
+ /home/nlopes/alive2/build/opt-alive.sh -module-summary /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll -o /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp2.bc
RUN: at line 6: /bitbucket/nlopes/llvm/build/bin/llvm-lto -thinlto -print-summary-global-ids -o /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp3 /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp.bc /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp2.bc 2>&1 | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll --check-prefix=GUID
+ /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll --check-prefix=GUID
+ /bitbucket/nlopes/llvm/build/bin/llvm-lto -thinlto -print-summary-global-ids -o /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp3 /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp.bc /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp2.bc
RUN: at line 9: /home/nlopes/alive2/build/opt-alive.sh -passes=function-import -stats -print-imports -enable-import-metadata -summary-file /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp3.thinlto.bc /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp.bc -S 2>&1 | /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll --check-prefix=CHECK --check-prefix=INSTLIMDEF
+ /home/nlopes/alive2/build/opt-alive.sh -passes=function-import -stats -print-imports -enable-import-metadata -summary-file /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp3.thinlto.bc /bitbucket/nlopes/llvm/build/test/Transforms/FunctionImport/Output/funcimport.ll.tmp.bc -S
+ /bitbucket/nlopes/llvm/build/bin/FileCheck /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll --check-prefix=CHECK --check-prefix=INSTLIMDEF
/bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll:47:14: error: CHECK-DAG: expected string not found in input
; CHECK-DAG: declare void @weakalias
             ^
<stdin>:1:1: note: scanning from here
/bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import globalfunc1 from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll
^
<stdin>:18:66: note: possible intended match here
/bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import analias from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll
                                                                 ^

Input file: <stdin>
Check file: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll

-dump-input=help explains the following input dump.

Input was:
<<<<<<
          1: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import globalfunc1 from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
          2: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import globalfunc2 from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          3: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import referencestatics from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          4: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import referenceglobals from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          5: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import referencecommon from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          6: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import setfuncptr from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
          .
          .
          .
         13: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import variadic_va_start from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         14: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import globalvar from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         15: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import staticvar.llvm.0 from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         16: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import staticconstvar.llvm.0 from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         17: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import P.llvm.0 from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         18: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import analias from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
dag:47'1                                                                      ?                                                                                                             possible intended match
         19: /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/funcimport.ll: Import linkoncealias from /bitbucket/nlopes/llvm/llvm/test/Transforms/FunctionImport/Inputs/funcimport.ll 
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
         20:  
dag:47'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
>>>>>>

<-- Back