32 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=instcombine -S %s | FileCheck %s3 4@A = extern_weak global i32, align 45@B = extern_weak global i32, align 46 7define i32 @foo(i1 %which, ptr %dst) {8; CHECK-LABEL: @foo(9; CHECK-NEXT: entry:10; CHECK-NEXT: br i1 true, label [[FINAL:%.*]], label [[DELAY:%.*]]11; CHECK: delay:12; CHECK-NEXT: br label [[FINAL]]13; CHECK: final:14; CHECK-NEXT: store i1 false, ptr [[DST:%.*]], align 115; CHECK-NEXT: ret i32 116;17entry:18 br i1 true, label %final, label %delay19 20delay: ; preds = %entry21 %cmp = icmp eq ptr @A, @B22 br label %final23 24final: ; preds = %delay, %entry25 %use2 = phi i1 [ false, %entry ], [ %cmp, %delay ]26 %value = select i1 %use2, i32 2, i32 127 %B7 = mul i32 %value, 214748364728 %C3 = icmp ule i32 %B7, 029 store i1 %C3, ptr %dst30 ret i32 %value31}32