| ; RUN: llvm-as < %s | opt -globalopt -instcombine | llvm-dis | grep 'ret bool 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 | |
| } |