32 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=newgvn -S %s | FileCheck %s3 4declare void @foo(i32)5 6define void @main(i1 %c1, i1 %c2, i32 %x) {7; CHECK-LABEL: @main(8; CHECK-NEXT: entry:9; CHECK-NEXT: br i1 [[C1:%.*]], label [[L:%.*]], label [[END:%.*]]10; CHECK: L:11; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[X:%.*]], -112; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[XOR]], -113; CHECK-NEXT: call void @foo(i32 [[NEG]])14; CHECK-NEXT: br label [[L]]15; CHECK: end:16; CHECK-NEXT: ret void17;18entry:19 br i1 %c1, label %L, label %end20 21L:22 %d.1 = phi i8 [ undef, %entry ], [ -1, %L ]23 %conv = sext i8 %d.1 to i3224 %xor = xor i32 %x, %conv25 %neg = xor i32 %xor, -126 call void @foo(i32 %neg)27 br label %L28 29end:30 ret void31}32