1; Ensure constant propagation of logical instructions is working correctly. 2 3; RUN: opt < %s -constprop -die -S | FileCheck %s 4; CHECK-NOT: {{and|or|xor}} 5 6define i32 @test1() { 7 %R = and i32 4, 1234 ; <i32> [#uses=1] 8 ret i32 %R 9} 10 11define i1 @test1.upgrd.1() { 12 %R = and i1 true, false ; <i1> [#uses=1] 13 ret i1 %R 14} 15 16define i32 @test2() { 17 %R = or i32 4, 1234 ; <i32> [#uses=1] 18 ret i32 %R 19} 20 21define i1 @test2.upgrd.2() { 22 %R = or i1 true, false ; <i1> [#uses=1] 23 ret i1 %R 24} 25 26define i32 @test3() { 27 %R = xor i32 4, 1234 ; <i32> [#uses=1] 28 ret i32 %R 29} 30 31define i1 @test3.upgrd.3() { 32 %R = xor i1 true, false ; <i1> [#uses=1] 33 ret i1 %R 34} 35 36