1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -S -passes=normalize < %s | FileCheck %s 3 4define double @foo(double %a0, double %a1) { 5; CHECK-LABEL: define double @foo( 6; CHECK-SAME: double [[A0:%.*]], double [[A1:%.*]]) { 7; CHECK-NEXT: [[BB17254:.*:]] 8; CHECK-NEXT: %"vl93562([[A0]], 2.000000e+00)" = fmul double [[A0]], 2.000000e+00 9; CHECK-NEXT: %"op95858(vl93562)" = fmul double 6.000000e+00, %"vl93562([[A0]], 2.000000e+00)" 10; CHECK-NEXT: [[A:%.*]] = fmul double [[A0]], [[A1]] 11; CHECK-NEXT: [[C:%.*]] = fmul double 6.000000e+00, [[A]] 12; CHECK-NEXT: ret double %"op95858(vl93562)" 13; 14entry: 15 %a = fmul double %a0, %a1 16 %b = fmul double %a0, 2.000000e+00 17 %c = fmul double %a, 6.000000e+00 18 %d = fmul double %b, 6.000000e+00 19 ret double %d 20} 21 22declare double @bir() 23 24declare double @bar() 25 26define double @baz(double %x) { 27; CHECK-LABEL: define double @baz( 28; CHECK-SAME: double [[A0:%.*]]) { 29; CHECK-NEXT: [[BB76951:.*:]] 30; CHECK-NEXT: [[IFCOND:%.*]] = fcmp one double [[A0]], 0.000000e+00 31; CHECK-NEXT: br i1 [[IFCOND]], label %[[BB91455:.*]], label %[[BB914551:.*]] 32; CHECK: [[BB91455]]: 33; CHECK-NEXT: %"vl15001bir()" = call double @bir() 34; CHECK-NEXT: br label %[[BB17254:.*]] 35; CHECK: [[BB914551]]: 36; CHECK-NEXT: %"vl69719bar()" = call double @bar() 37; CHECK-NEXT: br label %[[BB17254]] 38; CHECK: [[BB17254]]: 39; CHECK-NEXT: %"op19734(vl15001, vl69719)" = phi double [ %"vl15001bir()", %[[BB91455]] ], [ %"vl69719bar()", %[[BB914551]] ] 40; CHECK-NEXT: ret double %"op19734(vl15001, vl69719)" 41; 42entry: 43 %ifcond = fcmp one double %x, 0.000000e+00 44 br i1 %ifcond, label %then, label %else 45 46then: ; preds = %entry 47 %calltmp = call double @bir() 48 br label %ifcont 49 50else: ; preds = %entry 51 %calltmp1 = call double @bar() 52 br label %ifcont 53 54ifcont: ; preds = %else, %then 55 %iftmp = phi double [ %calltmp, %then ], [ %calltmp1, %else ] 56 ret double %iftmp 57} 58 59