1; RUN: llvm-as < %s | llvm-dis | FileCheck %s2; RUN: verify-uselistorder %s3 4; CHECK: bitcast5define i1 @main(i32 %X) {6 %res = bitcast i1 true to i17 ret i1 %res8}9