74 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt -passes=newgvn -S < %s | FileCheck %s3 4@c = global i32 0, align 45 6; Function Attrs: nounwind optsize uwtable7define i32 @main(i1 %cond1, i32 %arg0, i32 %arg1) {8; CHECK-LABEL: define i32 @main(9; CHECK-SAME: i1 [[COND1:%.*]], i32 [[ARG0:%.*]], i32 [[ARG1:%.*]]) {10; CHECK-NEXT: entry:11; CHECK-NEXT: br i1 [[COND1]], label [[BB1:%.*]], label [[BB3:%.*]]12; CHECK: bb1:13; CHECK-NEXT: [[XOR1:%.*]] = xor i32 [[ARG0]], 114; CHECK-NEXT: [[COND2:%.*]] = icmp eq i32 [[ARG1]], 015; CHECK-NEXT: br i1 [[COND2]], label [[BB3]], label [[BB2:%.*]]16; CHECK: bb2:17; CHECK-NEXT: [[COND3:%.*]] = icmp ne i32 [[XOR1]], 018; CHECK-NEXT: tail call void @llvm.assume(i1 [[COND3]])19; CHECK-NEXT: br label [[BB3]]20; CHECK: bb3:21; CHECK-NEXT: [[PHI:%.*]] = phi i32 [ undef, [[ENTRY:%.*]] ], [ [[XOR1]], [[BB1]] ], [ [[XOR1]], [[BB2]] ]22; CHECK-NEXT: [[XOR2:%.*]] = xor i32 [[PHI]], -123; CHECK-NEXT: [[LD:%.*]] = load i32, ptr @c, align 424; CHECK-NEXT: [[OR:%.*]] = or i32 [[LD]], [[XOR2]]25; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[OR]], 026; CHECK-NEXT: [[CMP2:%.*]] = icmp eq i32 [[PHI]], 027; CHECK-NEXT: [[COND4:%.*]] = or i1 [[CMP1]], [[CMP2]]28; CHECK-NEXT: br i1 [[COND4]], label [[EXIT1:%.*]], label [[EXIT2:%.*]]29; CHECK: exit1:30; CHECK-NEXT: ret i32 031; CHECK: exit2:32; CHECK-NEXT: ret i32 133;34entry:35; entry36; / |37; bb1 |38; / | |39; bb2 | |40; \| |41; bb342; / \43; exit1 exit244 br i1 %cond1, label %bb1, label %bb345 46bb1: ; preds = %entry47 %xor1 = xor i32 %arg0, 148 %cond2 = icmp eq i32 %arg1, 049 br i1 %cond2, label %bb3, label %bb250 51bb2: ; preds = %bb152 %cond3 = icmp ne i32 %xor1, 053 tail call void @llvm.assume(i1 %cond3)54 br label %bb355 56bb3: ; preds = %bb2, %bb1, %entry57 %phi = phi i32 [ undef, %entry ], [ %xor1, %bb1 ], [ %xor1, %bb2 ]58 %xor2 = xor i32 %phi, -159 %ld = load i32, ptr @c, align 460 %or = or i32 %ld, %xor261 %cmp1 = icmp eq i32 %or, 062 %cmp2 = icmp eq i32 %phi, 063 %cond4 = or i1 %cmp1, %cmp264 br i1 %cond4, label %exit1, label %exit265 66exit1: ; preds = %bb367 ret i32 068 69exit2: ; preds = %bb370 ret i32 171}72 73declare void @llvm.assume(i1 noundef)74