; RUN: llvm-as < %s | llvm-dis | grep bitcast
; RUN: verify-uselistorder %s

define i1 @main(i32 %X) {
  %res = bitcast i1 true to i1
  ret i1 %res
}