91 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -S -passes=gvn < %s | FileCheck %s3 4; PR136945 6target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"7 8declare noalias ptr @malloc(i64) nounwind allockind("alloc,uninitialized") allocsize(0)9 10define noalias ptr @test1() nounwind uwtable ssp {11; CHECK-LABEL: define noalias ptr @test1(12; CHECK-SAME: ) #[[ATTR1:[0-9]+]] {13; CHECK-NEXT: [[ENTRY:.*:]]14; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @malloc(i64 100) #[[ATTR2:[0-9]+]]15; CHECK-NEXT: br i1 undef, label %[[IF_END:.*]], label %[[IF_THEN:.*]]16; CHECK: [[IF_THEN]]:17; CHECK-NEXT: store i8 0, ptr [[CALL]], align 118; CHECK-NEXT: br label %[[IF_END]]19; CHECK: [[IF_END]]:20; CHECK-NEXT: ret ptr [[CALL]]21;22entry:23 %call = tail call ptr @malloc(i64 100) nounwind24 %0 = load i8, ptr %call, align 125 %tobool = icmp eq i8 %0, 026 br i1 %tobool, label %if.end, label %if.then27 28if.then: ; preds = %entry29 store i8 0, ptr %call, align 130 br label %if.end31 32if.end: ; preds = %if.then, %entry33 ret ptr %call34}35 36declare noalias ptr @_Znwm(i64) nounwind37 38define noalias ptr @test2() nounwind uwtable ssp {39; CHECK-LABEL: define noalias ptr @test2(40; CHECK-SAME: ) #[[ATTR1]] {41; CHECK-NEXT: [[ENTRY:.*:]]42; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @_Znwm(i64 100) #[[ATTR2]]43; CHECK-NEXT: br i1 undef, label %[[IF_END:.*]], label %[[IF_THEN:.*]]44; CHECK: [[IF_THEN]]:45; CHECK-NEXT: store i8 0, ptr [[CALL]], align 146; CHECK-NEXT: br label %[[IF_END]]47; CHECK: [[IF_END]]:48; CHECK-NEXT: ret ptr [[CALL]]49;50entry:51 %call = tail call ptr @_Znwm(i64 100) nounwind52 %0 = load i8, ptr %call, align 153 %tobool = icmp eq i8 %0, 054 br i1 %tobool, label %if.end, label %if.then55 56if.then: ; preds = %entry57 store i8 0, ptr %call, align 158 br label %if.end59 60if.end: ; preds = %if.then, %entry61 ret ptr %call62}63 64declare noalias ptr @aligned_alloc(i64 allocalign, i64) nounwind allockind("alloc,uninitialized,aligned") allocsize(1)65 66define noalias ptr @test3() nounwind uwtable ssp {67; CHECK-LABEL: define noalias ptr @test3(68; CHECK-SAME: ) #[[ATTR1]] {69; CHECK-NEXT: [[ENTRY:.*:]]70; CHECK-NEXT: [[CALL:%.*]] = tail call ptr @aligned_alloc(i64 256, i64 32) #[[ATTR2]]71; CHECK-NEXT: br i1 undef, label %[[IF_END:.*]], label %[[IF_THEN:.*]]72; CHECK: [[IF_THEN]]:73; CHECK-NEXT: store i8 0, ptr [[CALL]], align 174; CHECK-NEXT: br label %[[IF_END]]75; CHECK: [[IF_END]]:76; CHECK-NEXT: ret ptr [[CALL]]77;78entry:79 %call = tail call ptr @aligned_alloc(i64 256, i64 32) nounwind80 %0 = load i8, ptr %call, align 3281 %tobool = icmp eq i8 %0, 082 br i1 %tobool, label %if.end, label %if.then83 84if.then: ; preds = %entry85 store i8 0, ptr %call, align 186 br label %if.end87 88if.end: ; preds = %if.then, %entry89 ret ptr %call90}91