1; RUN: opt < %s -S -passes=globalopt,instcombine | FileCheck %s 2;; check that global opt turns integers that only hold 0 or 1 into bools. 3 4@G = internal addrspace(1) global i32 0 5; CHECK: @G 6; CHECK: addrspace(1) 7; CHECK: global i1 false 8 9define void @set1() { 10 store i32 0, ptr addrspace(1) @G 11; CHECK: store i1 false 12 ret void 13} 14 15define void @set2() { 16 store i32 1, ptr addrspace(1) @G 17; CHECK: store i1 true 18 ret void 19} 20 21define i1 @get() { 22; CHECK-LABEL: @get( 23 %A = load i32, ptr addrspace(1) @G 24 %C = icmp slt i32 %A, 2 25 ret i1 %C 26; CHECK: ret i1 true 27} 28 29