117 lines · plain
1; RUN: opt -S -passes=consthoist < %s | FileCheck %s2 3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-apple-macosx10.9.0"5 6; PR186267define ptr @test1(i1 %cmp, ptr %tmp) {8entry:9 call void @foo(ptr inttoptr (i64 68719476735 to ptr))10 br i1 %cmp, label %if.end, label %return11 12if.end: ; preds = %bb113 call void @foo(ptr inttoptr (i64 68719476736 to ptr))14 br label %return15 16return:17 %retval.0 = phi ptr [ null, %entry ], [ inttoptr (i64 68719476736 to ptr), %if.end ]18 store i64 1172321806, ptr %tmp19 ret ptr %retval.020 21; CHECK-LABEL: @test122; CHECK: if.end:23; CHECK: %2 = inttoptr i64 %const to ptr24; CHECK-NEXT: br25; CHECK: return:26; CHECK-NEXT: %retval.0 = phi ptr [ null, %entry ], [ %2, %if.end ]27}28 29define void @test2(i1 %cmp, ptr %tmp) {30entry:31 call void @foo(ptr inttoptr (i64 68719476736 to ptr))32 br i1 %cmp, label %if.end, label %return33 34if.end: ; preds = %bb135 call void @foo(ptr inttoptr (i64 68719476736 to ptr))36 br label %return37 38return:39 store ptr inttoptr (i64 68719476735 to ptr), ptr %tmp40 ret void41 42; CHECK-LABEL: @test243; CHECK: return:44; CHECK-NEXT: %const_mat = add i64 %const, -145; CHECK-NEXT: inttoptr i64 %const_mat to ptr46}47 48declare void @foo(ptr)49 50; PR1876851define i32 @test3(i1 %c) {52entry:53 br i1 %c, label %if.then, label %if.end354 55if.then: ; preds = %entry56 br label %if.end357 58if.end3: ; preds = %if.then, %entry59 %d.0 = phi ptr [ inttoptr (i64 985162435264511 to ptr), %entry ], [ null, %if.then ]60 %cmp4 = icmp eq ptr %d.0, inttoptr (i64 985162435264511 to ptr)61 %cmp6 = icmp eq ptr %d.0, inttoptr (i64 985162418487296 to ptr)62 %or = or i1 %cmp4, %cmp663 br i1 %or, label %if.then8, label %if.end964 65if.then8: ; preds = %if.end366 ret i32 167 68if.end9: ; preds = %if.then8, %if.end369 ret i32 undef70}71 72; <rdar://problem/16394449>73define i64 @switch_test1(i64 %a) {74; CHECK-LABEL: @switch_test175; CHECK: %0 = phi i64 [ %const, %case2 ], [ %const_mat, %Entry ], [ %const_mat, %Entry ]76Entry:77 %sel = add i64 %a, 451901944078 switch i64 %sel, label %fail [79 i64 462, label %continuation80 i64 449, label %case281 i64 443, label %continuation82 ]83 84case2:85 br label %continuation86 87continuation:88 %0 = phi i64 [ 4519019440, %case2 ], [ 4519019460, %Entry ], [ 4519019460, %Entry ]89 ret i64 0;90 91fail:92 ret i64 -1;93}94 95define i64 @switch_test2(i64 %a) {96; CHECK-LABEL: @switch_test297; CHECK: %2 = phi ptr [ %1, %case2 ], [ %0, %Entry ], [ %0, %Entry ]98Entry:99 %sel = add i64 %a, 4519019440100 switch i64 %sel, label %fail [101 i64 462, label %continuation102 i64 449, label %case2103 i64 443, label %continuation104 ]105 106case2:107 br label %continuation108 109continuation:110 %0 = phi ptr [ inttoptr(i64 4519019440 to ptr), %case2 ], [ inttoptr(i64 4519019460 to ptr), %Entry ], [ inttoptr(i64 4519019460 to ptr), %Entry ]111 ret i64 0;112 113fail:114 ret i64 -1;115}116 117