| ; RUN: llvm-upgrade < %s | llvm-as | opt -globalopt -instcombine | \ | |
| ; RUN: llvm-dis | grep {ret i1 true} | |
| ;; check that global opt turns integers that only hold 0 or 1 into bools. | |
| %G = internal global int 0 ;; This only holds 0 or 1. | |
| implementation | |
| void %set1() { | |
| store int 0, int* %G | |
| ret void | |
| } | |
| void %set2() { | |
| store int 1, int* %G | |
| ret void | |
| } | |
| bool %get() { | |
| %A = load int* %G | |
| %C = setlt int %A, 2 ;; always true | |
| ret bool %C | |
| } |