29 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes=gvn -S < %s | FileCheck %s3 4define void @test(ptr %p, i64 %v) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: ptr [[P:%.*]], i64 [[V:%.*]]) {7; CHECK-NEXT: [[ENTRY:.*:]]8; CHECK-NEXT: [[TR:%.*]] = trunc nuw i64 [[V]] to i19; CHECK-NEXT: br i1 [[TR]], label %[[RET:.*]], label %[[STORE:.*]]10; CHECK: [[STORE]]:11; CHECK-NEXT: store i64 0, ptr [[P]], align 412; CHECK-NEXT: ret void13; CHECK: [[RET]]:14; CHECK-NEXT: store i64 1, ptr [[P]], align 415; CHECK-NEXT: ret void16;17entry:18 %tr = trunc nuw i64 %v to i119 br i1 %tr, label %ret, label %store20 21store:22 store i64 %v, ptr %p23 ret void24 25ret:26 store i64 %v, ptr %p27 ret void28}29