1; This file contains various testcases that check to see that instcombine 2; is narrowing computations when possible. 3; RUN: opt < %s -instcombine -S | \ 4; RUN: grep "ret i1 false" 5 6; test1 - Eliminating the casts in this testcase (by narrowing the AND 7; operation) allows instcombine to realize the function always returns false. 8; 9define i1 @test1(i32 %A, i32 %B) { 10 %C1 = icmp slt i32 %A, %B ; <i1> [#uses=1] 11 %ELIM1 = zext i1 %C1 to i32 ; <i32> [#uses=1] 12 %C2 = icmp sgt i32 %A, %B ; <i1> [#uses=1] 13 %ELIM2 = zext i1 %C2 to i32 ; <i32> [#uses=1] 14 %C3 = and i32 %ELIM1, %ELIM2 ; <i32> [#uses=1] 15 %ELIM3 = trunc i32 %C3 to i1 ; <i1> [#uses=1] 16 ret i1 %ELIM3 17} 18 19