1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=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 (ptr @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 %B = ptrtoint ptr @A to i64 14 %BB = and i64 %B, undef 15 %C = icmp sge i64 %BB, 0 16 %X = select i1 %C, i712 0, i712 1 17 ret i712 %X 18} 19 20 21 22define i712 @test2(i1 %C) { 23; CHECK-LABEL: @test2( 24; CHECK-NEXT: ret i712 0 25; 26 %X = select i1 %C, i712 0, i712 undef 27 ret i712 %X 28} 29