117 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-darwin -mcpu=corei7 | FileCheck %s3 4define i64 @constant_hoisting(i64 %o0, i64 %o1, i64 %o2, i64 %o3, i64 %o4, i64 %o5) {5; CHECK-LABEL: constant_hoisting:6; CHECK: ## %bb.0: ## %entry7; CHECK-NEXT: movabsq $-281474976710654, %rax ## imm = 0xFFFF0000000000028; CHECK-NEXT: testq %rax, %rdi9; CHECK-NEXT: jne LBB0_710; CHECK-NEXT: ## %bb.1: ## %bb111; CHECK-NEXT: testq %rax, %rsi12; CHECK-NEXT: jne LBB0_713; CHECK-NEXT: ## %bb.2: ## %bb214; CHECK-NEXT: testq %rax, %rdx15; CHECK-NEXT: jne LBB0_716; CHECK-NEXT: ## %bb.3: ## %bb317; CHECK-NEXT: testq %rax, %rcx18; CHECK-NEXT: jne LBB0_719; CHECK-NEXT: ## %bb.4: ## %bb420; CHECK-NEXT: leaq 1(%rax), %rcx21; CHECK-NEXT: testq %rcx, %r822; CHECK-NEXT: jne LBB0_723; CHECK-NEXT: ## %bb.5: ## %bb524; CHECK-NEXT: addq $2, %rax25; CHECK-NEXT: andq %rax, %r926; CHECK-NEXT: je LBB0_627; CHECK-NEXT: LBB0_7: ## %fail28; CHECK-NEXT: movq $-1, %rax29; CHECK-NEXT: retq30; CHECK-NEXT: LBB0_6: ## %bb631; CHECK-NEXT: movq %r9, %rax32; CHECK-NEXT: retq33entry:34 %l0 = and i64 %o0, -28147497671065435 %c0 = icmp ne i64 %l0, 036 br i1 %c0, label %fail, label %bb137 38bb1:39 %l1 = and i64 %o1, -28147497671065440 %c1 = icmp ne i64 %l1, 041 br i1 %c1, label %fail, label %bb242 43bb2:44 %l2 = and i64 %o2, -28147497671065445 %c2 = icmp ne i64 %l2, 046 br i1 %c2, label %fail, label %bb347 48bb3:49 %l3 = and i64 %o3, -28147497671065450 %c3 = icmp ne i64 %l3, 051 br i1 %c3, label %fail, label %bb452 53bb4:54 %l4 = and i64 %o4, -28147497671065355 %c4 = icmp ne i64 %l4, 056 br i1 %c4, label %fail, label %bb557 58bb5:59 %l5 = and i64 %o5, -28147497671065260 %c5 = icmp ne i64 %l5, 061 br i1 %c5, label %fail, label %bb662 63bb6:64 ret i64 %l565 66fail:67 ret i64 -168}69 70define void @constant_expressions() {71; CHECK-LABEL: constant_expressions:72; CHECK: ## %bb.0: ## %entry73; CHECK-NEXT: movabsq $51250129900, %rax ## imm = 0xBEEBEEBEC74; CHECK-NEXT: movq (%rax), %rcx75; CHECK-NEXT: movq 16(%rax), %rdx76; CHECK-NEXT: addq 8(%rax), %rcx77; CHECK-NEXT: addq 24(%rax), %rdx78; CHECK-NEXT: addq %rcx, %rdx79; CHECK-NEXT: movq %rdx, (%rax)80; CHECK-NEXT: retq81entry:82 %0 = load i64, ptr inttoptr (i64 add (i64 51250129900, i64 0) to ptr)83 %1 = load i64, ptr inttoptr (i64 add (i64 51250129900, i64 8) to ptr)84 %2 = load i64, ptr inttoptr (i64 add (i64 51250129900, i64 16) to ptr)85 %3 = load i64, ptr inttoptr (i64 add (i64 51250129900, i64 24) to ptr)86 %4 = add i64 %0, %187 %5 = add i64 %2, %388 %6 = add i64 %4, %589 store i64 %6, ptr inttoptr (i64 add (i64 51250129900, i64 0) to ptr)90 ret void91}92 93 94define void @constant_expressions2() {95; CHECK-LABEL: constant_expressions2:96; CHECK: ## %bb.0: ## %entry97; CHECK-NEXT: movabsq $51250129900, %rax ## imm = 0xBEEBEEBEC98; CHECK-NEXT: movq (%rax), %rcx99; CHECK-NEXT: movq 16(%rax), %rdx100; CHECK-NEXT: addq 8(%rax), %rcx101; CHECK-NEXT: addq 24(%rax), %rdx102; CHECK-NEXT: addq %rcx, %rdx103; CHECK-NEXT: movq %rdx, (%rax)104; CHECK-NEXT: retq105entry:106 %0 = load i64, ptr inttoptr (i64 51250129900 to ptr)107 %1 = load i64, ptr inttoptr (i64 51250129908 to ptr)108 %2 = load i64, ptr inttoptr (i64 51250129916 to ptr)109 %3 = load i64, ptr inttoptr (i64 51250129924 to ptr)110 %4 = add i64 %0, %1111 %5 = add i64 %2, %3112 %6 = add i64 %4, %5113 store i64 %6, ptr inttoptr (i64 51250129900 to ptr)114 ret void115}116 117