31 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=jump-threading -verify-each -mtriple=x86_64-- < %s | FileCheck %s3 4define void @foo() {5; CHECK-LABEL: @foo(6; CHECK-NEXT: B:7; CHECK-NEXT: [[Z:%.*]] = add i32 undef, 18; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[Z]], 09; CHECK-NEXT: br i1 [[CMP]], label [[EXIT:%.*]], label [[B_THREAD:%.*]]10; CHECK: B.thread:11; CHECK-NEXT: br label [[EXIT]]12; CHECK: exit:13; CHECK-NEXT: ret void14;15entry:16 br i1 false, label %A, label %B17 18A:19 %x = phi i32 [ undef, %entry ], [ %z, %B ]20 br label %B21 22B:23 %y = phi i32 [ undef, %entry ], [ %x, %A ]24 %z = add i32 %y, 125 %cmp = icmp ne i32 %z, 026 br i1 %cmp, label %exit, label %A27 28exit:29 ret void30}31