65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=newgvn -S < %s | FileCheck %s3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7define dso_local void @print_long_format(i32 %arg, i1 %arg2) #0 {8; CHECK-LABEL: define dso_local void @print_long_format(9; CHECK-SAME: i32 [[ARG:%.*]], i1 [[ARG2:%.*]]) #[[ATTR0:[0-9]+]] {10; CHECK-NEXT: entry:11; CHECK-NEXT: switch i32 [[ARG]], label [[SW_DEFAULT:%.*]] [12; CHECK-NEXT: i32 1, label [[SW_BB:%.*]]13; CHECK-NEXT: i32 0, label [[SW_BB19:%.*]]14; CHECK-NEXT: i32 2, label [[SW_BB23:%.*]]15; CHECK-NEXT: ]16; CHECK: sw.bb:17; CHECK-NEXT: unreachable18; CHECK: sw.bb19:19; CHECK-NEXT: br i1 [[ARG2]], label [[IF_THEN37:%.*]], label [[IF_END50:%.*]]20; CHECK: sw.bb23:21; CHECK-NEXT: unreachable22; CHECK: sw.default:23; CHECK-NEXT: unreachable24; CHECK: if.then37:25; CHECK-NEXT: unreachable26; CHECK: if.end50:27; CHECK-NEXT: [[CALL180:%.*]] = call i32 @timespec_cmp() #[[ATTR2:[0-9]+]]28; CHECK-NEXT: ret void29;30entry:31 switch i32 %arg, label %sw.default [32 i32 1, label %sw.bb33 i32 0, label %sw.bb1934 i32 2, label %sw.bb2335 ]36 37sw.bb: ; preds = %entry38 unreachable39 40sw.bb19: ; preds = %entry41 br i1 %arg2, label %if.then37, label %if.end5042 43sw.bb23: ; preds = %entry44 unreachable45 46sw.default: ; preds = %entry47 unreachable48 49if.then37: ; preds = %sw.bb1950 unreachable51 52if.end50: ; preds = %sw.bb1953 %call180 = call i32 @timespec_cmp() #254 %cmp181 = icmp slt i32 %call180, 055 ret void56}57 58; Function Attrs: writeonly59declare dso_local i32 @timespec_cmp() #160 61attributes #0 = { "use-soft-float"="false" }62attributes #1 = { writeonly }63attributes #2 = { nounwind readonly }64 65