44 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S -passes=newgvn %s | FileCheck %s3 4@d = external global i325@e = external global i326define void @tinkywinky() {7; CHECK-LABEL: define void @tinkywinky() {8; CHECK-NEXT: br i1 true, label [[LOR_LHS_FALSE:%.*]], label [[COND_TRUE:%.*]]9; CHECK: lor.lhs.false:10; CHECK-NEXT: [[TMP:%.*]] = load i32, ptr @d, align 411; CHECK-NEXT: [[PATATINO:%.*]] = load i32, ptr null, align 412; CHECK-NEXT: [[OR:%.*]] = or i32 [[TMP]], [[PATATINO]]13; CHECK-NEXT: store i32 [[OR]], ptr @d, align 414; CHECK-NEXT: br label [[COND_TRUE]]15; CHECK: cond.true:16; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr @e, align 417; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr @d, align 418; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[TMP1]], [[TMP2]]19; CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE6:%.*]], label [[COND_FALSE:%.*]]20; CHECK: cond.true6:21; CHECK-NEXT: [[CMP7:%.*]] = icmp slt i32 [[TMP1]], 022; CHECK-NEXT: br i1 [[CMP7]], label [[COND_FALSE]], label [[COND_FALSE]]23; CHECK: cond.false:24; CHECK-NEXT: ret void25;26 br i1 true, label %lor.lhs.false, label %cond.true27lor.lhs.false:28 %tmp = load i32, ptr @d, align 429 %patatino = load i32, ptr null, align 430 %or = or i32 %tmp, %patatino31 store i32 %or, ptr @d, align 432 br label %cond.true33cond.true:34 %tmp1 = load i32, ptr @e, align 435 %tmp2 = load i32, ptr @d, align 436 %cmp = icmp eq i32 %tmp1, %tmp237 br i1 %cmp, label %cond.true6, label %cond.false38cond.true6:39 %cmp7 = icmp slt i32 %tmp1, 040 br i1 %cmp7, label %cond.false, label %cond.false41cond.false:42 ret void43}44