1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -sccp -S | FileCheck %s 3 4@A = constant i32 10 5 6define i712 @test1() { 7; CHECK-LABEL: @test1( 8; CHECK-NEXT: [[BB:%.*]] = and i64 ptrtoint (i32* @A to i64), undef 9; CHECK-NEXT: [[C:%.*]] = icmp sge i64 [[BB]], 0 10; CHECK-NEXT: [[X:%.*]] = select i1 [[C]], i712 0, i712 1 11; CHECK-NEXT: ret i712 [[X]] 12; 13 %P = getelementptr i32, i32* @A, i32 0 14 %B = ptrtoint i32* %P to i64 15 %BB = and i64 %B, undef 16 %C = icmp sge i64 %BB, 0 17 %X = select i1 %C, i712 0, i712 1 18 ret i712 %X 19} 20 21 22 23define i712 @test2(i1 %C) { 24; CHECK-LABEL: @test2( 25; CHECK-NEXT: ret i712 0 26; 27 %X = select i1 %C, i712 0, i712 undef 28 ret i712 %X 29} 30